Tootfinder

TSMC verbucht Rekordumsatz dank steigender Preise
Zum allerersten Mal setzt TSMC in einem Quartal 30 Milliarden US-Dollar um. Die Aussichten sehen weiter rosig aus.
https://www.heise.de/news/…

Trumps Strategie in deutschem Gewand
Die Union bereitet den Boden, um Richter*innen mit einfacher Mehrheit wählen zu können. Union und AfD hätten dann genug Bundestagsmandate, um ohne Mitsprache der demokratischen Parteien die Richter*innen am Verfassungsgericht zu wählen. Sie bräuchten dann keine Mehrheiten mehr, um die Verfassung zu ändern, sie könnten wie Trump einfach gefügige Leute installieren, die die Verfassung nach den Werten ihrer Parteiideologie umdeuten.

Stimmen zum Brosius-Gersdorf-Streit: Kulturstaatsminister Weimer für Änderung des Richterwahlverfahrens
Hätte der Eklat um Frauke Brosius-Gersdorf vermieden werden können? Nach der vorerst gescheiterten Richterernennung regt Wolfram Weimer eine Reform des Wahlverfahrens an, um Extremisten im Bundestag auszubremsen.

New Verbiage to Be Learned For Raiders in Training Camp https://www.si.com/nfl/raiders/new-verbiage-learned-for-pete-carroll-jack-bech-training-camp-chip-kelly

Reddit Looks to Get in Bed With Altman's Creepy 'World ID' Orbs for User Verification
https://gizmodo.com/reddit-looks-to-get-in-bed-with-altmans-creepy-world-id-orbs-for-user-verification-2000618369

Increasing the Expressiveness of a Gradual Verifier
Priyam Gupta
https://arxiv.org/abs/2507.13533 https://arxiv.org/pdf/2507.13533

Increasing the Expressiveness of a Gradual Verifier
Static verification provides strong correctness guarantees for code; however, fully specifying programs for static verification is a complex, burdensome process for users. Gradual verification was introduced to make this process easier by supporting the verification of partially specified programs. The only currently working gradual verifier, Gradual C0, successfully verifies heap manipulating programs, but lacks expressiveness in its specification language. This paper describes the design and …

Opinie: EU-relatie met Israël moet op de schop: de juridische rode lijn is allang voorbij
https://www.volkskrant.nl/columns-opinie/opinie-eu-relatie-met-israel-moet-op-de-schop-de-juridische…

Optimierte Leonidas-Mikrowellenwaffe soll Drohnenelektronik noch besser grillen
Epirus hat die Mikrowellen-Drohnenabwehr Leonidas verbessert und etwa die Reichweite erhöht. Zwei der Waffensysteme werden nun für die U. S. Army produziert.

Satellitenbetreiber SES fusioniert mit Intelsat
Durch die Fusion steigt SES zum größten Betreiber geostationärer Satelliten im Europäischen Wirtschaftsraum auf und soll die Unabhängigkeit der EU verbessern.
https://www.

"Die verfassungsmäßige Ordnung Deutschlands ist fast täglich Angriffen ausgesetzt." In der Regierung wird die CSU ihre Anstrengungen im Kampf gegen die verfassungsfeindliche Verfassung intensiveren.
https://sueden.social/@Heinzel/114879157778729529

Heinzel (@Heinzel@sueden.social)
Attached: 2 images Liebt Ihr auch Ironie? 🥳 Ironie ist nicht immer gut. Doch hilft sie in diesen Tagen vieles leichter zu ertragen. 🤦‍♂️

Microsofts Open-Source-Kommandozeileneditor bringt einige Verbesserungen
Microsofts Open-Source-Editor Edit für die Eingabeaufforderung hüpft auf Stand 1.2.0. Die Entwickler haben Verbesserungen eingebaut.