Quand un mathématicien vous dit que l'IA a ruiné son métier et que vous lui répondez qu'il va pouvoir se concentrer sur d'autres problèmes ou des choses "plus intéressantes", vous n'écoutez pas ce qu'il vous dit. Pareil pour un informaticien, un artiste, un traducteur...

Show Post

On vous parle de raison d'être. On vous parle de passion. On vous parle de deuil.

Show Post

formal specs buy you correctness, not the stuff that actually bites later, like whether the code fits how the rest of the system thinks, or whether a human can debug it at 2am. tests prove it works, not that anyone will get why.

Show Post

I wrote about why I quit my job, and how weird and tiring tech feels these days.

Show Post

I was inconsiderate but now I’m everywhere: https://sive.rs/socials

Show Post