UP
|
HOME
k32's notebook
Links
Atom feed
My github
Found a mistake? Just make a PR here:
https://github.com/k32/k32
Posts
2021
Mnesia internals (WIP)
Snabbkaffe slides
Planning vs. prototyping
2020
This messenger respects your privacy
How to troubleshoot anything without a clue
2019
Trace-based testing
My projects, current and past
SLOT
my experiments with formal methods
anvl
neon genesis rebar3 (on hold)
QFL
joke esoteric language that demonstrates pure functional I/O without monads and uniqueness types
/misc