iiinova — where your digital self keeps evolving

Reposted by Bruno Grenet

Joshua Grochow @joshuagrochow.bsky.social · 16/09/2026

Starting to get kinda annoyed at senior mathematicians saying "I use AI to speed up my work because I have to. But we must protect junior researchers from being scooped. I just have no idea how!" You are the ones doing the scooping!

3396

Bruno Grenet @brunogrenet.bsky.social · 08/09/2026

It's sad to see that proof formalization became the unwitting partner in crime of big AI companies. They use formal proofs to avoid the effort of writing readable proofs. Without (automatic) formal proofs, they would need to work on their AI slop to convince the world that the proof is valid.

100

Reposted by Bruno Grenet

Ivan Šupić @quantumsupic.bsky.social · 16/03/2026

We are very happy to share that Grenoble will host TQC, one of the most important quantum computing conferences, in 2027! Excited to welcome the community in the heart of the Alpes! tqc-conference.org/2026/2027/

0258

Reposted by Bruno Grenet

Bruno Grenet @brunogrenet.bsky.social · 18/12/2025

Je vends des billets Ouigo Angers > Paris le 30 décembre, pour 2 adultes et 1 enfant. Prix à négocier ! www.lebontrain.co/billets/ange...

lebontrain.co

LeBonTrain

Tous les billets de train Ouigo, Eurostar, Thalys et Lyria de seconde main.

001

Bruno Grenet @brunogrenet.bsky.social · 18/12/2025

Je vends des billets Ouigo Angers > Paris le 30 décembre, pour 2 adultes et 1 enfant. Prix à négocier ! www.lebontrain.co/billets/ange...

lebontrain.co

LeBonTrain

Tous les billets de train Ouigo, Eurostar, Thalys et Lyria de seconde main.

001

Reposted by Bruno Grenet

David Monniaux @monniauxd.bsky.social · 25/02/2025

L'Université Grenoble Alpes va accueillir Alain Bauer dans un cycle de "conférences d'exception" (qui avaient accueilli des gens comme Gilles Dowek ou Joseph Sifakis). Une pétition demande de faire la lumière sur le processus qui a abouti à cette invitation : pytition.ethibox.fr/petition/use...

pytition.ethibox.fr

Alain Bauer n'est pas un scientifique d'exception

Le 21 février, le personnel, les étudiantes et étudiants de l’UGA ont reçu une invitation à une conférence exceptionnelle d’Alain Bauer « pour décrypter les enjeux du monde actuel », organisée par l’U...

0196