Posts | Rado's Radical Reflections

Rado's Radical Reflections

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