Tootfinder

Bundesverfassungsgericht lehnt Beschwerde im Fall Modern Solution ab
Das Bundesverfassungsgericht lehnt es ab, mehr Klarheit in den Umgang mit dem Hackerparagrafen 202 StGB zu bringen.
https://www.

Protestors try to save Belgium's $10 million stockpile of USAID contraceptives | Euractiv
https://www.euractiv.com/news/protestors-try-to-save-belgiums-10-million-stockpile-of-usaid-contraceptives/

Sources: Meta tried to buy Safe Superintelligence earlier this year; Zuckerberg moved to recruit SSI CEO Daniel Gross after Ilya Sutskever rebuffed the offer (Kate Rooney/CNBC)
https://www.cnbc.com/2025/06/19/meta-tried-to-buy-s…

Meta tried to buy Ilya Sutskever's $32 billion AI startup, but is now planning to hire its CEO
Meta plans to hire Safe Superintelligence CEO Daniel Gross and former GitHub Nat Friedman to beef up the company's AI team, according to sources.

Bus services in Galloway have been catastrophically cut. This is because local government is broke, which is in turn because #SNP #ScotGov lacks the courage to reform local taxation.
I hadn't appreciated how bad the situation is because I've been ill since July and consequently haven't lef…

StackPilot: Autonomous Function Agents for Scalable and Environment-Free Code Execution
Xinkui Zhao, Yifan Zhang, Zhengyi Zhou, Yueshen Xu
https://arxiv.org/abs/2508.11665 https…

StackPilot: Autonomous Function Agents for Scalable and Environment-Free Code Execution
Recent advances in large language models (LLMs) have substantially enhanced automated code generation across a wide range of programming languages. Nonetheless, verifying the correctness and executability of LLM-generated code remains a significant challenge, as traditional methods rely on language-specific compilers and environment-dependent runtimes. To overcome these limitations, we introduce StackPilot, an LLM-native, multi-agent framework designed for language-agnostic code verification an…

Satisfies in TypeScript
This is a post about one of TypeScript’s less common features: the satisfies keyword. It’s occasionally incredibly useful, and knowing how to properly wield it is a valuable trick to have up your sleeve. Let’s take a look!
🧑‍💻 https://frontendmasters.com/blog/satis…

Satisfies in TypeScript – Frontend Masters Blog
The `satisfies` keyword allows you to assert that a certain value

If a statistical token chain generation machine can do a job satisfactorily, that's not a sign that the machine is amazing and intelligent.
It's a sign that that job is bullshit and doesn't achieve anything at all.
For example, generating boilerplate code in programming is a sign of overly verbose frameworks that should be simplified.

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Jeanines:
🎵 Satisfied
#Jeanines
https://jeanines.bandcamp.com/track/satisfied
https://open.spotify.com/track/4pjKZlz4h0i0uiUuDt1Kg9

Die #dem25 ist vorbei und wir blicken sukzessiv auf die Top 3 der einzelnen Altersklassen. Wir gratulieren:
🥇 Zarema Sydykova (6/7)
🥈 Marianna Maya Caber (5/7)
🥉 Sofi Lytvynenko (5/7)
Alle Partien und Ergebnisse der U8w sind hier zu finden:

Closed $\mathrm{G}_2$ structures on compact manifolds satisfying the known topological obstructions to holonomy $\mathrm{G}_2$ metrics
Luc\'ia Mart\'in-Merch\'an
https://arxiv.org/abs/2508.12658

Closed $\mathrm{G}_2$ structures on compact manifolds satisfying the known topological obstructions to holonomy $\mathrm{G}_2$ metrics
We construct new compact manifolds endowed with closed $\mathrm{G}_2$ structures that satisfy the topological properties found by Joyce and Baraglia for the existence of a torsion-free $\mathrm{G}_2$ structure in the same cohomology class. Those manifolds arise as resolutions of orbifolds of the form $M/\mathbb{Z}_2$, where $M$ itself does not admit any torsion-free $\mathrm{G}_2$ structure. We develop an equivariant resolution procedure for closed $\mathrm{G}_2$ orbifolds with $\mathbb{Z}_2$ i…