c++

• More C++ fun, explained

coq

• Coq: when general is simpler

elispjs

• My Elisp.js is v0.1.0 now!

fp

• Idris: хай код пишеться сам

• Coq: when general is simpler

idris

• Idris: хай код пишеться сам

infosec

• Why does Telegram use camera while in background?

interpreters

• My Elisp.js is v0.1.0 now!

javascript

• My Elisp.js is v0.1.0 now!

keyboard

• A small annoyance of Linux modifier keys

linux

• How I stopped worrying and learned how to fix QML applets

• Network programming in Bash

• A small annoyance of Linux modifier keys

lisp

• My Elisp.js is v0.1.0 now!

logic

• SMT solvers for fun and profit

python

• pywiki: a Python web app without frameworks

selfhosted

• Validating a self-hosted web server

smt

• SMT solvers for fun and profit

static analysis

• Thoughts on Brainfuck decompilation

web

• pywiki: a Python web app without frameworks

• Validating a self-hosted web server

z3

• SMT solvers for fun and profit