Tech News
Tech blog posts, updated regularly
Lobsters
Introduction to Formal Verification with Lean (Part 1)
·
hashcloak.com via nemin
formalmethods
Lobsters
Skred is now a MIDI aware synth and drum machine construction kit
·
by octetta
aplcvibecoding