Posts

Linux: The good, the bad and the ugly

Automatic OrgMode

Analysing regexp with Golang

More Turing Completeness, or: Somebody is wrong on the Internet

Fun with Operator Overloading

Completeness and decidability

A Paper a Whatever #15: Keystroke Recognition Using WiFi Signals

Turing Completeness

A Paper a Weekish #14: GraphLab: A New Framework for Parallel Machine Learning

Using theorem proving to cheat in logic puzzles

Theorem Proving in Haskell

A Paper a Weekish #13: Propositions as Types

A Paper a Weekish #12: Arithmetical Hierarchy and Complexity of Computation

A Paper a Weekish #11: Brewer’s Conjecture and the Feasibility of Consistent, Available, PartitionTolerant Web Services

A Paper a Weekish #10: In Search of an Understandable Consensus Algorithm

A Paper a Weekish #9: Two Simplified Algorithms for Maintaining Order in a List

A Paper a Weekish #8: Reflections on Trusting Trust

A Paper a Weekish #7: The Complexity of TheoremProving Procedures

A Paper a Week #6: Differential Privacy

A Paper a Week #5: Temporal Synchronization of multiple Audio Signals

A Paper a Week #4: Parameterized Model Checking of Faulttolerant Distributed Algorithms by Abstraction

A Paper a Week #3: SoundWave: Using the Doppler Effect to Sense Gestures

A Paper a Week #2: DPLL(T): Fast Decision Procedures

A Paper a Week #1: OpenJDK's java.util.Collection.sort() is broken: The good, the bad and the worst case
subscribe via RSS