Now

I know the page is called 'Now', but it also documents things that I have done in the past, and things that I want to do in the future. Life is very busy right now, so progress is slow.

Learning

I'm learning these topics from various textbooks:

• Mathematical Proofs
• Discrete Mathematics
• Category Theory
• Computers from First Principles (From NAND to Tetris)
• Semaphores

I'm using these textbooks:

• Proofs (Jay Cummings)
• Category Theory for Programmers (Bartosz Milewski)
• Discrete Mathematics - An Open Introduction (Oscar Levin)
• Structure and Implementation of Computer Programs
• Little Book of Semaphores (Allen B. Downey)

Exploration

These are topics that I want to explore in my free time. Once I'm done, I want to write about them.

• Conflict-free Replicated Data Types (CRDTs)
• Self-Sovereign Identity
• Powerful Beginner-Friendly Software

These are topics I have explored in the past. I'll write about them when I get the time.

• Energy-Efficient Computing

Topics I've explored and written about:

• None

Making

Projects I'm working on right now:

• Programming language similar to Lua
• Logic-based language (which somehow turned into a LISP)
• Static microblog generator

Projects with lower priority:

• Ray-tracer (UV mapping and image textures)
• Library of Babel implemntation

Reading

Currently reading:

• Midnight's Children (Salman Rushdie)

Finished reading:

• Aparajito (Bibhutibhushan Bandyopadhyay)
• Lord of the Rings (J. R. R. Tolkien)
• The Alchemist (Paulo Coelho)
• The Da Vinci Code (Dan Brown)
• Dune (Frank Herbert)

Future reading:

• Game of Thrones (H. R. R. Martin)
• The Silmarillion (J. R. R Tolkien)
• Eragon (Christopher Paolini)