Posts

Apr 19, 2020
Linux: The good, the bad and the ugly
Apr 16, 2020
Automatic Org-Mode
Mar 1, 2018
Analysing regexp with Golang
Nov 23, 2016
More Turing Completeness, or: Somebody is wrong on the Internet
Oct 14, 2016
Fun with Operator Overloading
Sep 25, 2016
Completeness and decidability
Sep 3, 2016
A Paper a Whatever #15: Keystroke Recognition Using WiFi Signals
Aug 28, 2016
Turing Completeness
Apr 17, 2016
A Paper a Week-ish #14: GraphLab: A New Framework for Parallel Machine Learning
Apr 3, 2016
Using theorem proving to cheat in logic puzzles
Dec 2, 2015
Theorem Proving in Haskell
Oct 9, 2015
A Paper a Week-ish #13: Propositions as Types
Aug 19, 2015
A Paper a Week-ish #12: Arithmetical Hierarchy and Complexity of Computation
Jul 19, 2015
A Paper a Week-ish #11: Brewer’s Conjecture and the Feasibility of Consistent, Available, Partition-Tolerant Web Services
Jul 6, 2015
A Paper a Week-ish #10: In Search of an Understandable Consensus Algorithm
Jun 16, 2015
A Paper a Week-ish #9: Two Simplified Algorithms for Maintaining Order in a List
May 24, 2015
A Paper a Week-ish #8: Reflections on Trusting Trust
May 7, 2015
A Paper a Week-ish #7: The Complexity of Theorem-Proving Procedures
Apr 12, 2015
A Paper a Week #6: Differential Privacy
Mar 31, 2015
A Paper a Week #5: Temporal Synchronization of multiple Audio Signals
Mar 23, 2015
A Paper a Week #4: Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction
Mar 15, 2015
A Paper a Week #3: SoundWave: Using the Doppler Effect to Sense Gestures
Mar 8, 2015
A Paper a Week #2: DPLL(T): Fast Decision Procedures
Feb 27, 2015
A Paper a Week #1: OpenJDK's java.util.Collection.sort() is broken: The good, the bad and the worst case