Reposted by xav SE Gyges @segyges.bsky.social · 27/08/2026i propose a moratorium on doing things that seem sinister 0432
Reposted by xav Stephen Jacob Smith @stephenjacobsmith.com · 24/08/2026Disappointingly superficial. New York City has huge issues building anything underground, and the coordination issues mentioned in passing here are a huge reason why. But all the most well resourced newspaper on earth can muster about its home city is "the street markings look like abstract art"?nytimes.comBehind the Mysterious Symbols Spray-Painted on Our Streets (Gift Article)All over New York’s sidewalks and sewers, colored markings hide in plain sight, telling construction crews where to dig and creating accidental art. 61008
Reposted by xav Holger Hestermeyer @hhesterm.bsky.social · 20/08/2026This incident needs to be thoroughly investigated. If true, no public office in the EU or any member state can continue to run any microsoft products. nltimes.nl/2026/05/22/m...nltimes.nlMicrosoft accused of leaking Dutch civil servants' names to U.S. governmentMicrosoft has reportedly shared the names of Dutch civil servants working for two regulatory agencies with the U.S. House of Representatives. The agencies involved include the Authority for Consumers ... 28783427
Reposted by xav rev. howard arson @theophite.bsky.social · 03/03/2025quitting my tech job to make pig iron in a crucible in my backyard 1330317
Reposted by xav Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 17/06/2026Really 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. 151
Reposted by xav rain 🌦️ @sunshowers.io · 16/06/2026Soteria actually works on a complex Rust project! 141
xav @xavxav.bsky.social · 16/06/2026Does anyone have a good solution for cargo caching in ci? With large (10gb+) amounts of target/ data to cache 020
Reposted by xav opale !! @n1ark.acouphene.net · 10/06/2026self 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...soteria-tools.comIntroducing Soteria: A New Generation of Static Analysis for Rust - SoteriaFind bugs today. Teach AI to find them tomorrow. 2338
xav @xavxav.bsky.social · 25/05/2026picked 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 142
Reposted by xav Doll @dollspace.gay · 24/05/2026The problem with bluesky is that it’s not written in rust 4442
xav @xavxav.bsky.social · 21/05/2026i'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. 000
xav @xavxav.bsky.social · 17/05/2026I’m NL for RustWeek, come see my talk! If you want to chat send me a message :) 050
Reposted by xav Quantian @quantian.bsky.social · 14/05/2026The 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. 122305181
xav @xavxav.bsky.social · 05/05/2026blogs.mediapart.fr/david-monnia...blogs.mediapart.frLa fonderie de processeurs de Jean-Luc MélenchonSuite à l’annonce de la candidature de Jean-Luc Mélenchon à la présidence de la République, j’ai voulu me renseigner sur son programme, notamment dans le numérique et l’énergie. On y propose notammen… 010
Reposted by xav Mauvaise Graine ⏚ 🍉 @mauvaisegraine.eurosky.social · 02/04/2026L’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/... 4238205
xav @xavxav.bsky.social · 22/03/2026finally, instagram had learned to exclusively show me reels for chinese industrial equipment producers. Finally I can have my semi automatic banana chip line 000
xav @xavxav.bsky.social · 09/03/2026I want a version of this with “Mercator invents a new map for navigation” to “France nukes a us aircraft carrier over Greenland” 010
Reposted by xav RustNL @rustnl.bsky.social · 03/03/2026** 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 052
xav @xavxav.bsky.social · 30/01/2026does anyone have a rule of thumb for kloc/s compiled by rustc? 000
Reposted by xav Paris Marx @parismarx.com · 23/01/2026I 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-... 2487
Reposted by xav Kevin M. Kruse @kevinmkruse.bsky.social · 15/01/2026Holy hell, what an obituarynytimes.comRenfrew Christie Dies at 76; Sabotaged Racist Regime’s Nuclear Program 17648801642
Reposted by xav Andy Craig @andycraig.bsky.social · 06/01/2026Greenland 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. 1242787795
Reposted by xav Murielle S @frenchieinlimbo.bsky.social · 23/12/2025Quand 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 67760
Reposted by xav Rudbeckia @rudbeckia.bsky.social · 18/12/2025I love my two blackout drunk Minnesota sons 218208875415
Reposted by xav Kim Lane Scheppele @kimlanelaw.bsky.social · 10/12/2025All 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. 17438233
Reposted by xav Prof. Stefan Rahmstorf @rahmstorf.bsky.social · 05/12/2025Collapse 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... 17692437
xav @xavxav.bsky.social · 05/12/2025before rust: cloudflare doesn’t go down after rust: goes down twice in a month. checkmate rust heads 120
Reposted by xav dr. caitlin m. green @caitlinmoriah.bsky.social · 01/12/2025a 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 4984662184
Reposted by xav The Times and Sunday Times @thetimes.com · 27/11/2025Thieves have stolen €90,000 worth of fine French snails destined for some of the country’s most prestigious restaurantsthetimes.comThieves take €90,000 of snails meant for Michelin-starred restaurantsFrench police are on the trail of ‘experienced’ criminals who stole a whole year’s worth of produce from Jean-Mathieu Dauvergne’s L’Escargot des Grands Crus 6422347
xav @xavxav.bsky.social · 25/11/2025while 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. 000
Reposted by xav Julien Girard-Satabin @determineddust.bsky.social · 19/11/2025Et en parallèle, des formations sur « accompagner l'usage de l'IA générative dans l'enseignement ». 1136
Reposted by xav Lauri Myllyvirta @laurimyllyvirta.bsky.social · 11/11/2025NEW 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. 🧵👇 431591
Reposted by xav Gregory Pratt @royalpratt.bsky.social · 29/10/2025NEWS: Federal prosecutors indict Kat Abughazaleh, congressional candidate, county board candidate Cat Sharp and Dem committeeman Michael Rabbitt over September Broadview protest 45844316
Reposted by xav Adrian Daub @adriandaub.bsky.social · 25/10/2025Also 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. 0473
