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, @iskrig 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!

Links Ø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?