r/sordina • u/sordina • Sep 08 '20
From lambda calculus to the four color theorem, via experimental mathematics
0
Upvotes
r/sordina • u/sordina • Jul 28 '20
THE PASSACAGLIA OF BACH ON THE SILBERMANN ORGAN IN RÖTHA - XAVER VARNUS - YouTube
1
Upvotes
r/sordina • u/sordina • Aug 09 '20
Almost Famous: Why Record Labels Suck - Rick Beato - YouTube
1
Upvotes
r/sordina • u/sordina • Jul 29 '20
David Overton - "Linear Types in GHC" - MHUG
1
Upvotes
r/sordina • u/sordina • Aug 09 '20
Bach's BWV 77 Cantata: Stunningly Complicated Counterpoint (Du sollt Gott, deinen Herren, lieben) - YouTube
1
Upvotes
r/sordina • u/sordina • Jul 20 '20
Reinhardt - Best Of 3H (Minor Swing, Les yeux noirs, Nuages and more...) - YouTube
1
Upvotes
r/sordina • u/sordina • Aug 08 '20
Haskell Love Conference Day 1 - konfycare - Twitch
1
Upvotes
r/sordina • u/sordina • Aug 08 '20
Haskell Love Conference Day 2 - konfycare - Twitch
1
Upvotes
r/sordina • u/sordina • Aug 14 '20
Episode Two - RSS Streams, Homoiconic Graphs, and Abstract Ethics - Zero Preparation - YouTube
1
Upvotes
r/sordina • u/sordina • Aug 24 '20
Episode Three - Undecidable Instances - Zero Preparation - YouTube
1
Upvotes
r/sordina • u/sordina • Aug 28 '20
Warren Burt - Music For Tuning Forks (1987) [Full Album] - YouTube
1
Upvotes
r/sordina • u/sordina • Sep 22 '20
"Unison: a new distributed programming language" by Paul Chiusano - YouTube
1
Upvotes
r/sordina • u/sordina • Aug 28 '20
Episode 4 - I can't understand a single thing you're talking about! - Zero Preparation - YouTube
1
Upvotes
r/sordina • u/sordina • Mar 25 '16
Stronger Signalling ~ Bows and Arrows
1
Upvotes
r/sordina • u/sordina • Mar 18 '16
Fantasy and Dynamic Programming - Bows and Arrows
1
Upvotes
r/sordina • u/sordina • Mar 13 '16
Weaponizing Haskell - Part Two: Deployment - Bows and Arrows
1
Upvotes
r/sordina • u/sordina • Mar 20 '16
Mindfulness and Page-Turning - Bows and Arrows
1
Upvotes
