Pinned Tweet
Revised and update to Socratic liveProjects. Thank you @ManningBooks
Run open weight LLMs and use them to build agents on your own computer!
manning.com/liveprojectserie… – at San Francisco, CA
Michael Yuan retweeted
In December 1958 the Polish embassy in Beijing refused to let the sparrow killers onto its grounds, so the Chinese surrounded it with drummers and kept the drums going for two days until every bird sheltering in the garden had dropped dead from the air, and the diplomats cleared them up with shovels.
That is how thorough it was. The campaign had been running since the spring. Every village, school and factory was turned out with gongs, pans and firecrackers to keep the sparrows flying until their hearts gave out. Nests were torn from eaves, eggs smashed, chicks killed, and children went through the fields with slingshots and were paid by the bird. The dead came in by the basket, strung on wires, piled on carts, and the totals went up the chain as a harvest. Something close to two billion sparrows in two years. The embassy garden was the last place in the capital with birdsong in it, and the drums got that too.
A zoologist called Zhu Xi had told them before it started that a king had tried this and lost. Frederick the Great of Prussia had put a bounty on sparrows in the 1740s to save his grain and his cherries, and the sparrows went, and the caterpillars they had been eating stripped his orchards to the stalk, and the king cancelled the bounty and paid to have sparrows brought back from neighbouring states and let loose. The whole episode was in the library. The ministry had a figure for what a sparrow ate and no figure for what it did, and a man with the second figure was told to sit down.
The locusts arrived on schedule. Then the grain borers. A sparrow takes a few grains from a field in autumn and feeds its chicks nothing but insects all spring, and with the sparrows gone the insects had the rice and the wheat to themselves. The counties with the most sparrows to lose saw their grain fall the furthest, and the rice and wheat that had been holding the country up went down together.
That was 1959, and the state took its grain quota anyway, on the harvest that had been reported. What was left in the villages was not enough, and the famine that followed over the next three years is the largest in human history: tens of millions dead, the estimates running from fifteen million to forty-five, whole counties in Anhui and Sichuan where the living could not bury the dead. The sparrows were one cause among several and the economists who have gone back to the county records put the bird's share at something over two million people, with another four hundred thousand never born. Two million, from a campaign against a thing that weighs an ounce.
By 1960 the ornithologist Tso-hsin Cheng, who had been cutting open dead sparrows and counting the insects in their stomachs, got the bird struck off the list and bed bugs put in its place. There were almost no sparrows left in China to pardon. So the government did what Prussia had done two centuries before: it bought a quarter of a million sparrows from the Soviet Union and shipped them east in crates, to be released into a country that had drummed every one of their relatives out of the sky.
The animal that does the invisible job is always the one on the ledger as a cost. Take the sheep off a chalk down and the orchids are under scrub in twenty years. Fence the cattle off a Welsh hill and the bracken takes it. Empty a savannah of its herds and the grass goes to fire. All of it written down, all of it in the library, all of it available to the next committee with a figure for what a cow eats.
Beijing paid Moscow for the birds in hard currency. The men who had said so in 1958 were still not allowed to say so in 1960.
Folks, here is what you have been waiting for!
Save 50%, only on Oct. 19th!
Today, you can save on our new liveProject series, Open LLMs On Your Own Computer by @juntao and Tony Yuan, and other related titles: hubs.la/Q04Brrtn0
Learn how to build a working on-prem AI setup running on a typical laptop with just 8–16 GB of memory.
The example models are from the @googlegemma family. We are looking forward to support @AIatMeta and @NVIDIAAI open weight models in later iterations!
All the best examples use @Docker Model Runner since it is super easy to use, is free, comes with both llama.cpp and @vllm_project backends, and has its own model repos.
Michael Yuan retweeted
Your coding agent is working. You don’t have to watch the terminal.
Meet VibeBuddy — a physical desk companion that keeps your coding agents’ status in sight and speaks up when they need input, finish or fail.
In this demo, I start a task, then catch up on Slack, check email, browse events and track a delivery. When Buddy says “All done,” I press K2 to return to my most recent agent session and pick up where I left off.
It works with Claude Code, Codex and GitHub Actions.
A small screen, spoken alerts and a physical button — so you can get on with your work while your agents do theirs.
Pre-orders are open:
😎 $59 early bird, then $69
⌛️ Early bird ends Oct 14 at 11:59 PM PT
📦 Shipping starts Oct 14, with free worldwide shipping
🍎 Apple silicon Mac running macOS 14+
Omarchy is the future of Linux Desktop. It is also a malleable agent OS for your “AI Shed” at home or office. But how do you access your AI Shed’s beautiful @OmarchyLinux UI on the go? The answer is omarchy-remote. All you need is a web browser.
vibekeys.dev/blog/omarchy-re…
The official @OmarchyLinux plugin for Remote Desktop in the web browser:
plugins.omarchy.org/plugin.h…
The source code and docs are here:
github.com/second-state/omar…
Today we're introducing Cloud Sandboxes: same microVM isolation as Docker Sandboxes on your laptop, same CLI, always-on Docker-managed compute.
Close your laptop. Keep the agent running. Move between local and cloud with one command. $250 credit for new accounts: docker.com/sbx-promo
Welcome to GOSIM Shenzhen!
shenzhen2026.gosim.org
The local and open source AI sessions and demos at AIE San Francisco are packed with people. @aiDotEngineer
If you are Taipei this evening, come to our AI agent meetup! Learn about what’s announced at Computex and their implication for open source!
luma.com/soczn0pg
PS. We have free Taiwanese fried chicken sponsored by @Docker
Watch Sir. Timothy Gowers’ talk on AI Mathematics at GOSIM Paris days before this breakthrough. Very enlightening.
youtu.be/EsR15-VXQIo
@gosimfoundation @wtgowers
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946.
For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids.
An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better.
This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.



















