🎯 Dependent Types - matmat

A cubical formalisation of conditional independence, Bayesian conditioning, and Pearl's d-separation soundness

The French School of Programming

Discussed on Hacker News

The impact of leadership, social interaction, and support on subjective well-being among employees in a Malaysian public university: the mediating role of self-...

From Odysseus to MC: Matt Damon is Becoming a Rapper Now for a Good Cause

Obama Presidential Center opens, offering an art-filled, hopeful view of US history

Barack and Michelle Obama Unveil First Dual Portrait Painted By Artist Njideka Akunyili Crosby

Less-relevant results

Midsummer With The Druids

Fredrik Bakke

Superights Posts New Deals On ‘Miffy & Friends’ & ‘Underdog’; Unveils Annecy Slate Highlights

Q&A: ‘The Real Housewives of Rhode Island’s’ Kelsey Swanson

The Obamas Unveil First-Ever Official Dual Portrait

Cambrian Railways Gallery: a fine record of an iconic Welsh railway

David Oyelowo Apologizes for Using ‘Slavery’ and ‘Subservience’ to Describe Black Southern Accents

Inside Tom Hardy's 'MobLand' Wild Drama: Actor's Show Status Remains in Flux After He's Accused of Diva Behavior and On-Set Feud With A-List Co-Star

France Advances Europe’s AI Future With NVIDIA Technologies

‘The Pitt,’ ‘The Simpsons,’ ‘The Chair Company’ Among 2026 Rockie Awards Program Competition Winners

Jonathan Prieto-Cubides

How Serokell Contributes to the Future of Haskell

Masters of the Universe 2026 WEBRIP TELESYNC x264-MUSiCANA

A cubical formalisation of conditional independence, Bayesian conditioning, and Pearl's d-separation soundness

The French School of Programming

The impact of leadership, social interaction, and support on subjective well-being among employees in a Malaysian public university: the mediating role of self-...

From Odysseus to MC: Matt Damon is Becoming a Rapper Now for a Good Cause

Obama Presidential Center opens, offering an art-filled, hopeful view of US history

Barack and Michelle Obama Unveil First Dual Portrait Painted By Artist Njideka Akunyili Crosby

Midsummer With The Druids

Fredrik Bakke

Superights Posts New Deals On ‘Miffy & Friends’ & ‘Underdog’; Unveils Annecy Slate Highlights

Q&A: ‘The Real Housewives of Rhode Island’s’ Kelsey Swanson

The Obamas Unveil First-Ever Official Dual Portrait

Cambrian Railways Gallery: a fine record of an iconic Welsh railway

David Oyelowo Apologizes for Using ‘Slavery’ and ‘Subservience’ to Describe Black Southern Accents

Inside Tom Hardy's 'MobLand' Wild Drama: Actor's Show Status Remains in Flux After He's Accused of Diva Behavior and On-Set Feud With A-List Co-Star

France Advances Europe’s AI Future With NVIDIA Technologies

‘The Pitt,’ ‘The Simpsons,’ ‘The Chair Company’ Among 2026 Rockie Awards Program Competition Winners

Symbolic Informalization: Fluent, Productive, Multilingual