Pinned Tweet
"Blueberry & the Bear and Other Stories" is an experiment ⚗ in creative collaboration between human🙎♂️ and AI💻. Download for free at blueberryandthebear.com/ or buy on Amazon. I have written and illustrated it using @OpenAI 's #ChatGPT and #DALLE2
Noice – at Oppegård, Norge
How do you _guarantee_ your agent's code is correct? You prove it.
Introducing Proof Driven Development Kit (PDD Kit) from @MSFTResearch.
PDD Kit helps turn your plan into a formal spec, then proves the agent's code meets that spec for every input. No vibe verification. PDD Kit is integrated with @GitHubNext's Chopin, so you can plan as a team.
PDD Kit takes an app's login flow from intent to a verified pull request:
It discusses your code, infers your intent as it goes, and proposes a formal spec in Verus, a proof language for Rust.
Once you approve the spec, the Verus verifier automatically proves the code meets it.
Where proof isn't possible, it falls back to empirical verification with tests and computer-use agents (CUAs).
It works on Rust today. No new language, no change in how you produce the underlying code, making formal methods more accessible.
The goal is a verified software factory, where engineers review specifications instead of code.
Come see it in action at GitHub Universe, Oct 28–29. Swing by the Speakeasy and ask for GitHub Next!
Ionut «John» Burchi retweeted
I am a member of the Norwegian Nobel Committee.
There are five of us. Five people, appointed by a parliament most of the planet could not find on a map, who decide, once a year, which human being the world has agreed to call good.
I know. I know. I think about it on the tram.
We meet in a building on Henrik Ibsens gate, a street named after a man who wrote almost exclusively about people discovering they are frauds, which nobody on the committee finds funny except me. There is a room with a long table and the portraits of the dead laureates looking down, Mandela, the Dalai Lama, a great many earnest men in spectacles, and one portrait we do not discuss, which is Kissinger, 1973, awarded while the bombs were still falling, after which two of our predecessors resigned and the satirist Tom Lehrer said political satire was now obsolete. We keep him on the wall. A reminder. Every family has the uncle.
It is October in Oslo, which means the sun gives up around four in the afternoon like a civil servant, and it rains the particular Norwegian rain that isn’t quite falling, just hanging there, judging you. I arrive with wet shoes. I always arrive with wet shoes. There is coffee, because this is Norway and there is always coffee, we drink more of it per person than almost anyone alive, and someone’s wife has sent kanelboller, the cinnamon buns, and we sit, five Norwegians, damp, caffeinated, sugared, and we decide the moral standing of the entire species.
Let me tell you how it actually works, because the world imagines a cathedral and it is, I promise you, a book club with a mandate.
287 nominations this year. 208 people, 79 organizations. Anyone can nominate, that’s the secret nobody understands: a professor, a parliamentarian, a former laureate, so the “nominee” list is meaningless, it’s a suggestion box, and every autumn some congressman nominates his own golden retriever and the press writes “SHORTLISTED.” Nobody is shortlisted. There is no short list the public ever sees. There is us, and the coffee, and the rain, and the portraits, and a Norwegian stubbornness that is older than the prize itself.
We read reports. The institute’s advisers write them, thick dull documents, and we argue. Our chairman told the BBC once that in the final meeting “there is a high temperature.” High temperature, for a Norwegian, means someone slightly raised an eyebrow and then apologized for it. We don’t do high temperature. We do a long silence, and then Kristin says “well,” and everyone knows exactly what “well” meant, and it’s settled. That’s our shouting. “Well.” You’d have to be raised here to hear the violence in it.
Now. This year. I will not say the name, because we never say the name, but you know the name.
A certain head of state wanted this prize the way a child wants a thing in a shop window, which is to say loudly, and in public, and with the full belief that wanting it was itself the argument. He said he deserved it. He said he’d ended eight wars, a number that grew most times he said it, like a fish. He had other heads of state phone us. Israel’s prime minister posted it on the internet, “Give him the Nobel.” The leaders of Cambodia and Pakistan announced they’d nominated him, as though announcing it were part of it, as though we tally mentions. A man flew around the globe collecting endorsements for a Norwegian committee the way you’d collect signatures for a petition to the council about a noisy dog.
And here, uff da, is the detail I treasure, the one that makes me smile into my coffee. The nomination deadline is the 31st of January. He took office on the 20th. So for all the phone calls, all the posts, all the gilded lobbying, the only nominations that could possibly count for this year’s prize were filed in the first eleven days of his term, before he had, by his own arithmetic, ended a single one of the eight wars. He campaigned all year for a prize whose window had shut while he was still hanging up his coat. We didn’t have to reject him. The calendar did. We just watched. Norwegians are very good at watching. We have long winters.
People think we sit there weighing his deeds. We don’t. That’s the thing I can’t make the world understand. We’re not grading his homework. We don’t owe anyone the prize for a ceasefire, however real, however loud the announcement. “He made peace” is not a sentence that ends in a medal, the way he believes it does, the way he believes every good thing ends in his name on it. The will of a dead Swede says the prize goes to whoever did the most for fraternity between nations. A dead Swede, I should add, who made his entire fortune inventing dynamite and selling arms, and spent his last years horrified at his own obituary, which called him a merchant of death, and so bought his way to immortality as a man of peace. The whole prize is one guilty arms dealer’s attempt to launder his name. We are, all of us, administering a dead man’s public relations. I find this clarifying. It keeps me humble. It should keep everyone humble, and it keeps, by my count, no one humble at all.
So who did we give it to?
An eighty-five-year-old woman. A judge. Born in Durban, under apartheid, granddaughter of a Tamil man who came to South Africa as indentured labor, a bus driver’s daughter from the poor Indian quarter, who became the first non-white woman to run a law practice in her province, who defended Mandela’s people when defending them was dangerous, who sat on the Rwanda tribunal and the court at the Hague, and who, at eighty-five, is right now a judge weighing whether a genocide is a genocide. When we told the world, our chairman said the rule of law “underpins the system we have set up to ensure peace,” and that “peace requires justice.” She wasn’t even in Oslo. She was in Nuremberg. In courtroom 600. The actual room where they tried the Nazis. You cannot stage that. God staged that, and God, it turns out, is a better satirist than any of us.
She did not phone us. She did not post. No prime minister demanded it for her on the internet. She had, as far as our deliberations are concerned, the one qualification the loud man could never manufacture, which is that she wanted the work and not the medal. The medal finds those people. It flees the ones who chase it. This is not a rule we wrote. It’s just the only pattern the hundred-odd years of our mistakes has ever shown.
The reaction from across the ocean was immediate. His spokesman posted that we “place politics over peace.” Ja. Perhaps. We’re five damp pensioners in a rainy city; of course it’s political, it was always political, it was political when we gave it to a sitting American president nine months into his first term for the promise of things he had not yet done, and we have been quietly embarrassed about that one for fifteen years, so believe me, we had a particular reason this year to prefer a woman with fifty years of verdicts behind her over a man with eight wars in front of him and a deadline already behind him.
Here is what he will never understand, the thing I’d tell him on the tram if he ever took one. We are the one prize he cannot buy, cannot post his way to, cannot have a friendly dictator phone in for him. Not because we’re incorruptible, nei, we’re as vain and wrong and human as the portraits on our wall. But because the entire point of the thing, the only power a small cold country’s book club has ever held, is that it goes to the person not performing the wanting. The moment you demand it, you’ve proven you don’t understand what it’s for, and proving that is itself the disqualification. He ran the most expensive campaign in the history of the prize and the campaign was the reason. He was never losing to Navi Pillay. He was losing to the concept.
It’s dark now. Four o’clock dark. The buns are gone. Kristin said “well” an hour ago and we all went home. I’m on the tram with my wet shoes, and somewhere across the water a very powerful man is explaining to a camera that the prize is rigged, that we’re corrupt, that he’ll win it next year, and he genuinely might, we’re only five idiots and we’ve been wrong before, Kissinger is still on the wall.
But not this year. This year an old woman in Nuremberg, in the room where the law once stared down the exact kind of man who thinks wanting a thing loudly enough should make it his, got a phone call she didn’t ask for.
That’s the job. We don’t reward the man who ends the war and announces it.
We reward the woman who spent fifty years deciding what a war was.
He’ll never see the difference. That’s rather the whole point of him.
Takk for i dag. I have to change trams.
Vertical it goes – at Oslo, Norway
Dusting off this tweet from April because this gap in shared understanding of LLM capability is *widening*. It's now less "two groups of people speaking past each other" and more a sharp funnel.
- Napkin math somewhere around 6B people (~75% of the population) have barely come in contact with LLMs at all.
- Around 1-2B (~20%) are casual and infrequent users of free-tier ChatGPT-like products. This group sees derpy chatbots and treats them a bit like a better Google search, a writing aid, or etc. Maybe an agent tries to book you a flight. I have non-tech friends who (reasonably, imo) say they have not much use for it at all. Even many professionals outside of math&code are in this tier. For example, execs and many other functions spend a lot of their time talking to other people, so while they understand what is happening intellectually, it is still second-hand and a bit abstract.
- Now we get to professional use of frontier-grade LLMs in math&code. Somewhere around 20M people (0.2%) see first-hand that large, complex projects that used to take them weeks/months can now be completed by agents with a prompt. Building apps, copying apps, translating apps, decompiling apps from binaries... This has all happened very quickly and recently - less than 1 year ago, I was writing code manually by hand, typing memorized computer code commands into a code editor character by character, occasionally pressing Tab to autocomplete a little chunk of code.
- And finally we get to the ~5,000 people (~0.00006%) with access to frontier-grade systems internally. The external world has seen the preview. It looks like swarms of thousands of agents collaborating over weeks on software mega projects: minting zero days, running cyber attacks and defenses at machine speeds, discovering new science, advancing the frontier of mathematics. Things that would have taken top professionals in the industry years of work. Meanwhile, human review and comprehension are starting to fall behind. For example, people are still involved in the "archeology" of the OpenAI-HF incident from many months ago. Mathematicians may be poring over the 722 manuscripts on frontier mathematics for a while.
The funnel is driven by a combination of factors:
1. The impact scales with ambition, problem size, and horizon. A question with a paragraph answer barely stresses the system. You need a reservoir of big, difficult problems that you really care about. This aspect drives the consumer / professional dimension of the funnel.
2. The jaggedness of the system (which I have written about a lot separately). Capability peaks in domains that are digital, verifiable and economically valuable. This is because LLM capability emerges from reinforcement learning on verifiable rewards on a curated environment mixture driven by revenue potential. This aspect primarily drives the area (e.g. math&code) dimension of the funnel.
3. Access. Free-tier, paid-tier, internal.
So this is the weirdness of the moment. The general public has mostly not interacted with these systems. When they have, it looks like a derpy chatbot. The majority of professionals still see only a modest uplift. And a small sliver of professionals are experiencing the vertigo of the curve going vertical. And it is all happening at the same time.
the jev effect
Introducing Microsoft-Decision-1, our new model for fast decision-making.
It delivers top performance on structured decision tasks, outperforming both LLMs and other decision models in latency and quality.
We’re already testing it across Microsoft for everything from incident response and quality control to scientific discovery.
fat cat is here
Meet Mistral Large 4, aka Le Chonk.
• 1T parameters, natively multimodal. 49B active.
It is the best open weights model from US or Europe on aggregated benchmarks.
• State-of-the-art on critical workloads, including cyber defense, manufacturing and finance and it surpasses closed frontier models on visual grounding.
• Forged in Europe end-to-end and is deployable from Europe via our own Mistral Cloud infrastructure.
• Available to all via API today. Working with cybersecurity partners privately.
Open weights release end of October.
Noice
Oh. My. God. They're reverse engineering Adobe Already getartcraft.com/apps @dhh @boneGPT @lexfridman
Readers added context they thought people might want to know
These are clean-room open-source Rust reimplementations of Adobe workflows, not reverse-engineered. Most apps are labeled "in development" or "early alpha."
getartcraft.com/apps
github.com/storytold/phot…
github.com/storytold/vect…
gigazine.net/news/20261005-…
Ionut «John» Burchi retweeted
Your AI isn't bad at design. It has just never seen good design.
I've tested 100+ vibe coding resources this year. These are the 40 I actually kept, grouped by what you're stuck on.
Bookmark this 🔖
1. 👑 scrolltide.co
Why it's different from everything below:
- Every one is a complete prompt, not a snippet you wire up yourself
- 3 steps: copy the prompt, paste it into your AI, launch it live
- 300+ award-winning prompts, all in one place
- Full source code to download and edit
- Works with Claude Code, Cursor or v0
Built for founders and freelancers who want award-level sites without a design team or a week of tweaking. If you only open one link in this post, make it this one.
2. designmd.ai - design systems as markdown your agent can read
3. vibeprompts.dev - ready-made prompts for dashboards and landing pages
4. minimal.gallery - curated high-end sites
5. kage.design - real UI inspiration mapped to prompts
6. styles.refero.design - 2,000+ real product styles with typography
7. component.gallery - 2,600+ examples of how top design systems solve the same element
8. godly.website - curated collection of beautiful websites
9. awwwards.com - the best of web design, recognized and ranked
10. landing.love - showcase of the best animation websites
11. land-book.com - curated landing pages
12. mobbin.com - mobile design patterns
13. hoverstat.es - experimental web design projects
14. navbar.gallery - navigation patterns
15. footer.design - footer layouts
16. cta.gallery - conversion-tested forms, popups and buttons
17. supahero.io - curated hero sections
18. pricingpages.design - the best pricing page examples
19. 21st.dev - community component marketplace that plugs into agents via MCP
20. ui.shadcn.com - still the gold standard
21. ui.aceternity.com - 200+ animated React and Tailwind components
22. magicui.design - 150+ animated components and effects
23. motion-primitives.com - advanced interactions
24. uiverse.io - open-source UI elements
25. smoothui.dev - animated components built on Motion and GSAP
26. shadcnblocks.com - 2,000+ pre-built section blocks for shadcn/ui
27. kinetics.colorion.co - 150+ motion effects with React code and prompts
28. microkit.co - micro-interactions
29. glass.samasante.com - glass refraction components
30. animejs.com - lightweight animation engine
31. threejs.org - the most popular web 3D library
32. shadertoy.com - the standard online shader editor and community
33. thebookofshaders.com - free interactive intro to fragment shaders
34. threejs-journey.com - full Three.js course with shader chapters
35. kitbitz.art - 2,000+ hand-drawn illustrations
36. 3dicons.co - 3D icons
37. claude.com/product/claude-co… - command-line AI coding agent
38. cursor.com - AI-first code editor
39. v0.dev - Vercel's prompt-to-component tool
40. lovable.dev - AI app builder in the browser
Which one should I add next?



















