Sign in

danielaugot.bsky.social

@danielaugot.bsky.social
49 followers 82 following 124 posts

Chercheur en informatique à l'INRIA et au laboratoire d'informatique de l'École polytechnique.

PostsRepliesMedia
danielaugot.bsky.social @danielaugot.bsky.social · 05/12/2025
C'est du Jérôme Bosch qui aurait lu Darwin
031
danielaugot.bsky.social @danielaugot.bsky.social · 04/12/2025
Est-ce que dans les trains on pourrait faire passer internet par les rails ?
000
danielaugot.bsky.social @danielaugot.bsky.social · 04/12/2025
Offert en même temps que la station mir de la cité de l'espace ?
000
danielaugot.bsky.social @danielaugot.bsky.social · 03/12/2025
Le lien est pas clair, mais ça fait penser à l'histoire du gars qui cherche ses clés sous le lampadaire plutôt que là où il les a perdues
100
danielaugot.bsky.social @danielaugot.bsky.social · 03/12/2025
Ce dont on ne peut parler, il faut Noether
011
Reposted by @danielaugot.bsky.social
Cartes @cartes.app · 27/11/2025
L'Etat français sort une "keynote" pour présenter sa suite numérique. C'est pro. Enfin, la souveraineté numérique est prise au sérieux. Tout est libre. Bravo la DINUM. m.youtube.com/watch?v=X6c-...
m.youtube.com
Présentation de LaSuite
YouTube video by LaSuite
37237
Reposted by @danielaugot.bsky.social
David Monniaux @monniauxd.bsky.social · 30/11/2025
Beaucoup de femmes agressées aimeraient avoir autant de sollicitude de la part des autorités judiciaires et policières que n'en bénéficie un monsieur qui a reçu un œuf sur la tête.
5436103
danielaugot.bsky.social @danielaugot.bsky.social · 26/11/2025
@canardpc.com lejournal.cnrs.fr/articles/jeu...
lejournal.cnrs.fr
Jeux vidéo : les maths sous toutes les surfaces
Les graphismes en 3D des jeux vidéo s’appuient sur la géométrie des surfaces. Algorithmes, fractales, plaquages, maillages, projections… À l’occasion de l’exposition « Sous la surface, les maths », dé...
000
danielaugot.bsky.social @danielaugot.bsky.social · 23/11/2025
«Mange ta soupe ou tu seras privé de dessert» - Logique juridique : l'enfant mange sa soupe, il n'est pas privé de dessert - Logique mathématique : l'enfant mange sa soupe, il est privé de dessert quand même
020
danielaugot.bsky.social @danielaugot.bsky.social · 22/11/2025
Pire : les nombres complexes.
100
Reposted by @danielaugot.bsky.social
Quarkslab @quarkslab.bsky.social · 19/11/2025
Quarkslab engineers Robin David, Mihail Kirov and Kaname just completed the first public security audit of Bitcoin Core, led by @ostifofficial.bsky.social and funded by Brink.dev Details on the blog post: blog.quarkslab.com/bitcoin-core... Congrats to developers for such software masterpiece !
blog.quarkslab.com
Bitcoin Core audit - Quarkslab's blog
The Open Source Technology Improvement Fund, Inc. mandated Quarkslab to perform the first public security audit of Bitcoin core, the reference open-source implementation of the Bitcoin decentralized p...
065
danielaugot.bsky.social @danielaugot.bsky.social · 18/11/2025
Mouarf. Et vive le Gers ! www.ladepeche.fr/2025/11/17/i...
ladepeche.fr
Une erreur de l’IA ? La ville de Condom remplacée par le mot… préservatif sur le site de France Travail
En fin de semaine dernière, une annonce de France Travail a fait sourire et grincer des dents après avoir remplacé par erreur Condom par "Préservatif". Une anecdote qui a suscité l’étonnement sur les ...
000
Reposted by @danielaugot.bsky.social
Franquin et Cie @franquincie.bsky.social · 16/11/2025
Cueillette aux champignons 🍄 #Schtroumpfs #Spirou
093
danielaugot.bsky.social @danielaugot.bsky.social · 17/11/2025
On m'a un jour dit «on ne comprend pas les maths, on s'y habitue». Je me demande si ce n'est pas un petit peu vrai.
010
danielaugot.bsky.social @danielaugot.bsky.social · 17/11/2025
Are you talking of this hackmd.io/@zkpunk/rkHd... ?
hackmd.io
Reed-Solomon Proximity Gaps - HackMD
The November 2025 breakthrough simultaneously closed long-standing questions and opened new research frontiers. The most pressing open problems span theoretical impossibility results, algorithmic impr...
000
danielaugot.bsky.social @danielaugot.bsky.social · 14/11/2025
Ben voyons ! C'est évident ! Tout le monde sait qu'il faut dire "je vous présente mes confuses".
000
danielaugot.bsky.social @danielaugot.bsky.social · 14/11/2025
Sois patient. Peut être que les RHs vont te proposer trois jours de formation à l'outil ? En présentiel.
111
danielaugot.bsky.social @danielaugot.bsky.social · 10/11/2025
Batcat ? docpop.org/2016/09/moeb...
docpop.org
Moebius parodies Batman in 1995's "I Am Not Batman" - Doc Pop's Weblog
In 1994, Mœbius submitted a weird Batman story called "I am not Batman" to DC Comics, who quickly rejected it and refused to pay him for his work.
000
danielaugot.bsky.social @danielaugot.bsky.social · 06/11/2025
Lu dans un rapport HCERES : «Les appels à projets (AAP) dont nous pouvons bénéficier sont nombreux. Un des enjeux pour l’unité est de s’assurer que les informations sont accessibles à tous ses membres.» Qui a dit «jungle» ou «maquis» pour les appels à projets ?
000
danielaugot.bsky.social @danielaugot.bsky.social · 20/10/2025
Emprunter un livre à une bibliotèque ? Quelle idée de gauchiste !
001
Reposted by @danielaugot.bsky.social
Guillaume Champeau @guillaume.champeau.info · 13/10/2025
Cette stat est folle : "61% des usagers rencontrent des difficultés avec leurs démarches administratives, contre 39% il y a 8 ans" On voit là l'effet de la numérisation et du manque de considération assez sérieuse pour l'illectronisme total ou partiel. www.bfmtv.com/economie/eco...
bfmtv.com
De plus en plus d'usagers galèrent dans leurs démarches administratives (61% contre 39% il y a 8 ans) et un quart abandonne
61% des usagers rencontrent des difficultés avec leurs démarches administratives, contre 39% il y a 8 ans, selon une enquête du Défenseur des droits (DDD). L'étude pointe des "fractures persistantes" ...
77852
Reposted by @danielaugot.bsky.social
nosferatu hater.MCM EXPO london @moliaudrey.bsky.social · 13/10/2025
Avec la montée de l ia generative qui a volé mon taff et celui de milliers d autres artistes, je me retrouve a faire un cv pour de la vente, parce que les job dans l illu se font assez rare maintenant.
media.tenor.com
a cat is sitting in a doorway looking out of a window .
Alt: a cat is sitting in a doorway looking out of a window .
1511938
danielaugot.bsky.social @danielaugot.bsky.social · 09/10/2025
Wait til you are 60, with latex still there
010
danielaugot.bsky.social @danielaugot.bsky.social · 08/10/2025
Ressentir 2g dans la centrifugeuse de la cité de l'espace
110
danielaugot.bsky.social @danielaugot.bsky.social · 06/10/2025
Il rend très bien compte du b*rd*l
000
danielaugot.bsky.social @danielaugot.bsky.social · 06/10/2025
Karim Duval à son meilleur youtu.be/KluVuTECEUE?...
youtu.be
La vérité sur la pénurie de masques - Karim Duval
YouTube video by Karim Duval
100
danielaugot.bsky.social @danielaugot.bsky.social · 06/10/2025
Discret et réputé habile négociateur, fidèle soldat d'Emmanuel Macron, Sébastien Lecornu aura échoué à convaincre la terre de changer de sens de rotation, devenant le Premier ministre le plus éphémère de la Ve République.
000
danielaugot.bsky.social @danielaugot.bsky.social · 06/10/2025
«le réseau» «le réseau» «le réseau» «le réseau» «le réseau» «le réseau» «le réseau, le réseau, vous dis-je» (inspiré du Malade Imaginaire)
000
Reposted by @danielaugot.bsky.social
Ivan Gaudé @ivanlefou.eurosky.social · 02/10/2025
Les dictionnaires Meeriem-Webster qui trollent les start-ups IA, c'est assez fun.
08322
Reposted by @danielaugot.bsky.social
Michaël Mangeon @mangeon4.bsky.social · 30/09/2025
Vidéo du jour 1981 : Présentation du réacteur nucléaire de recherche Orphée (pour Outil pour la Recherche en Physique de l'État condensÉ) du CEA Saclay qui fonctionne de 1980 à 2019. Source : www.ina.fr/ina-eclaire-...
0115
danielaugot.bsky.social @danielaugot.bsky.social · 29/09/2025
Marche nickel de mon côté. Et avec une adresse institutionnelle ça demande une authentification par le CAS de l'employeur. Ce qui est bien.
000
danielaugot.bsky.social @danielaugot.bsky.social · 25/09/2025
Avec planté de bâton ?
010
Reposted by @danielaugot.bsky.social
Gaël Varoquaux @gaelvaroquaux.bsky.social · 23/09/2025
J'aurais besoin de conseils juridiques pour savoir sur une menace de procès (lettre d'avocat) pour quelque chose que j'ai dis sur les réseaux sociaux est solide, ou du bluff. Quelqu'un de compétent pour m'aider? Merci
1912
danielaugot.bsky.social @danielaugot.bsky.social · 23/09/2025
Patterson: "It made sense to start hiring people" "People in this industry are worth 1 billion dollars" "We're musicians and there's are a few Taylor Swift's" www.youtube.com/live/EvlZpen...
youtube.com
Computer Architecture 101 and Its Future
YouTube video by Simons Institute for the Theory of Computing
010
danielaugot.bsky.social @danielaugot.bsky.social · 20/09/2025
Une Hceres du CIR ? Étendre les prérogatives de l'Hceres au CIR ?
110
danielaugot.bsky.social @danielaugot.bsky.social · 20/09/2025
Peut-être qu'il pratique lui aussi les bains de fondement ?
010
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
Donc l'idée est que la société mets des canaris, peux même te dire lesquels, te donnes l'exécutable correspondant, et tu déclenches la mort des canaris, tu en fait un observable que tu écris dans le journal de RISC0, et tu prouves le tout ?
100
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
dans tout le système RISC0
100
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
Je comprends que ce que tu dis est de mettre le canari dans le programme cible, ou je me trompe Dans le scénario idéal, avec ces technologies, tu es un white hat, et tu veux prouver l'existence d'une faille sans manipuler le programme victime (ici le ELF venant d'un tiers), juste l'exécuter.
110
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
Super simple. Mais pas facile de définir un observable prouvable et significatif
100
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
(retaillé pour tenir dans un post)
100
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
J'ai trouvé sur le web ceci #include <stdio.h> #include <string.h> int main() { char pass[8] = "12345678"; char in[8]; printf("password?:"); // Entrer saucissesaucisse scanf("%s",in); if (strncmp(pass, in, 8) == 0) printf("Access granted\n"); else printf("Access denied\n"); }
100
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
"ils" c'est ceux dont on a vu l'exposé cheescloth ?
100
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
Sketch des inconnus, «vous pouvez répéter la question».
100
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
C'est ce que je voulais dire. Il faut trouver un observable qui montre le buffer overflow, puisque RISC0 ne le "voit" pas. Si le programme hébergé affiche "coucou je suis en overflow" et que ce n'est pas normal, il faut récupérer cette chaîne et l'enregistrer dans le journal, et le tout sera prouvé.
100
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
Voilà, je suis pas complètement sûr de moi. J'ai proposé comme sujet de projet étudiant de mettre en branle tout ça sur une attaque simple. Si j'ai mal compris, je mange mon béret.
000
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
Pour prouver qu'il y a une attaque, il faut qu'il ait un observable démontrant l'attaque, qui puisse être inscrit dans le journal, donc dans le reçu, et donc prouvé au final.
200
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
RISC0 ne sait donc pas qu'il y a attaque
100
danielaugot.bsky.social @danielaugot.bsky.social · 19/09/2025
Un buffer overflow est, me semble-t-il une exécution correcte d'une suite d'instructions RISC-V. Si je ne me trompe pas, c'est un bug, mais les instructions ont été exécutées comme il fallait. Donc en soi, RISC0 ne prouve pas l'attaque, puisqu'il prouve seulement que l'exécution a été correcte.
100