last update: 30/01/2025
reading
currently reading:
- "a new model of the universe" - ouspensky
- "war is a racket" - butler
- "climate and the energy of nations" - markham
school
classes i am currently taking:
- discrete mathematics
- software development
- software systems and analysis
- german 102
- creative writing
projects
personal projects i am working on:
- first-order theorem resolver in c99 (impl. skolemization currently)
- this site :)
- forth-subset compiler
writings
stuff i am writing which might show up on this site:
- why immediate state collapse will not benefit anarchists
- long-distance running isn't transcendance but diffusion
- effective symbolic logic parsing in c