//
sign in
Profile
by @danabra.mov
Profile
by @dansshadow.bsky.social
Profile
by @jimpick.com
AviHandle
by @danabra.mov
AviHandle
by @dansshadow.bsky.social
AviHandle
by @katherine.computer
EventsList
by @katherine.computer
ProfileHeader
by @dansshadow.bsky.social
ProfileHeader
by @danabra.mov
ProfileMedia
by @danabra.mov
ProfilePlays
by @danabra.mov
ProfilePosts
by @danabra.mov
ProfilePosts
by @dansshadow.bsky.social
ProfileReplies
by @danabra.mov
Record
by @atsui.org
Skircle
by @danabra.mov
StreamPlacePlaylist
by @katherine.computer
+ new component
ProfilePosts









Loading...
blogs.mediapart.fr/david-monnia...
"la mise en oeuvre en théorie et pratique de nouvelles techniques d'intelligence artificielle générale, afin de résoudre les problèmes de téléchargement d'esprit, test d'immortalité et test de Turing" "bien plus qu'un simple décalage de paradigme, mais d'approches bien plus révolutionnaires" WTF?
Est-ce que "A" est un commentaire pertinent si le candidat n'a mis que des réponses "A" ?
On s'interroge sur la correction par IA. Mais on me fait corriger à la « main » des QCM numérisés et on m'oblige à mettre un commentaire...
Je n'arrive pas à trouver la case: ne pas mettre la moyenne en raison de l'orthographe dans Santorin. (l'application de correction des épreuves nationales de l'EN)
Vous connaissez une façon intuitive d'expliquer que l'ordre lexicographique n'est pas bien fondé ?
(Je ne trouve pas: il n'y a pas de plus petit mot se terminant par x, très intuitif)
2d
The Karger–Klein–Tarjan algorithm (MST in expected linear time) is incredibly beautiful. A joy to teach and share (at least for me; at least one happy person in the classroom, I guess.) To compensate for how beautiful that algo is, I made handwritten slides: ccanonne.github.io/files/compx2...
4d
If you don't recognize the reference, it's this old classic about thinking meat. web.mit.edu/people/dpoli...
4d
4d
4d
21h
It’s no secret that I’m a big fan of the International Obfuscated C Code Contest!

 Excited to watch winners streaming at 11AM PDT today.

 It always brings out an interesting blend of compiler nerds, programming language theorists, and researchers.
21h
1d
5d
3d
On déplore parfois que personne n'explore certains sujets. N'est-ce pas juste qu'on ne passe pas la parole à celles et ceux qui le font ?
blogs.mediapart.fr
La recherche critique est invisibilisée
David Monniaux
Grompf
ll
ll
ll
ll
ll
Clément Canonne
Shriram Krishnamurthi
LaurieWired