Programming in 2026:

The latest entrant in the coding-agent-constructed web browsers is here, this one by @emsh.cat, and it's REALLY impressive - 3 days of development, 20,000 lines of Rust, no Cargo dependencies and it renders HTML+CSS extremely well simonwillison.net/2026/Jan/27/...

I had a fascinating conversation with Wilson Lin about FastRender, the browser rendering engine he built with the help of 2,000+ coding agents over the past few weeks. It's 47m on YouTube or you can read my highlights here: simonwillison.net/2026/Jan/23/...

Really wishing that somebody would hire my company (@igalia.com) to standardize/implement support for import maps in web workers. I already have a draft spec PR ready and there is interest from the community, which company wants to be the hero funding pushing it forward? :)

Amazing work on an Erdős problem (whose original statement needed to be tweaked), demonstrating the power of AI-assisted proving in math. mathstodon.xyz/@tao/1158558...

Lean Together 2026 starts today! It'll be four days of juicy Lean stuff. It's a remote-only conference, so feel free to join. See you there! leanprover-community.github.io/lt2026/

Really alarming to see this story of "LLM psychosis".I first saw it in a video by Nate Jones. It looks like there's an attempt to solve the wildly difficult Navier-Stokes problem, backed up by a Lean formalization. youtu.be/AzOJ9QLgfIk

Claude Code helps me so much with the household chores. The dishes get washed more frequently, the apartment is appreciably tidier, the vacuum cleaner spends an above-average amount of time turned on, the trash gets taken out more quickly.

We''ve landed a few more talks since the last update! * Sorrachai Yingchareonthawornchai: The CSLib initiative * Simon Sorg: Machine learning for Lean * Jannis Limperg on Lean metaprogramming for AI * Will Turner on the new ProofBench effort Come join us for a day of #lean! leaning.in

Incredible results with #lean and Gemini Deep Think by Tao in the Erdős Problem. It feels like a lot of doors in the formalization space, whether that's math or hardware/software verification, are opening quickly. mathstodon.xyz/@tao/1155914...

Valve’s announcements last week about their new hardware were particularly welcome here at Igalia: a lot of our work will be in those machines. From translation layers to better frame rates and longer battery life, we’ve helped @valvesoftware.com push gaming forward. www.igalia.com/2025/11/help...

Now that this is publicly announced I can say it has been delightful to be part of the small team of contributors to FEX, bringing you x86 games to ARM64 hw - now integrated into the Steam Frame.

Announcing: New @steampowered.com Hardware, coming in 2026: Steam Controller Steam Machine Steam Frame.  Watch our jazzy announcement video and wishlist now: steampowered.com/hardware

After Halloween comes Christmas, right? #lego #christmas

It's coming together! Vroom, vroom... #lego #technic

It's coming together! Vroom, vroom... #lego #technic

x86-64 Playground – An online assembly editor and GDB-like debugger https://x64.halb.it/ (https://news.ycombinator.com/item?id=45646958)

Yes, this is what you think it is...

Some reflections by Terence Tao on different levels, of formalization and rigor in math. This was offered as a discussion topic in the afternoon session of the Lean workshop at ITP 2026 but we didn’t really get around to it.

Just arrived in Reykjavik for the #lean workshop as part of ITP 2025 leanprover-community.github.io/itp-2025-lea... I'll be presenting some of my recent work. Looking forwrard to (re)connecting with some fellow Leaners!

Even if you didn't have the chance to listen to any of the amazing Igalia Chats - it's time for you to start with a really good chat about #Webassembly, with the one and only @wingolog.org . open.spotify.com/episode/0DmQ...

"XXXX, while historically important and technically very interesting, is an excellent guide for how not to design a language." Hindsight is a wonderful thing. I'm sure this is true for any language. @stylewarning.bsky.social

🎙️ New Episode of Igalia Chats: Show me the Monetization! Igalia's @bkardell.com and @meyerweb.com chat about the past, present and future of funding and 'micropayments'. www.igalia.com/chats/2025-m...

Igalia is keeping busy in July with 9 talks at 2 conferences... www.igalia.com/2025/07/03/J...

Mojo attracts some criticism on /r/programminglanguages (mostly not targeted at design decisions of the language itself) and a wild clattner appears to defend/clarify old.reddit.com/r/Programmin...

Spent a week and a half on a family holidays in New York City and loved it, but being able to come back, sit down in my garden and sip an espresso without a hint of noise feels otherworldly.

One of the most beautiful pictures of Jupiter ever taken. Credits: NASA

Outside of Google is there any large company NOT using Sonnet as their primary model for coding? Heard even Meta switched internally to it from Llama Anthropic pulled off something pretty incredible by becoming the de facto coding model choice for most tech companies…

This artwork by Karl Jilg, commissioned by the Swedish government, questions how 20th-century public spaces excluded pedestrians. The imagination of artists can sometimes convey our familiar world in a more real form.

Maio e por fin chega o libro de @xanlopez.xyz (@anagramaeditor.bsky.social) coas rosas e as cereixas (todo vermello). Hai tempo que non lía un ensaio que propoña tantas ideas novas e tan ben articuladas.

Linux kernel 6.15 is out and, like clockwork ⏰, my @igalia.com colleague André "Tony" Almeida gives an overview of the main changes and the many contributions by Igalia to this release. Check it out! andrealmeid.com/post/2025-05...

Excited for this - always fun! Monday's talks are streaming, info in the link

This year the Web Engines Hackfest will have 9 talks live streamed in YouTube on Monday 2nd June starting at 10:30 CEST. 🎥 webengineshackfest.org#talks

I'm delighted to see two of @igalia.com's projects for RISE highlighted at the RISC-V Summit Europe. Find out more about our work on both LLVM optimisation and testing/CI on the RISE blog (with more to come in the future!): riseproject.dev/2025/05/08/p... riseproject.dev/2024/10/15/w...

Pascal’s Law xkcd.com/3087

I'm on the latest episode the TMPDIR podcast hosted by Khem Raj and Cliff Brake. We talk about various projects I've been involved in (RISC-V, LLVM, lowRISC, Raspberry Pi), current work at @igalia.com, and tech in general. Thanks for having me on! tmpdir.org/043/

Lego partially completed but the nostalgia is already there. While many are keen on pre-ordering a switch 2, I stick to a NES made of Lego. #lego #nes #Nintendo #gaming

In case you hadn't noticed:

Words to live by.

Videos of talks at the recent Simons Institute and SLMath joint workshop on AI for mathematics and theoretical computer science at UC Berkeley are now available: simons.berkeley.edu/workshops/si...

@simonwillison.net we discussed LLM training energy cost Vs intercontinental flights before. Have you looked at cost vs animated movies? I'm stuck on finding solid data on GPU hours and GPU used. But Llama 4 == ?? Wish (or going back further, Emoji Movie) to train feels like a useful comparison.

My llm-fragments-github plugin has a new feature that lets you import an issue thread using -f issue:org/repo/number - you can feed it the repo contents with -f github:simonw/llm and say "muse on this issue, then propose a whole bunch of code to help implement it" simonwillison.net/2025/Apr/20/...

I feel seen...

We’ll be at #EuroLLVM 2025 in Berlin next week with talks from @asbradbury.org and Luke Lau!

If you listen carefully to a Unix Shell Sometimes you can still hear the C 🥁 #programming

I wrote about sustainable organizations — the kind that grow with care, adapt without burning out, and actually make sense in a messy world. Inspired by @igalia.com 🌱 Check it out → vignatti.com/posts/sustai... #OrganizingDifferently #Sustainability #FutureOfWork

You matter. Unless you multiply yourself by the speed of light squared. Then you Energy.

Servo is considering: - allowing some AI tools for non-code contributions - allowing maintainers to use GitHub Copilot for some code contributions over the next 12 months These changes are planned to take effect in June 2025, but we want your feedback. More details: github.com/servo/servo/...

I’m excited to see this plan taking shape. blog.rust-lang.org/2025/04/04/v...

God DAMN it. The utter malignancy of this. The sheer fucking moronity. www.404media.co/nih-archives...