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 info@kodsnack.se 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?

Fredrik snackar med Jakob Kallin om att bli frilansare. Att lämna den fasta anställningen, att hitta frilansjobb på nätet, att halka in på utbildning och till och med skriva sin egen bok. Hur är det att skriva en bok i ämnet programmering själv? Jakob har gjort alltihop och delar med sig av tankar och erfarenheter.

Ett stort tack till Cloudnet som sponsrar vår VPS!

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @iskrig, @itssotoday och @bjoreman på Twitter, har en sida på Facebook och epostas på info@kodsnack.se om du vill skriva längre. Vi läser allt som skickas.

Gillar du Kodsnack får du hemskt gärna recensera oss i iTunes!

Länkar

• Jakob Kallin
• Filmpoddandet - i podden Den makalösa
• Thinkful
• Stack overflows jobbsidor
• Upwork
• Freelancer
• Skarp programmering i C#
• Jan Skansholm
• Playgrounds i Xcode

Titlar

• En vanlig utvecklare
• Trött över kontorsjobbet
• För att slippa kontorsjobb
• Du får betalt den här siffran per timme
• En svensk utvecklarlön
• Jobba med amerikaner mot amerikaner
• Innan jag “sade upp mig”
• Om vi definerar “givande” som pengar
• Den flexibla “anställningen”
• Nästa steg var en slump
• (Ofta) Något som inte är IT alls
• Jag har alltid Upwork i bakfickan
• Jag är på fel ställe i boken
• Ge folk ett sätt att tänka
• Någon kommer att läsa vartenda ord du skriver

Fredrik snackar om den nyss avslutade tvåveckorssylten med huvudarrangören Jona samt deltagarna Bengt, Fredrik och Åke. Vilka spel gjorde de, hur var det att använda Lua och Love 2d, hur gick det med tidsramarna och vill någon göra om det igen?

Ett stort tack till Cloudnet som sponsrar vår VPS!

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @iskrig, @itssotoday och @bjoreman på Twitter, har en sida på Facebook och epostas på info@kodsnack.se om du vill skriva längre. Vi läser allt som skickas.

Gillar du Kodsnack får du hemskt gärna recensera oss i iTunes!

Länkar

• Jona
• Spelsylten
• Discord
• Forslund
• Fronkan
• P1xelher0
• Bengts spel
• Blender
• Åkes spel
• Box2d
• Escape goat
• Kalaspuffars spel
• Fredriks spel
• Tiled
• Spelunky
• Hur Spelunky gör banor
• Jonas spel
• Out run
• Norrland
• Hotline Miami
• Unravel
• Lua
• Love2d
• Pico8
• STI
• Entity-component-system
• P1xelher0s tipslista
• Hump
• Bump
• Avsnittet med Jona och P1xelher0
• Impostor syndrome
• Sfxr

Titlar

• Vi ska prata sylt
• Bokstavsordning enligt Discord
• Låt oss kalla det “en oavsiktlig feature”
• Panika ihop allting på torsdag kväll
• Början på en helt ny subgenre
• Mer plats för svenska spel
• Jag har använt Javascript en gång
• Google was my friend hela vägen in i mål
• Då hade man redan skrivit sina rotationsmatriser
• Den som hade haft en timme kvar!
• Jag tror att jag bara skar
• En professor Balthazar-maskin
• Jag har en deadline om två veckor

Martin, Kristoffer och Fredrik pratar till att börja med om viktiga saker som hemmaservrars surrande, köksmaskiners ljudschema och dåliga biljettautomater.

Sedan snackar vi om rotlösa behållare - rootless containers - ämnet för en presentation Kristoffer precis ska hålla när avsnittet spelades in, och nyligen har hållit när avsnittet släpps. Kristoffer berättar vad behållarna egentligen är - två saker egentligen - och de saker behållare bygger på i Linux för att kunna utföra sin magi.

Efter det blir det, lite oväntat, fysisk säkerhet. Som att ta sig in genom att hålla i en stege, nycklar som bara är sociala kontrakt och att överdriva säkerheten som överreaktion.

Sist men inte minst lite rejält härliga och rejäla retrodatorer. Vad sägs om Apollo guidance computer? Och lite buggfixar i Holedown samt Martins funderingar kring framtida projekt som kanske är för tråkiga att genomföra.

(Extra-extra-material: störiga problem med Displayport och andra sladdar.)

Ett stort tack till Cloudnet som sponsrar vår VPS!

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @iskrig, @itssotoday och @bjoreman på Twitter, har en sida på Facebook och epostas på info@kodsnack.se om du vill skriva längre. Vi läser allt som skickas.

Gillar du Kodsnack får du hemskt gärna recensera oss i iTunes!

Länkar

• Bilden på vågen i Martins Coopbutik
• Techday by Init
• Kristoffers presentation
• Johan Thelin - som hördes i avsnitt 251
• Rootless containers
• Quaternion
• Namespaces i Linuxkärnan
• PID namespaces
• Cgroups
• Docker
• Overlayfs
• BSD jails
• Virtualbox
• Tmux
• Apollo guidance computer
• Videoserien
• Bilderna av Margret Hamilton med dokumentstapeln
• Margret Hamilton är cool
• Advent of code
• Kodsnacks repo där alla kan bidra med lösningar!
• Spelsylten är avslutad
• Lua
• Holedown
• Holedownavsnittet
• Chromeos
• Rymdkapsel
• Haxe
• National air and space museum
• SMIL
• BESK
• BARK
• SCSI

Titlar

• Källare/lekrum/serverrum/studio
• ENJOY YOUR MEAL
• En ratt i en låda
• Jag flyttade också från min spishäll
• En liten bit potatis på off-knappen
• Billighets-touch
• De vet förmodligen vad bra är
• Windows XP-kullarna
• En massa konsulter staplade på varandra
• Et tu, bankomaten
• Et tu, Swedbank
• Rotlösa containrar
• Rotlösa behållare
• En container är liksom två grejer
• Vända på konceptet om root
• Nu håller jag på och rotar mig
• Man kan inte namespaca tiden
• Du måste ha högsta säkerhetsklassning för att få leka med molnet
• Gamla gubbar med multimetrar
• Space rated!