Kodsnack

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!

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?
Direct download: 292.mp3
Category:general -- posted at: 8:14am CET

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

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
Direct download: 291.mp3
Category:general -- posted at: 6:38am CET

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

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
Direct download: 290.mp3
Category:general -- posted at: 6:43am CET

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

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!
Direct download: 289.mp3
Category:general -- posted at: 6:49am CET

Fredrik snackar med Øystein Kolsrud om Øredev 2018, på Øredev 2018. Vi diskuterar utifrån Øysteins presentation om funktionellt inriktade språks inflytande på de objektorienterade, och också om något kan ha överförts åt andra hållet. Dessutom går vi igenom några intryck av hela konferensen och nämner några av våra favoritpresentationer.

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

Titlar

  • En generisk enumerabel typ
  • Kedja operationerna
  • I Haskell sedan tidernas början
  • Dina objektorienterade kollegor
  • Objektorienterade språk lär av de funktionella
  • Inte behövt möta verkligheten
Direct download: 288.mp3
Category:general -- posted at: 3:23pm CET

1