Blog
hirrolot
My blog about programming and computer science.
Latest posts
"Confessiones" на Русском Языке, Книга Четвёртая
"Confessiones" на Русском Языке, Книга Третья
"Confessiones" на Русском Языке, Книга Вторая
"Confessiones" на Русском Языке, Книга Первая
Solving SAT via Positive Supercompilation
Fueled Evaluation for Decidable Type Checking
Compiler Development: Rust or OCaml?
How to Keep Lambda Calculus Simple
How to Implement Dependent Types in 80 Lines of Code
Barebones Lambda Cube in OCaml
Rust Is Hard, Or: The Misery of Mainstream Programming
Pretty-Printable Enumerations in Pure C
Why Static Languages Suffer From Complexity
Macros on Steroids, Or: How Can Pure C Benefit From Metaprogramming
Extend Your Language, Don't Alter It
Compiling Algebraic Data Types in Pure C99
Expression-Oriented Programming in C: The FMT Macro
Compile-Time Introspection of Sum Types in Pure C99
Unleashing Sum Types in Pure C99