Representation theory, or the unreasonable effectiveness of linear algebra [video]
youtube.com1 points·by kondor··0 comments
Monads doesn't compose (well), why?
old.reddit.com4 points·by kondor··0 comments
Codeklavier (Live coding with the piano as interface)
codeklavier.space1 points·by kondor··1 comments
Basic optics: lenses, prisms, and traversals in Haskell
youtube.com2 points·by kondor··0 comments
Intro to Applied Category Theory
youtube.com3 points·by kondor··0 comments
Childs Drawing (Math Concept)
en.wikipedia.org1 points·by kondor··0 comments
The Joy of Abstraction (Category Theory Book by Eugenia Cheng)
youtube.com2 points·by kondor··0 comments
NPM Drinking Game
npmdrinkinggame.party1 points·by kondor··1 comments
Disneyland – Man in Space (1955)
youtube.com3 points·by kondor··1 comments
TLA+ in Practice
medium.com3 points·by kondor··0 comments
TLA+ Video Course
lamport.azurewebsites.net30 points·by kondor··0 comments
Type System Game Engines
youtube.com2 points·by kondor··0 comments
A brief history of geometry I – Sociology and Pure Mathematics
youtube.com3 points·by kondor··0 comments
Ancient Mathematics
youtube.com3 points·by kondor··0 comments
Seven Ways to Visualize Functions
youtube.com1 points·by kondor··0 comments
Topos Theory in a Nutshell
math.ucr.edu48 points·by kondor··4 comments
Practical MongoDB Aggregations
practical-mongodb-aggregations.com2 points·by kondor··0 comments
Space is blue and birds fly through it (a.k.a. Relational quantum mechanics)
arxiv.org2 points·by kondor··1 comments
The Psychology of Magic and the Magic of Psychology
frontiersin.org1 points·by kondor··0 comments
The Map of Mathematics
mathmap.quantamagazine.org20 points·by kondor··2 comments