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.
This website looks weird because I've decided to autogenerate it with my own static site generator which is a work in progress, I also kinda write this static site generator in a research programming language, which complicates everything. Hopefully I will improve this very soon (but most probably not).
This website is javascript free ❤️
Articles:- Theorem prover. What are they and why bother? provers
- Nice language features for web development we miss in mainstream languages
- Smalltalk for a Rubyist languages
- How to waste your time learning new programming languages languages
- Introduction to TLA+ for absolute 0. (Or even -1). courses