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…

"Tiling with Three Polygons is Undecidable"
Erik D. Demaine; Stefan Langerman 17 Sep 2024
Abstract
We prove that the following problem is co-RE-complete and thus undecidable: given three simple polygons, is there a tiling of the plane where every tile is an isometry of one of the three polygons (either allowing or forbidding reflections)? This result improves on the best previous construction which requires five polygons.
...
It remains open whether tiling …

get dunked upon

J'ai réussi Š compiler / lancer une application Capacitor sur un émulateur iOS sur l'offre #Scaleway Apple Silicon M1
J'ai essayé d'automatiser au mieux le provisioning des requirements de #Capacitor

Russia is intentionally humiliating Trump, and blowing holes in his proposed ceasefire...
The sooner Trump gets righteously angry and tired of being a sap, the better.