https://sockpuppet.org/blog/2026/03/30/vulnerability-research-is-cooked/
"Interesting" times for Computer Security research and practice. Could be even more "interesting" for us, consumers. "90's Windows security" vibes for those old enough to remember.
"Interesting" times for Computer Security research and practice. Could be even more "interesting" for us, consumers. "90's Windows security" vibes for those old enough to remember.
sockpuppet.org
Vulnerability Research Is Cooked
😁3
Некоторое время назад наше любимое издательство ДМК Пресс выпустило книжку для «настоящих компиляторщиков»:
https://dmkpress.com/catalog/computer/programming/978-5-93700-432-1/
«Разработка компиляторов на основе формы SSA» — в девичестве та самая «SSA-based Compiler Design» aka «The SSA Book».
Книга содержит 24 главы (на 400 страницах), покрывающих весь жизненный цикл SSA от построения, через алгоритмы анализа и преобразования, и до распределения регистров и выбора инструкций. За бортом остались только синтаксический разбор исходного языка и множество алгоритмов оптимизации — обе темы подробно раскрываются в других книгах.
Тем не менее, это не учебник по разработке компилятора, скорее справочник по теоретическим и практическим вопросам использования SSA. Авторы рассматривают разные варианты формы SSA, разные представления одних и тех же форм, разные алгоритмы построения и анализа.
Но в отличие от сухого справочника, книжка хорошо написана и легко читается для отвыкших от художественной литературы. Впечатление немного портит «упрощённый» перевод, например, базовые блоки называются «простыми», а «анализ живучести», видимо, стал стандартным термином в ДМК.
Как бы то ни было, издание «единственное и неповторимое» — другого просто не будет, так что...
https://dmkpress.com/catalog/computer/programming/978-5-93700-432-1/
«Разработка компиляторов на основе формы SSA» — в девичестве та самая «SSA-based Compiler Design» aka «The SSA Book».
Книга содержит 24 главы (на 400 страницах), покрывающих весь жизненный цикл SSA от построения, через алгоритмы анализа и преобразования, и до распределения регистров и выбора инструкций. За бортом остались только синтаксический разбор исходного языка и множество алгоритмов оптимизации — обе темы подробно раскрываются в других книгах.
Тем не менее, это не учебник по разработке компилятора, скорее справочник по теоретическим и практическим вопросам использования SSA. Авторы рассматривают разные варианты формы SSA, разные представления одних и тех же форм, разные алгоритмы построения и анализа.
Но в отличие от сухого справочника, книжка хорошо написана и легко читается для отвыкших от художественной литературы. Впечатление немного портит «упрощённый» перевод, например, базовые блоки называются «простыми», а «анализ живучести», видимо, стал стандартным термином в ДМК.
Как бы то ни было, издание «единственное и неповторимое» — другого просто не будет, так что...
🔥4
https://plr.csail.mit.edu/
Apparently, MIT runs an annual seminar where they discuss with authors some old and new programming-related papers. This year's selection covers a broad range of topics from (black-box) testing of shader compilers' back-ends to empirical study of «prompt engineering»; from a decade-old paper on database query optimization to optimizing Datalog for GPGPUs to compiling sequent calculus; from program synthesis to an interactive debugger for Rust traits.
The seminar is open for virtual attendees too on Friday May 8th, 2026.
Apparently, MIT runs an annual seminar where they discuss with authors some old and new programming-related papers. This year's selection covers a broad range of topics from (black-box) testing of shader compilers' back-ends to empirical study of «prompt engineering»; from a decade-old paper on database query optimization to optimizing Datalog for GPGPUs to compiling sequent calculus; from program synthesis to an interactive debugger for Rust traits.
The seminar is open for virtual attendees too on Friday May 8th, 2026.
🔥1
https://elixir-lang.org/blog/2026/01/09/type-inference-of-all-and-next-15/
For about five years Elixir contributors have been working on integrating a type system into the language and tooling. Starting with the development of a pretty novel and unorthodox type system.
I'm fascinated by several things:
— they still haven't dropped the project. Despite slow progress and obstacles in performance and usability they systematically overcome.
— they are deeply committed to the soundness of their gradual type system, which is tricky (and to my eyes they sometimes confuse soundness and completeness in the blogs at least)
— they put end-user (developer) usability front and center, in terms of speed and responsiveness, type inference to reduce annotation burden, meaningful error messages, etc.
Towards that goals the post references their work on
https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/
and the development of
https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/
which are cool in their own right.
For about five years Elixir contributors have been working on integrating a type system into the language and tooling. Starting with the development of a pretty novel and unorthodox type system.
I'm fascinated by several things:
— they still haven't dropped the project. Despite slow progress and obstacles in performance and usability they systematically overcome.
— they are deeply committed to the soundness of their gradual type system, which is tricky (and to my eyes they sometimes confuse soundness and completeness in the blogs at least)
— they put end-user (developer) usability front and center, in terms of speed and responsiveness, type inference to reduce annotation burden, meaningful error messages, etc.
Towards that goals the post references their work on
https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/
and the development of
https://elixir-lang.org/blog/2025/12/02/lazier-bdds-for-set-theoretic-types/
which are cool in their own right.
The Elixir programming language
Type inference of all constructs and the next 15 months
Today we celebrate 15 years since Elixir’s first commit! To mark the occasion, we are glad to announce the first release candidate for Elixir v1.20, which performs type inference of all language constructs, with increasing precision.
👍2💩1
https://www.pathsensitive.com/2022/03/abstraction-not-what-you-think-it-is.html
Abstractions are not what they seem. Just like owls.
Cool post. It mentions λ-calculus, antiunification (and Gordon Plotkin), abstract interpretation, and even contains a primer on the fundamental theorem of homomorphisms from Gerry Sussman himself.
I'd only like to add that we can represent abstractions themselves in (some) programming languages, as long as we can reify abstract domains and abstraction mappings in the form of language constructs. Different constructs in different instances, but Type Classes indeed show up rather often.
Abstractions are not what they seem. Just like owls.
Cool post. It mentions λ-calculus, antiunification (and Gordon Plotkin), abstract interpretation, and even contains a primer on the fundamental theorem of homomorphisms from Gerry Sussman himself.
I'd only like to add that we can represent abstractions themselves in (some) programming languages, as long as we can reify abstract domains and abstraction mappings in the form of language constructs. Different constructs in different instances, but Type Classes indeed show up rather often.
Pathsensitive
Abstraction: Not What You Think It Is
“Interfaces are abstractions” — Olaf Thielke , the "Code Coach" “Interfaces are not abstractions” — Mark Seeman , author of Code that Fit...
BREAKING NEWS!
Lawrence C. Paulson of the Isabelle/HOL fame now also has a YouTube channel:
https://www.youtube.com/@lawrpaulson
Lawrence C. Paulson of the Isabelle/HOL fame now also has a YouTube channel:
https://www.youtube.com/@lawrpaulson
🎉6
Another piece of a bit stale news:
https://www.acm.org/about-acm/acm-pres-on-oa-transition-and-dl-changes
This ain't no small change!
As of January 1, 2026, ACM completed its transition to full open access: all ACM-published articles and related research artifacts in the DL are freely available worldwide without barriers to reading or reuse.
https://www.acm.org/about-acm/acm-pres-on-oa-transition-and-dl-changes
This ain't no small change!
www.acm.org
A Message From the ACM President Regarding the Open Access Transition
The move to open access is ongoing. We will continue to listen, communicate, and adapt thoughtfully in partnership with the community as we move forward.
🔥2👏2
Забавно получается когда продумываешь какой-то текст в голове — с чего начать, чем закончить, как переходить от одного тезиса к следующему, — но садишься его набрать, и мысль идёт совсем по другой траектории...
💯6😁1
For some reason they say "AI makes programmers obsolete, because anybody can make an app now", but nobody says "AI will push Shopify out of business because anyone can make a Web store now". Curious, huh?
👍8💯6👎1
https://dmkpress.com/catalog/computer/games/978-5-93700-437-6/
«Godot 4. Разработка игр»
Не компиляторами едиными! Я понимаю, что эта фраза не имеет смысла для «настоящих компиляторщиков», поскольку компиляторы закрывают для них все потребности: «развлечения», «mental challenge» (ЕВПОЧЯ) и т.д. Но тем не менее. 😊
Не так давно ДМК перевели книжку про разработку игр на движке Godot, и это весьма вовремя. Поскольку ещё менее давно в ранний доступ на Steam вышла игра «Road to Vostok». Которая уже стала «poster child» для Godot благодаря масштабу, сложности и качеству проработки как внутренних механик — физики, симуляции, — так и «внешних проявлений» — графики, эффектов, анимаций, звуков, и т.д.
Само собой, этой книги будет недостаточно, чтобы создать проект уровня «Road to Vostok», но она покрывает полный цикл создания 5 игр попроще: три 2D и две 3D игры возрастающей сложности. Что является главным достоинством руководства: автор не забывает про такие «мелочи» как меню игры и GUI, оформление уровней и переходов между ними, условия и экраны победы/поражения и т.п.
Среди других тем рассматриваются, помимо ожидаемых обработки ввода, анимаций, физики, — работа с 2D тайлами, использование частиц в 2D и 3D, основы процедурной генерации и подгрузки уровня «на лету» и звуковое сопровождение. Кратко описывается использование Git, других скриптовых языков помимо GDScript, интеграция с Blender.
На мой взгляд, слишком поверхностно охватываются математические основы графики — вектора, кватернионы, матрицы и прочая прикладная линейная алгебра — и создание материалов и шейдеров. С другой стороны, по этим темам написаны отдельные книги, и в одну невозможно засунуть всю существующую информацию.
Так что, если вы или ваши знакомые не имеют представления как сделать относительно простую игру при помощи Godot, но страстно хотят — эта книжка придётся очень кстати.
«Godot 4. Разработка игр»
Не компиляторами едиными! Я понимаю, что эта фраза не имеет смысла для «настоящих компиляторщиков», поскольку компиляторы закрывают для них все потребности: «развлечения», «mental challenge» (ЕВПОЧЯ) и т.д. Но тем не менее. 😊
Не так давно ДМК перевели книжку про разработку игр на движке Godot, и это весьма вовремя. Поскольку ещё менее давно в ранний доступ на Steam вышла игра «Road to Vostok». Которая уже стала «poster child» для Godot благодаря масштабу, сложности и качеству проработки как внутренних механик — физики, симуляции, — так и «внешних проявлений» — графики, эффектов, анимаций, звуков, и т.д.
Само собой, этой книги будет недостаточно, чтобы создать проект уровня «Road to Vostok», но она покрывает полный цикл создания 5 игр попроще: три 2D и две 3D игры возрастающей сложности. Что является главным достоинством руководства: автор не забывает про такие «мелочи» как меню игры и GUI, оформление уровней и переходов между ними, условия и экраны победы/поражения и т.п.
Среди других тем рассматриваются, помимо ожидаемых обработки ввода, анимаций, физики, — работа с 2D тайлами, использование частиц в 2D и 3D, основы процедурной генерации и подгрузки уровня «на лету» и звуковое сопровождение. Кратко описывается использование Git, других скриптовых языков помимо GDScript, интеграция с Blender.
На мой взгляд, слишком поверхностно охватываются математические основы графики — вектора, кватернионы, матрицы и прочая прикладная линейная алгебра — и создание материалов и шейдеров. С другой стороны, по этим темам написаны отдельные книги, и в одну невозможно засунуть всю существующую информацию.
Так что, если вы или ваши знакомые не имеют представления как сделать относительно простую игру при помощи Godot, но страстно хотят — эта книжка придётся очень кстати.
Road to Vostok
Road to Vostok | Hardcore single-player survival FPS
Road to Vostok is a hardcore single-player survival game set in a post-apocalyptic border zone between Finland and Russia.
🔥7❤1👍1
https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy
A surprisingly long, but equally surprisingly deep and engaging post. Or I simply got used to shitty writing on the Internet, even before the advent of the GenAI.
I can see it turning out prophetic in a couple years. It's a kinda race between universities and grant agencies on one side, and Math AI startups on the other. And we all know how fast are the universities.
Well, VCs wanted to "disrupt" higher ed for ages, and now we have a good chance to see how far humanity can go without it.
A surprisingly long, but equally surprisingly deep and engaging post. Or I simply got used to shitty writing on the Internet, even before the advent of the GenAI.
I can see it turning out prophetic in a couple years. It's a kinda race between universities and grant agencies on one side, and Math AI startups on the other. And we all know how fast are the universities.
Well, VCs wanted to "disrupt" higher ed for ages, and now we have a good chance to see how far humanity can go without it.
Substack
The fall of the theorem economy
How AI could destroy mathematics and barely touch it
👏3
https://antimonit.github.io/2024/08/15/compiler-design.html
Another short high-level overview of a compiler organisation, this one based on the Kotlin compiler for a change. It separately considers a Parse Tree, Concrete Syntax Tree, and Abstract Syntax Tree and provides nice diagrams. Also gives many references to actual implementations and some tools like ANTLR.
Another short high-level overview of a compiler organisation, this one based on the Kotlin compiler for a change. It separately considers a Parse Tree, Concrete Syntax Tree, and Abstract Syntax Tree and provides nice diagrams. Also gives many references to actual implementations and some tools like ANTLR.
David Khol
Compiler Design
A blog about writing cleaner code, best programming practices, Android and Gradle.
👏3
Интересно, ёмкость этих синих пластиковых мобильных туалетов на массовых мероприятиях измеряют в человеко-часах?
😁2
https://www.youtube.com/watch?v=iw9AiEG-Qww
I love scientific simulations so much! The perspectives are so epic, we might not survive the drama.
I love scientific simulations so much! The perspectives are so epic, we might not survive the drama.
YouTube
New Evidence We are Entering AMOC Collapse
Try Odoo for free today: https://www.odoo.com/r/2kF
The ocean current keeping Europe warm is the weakest it's been in 1,600 years. If it collapses, it's the most disruptive climate event in recorded human history. New research has just found the first real…
The ocean current keeping Europe warm is the weakest it's been in 1,600 years. If it collapses, it's the most disruptive climate event in recorded human history. New research has just found the first real…
🔥1