https://hirrolot.github.io/ My blog about programming and computer science. en-us https://hirrolot.github.io/posts/confessiones-in-russian-1.html Mon, 29 Dec 2025 00:00:00 GMT https://hirrolot.github.io/posts/sat-supercompilation.html Thu, 1 Feb 2024 00:00:00 GMT https://hirrolot.github.io/posts/fueled-evaluation.html Sat, 27 Jan 2024 00:00:00 GMT https://hirrolot.github.io/posts/compiler-development-rust-or-ocaml.html Sun, 6 Aug 2023 00:00:00 GMT https://hirrolot.github.io/posts/how-to-keep-lambda-calculus-simple.html Sat, 8 Jul 2023 00:00:00 GMT https://hirrolot.github.io/posts/how-to-implement-dependent-types-in-80-lines-of-code.html Sat, 25 Feb 2023 00:00:00 GMT https://hirrolot.github.io/posts/barebones-lambda-cube-in-ocaml.html Tue, 16 Aug 2022 00:00:00 GMT https://hirrolot.github.io/posts/rust-is-hard-or-the-misery-of-mainstream-programming.html Thu, 2 Jun 2022 00:00:00 GMT https://hirrolot.github.io/posts/pretty-printable-enumerations-in-pure-c.html Mon, 23 May 2022 00:00:00 GMT https://hirrolot.github.io/posts/why-static-languages-suffer-from-complexity.html Mon, 3 Jan 2022 00:00:00 GMT https://hirrolot.github.io/posts/macros-on-steroids-or-how-can-pure-c-benefit-from-metaprogramming.html Thu, 22 Jul 2021 00:00:00 GMT https://hirrolot.github.io/posts/extend-your-language-dont-alter-it.html Tue, 6 Jul 2021 00:00:00 GMT https://hirrolot.github.io/posts/compiling-algebraic-data-types-in-pure-c99.html Tue, 25 May 2021 00:00:00 GMT https://hirrolot.github.io/posts/expression-oriented-programming-in-c-the-fmt-macro.html Fri, 14 May 2021 00:00:00 GMT https://hirrolot.github.io/posts/compile-time-introspection-of-sum-types-in-pure-c99.html Sun, 25 Apr 2021 00:00:00 GMT https://hirrolot.github.io/posts/unleashing-sum-types-in-pure-c99.html Sat, 6 Feb 2021 00:00:00 GMT