hirrolot hirrolot.github.io

"Confessiones" на Русском Языке, Книга Третья

hirrolot.github.io·3w

"Confessiones" на Русском Языке, Книга Вторая

hirrolot.github.io·5w

"Confessiones" на Русском Языке, Книга Первая

hirrolot.github.io·20w

Calculus of Constructions in 60 Lines of Ocaml

hirrolot.github.io·49w

Solving SAT via Positive Supercompilation

hirrolot.github.io·119w

Fueled Evaluation for Decidable Type Checking

hirrolot.github.io·120w

Compiler Development: Rust or OCaml?

hirrolot.github.io·145w

How to Keep Lambda Calculus Simple

hirrolot.github.io·149w

How to Implement Dependent Types in 80 Lines of Code

hirrolot.github.io·168w

Barebones Lambda Cube in OCaml

hirrolot.github.io·196w

Rust Is Hard, Or: The Misery of Mainstream Programming

hirrolot.github.io·206w

Pretty-Printable Enumerations in Pure C

hirrolot.github.io·208w

Why Static Languages Suffer From Complexity

hirrolot.github.io·228w·Hacker News

Macros on Steroids, Or: How Can Pure C Benefit From Metaprogramming

hirrolot.github.io·251w

Extend Your Language, Don't Alter It

hirrolot.github.io·254w

Compiling Algebraic Data Types in Pure C99

hirrolot.github.io·260w

Expression-Oriented Programming in C: The FMT Macro

hirrolot.github.io·261w

Compile-Time Introspection of Sum Types in Pure C99

hirrolot.github.io·264w

Unleashing Sum Types in Pure C99

hirrolot.github.io·275w

Log in to enable infinite scrolling