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 (ATSa), which complicates everything. Hopefully I will improve this very soon (hahahaha, sure).
This website is javascript free ❤️
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. (wh
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