Tootfinder

Sources: Meta's talks with Scale AI started in mid-April, with Zuckerberg floating a $5B investment in early May, which Alexandr Wang later countered with $20B (Cory Weinberg/The Information)
https://www.theinformation.com/articles/meta-agreed-pay…

Meta Agreed to Pay up for Scale AI but Then Wanted More for Its Money
The negotiations started as just one billionaire tech founder talking to another. Meta Platforms CEO Mark Zuckerberg approached Scale AI CEO Alexandr Wang in mid-April about a potentially industry-shaking deal. Zuckerberg wanted Wang to join Meta and was willing to pay billions of dollars to ...

Solche Nachrichten machen Hoffnung
https://www.euronews.com/2025/06/16/german-court-sentences-syrian-torture-doctor-to-life-imprisonment

German court sentences Syrian torture doctor to life imprisonment
Alaa M was found guilty of crimes committed at military hospitals in Syria at the start of the country's civil war. The 40-year-old later moved to Germany, where he worked as an orthopaedic surgeon.

If the US starts participating in striking Iran the danger for further escalation is great. Because why would Iran in that case not attack oil fields, US bases in the Gulf states? Close the strait of Hormuz? It could then also try to unite everything that is extreme/radical in the muslim world against the US. What is missing is a scenario for de-escalation, also because Netanyahu is not interested in that is my impression.

Coming tomorrow: a new song (preview from my upcoming folksong album) and song video
#MusicVideo
Watch for it on https://muz4now.com/?utm_source=dl…

Stan Stewart - aka @muz4now - the muse is present
Stan Stewart is a poet, musician, and human being who enjoys connecting with people and nature. Since his focus is on improvisational music, the inspiration he gets from these connections is often the source of his music.

UCD: Unlearning in LLMs via Contrastive Decoding
Vinith M. Suriyakumar, Ayush Sekhari, Ashia Wilson
https://arxiv.org/abs/2506.12097 https://

UCD: Unlearning in LLMs via Contrastive Decoding
Machine unlearning aims to remove specific information, e.g. sensitive or undesirable content, from large language models (LLMs) while preserving overall performance. We propose an inference-time unlearning algorithm that uses contrastive decoding, leveraging two auxiliary smaller models, one trained without the forget set and one trained with it, to guide the outputs of the original model using their difference during inference. Our strategy substantially improves the tradeoff between unlearni…

Sure - return to office policies may make us less healthy and less happy, but at least they also make us less productive.
https://farmingdale-observer.com/2025/05…

with the bar for safe bike infrastructure as low as it is, it's hard to strike the right balance after a project between "hooray! it's so much better!" and "this, that, and the other thing still suck."
Streetsblog SF often errs on the latter side... I'm happier than ever with #ValenciaStreet, but their critiques are not wrong.

SFMTA Leaves Valencia Bike Lanes Unfinished - Streetsblog San Francisco
The center-running lane is long gone and some finishing touches are coming to the parking-protected section from 15th to 23rd, but the lack of concrete infrastructure remains problematic. And then there's the last four blocks from 23rd to Cesar Chavez, which is still just a striped lane wedged between parked cars and moving traffic.

AIM Intelligent Machines, which retrofits heavy construction equipment to operate autonomously, raised $50M from Khosla Ventures, General Catalyst, and others (Rachyl Jones/Semafor)
https://www.semafor.com/article/06/10/2025/co…

Construction tech startup AIM raises $50M to fuel expansion
The firm that retrofits heavy equipment into autonomous machines, backed by Khosla Ventures and General Catalyst, can help fill the construction industry’s huge labor gap and growing infrastructure demand.

LeanExplore: A search engine for Lean 4 declarations
Justin Asher (Independent Researcher)
https://arxiv.org/abs/2506.11085 https://a…

LeanExplore: A search engine for Lean 4 declarations
The expanding Lean 4 ecosystem poses challenges for navigating its vast libraries. This paper introduces LeanExplore, a search engine for Lean 4 declarations. LeanExplore enables users to semantically search for statements, both formally and informally, across select Lean 4 packages (including Batteries, Init, Lean, Mathlib, PhysLean, and Std). This search capability is powered by a hybrid ranking strategy, integrating scores from a multi-source semantic embedding model (capturing conceptual me…

London-based Noah, which is developing API-focused stablecoin infrastructure to enable real-time cross-border payments, raised a $22M seed led by LocalGlobe (Ben Weiss/Fortune)
https://fortune.com/crypto/2025/06/10/noah-thijn-lamers-stable…

Exclusive: Stablecoin startup Noah raises $22 million, adds Adyen vet as cofounder
“I feel like I have the energy of [when I was] 25,” said Thijn Lamers, who is 66 years old.