@raventid’s weblog
Hi, my dear friend. I am raventid. I call myself an artist, as I persive life and living as a form of art. Check out about me.
These pages are woven from plain-text Org files by GNU Emacs and org-publish — prose, code and mathematics all live in the same format. (I once decided to autogenerate this website with my own static site generator written in a research programming language (ATS). It is still a work in progress, so Emacs got there first. Hopefully I will catch up very soon. Hahahaha, sure.)
This website is JavaScript free ❤️ (well, almost: pages with mathematics load MathJax, and nothing else).
I used to say it is also does not depend on any M$ tech, but it is hosted on github.com now. Though it looks like younger generation does not perceive M$ as something bad anymore. I miss those times of childish wars “what programming language is the best?”, “we will destory your company with our hacking!!!” Modern world is about practical things and money.
Articles
- Let’s write a simple SAT-solver solvers Jul 2026
Courses
- Introduction to TLA+ for absolute 0. (Or even -1). courses