Tootfinder

„John Carpenter‘s Toxic Commando“ angespielt: Zombie-Action für B-Movie-Fans
„John Carpenter‘s Toxic Commando“ ist ein kompromissloser Koop-Zombie-Shooter mit B-Movie-Flair.
https://www.

i like to move it move it
i like to move it move it
i like to move it move it
you like to?

@…: "I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant. This post tells the story of how it went and what it means for the future of PL research."

Visionary Birding Route Now Links 5 African Nations Along Ancient River Migratory Map https://www.goodnewsnetwork.org/visionary-birding-route-now-links-5-african-nations-along-ancient-river-migratory-map/

Visionary Birding Route Now Links 5 African Nations Along Ancient River Migratory Map
The announcement of a new transboundary birding route has catapulted southern Africa to the forefront of international birdwatching travel. Spanning Angola, Namibia, Botswana, Zambia, and Zimbabwe, the route contains an estimated 650 endemic and migratory species, and traverses the world’s largest conservation area—as big as Germany and France together. Known as the Great Kavango Zambezi […]

from my link log —
MMP at 25: how proportional representation changed New Zealand forever.
https://www.stuff.co.nz/national/politics/300426115/mmp-at-25-how-an-academic-dream-from-west-germany-changed-new…

Student-athlete: Commanders LB Bobby Wagner graduating with MBA from Howard University https://www.espn.com/nfl/story/_/id/47348658/bobby-wagner-graduates-mba-howard-university-washington-commanders

NASA’s #SPHEREx Observatory Completes First Cosmic Map Like No Other: https://www.jpl.nasa.gov/news/nasas-spherex-observatory-completes-first-cosmic-map-like-no-other/ - the space telescope has completed its first infrared map of the entire sky in 102 colors.

Founders are increasingly leasing multimillion-dollar mansions in San Francisco's wealthy neighborhoods as corporate HQs and hacker houses, amid the AI boom (The San Francisco Standard)
https://sfstandard.com/2026/03/17/move-garages-startups-now-hatc…

In SF’s newest gold rush, startups are competing for mansions
With VC money flowing, the new trend across San Francisco is leasing multimillion-dollar hacker houses.

Stripe and Paradigm-backed startup Tempo launches the Machine Payments Protocol and its blockchain to facilitate autonomous AI agent transactions (Ben Weiss/Fortune)
https://fortune.com/2026/03/18/stripe-tempo-paradigm-mpp-ai-payments-protocol/
…

Stripe-backed crypto startup Tempo releases AI payments protocol, launches blockchain
Tempo, incubated by Stripe and the venture firm Paradigm, raised $500 million at a $5 billion valuation in 2025.

YouTube terminates Screen Culture and KH Studio, two large channels that used AI to create fake movie trailers; the platform earlier suspended the channels' ads (Jake Kanter/Deadline)
https://deadline.com/2025/12/youtube-terminates-scr…

YouTube Shuts Down Channels Using AI To Create Fake Movie Trailers Watched By Millions
YouTube has terminated two prominent channels, Screen Culture and KH Studio, using artificial intelligence to create fake movie trailers.