Martin Singh-Blom

Forever in awe of young people who stood up for democracy, relentlessly protesting and mobilising for years against a corrupt, authoritarian regime. #Serbia

This has been really fun to be part of. Seeing the components come together slowly one by one and seeing the gameplay guys pick it up and start to play with it has been awesome.

uh oh "We show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations."

Thank you to everyone sharing in this moment! I’m so grateful to all my trainees & collaborators… dlab.stanford.edu/group-members (pic: Peter and I together in 2017) Reading for all those asking: for technical details: dlab.stanford.edu for everyone: deisseroth.org/projections

This week's #PaperILike is "Latent Programming Horizons in Coding Agents" (Silva et al., 2026). Now seems like a good time to better understand what coding agents are doing. Here's a nice example of the kind of analysis one can do. PDF: arxiv.org/abs/2607.05188

I see that OpenAI's messaging of "if you give us all the money on Earth we will annoy some mathematicians" is being somewhat overshadowed by Anthropic's messaging of "if you give us all the money on Earth we will kill everyone". I'm slightly worried about what a compromise position might look like.

it’s official: OpenAI claims they solved Navier-Stokes 10,000 concurrent agents coordinated by an internal model (that’s currently still in training) worked for 88 hours openai.com/index/navier...

The OpenAI Navier-Stokes drama is good drama. Did OpenAI train on conversations where mathematicians were working on Clay prize proofs? What should that mean for credit assignment ?https://news.ycombinator.com/item?id=49605915

This was really nice. Pair programming during the planning phase with a colleague and with the LLM seems like something that should be done much more. Align on architecture before the clanker starts clanking.

GLM-5.3-Flash rips the doors off and is under a full MIT license we have, and I mean this literally, a Smart Enough model for almost any task a normal person and many AI perverts can envision, and it is free to use at the same time, inference hardware will only get more accessible to you

Trying to maximize the science time with the kids this evening. The eclipse had them super excited.

Absolutely dying lmao

There's growing evidence the surge into Ceuta (🇪🇸PM Sanchez has called it an "attack") has, like in 2021, been orchestrated by the Moroccan government in retaliation for Sanchez visiting Algeria Yet it's Spain being criticised by European politicians, not Morocco. So much for solidarity.

AI safety folks should be way more worried about concentration of power than the proliferation of powerful models

It's wayyyyy better for society if we have high-quality open weight models where you choose to run inference. And if China's the one to do it, so be it.

Pete Hegseth: "We need our warriors to embrace the Spartan mindset" U.S. Military: *suffers crushing defeat to the Persians*

Human intelligence is fundamentally a collective intelligence. We solve complex problems by participating in a vast cultural network that builds upon ideas across generations. I believe the strongest AI systems will become a collective intelligence, too.

uhm aiclambake.com/clamtakes/li...

How do brains plan actions towards goals? To get at this question we studied mice navigating complex mazes as goals changed on every trial 🧵 Work with @thomasakam.bsky.social @behrenstimb.bsky.social @kristorpjensen.bsky.social now on BioRxiv: www.biorxiv.org/content/10.6...

15 best movies quickly: In the mood for love The seven samurai Amelie No country for old men Inglorious Basterds Mother of Mine Raise the red lantern Bridge over river Kwai The Martian Good Will Hunting Die Hard Crouching Tiger, Hidden Dragon Life of Brian La Vita e Bella Death of Stalin

Generational tweet that might even spawn a school of architecture.

It is with great sadness that we announce J. Craig Venter has died. 🧪🧬 www.jcvi.org/media-center...

This week's #PaperILike is "AssistanceZero: Scalably Solving Assistance Games" (Laidlaw et al., ICML 2025). AlphaZero-like combo of learning & planning for assistance games, where robot & human share reward fn that robot doesn't know. + Minecraft! PDF: arxiv.org/abs/2504.07091

have been researching bestiaries for a project and found this one of a griffin about to tear off some poor soul's entire head very relatable

Happy Easter.

Global solar additions reached record 511 GW [613 GWp with 1.2 Wp/W,ac ratio] in 2025, says IRENA www.pv-magazine.com/2026/04/02/g... - and much more ahead: doi.org/10.1016/j.en... ; doi.org/10.1016/j.rs...

A new field experiment on 515 startups, half shown case studies of how startups are successfully using AI. Those firms used AI 44% more, had 1.9x higher revenue, needed 39% less capital: 1) AI accelerates businesses 2) The challenge is understanding how to use it papers.ssrn.com/sol3/Deliver...

Could social media make us less polarized instead of more? We tested 5 algorithms on 3 platforms with 10,000 people for 6 months during the 2024 election, and found that the answer is yes. 🧵

I made a tiny tool for quickly sharing small datasets (< ~1000 rows) without uploading any data to a server. 🔗 ziptbl.com It compresses the data into the link itself, so there’s no account, hosting, or storage layer involved. Here's Florence Nightingale's famous 📊 data: ziptbl.com#d=eNpdlE-LGz...

This is the funniest optimization method I've seen in a long time. Really cool work.

NSF Update (Awards through 2/27/26) Directorates to follow 1/10

Just a regular reminder that there is absolutely no scientific evidence that caffeine (in moderation) is in any way problematic. Caffeine is this thing that you think should be bad for you but it's just not. Most studies suggest it has meaningful benefits. See reply for a recent example.

If you enjoy Paper Skygest, you might enjoy our new academic preprint describing it and our vision! arxiv.org/abs/2601.04253 bsky.app/profile/pape...

Shamelessly stolen from the other website, because of course that specific part of the crisis would have been averted if Europeans were involved 🤣🤣🤣

Apart from everything else, invading a country for oil in 2026 is somewhat like doing so for horses in 1931.

ARC Raiders won Most Innovative Gameplay in the 2025 Steam Awards! It has been really fun to work on and my coworkers are so amazingly creative and clever. Really nice to see that their cleverness comes through in how players perceive the game!

After this, no one should doubt Trump’s intention to invade Greenland. The EU needs to step up fast.

And, just like that, an era of international collaboration and rule of law under the United Nations, ends. What a pathetic and weak-willed response. Accepting American violence means that EU interests won't be defended, and the world is infinitely more dangerous.

Simple as Everyone in DoD who participated in planning and executing this needs to face charges Yes I know the scope/scale of what I'm saying; either laws mean things or they don't

Horrifying photos from Kharkiv, where russian missiles have just wiped out a residential building. At least 13 people were injured. I am afraid the figures will be worse. Please don't look away. This is not normal. russian terrorism is not normal.

funding lotteries have been waiting for this moment

ggCheysson is based on colors, patterns of these _Albums_ maps collected by @infowetrust.com Cheysson fonts by @kennethfield.bsky.social

how all youtube ads sound to me

I always tell students if you ask a good question the article will write itself

Important and powerfully written piece. Some excerpts: "...once a state grants itself the power to unmake a citizen, the line can always be moved." "Sweden, now with a population of 10 million, has the world’s highest proportion of dollar billionaires per capita."