Ayhon's Blog
Welcome to my blog
This is a place where I share my thoughts and parts of projects I may be working on.
Enjoy your stay!
Latest Posts
Projects
- Reading Categories for the working mathematician by Saunders Mac Lane
- Reading Crafting interpreters by Robert Nystrom
- Looking into Coq, reading Software foundations
- Running Fedora 3X