🏴‍☠️ MC Pablo ∴

p4bl0.net

10 September 2026 07:42

La licence informatique de l'Université Paris 8 a pris des mesures officielles, entérinées dans ses modalités de contrôle des connaissances et des compétences et validées en CFVU, contre le recours aux IA génératives, pour le bien de nos étudiant·es : informatique.up8.edu/licence-iv/o...

Sylvain Ernault

sylvainernault.bsky.social

22 June 2026 14:19

Le modèle GFS prévoit 44°C à l'ombre au sud de Rennes ainsi qu'à l'est de Nantes ce mardi 23 juin, à 17 h. #canicule

Gro-Tsen

gro-tsen.bsky.social

12 June 2026 08:42

On m'a demandé de regarder cette vidéo www.youtube.com/watch?v=AYPQ... de @monsieurphi.bsky.social sur les progrès des LLM en maths et de donner mon avis. Attention, ça va être très long!, parce que forcément j'ai beaucoup à raconter. 🧵⤵️ •1/59

Kiran

kirancodes.me

20 May 2026 14:31

Craziest thing about lean.py? You can roll your own (almost) feature-parity successor to Dafny. Python programs. Lean obligations. Grind as a solver. Proof complete. Program verified. Python code. Real.

Kapalı içerik