Eugenia Cheng on Monads And Category Theory

I remember these videos, ... See Philip Wadler's Essence of Functional Programming and Ian Grant's Weather Report agosto 01, 2022.

Subscribe to TheCatsters.

An Unexpected Tool for understanding inequality:

Subscribe to Ted.

Category Theory in Life (2017):

Subscribe to Lambda World.

Comments

Post a Comment

Popular posts from this blog

Steven Johnson - So You Think You Know How to Take Derivatives?

Image
A derivative is linearisation, and differential calculus is essentially linear algebra, ...  See  Freya Holmér - Why Can't You Multiply Vectors?  and  Freya Holmér on Continuity of Splines . See also the MIT OCW page:  Matrix Calculus For Machine Learning And Beyond  (Alan Edelman, Steven G. Johnson) Subscribe to The Julia Programming Language . Alan Edelman talking about expressing mathematics as computer code. The idea is that you can use computer languages to communicate mathematical ideas precisely to other people. See my comments about functional programming languages here:  https://prooftoys.org/ian-grant/hm/ Subscribe to TEDx Talks .
Read more

Daniel Tubbenhauer on The Riemann Hypothesis and Prime Counting

Image
He calls this lecture series The Analytic Theory of Monoidal Categories. So this is Analytic Number Theory with a Category Theoretic slant. This lecture is about graph theory. At 16:22 he asks for ideas: See the video description and  Standard ML For The Lady Programmer . Here's Sophie Maclean on the Catalan Numbers and Graph Theory: Here's what they posted 6 hours ago: see Daniel Tubbenhauer Doing Inscrutable Things With Analytic Number Theory ... for another finite-looking problem that might be solvable with SAT or SMT . Subscribe to Numberphile . See Larkin Poe - If God is A Woman, ... then I'm gonna get my bonfire, ... we have been building a giant haystack in a desert getting ready for Burning Man, the REAL F*CKING DEAL! Here's what I posted this morning on Nick Cave's The Red Hand Files #300: Joy! I went out walking this morning, ... But when I went past the boat again, I saw it was Sunquest : boat #6 from Bridge Boat Yard in Ely and the graffiti i...
Read more

Alan Kay on Simplicity

Image
He starts out talking about Higher Education and goes on to talk about Corporations and how hard it is to produce scalable solutions to problems, ... I'm only half way through though. I hope he doesn't stop at computing, ... I am amazed at how hard it was to figure out what software I needed to create this PDF page: The languages are English, Greek, mathematics, SVG and Standard ML. The problem is the number of different pieces of concrete software involved. These are all fairly well-defined languages, but there is no software that actually knows what languages are in general, and how they can be translated one into another. At 41:30 he lost me completely. I didn't know what HANA is, I had to look it up. I think what he's saying is that by choosing what you "buy your way into" at the beginning, you have some control over what kinds of economic development happen in the future.  Maybe this explains the comment at 36:44 about businesses not being allowed to...
Read more