Background
The main themes on this site are programming languages, formal reasoning about behaviour, and practical systems engineering. The goal is to keep short pages that are useful as reminders and entry points into the literature, with enough context to be readable on their own.
When writing about technical topics, the emphasis is on clear definitions, simple examples, and a small number of high-signal references. Notes are kept concise and are grouped by topic in the Notes section.
Contact
For general enquiries and correspondence, use the address below. Please include the URL you’re referring to if your message is about a specific page.
- Email contact@bliudze.me
- Preferred topics Programming languages, formal methods, verification, systems performance
- Time zone UTC