impromptu explanation of coq by introduction in a deep codebase
i missed hackerspace
doing pickup has definitely wambified me a bit
not a lot, but it's noticeable
a Schelling point for those who seek one