Rebuilding Racket on Chez Scheme Experience Report

Solver-Aided Programming for All

Почему воровать электричество невозможно? Система контроля раскрыта!

Математики открывают странную новую бесконечность

Как стать невидимым в сети в 2026 году

100 Пилотов Борются За Частный Самолёт

[MPLR'25] Joy of Meta-Tracing Just-in-Time Compilation: More Than Just a VM Generator

Place Capability Graphs

ICFP'19

[Onward!'25] Let's Take Esoteric Programming Languages Seriously

[MPLR'25] A Snapshot of the Performance of Wasm Backends for Managed Languages

Synthesizing Symmetric Lenses

HOTWAV Hyper 8 Ultra - СМАРТФОН С РАЦИЕЙ И ГРОМКИМ ДИНАМИКОМ!

Niesamowita moc silnika napędzającego największe statki świata

OpenAI discovers why AI hallucinates!

A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference

[Onward!'25] Literate Tracing

[Onward!'25] What You See Is What It Does: A Structural Pattern for Legible Software

[MPLR'25] Fast and Compact: Reducing Size of AOT-Compiled Java Code Without Sacrificing Performance

OpenAI goes NUCLEAR (CODE RED)

[Tutorials @ ICFP/SPLASH'25] A guided tour through Oxidized OCaml