Mais bon a quel point es ce qu’on peut vraiment réutiliser le source des papiers dans un manuscrit?

Sincèrement oui, latex c’est vraiment affreux comme outil informatique et typst offre des vrais gains de productivité. La transition sera nécessairement pénible mais Arxiv va rajouter du support pour typst et certaines conférences le considère aussi.

In a language with traits you can use existentials to hide the specific type exposing only the information that it satisfies a trait (and whatever algebraic properties that comes with)

It’s the same thing, in your example you’re hiding which specific x has that property. Most languages are not able to express that specific property but that’s how it would work in a dependently typed language.

data Obj = forall a. (Show a) => Obj a

wiki.haskell.org/Existential_...

Existential types are present in some languages (Rust, rocq, Haskell) they are generally less common but very useful in their niches.

1e victoire 100 000 La pétition contre la loi Yadan atteint les 100 000 signatures. Une première victoire avant le nouvel objectif : 500 000 signatures !

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

how would you bill waiting on a compiler?

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 personally don't think effect generics solve much in rust today and the concrete proposals seem to be folding a bunch of things that aren't effects into it because they are syntactically similar.

If we make a change to the type system it should be introducing `Forget` so we can finish async.

Ah du coup l intégration pour les sms ne fonctionnera pas mais pour les mails 2FA ça devrait

C’est automatique dans l’os sit t’as un iPhone / utilise Apple mail. Ça reconnais le format des messages 2fa et propose l’auto complétion directe dans l’appli/navigateur

Y’a aussi des histoires comme quoi les agents on fouillé les donnés sur l’ordi pour trouver les clés d apis / paiements nécessaire pour accomplir une tâche

Je sais pour yousign en particulier mais beaucoup d applis/ site web ça te donne l’auto complétion

J’imagine que t’as entendu parler des gens qui ont donné accès à leur carte de crédit ?

sur Mac y’a déjà une intégration os (pas ia) qui détecte les sms/mails de confirmation et te permets de les auto-remplir.

The "always has been" meme with two astronauts, one looking at the earth from space, with the first astronaut saying "Wait, so it's all just gender?", and another standing behind them aiming a gun at them saying "Always has been".

ah you mean dependency resolution not traits

wdym how would that occur?

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!