💾 Archived View for tilde.team › ~shivrm › now.gmi captured on 2024-05-26 at 15:14:48. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

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)