xav

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

I would play both of these games so much

Nuclear Design Bureau on Steam Design. Detonate. Survive. As the Chief Engineer of the Kurchatov Institute, you must design atomic devices to satisfy the demands of the State. A hardcore physics-based puzzle game simulating hydrody...

store.steampowered.com/app/4190240/...

asking follow-up questions remains undefeated

Setting up a gitlab has become a recurring joke at work in response to outages but it might remain a joke for long at this rate

** 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

Using LLMs and techniques like SysGuS you could help users iterate on languages by exploring what their rules permit and suggest refinements to capture/exclude edge cases that weren’t considered.

I’ve long had this idea for a PL ide which would let you co-design syntax, types and semantics and llms/generative techniques would be a core component. We should be able to build rigorous languages more quickly, my internal benchmark is « a mini rust in an afternoon »

let me know how it goes and whether I can help with anything!

I would contact the creusot team on gh/zulip I’m sure they could provide guidance

Well at least in creusot those are the same!

If you want to work on recursive proofs you could also look at tools capable of unbounded reasoning like creusot/aeneas/verus.

GitHub - creusot-rs/creusot: Creusot helps you prove your code is correct in an automated fashion. Creusot helps you prove your code is correct in an automated fashion. - creusot-rs/creusot

Curious what you’re trying to verify and why, and maybe you should try GitHub.com/creusot-rs/creusot :p

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

C’est bon signe quand la justice se trouve contraint d’inventer sa propre police non?

Théoriquement un juge peut nommer n’importe quelle personne comme député si les marshals refusent (utilisé dernièrement pendant la guerre civile)

While I may not think a total ban of US-based social media platforms (and TikTok) makes sense in the short term, that doesn’t mean I feel that way about X. We need to remember that the influence of X has long been exaggerated because it was where politicians and the media hung out, and that position has been even further eroded since Musk’s takeover. Given that it is actively enabling the creation of non-consensual deepfakes and child sexual abuse material, not to mention its broader amplification of right-wing narratives, the only real option in my mind is for people to leave, if not for governments to ban it, so that influence is eroded even further. Replacing X is a much less of an ordeal than finding an alternative to Facebook or Instagram.

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-...

In terms of coursework probably a greater focus on the pragmatics of PL? The _design_ aspect of language development

There’s also whole domains not properly captured in PL. I keep thinking what the role for PL in distributed systems is.

I think the design space for an agent friendly language is far from settled. How do make a language such that reviewing code is 10x easier (since you’ll need to review 10x more code)?

French doesn’t have a word for dumpling so we call them all raviolis

My understanding is that this is where zig is trending with io (and already doing w alloc)

Écoute, je suis d’accord sur le fond! Mais il y a un vrai travail de préparation qui aurait besoin d’avoir lieu et qui ne se passe pas actuellement. Je ne suis pas fataliste, les opinions se changent mais je pense qui si demain on interdisait Meta cela serait très mal reçu et risque la réaction

Pour que ça marche il faudrait connecter meta avec le gouv américain dans l’esprit publique, chose qui n’est pas acquise. Et rendre le sacrifice soutenable (et perdre contacte avec la famille/amis c’est pas rien!).

Ok mais soyons honnête quel pourcentage de la population française utilise signal? De toute façons c’est pas un remplacement: je _veux_ voir les stories/posts de mes amis. Une interdiction de Meta est un acte politique et doit être conçu comme tel et non d’un pdv moralisateur

Justifier une sanction sur X c’est facile au choix: pedopornographie,nazisme,proximité au régime,influence sur les élections françaises.
Pour Meta tu dois expliquer pourquoi personne peut parler avec leurs amis comme d’hab. faisable mais nettement plus difficile.

Ça serait sans doute mieux en net, mais Instagram est très populaire, suffit de voir le Népal/madagascar sur ce qui se passe quand on coupe. Je sais que insta c’est le seul réseau que j’ai en commun avec tout mes amis.

Justement comme j’ai dit dans mon autre réplique je pense que meta c’est un peu compliqué car c’est plus difficile à expliquer pourquoi on ne peut plus parler avec des amis/famille etc.. X par contre? C’est juste des journalistes et politiques.

À la place je commencerai par X c’est une petite plate-forme très affilié à la droite américaine. Ça aurait peu d’impact économique mais un immense impact psychique. Meta au contraire est très intégré (WhatsApp, insta) et cela serait difficile pour bcp de français (donc politiquement difficile)

Après ça pourrait être fait en retaliation. Par contre je pense que Amazon & Microsoft s’y opposerait par intérêt vénale, ils savent que cela voudrait dire la fin du cloud/office en Europe.