Submissions by skovorodkin

Wizard Code: A View on Low-Level Programming (2016)

Matters Computational (2010)

Correctness proofs of distributed systems with Isabelle [video]

Introduction to Data Compression (2013) [pdf]

Find stuff in org-mode anywhere (2017)

CMU 15-721: In-Memory Databases / Advanced Database Systems [video]

Extended BPF: A new software type [video]

PostgreSQL Chapter from Database System Concepts Book [pdf]

Learning Data Structure Alchemy: automatic synthesis of data structures

State of the World: The Real Data

Computer Architecture – ETH Zürich – Fall 2019

On the Expressive Power of Programming Languages [video]

Luna, the future of computing

Python Dictionary: Past, Present, Future

Large web apps in Python: A good architecture (2014)