Tootfinder

Stumbled over this piece, that I wrote earlier this year* after last year's #AcWriMo, and reposting here in case it gives someone some motivation...
*Though it feels a lot longer ago. Man this year has gone fast...
#FediWriMo #AcWriMo25
https://sternaparadisaea.net/2025/01/25/just-one-thing/

Ukraine secures agreements for 250 new Gripen and Rafale fighter jets to bolster air power: https://benborges.xyz/2026/02/09/ukraine-secures-agreements-for-new.html

China buys U.S. soybeans after Trump trade agreement
https://www.cnbc.com/2025/12/09/china-buys-us-soybeans-trump-trade-agreement.html

there seems to be some ongoing feud between @… and the @… people https://

The Verification Theater: When Formal Methods Create False Assurance in Cryptographic Libraries
Formal verification of cryptographic implementations is frequently presented as providing "the highest level of assurance" against implementation defects. We examine this claim through a case study of Cryspen's libcrux and hpke-rs, two cryptographic libraries that are marketed as formally verified and high-assurance. We examine five vulnerabilities across these libraries. The first, a platform-dependent cryptographic output failure in SHA-3 intrinsics discovered by an independent researcher in…

Peace agreement with Russia: what is Washington really offering Ukraine? #shorts: https://benborges.xyz/2025/12/09/peace-agreement-with-russia-what.html

Thousands of public schoolteachers in San Francisco went on strike on Monday,
the first public schoolteachers strike in the city in nearly 50 years.
The strike comes after teachers and the district failed to reach an agreement over higher wages,
health benefits and more resources for special needs students.
The San FranciscoUnified School District closed all its 120 schools
and said it would offer independent study to some of the district’s 50,000 students.

How did the Council approve the #Mercosur agreement, exactly?
«EU capitals now have until 5 p.m. on Friday to lodge any objections and formalize the vote. This so-called written procedure»
https://www.

Report suggests datacentre firms embrace flexible connection agreements, allowing grid operators to temporarily curtail their loads during peak demand or emergencies.
https://www.computing.co.uk/news/2025/datacentres-hoarding-power-capacity-ai-demand

Datacentres accused of hoarding power capacity as AI demand surges
Report suggests datacentre firms embrace flexible connection agreements, allowing grid operators to temporarily curtail their loads during peak demand or emergencies.

The European Union, overcoming deep dissension among its members,
gave the green light to a sweeping trade pact with four South American countries on Friday
that would create one of the largest free-trade zones in the world,
connecting markets with more than 700 million people.
The agreement offers a stark contrast to the amped-up aggression on display this week from the Trump administration.
As Europe worked to extend an era of economic collaboration,
th…

E.U. and South America to Form Free-Trade Zone With 700 Million People
The agreement represents a push for deeper global cooperation, in contrast to the United States’ turning to coercion in its dealings with other countries.

"Security guarantees agreement with America is, we believe, ready for signing," – Zelenskyy #shorts: https://benborges.xyz/2026/01/08/ampquotsecurity-guaran…