Kodsnack 292 - Why would there be a simple solution? with Bartosz Milewski

Fredrik talks to Bartosz Milewski - programmer, writer and creator of mind-expanding presentations - about a wide range of things in the lands between mathematics and programming. Bartosz explains his increasing interest in mathematics, type and category theory and why he thinks mathematics and programming can and are coming closer together.

We eventually get to the topic of Bartosz' talk last year, and perhaps the only way humans can understand things and how that affects what we discover. Perhaps even what we are able to discover.

Recorded on stage at Øredev 2018.

Thank you Cloudnet for sponsoring our VPS!

Comments, questions or tips? We are @kodsnack, @tobiashieta, @oferlund and @bjoreman on Twitter, have a page on Facebook and can be emailed at [email protected] if you want to write longer. We read everything we receive.

If you enjoy Kodsnack we would love a review in iTunes!

Øredev 2018
Bartosz Milewski
Bartosz' presentation the day before - Programming with math
Bartosz’s second presentation of the year is unfortunately not online yet
Type theory
Category theory
Template metaprogramming
Cateogry theory for the working mathematician
Functor
Monad
Richard Feynman
Category theory for programmers
Bartosz' videos on Youtube
Quadratic equations
Fermat’s last theorem and the proof
Homotopy type theory
The Curry-Howard isomorphism
Bartosz' talk from last year - The earth is flat

Titles

I skipped a lot of slides
Something related to math
Pushed by external forces
What is fascinating to me at the moment
Tone down the category theory
I’m really comfortable with math
I discovered a whole new franchise
I read a few first sentences
The idea of category theory is not that difficult
Multiply and divide things for months
This gap between programming and math
(There is) A lot of commonality
How to split things and how to compose them
The science of composition
We humans have to structure things
The different ways of splitting things
Mathemathics is the future
Who wants to program in assembly language
Test-driven proof development
A lot of hand-waving in math as well
Mechanizing proofs
An outgowth of type theory
The only way we humans can understand nature
Life can only exist in a decomposable environment
Our brains work by decomposing things
Why would there be a simple solution?