Rétrospective de l'année 2025 depuis
2025.revue-de-presse.org

Excellente nouvelle année 2026 !

The beginning of something, perhaps… bsky.app/profile/lemo...

Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025 YouTube video by Hopkins Natural Philosophy Forum

A new paradigm for mathematical proof? ~ Emily Riehl. youtu.be/fzxW2XJS6SE #AI #Math #ITP #Agda #LeanProver

The Art of Logic | Eugenia Cheng | Talks at Google YouTube video by Talks at Google

La BD portant sur la pensée woke et l'universalisme m'ont rappelé cette présentation donnée par Eugenia Cheng intitulée «The art of Logic: How to Make Sense in a World that Doesn't» publiée en 2018 : youtu.be/YHZKX0H6cUE

Découverte du podcast de @lephildactu.bsky.social via revue-de-presse.org/2025-11-07 et de son adaptation en BD de Tiphaine Rivière :
- www.lephildactu.fr
- www.lephildactu.fr/le-phil-dact...

9.

Le dessin du jour, par Soulcié

Privacy Badger

Learn what makes Privacy Badger, our free browser extension to stop companies from spying on you, different from other “ad blockers.” privacybadger.org/#Why-doesn%...

"The long season of langdev" - @fogus.me

blog.fogus.me/langdev/long...

Satiric poster of someone stealing a painting titled “it’s not theft if you say you’re using it to train your AI algorithm”

What we learned from creating PostCSS—Martian Chronicles, Evil Martians’ team blog We share what have we learned creating PostCSS and the huge ecosystem around it. Get 8 key lessons from Andrey Sitnik, creator of PostCSS.

We share what have we learned creating PostCSS and the huge ecosystem around it. Get 8 key lessons from @en.sitnik.ru, creator of PostCSS. evilmartians.com/chronicles/w...

Worth a watch:

Head of Signal, Meredith Whittaker, on so-called "agentic AI" and the difference between how it's described in the marketing and what access and control it would actually require to work as advertised.

Here's a nice "proof without words":

The sum of the squares of several positive values can never be bigger than the square of their sum.

This picture helps make sense of how ℓ₁ and ℓ₂ norms regularize and sparsify solutions (resp.). [1/n]

This is unbelievably cool

Just keep pressing 'space' to learn how an LLM works

Merci pour votre série d'articles ! Super intéressante et immédiatement actionnable afin de s'orienter dans le choix d'outils «sur l'étagère» (on se posait la question au sein de mon équipe de choisir entre Cypress et Playwright et on a là des avis éclairés et argumentés, merci beaucoup) !

Un projet, auquel j'ai contribué et dont je suis particulièrement fière, renaît !

😿

Thank you! LBA 2 was one of my favourite game in high school.
A small studio in Paris took on reviving the series but i heard in their last july newsletter they couldn't secure a publisher unfortunately.

store.steampowered.com/developer/2_21
twinsenslittlebigadventure.com/fr/actualites/

Thank you, Neil!

I remain curious though... Have you met a game, which would not be "weak" per your standard in the same genre? Was the first opus even satisfying enough? I don't play much so if you'd have good references, i'd take them gladly :)

Indeed, I felt the same after seeing a scene which had kind of "spoiled" other ones. However isn't it also part of the storyline? To receive out of order pieces since time is such an important actor? Anyway, I understand it is far from being perhaps half as "innovative" as Breath Of The Wild...

I'd say that in the same vein than doomscrolling, it is up to us to close the "story" without going too deep into details, side-quests which are indeed not so relevant to main story lines (even though it would mean ending the game with more difficulty perhaps). The level of "freedom" seems to be key

For having been sceptical at first with regard to this game, i understand your point with regard to the "collect things that anyway break". However you're quite harsh with regard to storytelling and quests parts... The latter are mostly optional and the story introduces new perspectives over Hyrule.

En effet, pour un tri significatif et sans effet de traine, ça aurait moins de sens sous l'angle de la brièveté et synthèse mais ça viendra p.e. 🤞🍀

Merci pour la réf. On a mis un place un contrôle de versions des publications sur les opérations de mise en favoris, partage et suppression bien que les graphes associés étaient peu lisibles (avec l'implém courante) et p.e. sans grand intérêt si ce n'est de voir les pics de réaction en journée 😅

On va regarder tout ça de plus près avant p.e. de redémarrer l'initiative via @revue-de-presse.bsky.social (avec github.com/sylvaineg). Merci 🙌

Génial ce travail documenté de l'aggrégation de publications de la presse. Je m'appuierais bien là-dessus pour réanimer un projet qui s'appuyait sur l'API de Twitter quand elle était encore utilisable : revue-de-presse.org