Posts | Rado's Radical Reflections

Rado's Radical Reflections

14 Feb, 2026 From Sets in Math to Types in Lean: Subtype, Fin, Set, Finset, and Fintype
08 Feb, 2026 Leaning on AI
01 Feb, 2026 Local Lean Workgroup Retro
11 Nov, 2025 Is this JS function pure?
16 Oct, 2025 Why formalize mathematics - more than catching errors
20 Sep, 2025 Learning Lean: Part 4
27 Jun, 2025 Learning Lean: Part 3
30 Mar, 2025 Thoughts on Signals in the JavaScript Ecosystem
02 Mar, 2025 Learning Lean: Part 2
11 Feb, 2025 Learning Lean: Part 1
18 Jan, 2025 Ticket to Ride: First Journey simulation authored with AI
31 Dec, 2024 Puzzles2024
25 Dec, 2024 Aoc2024
19 May, 2020 Incremental Computation (part 3)
10 May, 2020 Incremental Computation (part 2)
03 May, 2020 Incremental Computation (part 1)

#Aoc #Incremental Computation #Puzzles