Tootfinder

Finally finished building this prototyping station, for designing synthesizer circuits from scratch. Super excited to start using it! #diysynth #electronics

EDU DIY Labor
Get started in circuit design with MKI x ES Labor. Developed in collaboration with Dr. Shalom D. Ruben teaching professor for engineering at the University of Colorado Labor is a fully-featured circuit design playground and a powerful electronics learning tool all in one. Created with the aim of se…

@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…

Je teste le remplacement de #direnv par la fonctionnalité "env._source = ..." proposée par #Mise
https://notes.sklein.xyz/20…