I am learning so much about architecture by vibe coding i didn't know terms like seam, or testing vertical slices. I did knew them intuitively but I was struggling to communicate that to LLMs Also a shoutout to @mattpocock.com 's YT channel for helping me solidify these and other concepts

Matt Pocock - TypeScript Educator

Matt Pocock is a full-time TypeScript educator and engineer, and author of Total TypeScript.

mattpocock.com

This is codex, I just asked him to find the root cause of a health issue by only asking yes/no questions. And now I don't know how to continue 🤦‍♂️

When @t3.gg published his t3code project video, I wasn't aware that the agent SDK could be used in that way, the next day I prompted Cc to make my WhatsApp agent custom harness modular and implement the Claude agent SDK, and it worked (after some back and forth that is still going after 24h 😅)

In memory of all the walls AI was about to hit.

Everyone wants to blame the content: misinformation, bots, polarisation. That mistakes catalysts and symptoms for the underlying causes. The crisis isn’t bad information, it's that the very information infrastructure we relied on to create a shared understand of the world had changed completely.

I wrote about Clawdbot/Moltbot/OpenClaw and Moltbook, the fascinating, weird and sometimes even useful social network for digital assistants to swap tips and gossip with each other simonwillison.net/2026/Jan/30/...

Moltbook is the most interesting place on the internet right now

The hottest project in AI right now is Clawdbot, renamed to Moltbot, renamed to OpenClaw. It’s an open source implementation of the digital personal assistant pattern, built by Peter Steinberger …

simonwillison.net

I hope this also serves as a signal that International rules need big reforms towards recovering democracy

Julián Rojas Millán@lobachevscki.bsky.social · 7mo ago

As a Venezuelan I hope that none of you ever find yourself in a position where you need to bargain with an authoritarian to save your people because the rest of the world abandoned you www.cnn.com/2026/01/15/a...

Why do Venezuelans welcome trump's actions with arms wide open? US colony | distopia >--------------> utopia | | chavismo normal country

oh this is neat — Qwen’s newest image model decomposes images into layers (how photoshop works), and you edit just one layer and nothing else qwen.ai/blog?id=qwen...

I am increasingly starting to suspect that a good chunk of our social problems with social media is selection bias in disguise

Claude Skills are awesome, maybe a bigger deal than MCP simonwillison.net/2025/Oct/16/...

Claude Skills are awesome, maybe a bigger deal than MCP

Anthropic this morning introduced Claude Skills, a new pattern for making new abilities available to their models: Claude can now use Skills to improve how it performs specific tasks. Skills …

simonwillison.net

1/ 🚨 NEW NPM MALWARE CAMPAIGN. Yes, another. North Korea’s “Contagious Interview” campaign is escalating: 338 malicious npm packages, 50,000+ downloads -- 25 still live. Aimed at Web3/crypto devs & job seekers via slick recruiter DMs → git clone → npm install → compromise.

(The same thing extends to prompt injection. Human employees are often tricked, scammed or phished, and that’s the baseline that computers need to beat.)

Both these are true.

You can just make things on the web collaborative by adding a single HTML attribute...

i wrote about atproto and why it matters

Open Social — overreacted

The protocol is the API.

overreacted.io

This is a delightful following to lean's natural numbers game but for the reals adam.math.hhu.de#/g/AlexKonto... it's made by Alex Kontorovich and it's accompanied by a video series (a class recording) on YT youtu.be/U2oCgeVgd9M?... @danabra.mov you might be interested in this

12 exciting live-programming projects will be presented at LIVE this year. It's free, online, and coming up soon! Sat 9/27: Videos premiere Sat 10/4: Q & A and discussion over Zoom Details on projects are up already at liveprog.org; more schedule & links coming soon. Hope to see ya there!

fun fact: Lean can represent real numbers not floats (although Lean can do them). not doubles. not even arbitrary precision floats, but *actual* reals — which includes the squared root of 2, the exact number Pi (not an approximation!), fractions like 0.111... and so on. this still blows my mind

This is using the highlights API to color raw text like for example this code in a pre tag with no need for nested tags in between the code This is really cool because you can now make a very simple contenteditable editor with color highlighting without needing to fix cursor position on each edit

pngwn@pngwn.at · 11mo ago

look ma, no spans!

This is a cool thing one can do in lean the def part is the function definition and the theorem is the proof that age + current year = birthyear As soon as the function's behavior was changed (a +1 was added), the proof now shows an error

dan@danabra.mov · 11mo ago

⚛️📝 New on Overreacted: Lean for JavaScript Developers

I'm up to 124 little mostly-vibe-coded apps on my tools.simonwillison.net site and most of them are trivial but some of them aren't, so I wrote up this guide to the ones I think are most worth checking out simonwillison.net/2025/Sep/4/h...

We did the thing. zed.dev/blog/claude-...

Claude Code: Now in Beta in Zed - Zed Blog

From the Zed Blog: You asked, and here it is. Use Claude Code in public beta directly in Zed, built on the new Agent Client Protocol.

zed.dev

Exposing the Monsanto Conspiracy Our latest video, out now on YouTube youtu.be/CxVXvFOPIyQ

Exposing the Monsanto Conspiracy

YouTube video by Veritasium

youtu.be

I've open sourced Ripple! github.com/trueadm/ripple It's super early days, not much works and there's little to no documentation or guidance. Plus the codebase is raw, but I at least wanted to share my ideas with the community. :)

GitHub - trueadm/ripple: Ripple is a TypeScript UI framework for the web.

Ripple is a TypeScript UI framework for the web. Contribute to trueadm/ripple development by creating an account on GitHub.

github.com

I've had so many folks ask now, that I had to go for it. You asked me to build that ideal Inferno X framework that I described ages ago, so I went ahead and did just that. I built something that actually works and, well, it works well. Oh, and doesn't use signals!

a social media that is more like a wikipedia rabbit hole, giving you more and more posts that fit down that direction of latent space

which will burst first? the AI bubble… …or the “AI is a bubble” bubble?

my point isn’t so much that manual curation would “replace” algorithmic feeds. it’s that (imo!) curation and ranking need to be decoupled. the primitive i want (post lists) is the most basic form of curation possible. so that feels like the first step in decoupling them. like pinterest collections

Now I'm even more interested in learning Lean 🤩

dan@danabra.mov · 12mo ago

so you can say “here’s what it means to be a sorting algorithm” and mark it as typeclass, and write code against it. and then separately you can have different instances of that typeclass that actually provide the code, and control which one it’s resolved to