Tootfinder

OpenAI apparently put roughly 10,000 agents on the task, 88 hours of reasoning, 130 billion output tokens. Then spent another 17 hours to validate the result in Lean, a proof assistant that mechanically checks every logical step. Estimated compute cost: somewhere between $15 million and $22 million!
https://www.poppastr…

Cykel är en bra grej 👍
If we all cycled like the Dutch, CO2 emissions would drop by 690 million tonnes
https://www.euronews.com/2023/06/03/on-your-bike-if-we-all-cycled-like-the-dutch-global-emissions-drop-…

Cycling like the Dutch would slash the world’s carbon footprint 
If everybody cycled like the Dutch, we could offset the UK or Australia’s entire carbon footprint.

It was a near-perfect day for a bike ride in Melbourne today, as long as you kept your nose out of the northerly wind. Here’s the city from Yarra Boulevard, mid-ride. #BikeTooter #cycling #melbourne

So intensely gross that the US government engaged in a conspiracy to groom a 16 year-old Minnesotan kid for two years to direct his justifiable rage against the US in (allegedly) the most ineffective and random-violence directions, so they could entrap him when he turned 18— and those federal agents are well-paid career professionals in good standing, will testify against the young man they conspired to point at the Mall of America and promise to provide with a gun, not one step of which cou…

He lost a multi-million-dollar deal over accusations of using AI to produce a book. Now, Jerry Falade presents his side of the story.
https://kathleenschmidt.substack.com/p/exclusive-author-jerry-falade-reflects

Mal ein Blick zurück: Intel, das war erst der Anfang, womöglich war der Abzug ein Kipppunkt – nach der Treuhand, Hartz und Inflationskrisen hätte die Transformation in #Sachsen-Anhalt mal anders laufen können.
Ist sie aber nicht. Jetzt, nach der #Wahl, werden noch ein paar andere Dinger einschl…

Für 17 Milliarden US-Dollar: DoorDash übernimmt Shopping-Lieferdienst Instacart
DoorDash verdient sein Geld primär mit Essenslieferungen. Für 17 Milliarden US-Dollar übernimmt der US-Konzern nun den Einzelhandelsspezialisten Instacart.

Hetty & the Jazzato Band - “Tu Vuo' Fa' L'Americano” (2015)
Classic jazz song that’s been covered a million times, but this version might be my favorite.
I just love the sound of the clarinet, and the b&w video is a nice touch.
This is a London-based ensemble specialising in elegant Italian jazz and swing from the 1920s to 1960s.
#music

Hör mig berätta om alla likheter mellan antivaxxare och människor som varnar starkt för all ultraprocessad mat
Vetenskapsmotstånd, vaccinskepsis och tokiga influencers.
https://open.spotify.com/episode/5w7EtfG27gvquuP9NVqmzv?autoplay=true

KI-Update kompakt: Mistral ML4, Cohere, KI-Empfehlungen, KI klont Indie-Spiele
Das „KI-Update“ liefert drei mal pro Woche eine Zusammenfassung der wichtigsten KI-Entwicklungen.
https://www.…