Top all-time · #11977
Rado's Radical Reflections
Personal blog · rkirov.github.iomathprogramming
Rado's Radical Reflections is a personal blog at rkirov.github.io about math and programming. Since 2023, 6 different Hacker News readers have linked it 8 times, most often “Why formalize mathematics – more than catching errors”. It is still writing: the last post was on 2026-06-22, and you can follow it by feed.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
Linked post walks through building a small JavaScript framework to learn how modern frameworks work. The one comment only suggests fundamentals reading on incremental computing and does not judge the post.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Welcome This is my corner of the web where I share thoughts on software, mathematics, puzzles, life, and anything else that sparks my interest. Lean series: Learning Lean (part 1) Learning Lean (part 2) Learning Lean (part 3) Learning Lean (part 4) Why formalize mathematics - more than catching erro
Most-linked posts?
- Why formalize mathematics – more than catching errors2 people · 2 mentions · first linked 2025-10-18
- Learning Lean: Part 12 people · 2 mentions · first linked 2025-02-18
What Hacker News says?
If anyone is interested in this topic, I would recommend to start from fundamentals, so it would provide some answers on why some "not so modern" frameworks aren't jumping on a "signals" hype-train. - Incremental computing - https://en.wikipedia.org/wiki/Incremental_computing - Self-Adjusting Computation (Umut A. Acar) - https://www.cs.cmu.edu/~rwh/students/acar.pdf - Introducing incremental (JaneStreet) - https://b…
Comment linking /posts/incremental_computation_3/
on “Let's learn how modern JavaScript frameworks work by building one”Submitted Why formalize mathematics – more than catching errors as a story · 224 points
HN discussionSubmitted Why formalize mathematics – more than catching errors as a story · 4 points
HN discussionSubmitted Learning Lean: Part 1 as a story · 2 points
HN discussionSubmitted Three Cultures of Math as a story · 1 points
HN discussionSubmitted Learning Lean: Part 1 as a story · 1 points
HN discussion