Tootfinder

RE: https://mastodon.social/@tazgetroete/116584073198086399
Die Bezahlkarte demonstriert neben den aktuellen negativen Wirkungen auch eine ebenso negative Zukunfts­perspektive: mit reiner Karten­zahlung bin ich sowieso nicht mehr anonym, und der Staat …

Aus gegebenem Anlass.
#FightFortressEurope

SelvfŸlgelig skal de ansvarlige politikere, der sendte Danmark i krig i Afghanistan ikke have lov til at være anonyme. De må da tage ansvaret på sig. Så stŸt borgerforslaget. #DKPol #DKKrig

Folketinget må ikke svigte vores veteraner: åbenhed og ærlighed i det politiske system - også når det gælder krigen i Afghanistan
Folketinget har bestilt en undersøgelse af Afghanistan-krigen. Nu vil de samme politikere beskytte sig selv – med en ret til at censurere deres udtale

Looks interesting. "The study, titled “Law Professors Prefer AI Over Peer Answers,” was conducted with 16 law professors across U.S. law schools and tested whether large language models could serve as effective tutors for contract law courses.In a blind evaluation of nearly 3,000 anonymized comparisons, professors rated AI responses significantly higher than answers written by other professors, with AI winning 75% of head-to-head matchups."

AI Outperforms Law Professors in Stanford Law Study | Stanford Law School
A groundbreaking study led by Stanford Law School Professor Julian Nyarko reveals that law professors overwhelmingly prefer AI-generated answers to st

Toen Trump afgelopen week zei dat Israël en Hamas akkoord waren kom je dit natuurlijk al weten. Dat was even waar als dat Iran hem zou smeken om een deal.
Netanyahu keurt plan van Trumps 'Vredesraad' voor Gaza af https://nos.nl/l/2626158

Netanyahu keurt plan van Trumps 'Vredesraad' voor Gaza af
De Israëlische premier is het niet eens met het vredesplan. Hamas staat nog achter het voorstel, zei een anonieme hoge functionaris tegen persbureau AFP. 

Anonymous Hollywood advice for David Ellison to get his WBD deal done: announce more jobs for starved-for-work LA, fire Bari Weiss, and chat with Kamala Harris (Dominic Patten/Deadline)
https://deadline.com/2026/08/paramount-warner-merger-kamala-harris-12370158…

Paramount’s Precipice: How David Ellison Could Salvage $111B WBD Merger (Hint – Call Kamala)
Here's a few H'wood suggestions of what David Ellison could do to get his Paramount-WBD merger back on track ASAP & defang the state AGs' antitrust suit

„Große, breite, rote Straßen verweben sich wie ein Pilzgeflecht in der Innenstadt Utrechts. [..] Im Sekundentakt rollen Radfahrer, oft wie an einer Perlenkette aneinandergereiht, auf dem Asphalt, der fast nirgendwo Schlaglöcher aufweist.“
https://www.tagesschau.de/ausland/europa/n

Utrecht: Die fahrradfreundlichste Stadt der Welt
150.000 Menschen steigen in Utrecht täglich aufs Rad - bei nur 380.000 Einwohnern. Die niederländische Stadt ist die fahrradfreundlichste auf der ganzen Welt. Wie macht Utrecht das?

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update
Shibo Zhao, Yang Zhang, Mengxia Tao, Baoqi Zhang, Kezhi Li, Qiang Xu, Binwu Zhu, Hao Yan, Min Li
https://arxiv.org/abs/2608.12684 https://arxiv.org/pdf/2608.12684 https://arxiv.org/html/2608.12684
arXiv:2608.12684v1 Announce Type: new
Abstract: Hardware development is inherently evolutionary: major revisions typically begin by changing intended behavior and then updating a previously validated implementation, rather than regenerating RTL from scratch. Yet most recent LLM-based hardware research still frames the task primarily as prompt-to-RTL generation, offering limited support for semantic version evolution of trusted legacy designs. We present spec-driven hardware evolution, a contract-centered formulation for RTL version iteration. Instead of treating a new feature request as a direct prompt for RTL generation, we refine it into a reviewed executable contract for the next version. This contract specifies what must hold at the externally visible transactional level through a behavior-level reference together with explicit observation and checking semantics, while leaving how the change is realized in RTL to the evolution process. Based on this formulation, we organize hardware evolution into four stages: Specify, Plan, Implement, and Validate. After contract approval, the remaining stages proceed automatically: Plan derives cross-version semantic deltas and localizes affected RTL regions, aided by mutation-based semantic probing; Implement and Validate then perform legacy-aware RTL update under proof-guided checking and iterative repair. We evaluate the framework on a controlled version-evolution case study of a representative TPU datapath block under data-format changes. The results support the feasibility of contract-driven hardware evolution and demonstrate that the proposed backend workflow can effectively drive validated legacy RTL toward next-version functional convergence under a reviewed executable contract. An anonymous artifact for reproducibility is available at https://anonymous.4open.science/r/SDHE-3A6C.
toXiv_bot_toot

Wir müssen annehmen, dass die KI den Weg ins Internet und den Angriff eigenständig entwickelt hat, sagt DFKI-Chef Antonio Krüger im FAZ-Interview (€) über den OpenAI-Vorfall bei Hugging Face. Sein Fazit: Europa braucht eine eigene, souveräne KI-Modellfamilie statt US- oder China-Systemen. (FAZ, Alexander Armbruster) #KI

Michael Adam (SPD) tritt als Bürgermeister von Bodenmais zurück – zum 31. Dezember 2026. Der Marktrat muss den Antrag noch annehmen.
Als Grund nennt er das Klima im Marktgemeinderat. Den Rücktritt aus freien Stücken bezahlt er mit seinen Rentenansprüchen.
Unabhängig davon, wie man zu ihm steht: Wenn Kommunalpolitik Menschen so zermürbt, ist das ein Problem, das über eine Person hinausgeht.

„Neid & Missgunst“: Adam will nicht mehr Bürgermeister sein
Michael Adam, Bürgermeister der Marktgemeinde Bodenmais, hat am Mittwochabend, 29. Juli, via Mail bekannt gegeben, dass er von seinem Amt zurücktreten möchte...