Tootfinder

The perfect reaction emoji does not exi …

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…

wenn der Turmbahnhof #SendlingerTor jetzt als der perfekte Escape Room in der #UBahnMünchen gilt, dann ist das #Stachus-Untergeschoss der perfekte Mister-X-Schauplatz in

get dunked upon

@… 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…

Almost noticed this too late, and I would’ve been greatly upset if I had missed it: Voting for the #Latin Word of the Year 2024 has started, with candidates curated from the new (“newly discovered”?!) words added to the Thesaurus linguae Latinae! Make sure y’all vote!!
htt…

Fast zu spät bemerkt, und das hätte mich richtig geärgert: Die Wahl des #Latein-Worts des Jahres 2024 steht an, aus der vom Thesaurus linguae Latinae kuratierten Auswahl neu aufgenommener („entdeckter“?!) Wörter! Unbedingt alle abstimmen!!
https://pa…