Really nice work by Celeste Barnaby and colleagues at #PLDI on active learning for program synthesis. Various synthesizers, including LLMs, can produce multiple candidate programs given an underspecified intent. This system figures out multiple choice questions to ask the user to disambiguate.

Soteria actually works on a complex Rust project!

✅

Does anyone have a good solution for cargo caching in ci? With large (10gb+) amounts of target/ data to cache

self promo we did a blog post to launch the startup thing we're working on ^-^ i do the rust stuff it's cool you should try it out if you like unsafe rust ill probably do a blog post on some fun performance work i did on tree borrows #​soon! soteria-tools.com/blog/introdu...

picked this back up and turned it into a tool that can estimate within 10% the compile cost of functions. Think of it like cargo llvm-lines that rolls up to functions in your crate

The problem with bluesky is that it’s not written in rust

i've been enjoying my time using jj, but i have to say, i've never 'lost' so much work since starting with jj. the anonymous commits, optional descriptions and lack of locally tracking bookmarks means i end up with tons of "temporary" commits lost on my tree i can never find again.

I’m NL for RustWeek, come see my talk! If you want to chat send me a message :)

rookie numbers

The board consists of three semi-literate car dealers who were the state’s top GOP donors. Their top priority is fighting wokeness in the Potato School by putting up a statue of the confederate general who owned the largest potato farm in the state in 1859.

L’objectif est maintenant de 500 000 signatures pour obtenir un débat à l’Assemblée nationale et mettre la pression avant le vote le 16 avril prochain. petitions.assemblee-nationale.fr/initiatives/...

finally, instagram had learned to exclusively show me reels for chinese industrial equipment producers. Finally I can have my semi automatic banana chip line

I want a version of this with “Mercator invents a new map for navigation” to “France nukes a us aircraft carrier over Greenland”

asking follow-up questions remains undefeated

** Speaker announcement ** We’re taught to believe that iterators are zero cost. But what happens when they aren’t? Xavier Denis explains, at RustWeek 2026! Info & tickets: 2026.rustweek.org/talks/xavier/ See you in Utrecht May 18-23, 2026! @xavxav.bsky.social #rustweek2026 #rustlang

does anyone have a rule of thumb for kloc/s compiled by rustc?

I think it would be politically difficult to ban all these major social media platforms overnight, but X is one that should go now — not just over Grok and deepfakes, but also the way Elon Musk has leveraged it to push far-right politics. disconnect.blog/x-shows-why-...

Holy hell, what an obituary

Greenland is happening. Not a joke, not trolling, not a distraction. He has already made up his mind and nobody who matters in the inner circle will try to talk him out of it. Some of them want it precisely because it will destroy NATO. There are no adults in the room. They really mean to do it.

“Comment on dit youtubeur but in English?”

Quand les #ÉtatsUnis considèrent la France et le Royaume-Uni comme des États ennemis, mais pas la Russie ni la Corée du Nord, c'est temps de comprendre que les USA ne nous veulent pas du bien. #USA

lol

I love my two blackout drunk Minnesota sons

All travelers from ESTA countries (yes the ones on visa waiver programs) will have to disclose 5 years of social media + huge amounts of personal data to enter the US now. All US academic associations should now meet outside the US if we want to meet our international colleagues.

Collapse of key Atlantic current could bring extreme drought to Europe for centuries, study finds. @swinda.bsky.social That's an under-appreciated impact of #AMOC shutdown, of particular concern given the recent results showing much higher likelihood of this. 1/2 www.livescience.com/planet-earth...

only wrapped I care about is Wikipedia

before rust: cloudflare doesn’t go down after rust: goes down twice in a month. checkmate rust heads

a lot of people debating the merits of that dogshit essay meanwhile the girl’s mom is retweeting demands to ban all trans people from teaching at any level. it’s forest for the trees shit

Thieves have stolen €90,000 worth of fine French snails destined for some of the country’s most prestigious restaurants

while the gen ai killed what was left of Google, it was already a zombie for years before, killed by the same SEO beast it helped unleash on the internet.

I’m howling.

Et en parallèle, des formations sur « accompagner l'usage de l'IA générative dans l'enseignement ».

my hobby is finding bugs in 80 year old ISA documentation

debugging programs

complete academic suicide

NEW from me: CO2 emissions in China have now been flat or falling for 18 months, the first time that energy demand growth at or above historical averages doesn't drive emissions up, thanks to the clean energy boom. 🧵👇

they didn’t go to a Grande École tho

NEWS: Federal prosecutors indict Kat Abughazaleh, congressional candidate, county board candidate Cat Sharp and Dem committeeman Michael Rabbitt over September Broadview protest

graphic design is my passion (im writing debuggers again)

Also if you find your own pet cause or talking point reflected in this unhinged document, go within yourself, my brother. You are a fellow traveler to some of the dumbest enemies the academic enterprise has ever had.

As I said re: France - a scenario where aggro reactionary centrists fight it out with the far right is fine by reactionary centrists, because they will be in charge half the time. Their enemy is even softly left wing people, because a country that has left politics has no need for aggro centrists.

Barry Lyndon × 21 Savage "a lot"

tpuf ANN v3 can search 100 billion vectors with a p99 of 200ms simplicity scales [v3 in beta, unfiltered search, 1024D, k=10, 92% recall]

auto-traits are one of the trickiest features in rust, they provide real ergonomic improvements (eg making Send / Sync usable) but cause so much pain at long distance: refactoring has to account for invisible bounds you can't easily pin down, adding new auto-traits explodes compile times, etc....

Extremely cool memory security stuff in the guts of iPhone 17, a major effort and novel improvement by Apple: security.apple.com/blog/memory-...