Габриель Вольпе пишет новую книгу про функциональную архитектуру на Скала 3 https://twitter.com/volpegabriel87/status/1448241688342892545

Efficient Tree-Traversals : Reconciling Parallelism and Dense Data Representations

https://www.tg-me.com/jetbrains_research/38

https://arxiv.org/abs/2110.02769 Ohman, Nanevski, [2022] "Visibility Reasoning for Concurrent Snapshot Algorithms"

это правда черновая версия, еще будет исправляться

https://twitter.com/jplubin/status/1449159815058522115

Yay, Justin finished his study and published a paper! 😃
Statically Typed Functional Programming FTW!!!

Для самых юных наших читателей. Structure and Interpretation of Computer Programs — JavaScript Edition

Online https://sourceacademy.org/sicpjs/index
Paper ed. https://mitpress.mit.edu/books/structure-and-interpretation-computer-programs-1

Proof of Multi-Stage Programming with Generative and Analytical Macros

N. Stucki, J. I. Brachthäuser, M. Odersky

In metaprogramming, code generation and code analysis are complementary. Traditionally, principled metaprogramming extensions for programming languages, like MetaML and BER MetaOCaml, offer strong foundations for code generation but lack equivalent support for code analysis. Similarly, existing macro systems are biased towards the code generation aspect. In this work, we present a calculus for macros featuring both code generation and code analysis. The calculus directly models separate compilation of macros, internalizing a commonly neglected aspect of macros. The system ensures that the generated code is well-typed and hygienic. We implement our system in Scala 3, provide a formalization, and prove its soundness.

https://infoscience.epfl.ch/record/288718?ln=en

A LOT of awesome new videos at https://youtube.com/channel/UCwG9512Wm7jSS6Iqshz4Dpg

Доклад Мартина про эксперименты EPFL с "прямым стилем" для монад (https://github.com/lampepfl/monadic-reflection) https://youtube.com/watch?v=UmO-f0qTRSU

Vanchurin, Wolf, Katsnelson, Koonin, [2021] "Towards a Theory of Evolution as Multilevel Learning"

All Things Flow: Unfolding the History of Streams
A. Biboudis, J. Gibbons, O. Kiselyov

Mimalloc: Free List Sharding in Action
D. Leijen, B. Zorn, L. de Moura
https://www.microsoft.com/en-us/research/uploads/prod/2019/06/mimalloc-tr-v1.pdf

Всем привет! Мы начали делать магистратуру при МКН СПбГУ, в которой будет трек по формальным методам (я взялся помогать с этим треком) и у нас наконец появился сайт: https://sdds.compscicenter.ru (программа на сайте очень приблизительная). Магистратура стартует в следующем учебном году (осенью 2022).

Мы хотим людей, которым хочется сделать курс по формальным методам. Я понемногу пишу черновик учебного плана, но если у вас желание преподавать и свои идеи, то давайте обсудим.

Если вам интересная эта область, вы хотите поступать в магистратуру и у вас есть вопросы, то не стесняйтесь их задавать)

Если вы знаете кому эта информацию будет полезна (как поступающим, так и желающим попреподавать), то буду очень благодарен, если вы перешлёте это сообщение ещё куда-то.