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!
Links
Øredev 2018Bartosz MilewskiBartosz' presentation the day before - Programming with mathBartosz’s second presentation of the year is unfortunately not online yetType theoryCategory theoryTemplate metaprogrammingCateogry theory for the working mathematicianFunctorMonadRichard FeynmanCategory theory for programmersBartosz' videos on YoutubeQuadratic equationsFermat’s last theorem and the proofHomotopy type theoryThe Curry-Howard isomorphismBartosz' talk from last year - The earth is flatTitles
I skipped a lot of slidesSomething related to mathPushed by external forcesWhat is fascinating to me at the momentTone down the category theoryI’m really comfortable with mathI discovered a whole new franchiseI read a few first sentencesThe idea of category theory is not that difficultMultiply and divide things for monthsThis gap between programming and math(There is) A lot of commonalityHow to split things and how to compose themThe science of compositionWe humans have to structure thingsThe different ways of splitting thingsMathemathics is the futureWho wants to program in assembly languageTest-driven proof developmentA lot of hand-waving in math as wellMechanizing proofsAn outgowth of type theoryThe only way we humans can understand natureLife can only exist in a decomposable environmentOur brains work by decomposing thingsWhy would there be a simple solution?