Hacker News
- My Favorite C++ Pattern: X Macros (2023) https://danilafe.com/blog/chapel_x_macros/ 75 comments
- Microfeatures I love in blogs and personal websites https://danilafe.com/blog/blog_microfeatures/ 421 comments
- Proving My Compiler Code Incorrect with Alloy https://danilafe.com/blog/dyno_alloy/ 2 comments
- Problems with math rendering on the web (2020) https://danilafe.com/blog/math_rendering_is_wrong/ 85 comments
- Compiling a Functional Language Using C++, Part 10 – Polymorphism https://danilafe.com/blog/10_compiler_polymorphism/ 2 comments
- Compiling a Functional Language Using C++, Part 9 – Garbage Collection https://danilafe.com/blog/09_compiler_garbage_collection/ 23 comments
Lobsters
- How Many Values Does a Boolean Have? (2020) https://danilafe.com/blog/boolean_values/ 13 comments plt
- Microfeatures I Love in Blogs and Personal Websites https://danilafe.com/blog/blog_microfeatures/ 108 comments web
- Bergamot: Exploring Programming Language Inference Rules https://danilafe.com/blog/bergamot/ 2 comments plt
- The "Is Something" Pattern in Agda https://danilafe.com/blog/agda_is_pattern/ 3 comments plt
- Proving My Compiler Code Incorrect With Alloy https://danilafe.com/blog/dyno_alloy/ 2 comments compilers , formalmethods
- Bergamot: Exploring Programming Language Inference Rules https://danilafe.com/blog/bergamot/ 4 comments programminglanguages
- My Favorite C++ Pattern: X Macros https://danilafe.com/blog/chapel_x_macros/ 21 comments cpp
- Compiling a Functional Language Using C++, Part 12 - Let/In and Lambdas https://danilafe.com/blog/12_compiler_let_in_lambda/ 8 comments programming
- Compiling a Functional Language Using C++, Part 10 - Polymorphism https://danilafe.com/blog/10_compiler_polymorphism/ 3 comments programming
- Compiling a Functional Language Using C++ https://danilafe.com/blog/00_compiler_intro/ 14 comments programming