Hacker News
- Beatrice: A tagless, dependently typed, self-aware programming language https://hirrolot.github.io/posts/announcing-beatrice.html 1 comment
- Lolita: A tagless, dependently typed, self-aware programming language https://hirrolot.github.io/posts/announcing-lolita.html 40 comments
- Solving SAT via Positive Supercompilation https://hirrolot.github.io/posts/sat-supercompilation.html 38 comments
- Why Static Languages Suffer from Complexity (2022) https://hirrolot.github.io/posts/why-static-languages-suffer-from-complexity.html 148 comments
- Compiler Development: Rust or OCaml? https://hirrolot.github.io/posts/compiler-development-rust-or-ocaml.html#appendix-getting-started-with-ocaml 2 comments
- Compiler Development: Rust or OCaml? https://hirrolot.github.io/posts/compiler-development-rust-or-ocaml.html 101 comments
- How to keep lambda calculus simple https://hirrolot.github.io/posts/how-to-keep-lambda-calculus-simple.html 33 comments
- Rust Is Hard, Or: The Misery of Mainstream Programming https://hirrolot.github.io/posts/rust-is-hard-or-the-misery-of-mainstream-programming.html 795 comments
- Why static languages suffer from complexity https://hirrolot.github.io/posts/why-static-languages-suffer-from-complexity 290 comments
- What’s the Point of the C Preprocessor, Actually? https://hirrolot.github.io/posts/whats-the-point-of-the-c-preprocessor-actually.html 3 comments
- Macros on Steroids: How pure C can benefit from metaprogramming https://hirrolot.github.io/posts/macros-on-steroids-or-how-can-pure-c-benefit-from-metaprogramming.html 61 comments
Lobsters
- Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language https://hirrolot.github.io/posts/announcing-beatrice.html 12 comments plt
- Why Static Languages Suffer From Complexity (and type-safe printf implementation without macros) https://hirrolot.github.io/posts/why-static-languages-suffer-from-complexity.html 33 comments plt , rust , zig
- Compiler Development: Rust or OCaml? https://hirrolot.github.io/posts/compiler-development-rust-or-ocaml.html#appendix-getting-started-with-ocaml 26 comments ml , plt , rust
- Rust Is Hard, Or: The Misery of Mainstream Programming https://hirrolot.github.io/posts/rust-is-hard-or-the-misery-of-mainstream-programming.html 35 comments rust
- Why Static Languages Suffer From Complexity https://hirrolot.github.io/posts/why-static-languages-suffer-from-complexity 48 comments plt
- Macros on Steroids, Or: How Can Pure C Benefit From Metaprogramming https://hirrolot.github.io/posts/macros-on-steroids-or-how-can-pure-c-benefit-from-metaprogramming.html 4 comments c , plt
- Extend Your Language, Don’t Alter It https://hirrolot.github.io/posts/extend-your-language-dont-alter-it.html 2 comments plt
- Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language https://hirrolot.github.io/posts/announcing-beatrice.html 0 comments functionalprogramming
- Solving SAT via Positive Supercompilation https://hirrolot.github.io/posts/sat-supercompilation.html 6 comments programminglanguages
- Fueled Evaluation for Decidable Type Checking https://hirrolot.github.io/posts/fueled-evaluation.html 5 comments functionalprogramming
- Fueled Evaluation for Decidable Type Checking https://hirrolot.github.io/posts/fueled-evaluation.html 23 comments programminglanguages
- Compiler Development: Rust or OCaml? https://hirrolot.github.io/posts/compiler-development-rust-or-ocaml.html 26 comments programminglanguages
- How to Keep Lambda Calculus Simple https://hirrolot.github.io/posts/how-to-keep-lambda-calculus-simple.html 2 comments programminglanguages
- Rust Is Hard, Or: The Misery of Mainstream Programming https://hirrolot.github.io/posts/rust-is-hard-or-the-misery-of-mainstream-programming.html 62 comments programming
- Rust is hard, or: The misery of mainstream programming https://hirrolot.github.io/posts/rust-is-hard-or-the-misery-of-mainstream-programming.html 270 comments rust
- Pretty-Printable Enumerations in Pure C https://hirrolot.github.io/posts/pretty-printable-enumerations-in-pure-c.html 16 comments c_programming
- Why Static Languages Suffer From Complexity https://hirrolot.github.io/posts/why-static-languages-suffer-from-complexity 35 comments programming
- Why Static Languages Suffer From Complexity https://hirrolot.github.io/posts/why-static-languages-suffer-from-complexity 159 comments rust
- What’s the Point of the C Preprocessor, Actually? https://hirrolot.github.io/posts/whats-the-point-of-the-c-preprocessor-actually.html 13 comments programming
- What’s the Point of the C Preprocessor, Actually? https://hirrolot.github.io/posts/whats-the-point-of-the-c-preprocessor-actually.html 26 comments c_programming
- Macros on Steroids, Or: How Can Pure C Benefit From Metaprogramming https://hirrolot.github.io/posts/macros-on-steroids-or-how-can-pure-c-benefit-from-metaprogramming.html 14 comments programming
- Macros on Steroids, Or: How Can Pure C Benefit From Metaprogramming https://hirrolot.github.io/posts/macros-on-steroids-or-how-can-pure-c-benefit-from-metaprogramming.html 36 comments c_programming
- Extend Your Language, Don’t Alter It https://hirrolot.github.io/posts/extend-your-language-dont-alter-it.html 13 comments programming
- Extend Your Language, Don’t Alter It https://hirrolot.github.io/posts/extend-your-language-dont-alter-it.html 17 comments rust