Le sujet de la nouvelle épreuve de mathématiques. Classe de 1ère, sujet des élèves en spé maths, calculatrice interdite. 1/2 Cette épreuve compte pour 2%, oui oui 2% dans la moyenne du bac. 2% c'est à dire moins que toutes les autres matières.

Vous connaissez une façon intuitive d'expliquer que l'ordre lexicographique n'est pas bien fondé ?

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...

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.

"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?

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)

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...

If you don't recognize the reference, it's this old classic about thinking meat. web.mit.edu/people/dpoli...

Everyone tends to think of swapfiles being disk based. In reality, swapping to RAM is exponentially more popular. If you have a traditional model of memory in your head, this makes NO SENSE. Swap is that thing we use when the system runs out of real ram right?

As a politician, as a union rep, there's only so much you can do against powerful forces. But sometimes, this "only so much you can do" can mean a lot.

« 1940s - Various "computers" are "programmed" using direct wiring and switches. Engineers do this in order to avoid the tabs vs spaces debate. »

J'aime bien ce thread car il parle d'une formulation qui m'a toujours un peu gêné sans que je ne prenne jamais le temps de l'analyser.

Je n'ai pas vu la vague de chaleur traitée sous cette angle mais le logement étudiant est rarement adapté à ces chaleurs ce qui est habituellement moins gênant...

📚 Faut-il privilégier l'enseignement explicite ou l'apprentissage par la découverte ? Une nouvelle étude auprès de 211 étudiants apporte des éléments empiriques en faveur de la théorie de l’effet de renversement de l’expertise

Je ne m'étais jamais rendu compte que l'algorithme glouton pour le sac à doc existe en version linéaire. J'associe vraiment trop les algorithmes glouton au tri...

#ResistanceRoots Ida Rhodes was born on this day in 1900 in Kamianets-Podilskyi, Ukraine. She was a mathematician, computer programmer and lecturer who was instrumental in early computer development in the U.S. She was also a fierce advocate for the disabled, often at great personal sacrifice. /1

Chrome ain't done 'til Safari won't run: https://denodell.com/blog/browsers-treat-big-sites-differently

The existence of the Master Theorem implies that of the Margarita Theorem

"Dyadic numbers can be represented by binary trees," uh? Sounds more like dryadic numbers to me

We take randomness for granted.
 Early PRNGs were BAD. Thousands of scientific papers used to rely on RANDU, created by IBM in the 1960s.

In 1D space, it looks ok! Map in 3D…you start to see the issues. Now, there *was* a better solution...but it would cost you.

Terminale NSI, j'essaie d'expliquer pourquoi IPv6 a du mal à être adopté, et que cela semble être en parti du à un problème de formation. Puis on enchaine avec du calcul de masque IPv4 pour les épreuves de bac...

We have made so much progress in computing. In the 50s, people told Grace Hopper they wouldn't use her compiler because "computers could only do arithmetic; they could not do programs". Now, LLMs can do easily do programs, what they can't do is arithmetic. www.computinghistory.org.uk/det/5487/Gra...

Damn you’re telling me the technology that was very obviously intended for unregulated speculation and criminal enterprises was used to do awful things

The FBI can’t get into a Washington Post reporter’s phone, in part because it was set to Lockdown Mode. www.404media.co/fbi-couldnt-...

"We've basically funded an elite global pedophile ring since 2015. I feel sick."

Il y a une très grande différence d'infrastructure, qui a un impact énorme sur l'utilisateur final (et ceux qui veulent contribuer). En gros, sur Masto, tu peux créer une instance, mais c'est comme créer tout un RS a par entière, que tu relies aux autres. Et dessus, il faut tout faire. Thread 🧵

People have been using birds to send messages for centuries. Given what, say, salmons and eels are able to do, I wonder why nobody has thought of using fish... Is this because they are unreliable as messengers? That seems like an easy problem to solve! Just use error-correcting cod

"We are very well aware of the fact that X for Grok is now offering a spicy mode showing explicit sexual content. This is not spicy. This is illegal. This is appalling. This is disgusting. I can confirm we are very seriously looking into this matter." — Spokesperson @thomasregnier.ec.europa.eu

Do you use LLMs to generate regular expressions? We do, too! Do you *review* your regexes? Is that frustrating? How can we put humans in the loop better, doing relatively few, meaningful tasks? Please try out our new tool PICK:regex, available for VSCode! blog.brownplt.org/2025/12/11/p...

Il y a 119 ans, le 9 décembre 1906, naquit Grace Murray Hopper, mathématicienne et informaticienne américaine. Elle sera la conceptrice du premier compilateur en 1951 (A-0 System) et du langage Cobol en 1959. Ses apports à l'informatique seront innombrables #LaPetiteInfoDuJour

[BO] Partie pratique de l'épreuve de l’enseignement de spécialité numérique et sciences informatiques de la session 2026 ➡️ www.education.gouv.fr/bo/2025/Hebd...

This is actually quite brilliant, up to and including the final sentence 🔥

Il faut arrêter de dire que la crise provoquée par la révélation d’un réseau de corruption en Ukraine affaiblit Zelensky. C’est plutôt le contraire. Et le dire nourrit le message russo/américain sur l’illégitimité de la démocratie ukrainienne. 1/8

If you'd like any programming practice, I have ten years (soon: 11) of programming puzzles on adventofcode.com! All of the puzzles are completely free! This is possible in part due to some lovely sponsors who you should definitely check out: adventofcode.com/2025/sponsors

I have never been a supporter of Donald Trump, but if he won’t walk back his praise of Zohran Mamdani, I will have no choice but to stop secretly voting for him and funding his campaigns.

Everyone’s heard of IPv4 and IPv6.

 I bet you don’t know about IPv5.

 Designed in the late 70s, it was an experimental protocol by MIT’s Lincoln Labs for real-time streaming.

 Basically, Zoom before Zoom existed...but for defense:

This is, of course, a fascinating thread from Kate asking why Google is effectively cannibalizing its own market for both digital ads on third party properties and search ads, by effectively taking away the incentive to click through to third party sites. I have a theory as to why they're doing it.

Reporter: Is it appropriate for your family to do business with Saudi Arabia while you’re president? The us intelligence concluded you orchestrated the murder of a journalist… Trump: Who are you with? Reporter: ABC News

a “Space Force”, if you will

Shader systems are ridiculously powerful if you’re clever enough. 

 Most people use them to create visual effects. You know what’s cooler? Running Linux. Inside an emulated RISC-V CPU. Inside a pixel shader. Inside of VRChat...

Are we approaching a Turing Test for Teaching? A deep dive into the evidence on AI tutoring. carlhendrick.substack.com/p/the-algori...

J'ai envie de vous parler de l'effet Poynting-Robertson. Le principe, c'est pourquoi le Soleil fait aspirateur à poussière. Alors voilà, imaginez que vous êtes un paisible grain de poussière dans le système solaire. (Thread, 1/moult)

Un problème de mathématiques / logique que j'ai trouvé intéressant ⬇️ Montrer qu'il est impossible de définir la multiplication des nombres réels à partir des opérations + et - (et des symboles logiques ∀∃¬∧∨).

🔴 DERNIERE MINUTE Violences des gendarmes à Sainte-Soline : après les révélations de Libé, le ministre de l’Intérieur lance une enquête administrative

Mediapart et « Libération » révèlent des images inédites du 25 mars 2023. Elles montrent des consignes prohibées et dangereuses données par la hiérarchie. Enquête vidéo de @camillepolloni.bsky.social et @laurawoj1.bsky.social 👉‍ www.mediapart.fr/journal/fran...