📌

Standard dialect

Logos is a thing that allows to model arbitrary discourses. (2020)

Veritas Blackpaper

A free platform for provable and self-sustainable discourse. (2019)

2022

• Leopoldstadt

2021

• Why logos of all things?

• Mice

  A love letter to computer mouse.

• First principles of Aletheian warfare

• Reflections on computability of discourse

2020

• Our Bodies, In Chorus

• 004 User interface

  In logos, the user interface must be constructed in a bottom–up fashion, starting with mnemonics, vocal pathways, frames and augmentations.

• The Button

• In Parley

• Man Alive!

  My review of King Krule's recent album, Man Alive! (2020)

• Recovery codes considered harmful

  Two-factor authentication recovery codes are plain stupid and dangerous.

• Magician

• Foreword

  Herein lay my thoughts which I shall carry throughout this year.

2019

• A case of programming circlejerk in metamodernism

  This is a case study of /r/programmingcirclejerk, a place that is becoming home to characteristically metamodern discourse.

• 003 Between iota and void

  Everything is either void (the infinitely large), something that is neither void nor not void (iota, the infinitely small), or anything in-between the two.

• 002 Who's got the actor?

  Authorization schemes packed into a sign.

• 001 Discourse

  Study of discourse in programming language design.

2018

• Essay on language, history and system design

  In this investigation I attempt to show that there is equivalence in how we write language, read history, and think of computer systems.

• The idea of decentralised truth

  In this essay, the role of truth through the prism of metamodernism. I suggest decentralizing trustworthy information and constructive discourse by means of decentralised fact-checking and proofreading.

• Huxley was right

  Democracy, capitalism, rich and poor... the usual suspects.

2016

• Using Go for competitive programming

  Looking for practical applications of Go in competitive programming.

• Competitive programming 101

  What I've learned from competitive programming and why I think you should dedicate some time to it.

• How to get your own git.io short URL?

  Did you know GitHub offers shortened git.io links?

2015

• Pipeline-driven error handling

  Let's try to design a clever error handling concept, based on the pipes and optionals.

• Go is a poorly designed language

  I'm doing an analysis of the weakest links of the Go language design.

• Go and Rust are blood enemies!

  This is a purely subjective comparison of Go and Rust—the two fresh technologies of choice for many system engineers.

2013

• Resource interception in Qt WebKit

  (Probably) the only way of intercepting web assets in Qt WebKit 5.1

I've heard the noise of a virtual machine,
Now I'm stuck in the reality of backlash
And cashed–in chips.