Ce n’est pas pour dire que ces disciplines ont aucun mérite pédagogique ou intellectuel, mais dans le cadre d’une formation ‘bankable’ il vaudrait mieux se concentrer sur un savoir impérissable et apprendre à reconnaitre les problèmes spécialisés avec le vocabulaire pour ensuite creuser les réponses

Si je devais choisir la discipline informatique du futur cela serait les systèmes distribués qui sont déjà répandus partout

Meme si on avait des ordi quantiques qui opéraient à température ambiante, produits en masse, ça resterait probablement plus spécialisé que les programmeurs CUDA. En toute probabilité tu aurais une lib python qui exécute tel ou tel algo sur ton QPU

i wouldn't be surprised that the code that is hard to automatically translate into safe rust is *precisely* the code where memory safety bugs hide with highest density and helping focus developers on that (by handling the rest) could help in oxidation.

automated 'idiomitization' passes can be layered on as was the case in the original c2rust vision. but the reality (and where i agree with you), is that there will have to be deeper, human-led restructurings if we want to end with safe, idiomatic rust.

liked the article, but i disagree with the conclusion. while having formal semantics is a desirable project (and being worked on by the op-sem team), its not a blocker for c-to-rust work.

imo there's huge in translating c in a (informally) semantics-preserving way even if its unsafe.

a more "readable" and "useful" version of the same trace

I think it’s an American thing primarily in liberal arts / social sciences.

I'm trying to get shock diamonds going, that's how you find the *real* bugs

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.

You can just use your wallet app now, there’s a little bit of set up still but it’s a lot closer.