Th. Ma.
@thierry.marianne.io
Reposted by Th. Ma.
A new paradigm for mathematical proof? ~ Emily Riehl. youtu.be/fzxW2XJS6SE #AI #Math #ITP #Agda #LeanProver
Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
YouTube video by Hopkins Natural Philosophy Forum
youtu.be
November 8, 2025 at 11:41 AM
A new paradigm for mathematical proof? ~ Emily Riehl. youtu.be/fzxW2XJS6SE #AI #Math #ITP #Agda #LeanProver
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...
- www.lephildactu.fr
- www.lephildactu.fr/le-phil-dact...
Malgré leur abolition en 1789, les privilèges continuent de structurer notre société estime Alice de Rochechouart, docteure en philosophie et autrice d’un essai documenté, qui décrypte les hiérarchies invisibles qui façonnent encore nos rapports sociaux.
ENTRETIEN. Alice de Rochechouart : « Les privilèges n’ont jamais vraiment disparu »
Malgré leur abolition en 1789, les privilèges continuent de structurer notre société estime Alice de Rochechouart, docteure en philosophie et autrice d’un essai documenté, qui décrypte les hiérarchies...
www.ouest-france.fr
November 8, 2025 at 12:39 PM
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...
- www.lephildactu.fr
- www.lephildactu.fr/le-phil-dact...
Reposted by Th. Ma.
Le dessin du jour, par Soulcié
October 16, 2025 at 6:03 AM
Le dessin du jour, par Soulcié
Reposted by Th. Ma.
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%...
Privacy Badger
privacybadger.org
September 13, 2025 at 5:57 PM
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%...
Reposted by Th. Ma.
Reposted by Th. Ma.
Reposted by Th. Ma.
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...
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.
evilmartians.com
August 5, 2025 at 6:32 PM
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...
Reposted by Th. Ma.
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.
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.
June 26, 2025 at 4:28 PM
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.
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.
Reposted by Th. Ma.
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]
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]
April 17, 2025 at 11:23 PM
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]
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]
Reposted by Th. Ma.
This is unbelievably cool
Just keep pressing 'space' to learn how an LLM works
Just keep pressing 'space' to learn how an LLM works
LLM Visualization
A 3D animated visualization of an LLM with a walkthrough.
bbycroft.net
March 24, 2025 at 11:32 AM
This is unbelievably cool
Just keep pressing 'space' to learn how an LLM works
Just keep pressing 'space' to learn how an LLM works
Reposted by Th. Ma.
Un projet, auquel j'ai contribué et dont je suis particulièrement fière, renaît !
Revue de presse du 8 mars 2025
revue-de-presse.org/2025-03-08/a...
revue-de-presse.org/2025-03-08/a...
March 9, 2025 at 9:27 AM
Un projet, auquel j'ai contribué et dont je suis particulièrement fière, renaît !