1 Followers
146 Following
539 Posts

Normalien infoteux, en stage de recherche à l'INRIA

CS Student @ ENS Paris, currently research intern @ INRIA
   user | OSM contributor | Formal methods and systems enthusiast | April member
Interested in #sustainable and #inclusive #design, #lowtech
Pfp and profile header are (WIP) left as an exercice to the motivated reader.

My websitehttps://cst1.fr

Ah wait, when I said “ P’ “ had the shortest title, I forgot this paper that Steinn Sigurðsson showed me. It’s titled “0”.

https://arxiv.org/abs/2104.12255

0

What is the funniest number in cryptography? 0. The reason is that for all x, x*0 = 0, i.e., the equation is always satisfied no matter what x is. This article discusses crypto bugs in four BLS signatures' libraries (ethereum/py ecc, supranational/blst, herumi/bls, sigp/milagro bls) that revolve around 0. Furthermore, we develop "splitting zero" attacks to show a weakness in the proof-of-possession aggregate signature scheme standardized in BLS RFC draft v4. Eth2 bug bounties program generously awarded $35,000 in total for the reported bugs.

arXiv.org

J'adore l'idée d'un de mes collègues de demander aux élèves de créer des cartes postales. Ils écrivent non seulement le texte de la carte mais aussi celle permettant de décrire l'image à générer avec Midjourney. On voit là que les élèves écrivent deux fois plus. Littéralement.

Les élèves adorent ce jeu à la fois textuel et pictural notamment ce moment où l'image commence à apparaitre et progressivement à prendre forme. Le moment de choisir entre les 4 images est aussi un moment très apprécié.

@valere @alarig Je viens de voir que le lien vers le monitoring de l'instance sur la page *about* (https://uptime.monitoring.hostux.net/status/hostux) est cassé
Aux César des Lycéens, le réalisateur Dominik Moll se fait applaudir à chaque saillie contre le gouvernement, face à Pap Ndiaye (avec le logo du ministère derrière, c'est un petit plus)
👏 👏 👏
We take a look at Wike, a wonderful #Wikipedia reader for Linux desktops https://www.omglinux.com/desktop-wikipedia-app-for-linux/ #gtk #opensource
Wike is a Wikipedia Reader for Linux Desktops - OMG! Linux

Most of us read Wikipedia in our web browsers but those looking for an alternative, app-like experience on Linux will want to check out Wike. Wike is a

OMG! Linux
Macron a dépensé 16 millions d'euros d'argent public pour des sondages confidentiels en 3 ans, dont une étude bidon qui avance que "les retraités l'associent à des personnes aventurières (sic), tels James Bond, Jean-Paul Belmondo, Jean Dujardin ou Louis XIV", révèle Le Monde https://www.lemonde.fr/politique/article/2023/03/27/candidats-partis-gouvernement-les-zones-d-ombre-et-le-marche-florissant-des-sondages-confidentiels_6167082_823448.html?random=1309540043 #Politique #Macron #reformedesretraites #Presidentielle #SOS
L’addiction des politiques aux sondages confidentiels

Le gouvernement a dépensé plus de 16 millions d’euros pour des études d’opinion entre 2019 et 2022. L’appel d’offres pour ces enquêtes sur les quatre prochaines années prévoit une hausse de 54 %.

Le Monde
10,001,119 accounts
+1,627 in the last hour
+45,914 in the last day
+151,292 in the last week

Microsoft released copilot in Excel, and it is officially caught up with Google on the AI race.

Fantastic to watch.

Macron mis en pièces par la presse étrangère: un "canard boiteux" (The Guardian), qui a subit "un énorme revers politique" (Politico Europe), après "une décision brutale" (der Spiegel) en imposant sa réforme des retraites. Dire que le président voulait rassurer les marchés... #Presse #Medias #Politique #Macron #reformedesretraites #Journadon

Stop thinking of Twitter, TikTok, IG, (et al) as social media sites.

They are **Content Refineries.**

Like processed food manufacturers they take user content & extract the most addicting/engaging content. Brains eat it up but in an unhealthy “devour the whole bag of chips” way.

They make hyper-processed social media junk food.

Mastodon is more like a potluck. We're all bringing dishes. It's a mess. Kids are running all over. But we are, at least, real people sharing real things.