Sign in

ll

@ll-info.bsky.social
88 followers 156 following 648 posts

Informatique, et enseignement de l'informatique. #NSI Aussi intéressé par les sciences cognitives.

PostsRepliesMedia
ll @ll-info.bsky.social · 15/10/2026
Difficile de lire un tel message quand on travail dans un lycée où des gens ont été blessé par des feux d'artifices/"mortiers". (sans que ce soit le fait de la police)
010 1
Reposted by ll
Sophie Huiberts @sophie.huiberts.me · 13/10/2026
Virginia's writing is very informative! She and Josh received the original (shitty) proof from Anthropic's internal model, but she could easily reproduce it using her own old proposed strategy and <2 hours of publicly available Claude.
1237 23
Reposted by ll
Ben Recht @beenwrekt.bsky.social · 12/10/2026
OpenAI’s faster Fourier transform is less a mathematical breakthrough and more a malicious exploit of mathematical traditions.
argmin.net
Faster Fourier Transforms
The OpenAI algorithm for the FFT is less a breakthrough and more a malicious exploit.
1520071 200
ll @ll-info.bsky.social · 12/10/2026
What would it mean for a technology to be verified in Lean ?
100 1
ll @ll-info.bsky.social · 08/10/2026
Les deux preuves ne correspondent pas donc la preuve en langage naturelle pourrait être fausse. Mais sait-on ce que prouve la preuve en Lean ? Est-ce vraiment Navier-Stokes ?
110 1
ll @ll-info.bsky.social · 08/10/2026
De ce que je comprends chaque rectorat emploi des gens à plein temps pour faire ça. (Ça inclut aussi la formation continue)
000 0
ll @ll-info.bsky.social · 08/10/2026
Est-ce pour autant que fermer les BTS en alternance ou en avoir moins serait une bonne idée ?
100 1
ll @ll-info.bsky.social · 08/10/2026
Il y a des opinions fortes sur le fait que la démonstration soit franchement fausse ? J'avais vu des doutes de la part de spécialistes mais parfois c'est difficile de savoir quelle compréhension ils ont de lean.
020 2
Reposted by ll
Pтiт Poиeч de Fiиdцs @0xdefec7edcafe.bsky.social · 08/10/2026
"Pour illustrer les implications de ce résultat, nous présentons des exemples d’erreurs de traduction commises par l’IA lors de la conversion d’énoncés et de démonstrations en langage naturel (NL) vers Lean, entraînant des divergences entre les démonstrations en NL et leurs 'vérifications' en Lean..
322 3
ll @ll-info.bsky.social · 08/10/2026
Est-ce que c'était le cas en mars 2026 ? Ce n'est pas le ressenti actuel qu'il faut comparer mais celui correspondant aux dates du papier.
000 0
ll @ll-info.bsky.social · 08/10/2026
La méthodologie est bien expliquée, la couverture est large et les dates sont données. En déduire quelque chose de simple sur l'utilisation de ces outils, type: « l'ia ça sert à rien » n'a pas bcp de sens, mais ignorer une telle étude n'en a pas non plus.
100 1
ll @ll-info.bsky.social · 08/10/2026
Est-ce qu'il n'y a pas de problème de logement en France car 8% ne sont pas occupés ?
000 0
ll @ll-info.bsky.social · 08/10/2026
Pour 25k formations via parcoursup ? C'est grossier comme calcul mais avoir 3-4 places de marge par formation en moyenne, ça ne fait pas penser qu'il y a des gains simples de ce côté.
200 2
ll @ll-info.bsky.social · 08/10/2026
Ça peut être aussi un manque de respect intentionnel...
010 1
Reposted by ll
max power 🌌 @sneptech.bsky.social · 08/10/2026
316137868 6.1K
ll @ll-info.bsky.social · 07/10/2026
Je l'avais vu attribué à Michael R. Fellows et Ian Parberry: ianparberry.com/research/cse... mais à une date ultérieure.
ianparberry.com
Computer Science Education
010 1
ll @ll-info.bsky.social · 07/10/2026
Pourquoi ça n'aurait plus lieu d'être ? Que des humains puissent démontrer des résultats mettant en échec des IA me semble toujours d'actualité et la preuve du contraire ne me semble pas évidente dans tout les cas.
010 1
ll @ll-info.bsky.social · 07/10/2026
C'est appréciable de voir des avis sur l'avenir, même si ce n'est pas un avenir souhaitable...
010 1
ll @ll-info.bsky.social · 07/10/2026
Aucun politique ne voudra être celui qui a tiré le rideau sur les maths surtout potentiellement à tort, mais un lent déclin...
120 2
ll @ll-info.bsky.social · 07/10/2026
J'ai peut être lu trop vite mais la question du financement de la recherche en mathématiques ne me semble pas adressé.
240 4
ll @ll-info.bsky.social · 07/10/2026
Je ne suis pas sur que ce qu'attendent les physiciens des mathématiciens soient de pouvoir lire leur preuve.
100 1
ll @ll-info.bsky.social · 07/10/2026
Le lien fait avec la physique me fait penser que j'ai rarement vu le problème adresser sous l'angle de l'interaction avec les autres disciplines. Est-ce que les autres disciplines continueront de s'adresser aux mathématiciens me semble important.
110 1
ll @ll-info.bsky.social · 07/10/2026
Ça ressemble à du déni quand même...
110 1
Reposted by ll
Carl T. Bergstrom @carlbergstrom.com · 07/10/2026
Terry Tao @teorth.bsky.social: Indiscriminate brute-force application of AI to mathematics is depleting the field of good questions without renewing this resource or providing commensurate value. OpenAI: We hear you. Here's a .zip file with 377 hasty AI solutions to important open problems.
nytimes.com
OpenAI Releases Findings on 377 Math Problems, Further Roiling Field (Gift Article)
After a previous solution angered mathematicians, the company characterized the new release as being more responsive to concerns about A.I. disrupting research.
19417121 417
ll @ll-info.bsky.social · 07/10/2026
Je pense aussi que c'est le cas, mais pas convaincu qu'il y ait encore bcp de monde pour le penser.
000 0
ll @ll-info.bsky.social · 07/10/2026
J'ai peur qu'une conséquence non voulue du mouvement lycéen soit la fermeture/non ouverture des spécialités/options les moins classiques comme #NSI. Puisque c'est pratiquement la seule marge pour avoir de « meilleurs » emplois du temps.
161 6
Reposted by ll
Clément Canonne @ccanonne.github.io · 04/10/2026
Them: Where is Clément? Friend: Well, he said he'd be back in a bit Them: True Me: hi
0122 12
ll @ll-info.bsky.social · 28/09/2026
Ça pose la question du blocage des lycées agricoles !
010 1
Reposted by ll
John C. Baez @johncarlosbaez.bsky.social · 24/09/2026
Wow, more progress on the Riemann zeta function! We know in our bones that for all positive integers n, ζ(n) = 1⁻ⁿ + 2⁻ⁿ + 3⁻ⁿ + ⋯ is irrational. But it's only been proved for n even, n = 3, .... and now, it seems, n = 5. This may seem small, but it's huge. zenodo.org/records/2282...
zenodo.org
ζ(5) is irrational
We prove that ζ(5) is irrational. The proof constructs integer polynomials Qₙ of degree 37n with 0 < Qₙ(ζ(5)) < exp(−139n²/5) for all sufficiently large n. These polynomials are rationally normalized ...
25913 59
ll @ll-info.bsky.social · 20/09/2026
J'ai lu le à propos et le pourquoi et c'est plus clair. Étant plus intéressé par le comment que le produit lui même, je n'avais pas été voir à la base.
100 1
ll @ll-info.bsky.social · 20/09/2026
Pourquoi 3 agents différents ? Tu as expliqué quelque part le mélange que tu utilises ? (et comment et pourquoi ?)
101 1
Reposted by ll
David Monniaux @monniauxd.bsky.social · 20/09/2026
1) Pleurer que les données personnelles circulent partout suite aux piratages. 2) Ne pas légiférer pour interdire aux marchands etc. de demander des tas d'informations personnelles genre date de naissance. 3) Exiger une vérification d'âge impliquant des transmissions de données personnelles.
13454208 454
ll @ll-info.bsky.social · 20/09/2026
Pourquoi ce serait un comportement de gatekeeper? Et quel est ce comportement ?
000 0
Reposted by ll
Anna Kubišta @annakubista.bsky.social · 16/09/2026
Donc sur la Radio Nova tu as une "humoriste" russe qui te tartine une chronique totalement négationniste sur l'histoire de son pays. Et tout le monde se fend la poire quand elle dit que la Russie, elle, n'a pas eu de colonies. Mais quelle honte purée.
3023667 236
Reposted by ll
𝕍alérie ℝ. 🌋🪄🐿️ @valrobert974.bsky.social · 16/09/2026
Petite geek que je suis à traîner avec les profs d'info, on m'a fait découvrir un vieux jeu : des mots croisés en expression régulière, parfait pour réviser avant l'advent of code 🙂 regexcrossword.com
regexcrossword.com
Regex Crossword
A crossword puzzle game using regular expressions. Earn achievements completing puzzle challenges. Easy tutorials for people new to regular expressions.
083 8
Reposted by ll
CNRS @cnrs.fr · 15/09/2026
Researchers have sorted out and deciphered thousands of letters written in cuneiform script on clay tablets found in Mesopotamia. 📜 These are eerily modern, showing that people four millennia ago shared the same interests and concerns as we do today
news.cnrs.fr
Live from Mesopotamia, 4,000 years ago
34422 44
Reposted by ll
Clément Canonne @ccanonne.github.io · 08/09/2026
Well, this Navier-Stokes affair did blow up in finite time
843862 438
Reposted by ll
👻👹 boo-rit 👹👻 @britculpsapp.bsky.social · 31/07/2026
christ if that’s not a metaphor for our times
reuters: 

Sunken Nazi warships resurface as water levels drop
Scuttled German WW2 warships have reemerged from the Danube in drought-hit Europe.
17108533744 10.9K
ll @ll-info.bsky.social · 28/08/2026
Ça veut dire quoi appliquer l'approche scientifique en politique ? Je serais très favorable au fait de prendre en compte ce que dit la science, mais ça me semble très différent, et par exemple est ce que l'approche scientifique est compatible avec la démocratie ?
000 0
Reposted by ll
Lays Farra @laysfarra.bsky.social · 22/08/2026
Des universitaires qui se sont spécialisés toute leur vie dans leur domaine et occupent un des rares postes où ils peuvent s'y consacrer à plein temps se servent de LLM pour générer leurs papiers, manifestement on peut pas mettre cette addiction sur le compte du carcan de la scolarité obligatoire.
1227 22
ll @ll-info.bsky.social · 21/08/2026
Les personnes se pensant électrosensibles discutent de la façon d'éviter les ondes...
000 0
ll @ll-info.bsky.social · 02/08/2026
C'est juste un perroquet stochastique sonne un peu comme c'est juste une machine de Turing.
030 3
ll @ll-info.bsky.social · 25/07/2026
Lupin !
010 1
ll @ll-info.bsky.social · 22/07/2026
Ça ressemble bcp à une grosse opération de com'
000 0
ll @ll-info.bsky.social · 14/07/2026
Pipe ? C'est ce que j'ai tjs entendu, de même dans d'autres langages. Sans proposition de traduction.
110 1
ll @ll-info.bsky.social · 10/07/2026
Qui se revendique du nihilisme ?
000 0
ll @ll-info.bsky.social · 09/07/2026
Stoïcisme qui en ce moment a tendance à être la philosophie officielle de ce qui se fait de pire politiquement.
110 1
ll @ll-info.bsky.social · 07/07/2026
En ayant plutôt l'impression que cela vient de l'infrastructure qu'un comportement particulier des cyclistes. (mais j'ai du mal à faire des généralités sur les automobilistes/cyclistes/piétons)
200 2
ll @ll-info.bsky.social · 07/07/2026
A mon avis, c'est très localisé, la seule ville où je trouve les vélos stressant en tant que piéton, c'est Paris.
100 1
ll @ll-info.bsky.social · 05/07/2026
Les gens ne se connaissent que rarement dans les jurys de bac, n'ont pas trop envie d'être là et ont peu de chance de se recroiser: globalement ils se parlent très peu.
000 0