Daniel Fedorin

Most-linked posts?

1. Problems with math rendering on the web (2020)
   3 people · 3 mentions · first linked 2020-03-25
2. Compiling a Functional Language Using C++
   2 people · 3 mentions · first linked 2019-11-07
3. The LLM Comments Are Not for You
   2 people · 2 mentions · first linked 2026-09-18
4. Reasons to Love the Field of Programming Languages
   2 people · 2 mentions · first linked 2026-01-01
5. Generalizing Folds in Haskell
   2 people · 2 mentions · first linked 2022-04-24
6. Microfeatures I love in blogs and personal websites
   2 people · 2 mentions · first linked 2024-06-24
7. How Many Values Does a Boolean Have?
   2 people · 2 mentions · first linked 2020-08-22

What Hacker News says?

1. danilafe · 2024-06-25

   My site (OP) actually has a content graph as well, though it has a dedicated page. I didn't want to force users to run arbitrary JavaScript on every page just for aesthetics. https://danilafe.com/graph/

   Comment linking /graph/

   on “Microfeatures I love in blogs and personal websites”
2. fabianholzer · 2024-06-24

   Submitted Microfeatures I love in blogs and personal websites as a story · 983 points

   HN discussion
3. bArray · 2021-12-05

   Depending on your goal, I quite like using pandoc [1] for rendering math in HTML. I can write something like: Equation: $$x=\frac {1} {2}$$ Unfortunately there is no common in-browser Math rendering and as the referenced article points out, pictures of equations are not the solution [2]. A common mathematics rendering format is desperately needed but nobody really seems motivated to solve it. My approach is to use M…

   Comment linking /blog/math_rendering_is_wrong/

   on “Convert LaTeX notation to ready to be embedded Markdown”
4. uuuuuuuuuuuu · 2021-06-27

   Submitted Problems with math rendering on the web (2020) as a story · 135 points

   HN discussion
5. danilafe · 2026-04-27

   I think what holds Agda back from being "practical" is that it just doesn't have good tactics. You can't easily automate proofs and even simplification techniques require some language-level tricks[1]. There's technically support for elaborator reflection (as in Idris) but it's painful and impossible to debug. Certainly nowhere near where Coq and Lean are. [1]: like this one I've used for several proofs so far: http…

   Comment linking /blog/agda_expr_pattern/

   on “"Why not just use Lean?"”
6. ibobev · 2025-03-25

   Submitted My Favorite C++ Pattern: X Macros (2023) as a story · 131 points

   HN discussion
7. danilafe · 2026-01-15

   I'm over at https://danilafe.com . It's a blog, where I write about compilers, formal verification, and programming languages mostly. Occasionally some web design (with Hugo) sneaks in.

   Comment linking /

   on “Ask HN: Could you share your personal website here?”
8. pcr910303 · 2020-02-11

   Submitted Compiling a Functional Language Using C++, Part 9 – Garbage Collection as a story · 103 points

   HN discussion
9. phonebucket · 2020-03-27

   Submitted Compiling a Functional Language Using C++, Part 10 – Polymorphism as a story · 88 points

   HN discussion
10. nsdfg · 2026-10-18

    Submitted The LLM Comments Are Not for You as a story · 6 points

    HN discussion
11. luisha · 2021-12-15

    Submitted Compiling a Functional Language Using C++ as a story · 4 points

    HN discussion
12. todsacerdoti · 2020-08-02

    Submitted Time Traveling in Haskell: How It Works and How to Use It as a story · 4 points

    HN discussion
13. kqr · 2026-09-18

    Submitted The LLM Comments Are Not for You as a story · 3 points

    HN discussion
14. fanf2 · 2025-10-03

    Submitted Chapel's runtime types as an interesting alternative to dependent types as a story · 3 points

    HN discussion
15. fanf2 · 2024-12-28

    Submitted How many values does a boolean have? as a story · 3 points

    HN discussion
16. pcr910303 · 2020-08-22

    Submitted How Many Values Does a Boolean Have? as a story · 3 points

    HN discussion
17. ibobev · 2026-04-06

    Submitted Generating Flashcards from PDF Underlines as a story · 2 points

    HN discussion
18. ibobev · 2026-04-06

    Submitted Personal Software with the Help of LLMs as a story · 2 points

    HN discussion
19. birdculture · 2026-01-02

    Submitted Reasons to Love the Field of Programming Languages as a story · 2 points

    HN discussion
20. todsacerdoti · 2026-01-01

    Submitted Reasons to Love the Field of Programming Languages as a story · 2 points

    HN discussion
21. todsacerdoti · 2024-02-18

    Submitted Bergamot: Exploring Programming Language Inference Rules as a story · 2 points

    HN discussion
22. harporoeder · 2022-04-25

    Submitted Generalizing Folds in Haskell as a story · 2 points

    HN discussion
23. todsacerdoti · 2022-04-24

    Submitted Generalizing Folds in Haskell as a story · 2 points

    HN discussion
24. todsacerdoti · 2021-11-21

    Submitted Formalizing Dawn in Coq as a story · 2 points

    HN discussion
25. todsacerdoti · 2020-06-21

    Submitted Compiling a Functional Language Using C++, Part 12 – Let/in and Lambdas as a story · 2 points

    HN discussion
26. azhenley · 2019-11-12

    Submitted Compiling a Functional Language Using C++: Type Checking as a story · 2 points

    HN discussion
27. ibobev · 2026-04-20

    Submitted Persistence of Vision as a story · 1 points

    HN discussion
28. ibobev · 2026-03-23

    Submitted Spiders as a story · 1 points

    HN discussion
29. alexharri · 2026-01-15

    Submitted Microfeatures I Love in Blogs and Personal Websites as a story · 1 points

    HN discussion
30. todsacerdoti · 2023-09-03

    Submitted The “Is Something” Pattern in Agda as a story · 1 points

    HN discussion

Search all of HN for danilafe.com

Linked by the same people?

• HHillel Waynehillelwayne.com
• AAdrian Colyerblog.acolyer.org