LIGHT
DARK
home
about
github
linkedin
Archive.
2018
Verification of a reader-writer lock with TLA+
Optics: a hands-on introduction in Scala
Auto-reconnecting and address-tracking WebSocket client
Installing NixOS
2017
Conversational agents (aka "bots"): an overview
Natural Language Interfaces to Databases (NLIDB)
Marble testing redux-observable epics