Welcome

This is my corner of the web where I share thoughts on software, mathematics, puzzles, life, and anything else that sparks my interest.

My most notable posts:

• Learning Lean (part 1)
• Learning Lean (part 2)
• Learning Lean (part 3)
• Incremental Computation (part 1)
• Incremental Computation (part 2)
• Incremental Computation (part 3)

See all posts

There are intentionally no comment sections, but if you’d like to discuss any of these topics, feel free to reach out to me at rkirov@gmail.com or x.com/radokirov.