ЛаМПовое с Бобровским

Владимирская даёт базу по резюме-26.

чем больше я использую (arch) linux, тем больше ненавижу macos.

Классика computer science: "The spineless tagless G-machine, naturally" Spineless Tagless G-machine (STG) -- абстрактная машина, лежащая в основе легендарного компилятора Glasgow Haskell Compiler (GHC). В оригинале использовали Natural Semantics для ленивых вычислений Джона Лончбери как основу для формального вывода и доказательства корректности STM. Но затем Джон Маунтджой разработал расширенную семантику лямбда-исчислений, из которой удалось формально вывести полноценную STG-машину, что послужило доказательством её корректности по отношению к эталонной семантике Лончбери.

Hard Mode Rust: пишем на расте в искусственно минималистичном стиле, в духе Си.

Деферы не включили в C23, но уже сегодня сишечку можно юзать с ними: (Un)portable defer in C

"Foundations without Foundationalism: A Case for Second-Order Logic" 1991 База по SOL: логика второго порядка играет центральную роль в математике.

Началось!!1 :) Germany Paid Arch Linux $500K to Re-write Package Management in Rust

Добавляем интерфейсы и трейты в сишечку. Everyone likes interfaces in Go and traits in Rust. Polymorphism without class-based hierarchies or inheritance seems to be the sweet spot. What if we try to implement this in C?

Срыв покровов с Линукса! Linux -- это на самом деле GNU/Linux, или даже GNU + Linux. Linux -- это не самостоятельная ОС, а скорее ещё один бесплатный компонент набора GNU, составляющего полноценный POSIX. Вы на самом деле используете не Linux, а модифицированную версию GNU, не осознавая этого. Linux -- это лишь ядро, распределяющее ресурсы компьютера между программами, само по себе оно бесполезно и может функционировать только в контексте полноценной ОС GNU. Все так называемые дистрибутивы Linux на самом деле дистрибутивы GNU/Linux!

База по книгам в геймдеве