- Auto-reconnecting and address-tracking WebSocket client
- Conversational agents (aka “bots”): an overview
- Grpc-java generic gateway/reverse proxy (in scala)
- Installing NixOS
- Marble testing redux-observable epics
- Natural Language Interfaces to Databases (NLIDB)
- Optics: a hands-on introduction in Scala
- Verification of a reader-writer lock with TLA+