Tootfinder

Samsung: Betriebsgewinn für zweites Quartal bricht um 56 Prozent ein
Mit seinen jüngsten Zahlen bleibt Samsung deutlich hinter den Markterwartungen zurück. Neben einem schwachen Chip-Geschäft trüben auch US-Zölle die Aussichten.

heise | Android-Smartphone: Nothing Phone (3) mit Dot-Matrix-Display im Test
Nothing schlägt mit dem Phone (3) den Weg in die Smartphone-Oberklasse ein. Aus den blinkenden LEDs wurde ein zweites Display.

ZonePane Zenith（頂点）
ZonePane Zephyr（優しい風）
ZonePane Zodiac（星座・12宮）
ZonePane Zeta（Z）
ZonePane Zest（熱意）

zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
William Law
https://arxiv.org/abs/2507.05294 https…

zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
The rapid advancement of creating Zero-Knowledge (ZK) programs has led to the development of numerous tools designed to support developers. Popular options include being able to write in general-purpose programming languages like Rust from Risc Zero. Other languages exist like Circom, Lib-snark, and Cairo. However, developers entering the ZK space are faced with many different ZK backends to choose from, leading to a steep learning curve and a fragmented developer experience across different pl…

Het is wel komisch dat er mensen ter rechterzijde nu met droge ogen beweren dat het met een eventueel kabinet met Groenlinks-PvdA echt een zooitje wordt, na de puinhoop die het afgelopen rechtse droom kabinet heeft achtergelaten als het gaat om financien, economie, woningbouw, onderwijs, gezond etc.
#politiek

Kogler, Zadic, Maurer - Skurriles Video: Grüner Streit ums Fernsehprogramm #News #Nachrichten

1. Zmierz cukier.
2. Zjedz małego pączka domowego wypieku (nie biorąc insuliny).
3. 10 minut później, zmierz cukier ponownie.
> Cukier spadł.
(zbieg okoliczności)
#cukrzyca

Het is fijn dat zelfs de grootste partner van de PVV niet meer met de PVV zegt te willen regeren.
Maar de "leidster" van de VVD is leugenachtig en volkomen onbetrouwbaar, het kan morgen weer anders zijn.
Het blijft een zootje rechts ongeregeld.

Even een reactie van mij uit een draadje bevrijdt ...
In de hele discussie over politici door de jaren heen heb ik bij figuren als Wilders dat onderstaande voorbeeld gebruikt. Echte argumenten zijn meestal niet aan de orde aangezien die discussies vaak platgeslagen worden met gelul wat wel leuk overkomt, maar geen basis heeft.
In dit geval is t met Wilders overduidelijk: hij kan niet leveren. Ook al heeft zn partij ministeries im handen en 3 bondgenoten.
(

AI geletterdheid betekent ook, snappen dat als GPT-5 het aantal B's in het woord "Blueberry" niet correct kan tellen, dat niet betekent dat het model waardeloos/onbruikbaar is... Modellen als GPT-5 zijn goed in bepaalde dingen en slecht in andere. We moeten leren hoe we ze waar toepassen en waar niet. Daarbij ook de kosten afwegen tegen de baten, is zoiets als ChatGPT wel nodig, afwegingen maken mbt bias, ethiek etc.
("GPT-5 Thinking" doet het overigens wel corr…