Tootfinder

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

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…

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

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

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.

get dunked upon

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…