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 [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

• 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å [email protected] 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!

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

• 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å [email protected] 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!

• 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

• 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å [email protected] 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!

• 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

• 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!

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å [email protected] 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!

• Øredev
• Øystein Kolsrud
• Functional patterns for the object oriented - Øysteins presentation
• Kodsnacks tvåveckorssylt
• Förra veckans avsnitt - med bland annat designmönster och agilitet
• Haskell
• Qlik
• LINQ i C#
• Lambdauttryck - även kända som bland annat anonyma funktioner
• C# 7
• Tupler
• Pattern matching
• Boost
• Monader
• IO-monaden i Haskell
• F#
• Bioetik-keynoten av Alex Pearlman
• Moon Ribas keynote - Earthbeat
• Rusts felhantering
• Getting them to get it
• Judy Rees
• Clean language
• Turn up the Good - Woody Zuills presentation
• History of the occult and technology - downloading paganism
• Nyheter i C# 8

• 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

Kristoffer och Fredrik snackar om varför Kristoffer ogillar CSS. Det känns skevt på så många sätt från grunden och uppåt, kan vi väl sammanfatta det hela. Fredrik försöker argumentera mot men lyckas väl inte riktigt övertyga ens sig själv. Vi kommer också in på grafisk programmering, något som inte heller är Kristoffers grej.

Fredrik undrar också om det finns något bra begrepp för tendensen att försöka lösa ett diffust problem med mjukvara som blir så generell och kräver så många inställningar att det blir jobbigare att lösa problemet med mjukvaran.

Sedan avverkar vi lite snabbt varför Kristoffer ogillar design patterns. Eller snarare vad som blivit av ursprungstanken och vad folk verkar göra med design patterns. Det leder i sin tur givetvis in även begreppet agile … Hur ofta händer det att jag tar en färdig lösning för någonting istället för att faktiskt försöka förstå problemet? Borde vi ta med oss att folk satt sig och gått igenom hur saker funkar, snarare än de tre lättförpackade slutsatser deras arbete ledde fram till?

Sist men inte minst: Vill du ha en puff att bygga ett spel men känner inte att du har tid att avsätta en hel helg eller andra längre block tid? Häng med på Kodsnacks tvåveckorssylt - ett gamejam där du lägger någon timme om dagen när du hinner! Vi kör 12 till 24 november, och alla som deltar får vara med och rösta på bidragen under en vecka efter det. Vinnare presenteras andra december, men det viktiga är att få ihop något och ha väldigt trevligt under tiden! Spelen skrivs i Lua med Löve2d, läs allt på syltens sida på Itch!

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å [email protected] 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!

• CSS historia
• SASS
• Emacs Lisp
• Reset-stilmallar försöker ge ett utgångsläge för ens egna stilar som är så enhetligt som möjligt mellan olika webbläsare
• LaTeX
• Twitters Bootstrap
• Autolayout inom Apple-GUI-utveckling
• Skriva autolayout med ASCII-konst
• Design patterns
• Singleton
• Visitor
• Agile manifesto
• Richard Feynman
• Cargo culting
• Flexbox
• Kodsnacks tvåveckorssylt!
• Jona
• Löve2d
• Lua
• Øredev

• Tack för någon donation
• En helt trasig design från grunden
• Det blir bara värre ju mer man förstår
• Man har inget scope över huvud taget
• Det låter ju som en bra idé
• Det låter ju som ett ädelt syfte
• Olika definitioner slåss mot varandra
• Centrera någonting mitt i layouten
• Ett korthus vad du än gör
• Inte bättre om man försöker ignorera det heller
• (Det är ju) Bortslösad energi
• Något bisarrt som inte existerar någon annanstans
• Från tryckpressens födelse (och framåt)
• Datorålderns största mörker
• Fullständigt Stockholmsyndrom
• Problemet med människans natur
• Min kamp mot design patterns
• Saker Kristoffer inte tycker om
• Rör-i-badrummet-pattern
• Namnet blev allt och ingenting
• Det man pratar om blir det viktiga
• Raka fel jak
• Lösningar på recept
• Punktinsats-pattern

Tobias, Kristoffer och Fredrik snackar till att börja med om Kristoffers besök på SAP-konferens, som en sorts terapi. Sedan berättar Tobias om lite resvåndor och om att äntligen ha skeppat den jättestora versionen som varit på gång i ett par år. Det i sin tur leder till två mindre rants om dels Javas installationsprogram, dels jakten på en störig Androidbugg och alla märkligheter Android gör som möjliggjorde buggen. Vi pratar också om att försöka dokumentera på olika sätt, så att man får en chans att förstå vad alla fulhack är och varför.

Sist blir det lite postmortem och stresshantering. Det är inte lätt att veta hur man borde bedriva projekt ens efteråt, och ännu svårare att inse när man är stressad. Ta mer semester, och lyssna om någon faktiskt skulle tycka du verkar stressad!

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å [email protected] 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!

• SAP
• HA - high availability
• Stockholm city conference center
• Devsum
• Conan
• Nvidia shield
• Androids NDK
• Bionic - Androids C-bibliotek
• musl
• Uclibc
• SailfishOS
• Jolla
• Freakonomics om politik och alternativ
• Pythons PEP-process - Python enhancement proposals
• Joel on software-artikeln om farorna med stora omskrivningar

• Du överlevde SAP
• SAP under ytan
• Mycket bättre att inte veta någonting
• Det kunde ha varit Kielfärjan
• Svårt att sitta och titta på ett talk online
• Sjuk och på konferens
• Var vänlig hitta en buss
• De måste byta däck på planet
• Två års arbete rakt in i masterbranchen
• Från hemmahackat fulscript till Conan
• Full av malware och autouppdateringar
• Den här är trasig, var så god
• Mycket getoffer och blodsriter
• Det är inte ett löst problem
• En kaskad av komplikationer
• Två alternativ är det mest stabila tillståndet
• Mer i huvudet än vad de är i kroppen
• Alla behöver semester
• Semester från telefonen
• Mikrostress

Fredrik propagerar för spelsylten, Öredev och Advent of code. Samt poddtipsar, funderar lite över dokumentation och processgenomgångar … och avslutar med lite klickande tangentbord.

Vill du ha en puff att bygga ett spel men känner inte att du har tid att avsätta en hel helg eller andra längre block tid? Häng med på Kodsnacks tvåveckorssylt - ett gamejam där du lägger någon timme om dagen när du hinner! Vi kör 12 till 24 november, och alla som deltar får vara med och rösta på bidragen under en vecka efter det. Vinnare presenteras andra december, men det viktiga är att få ihop något och ha väldigt trevligt under tiden! Spelen skrivs i Lua med Löve2d, läs allt på syltens sida på Itch!

Fredrik tipsar om den första mininiten han gick på med Love2d.

Fredrik representerar återigen Kodsnack på Öredev, han kommer att vara i Malmö och intervjua talare och tar gärna mot både tips på talare att intervjua och såklart annat folk att heja på

Advent of code kommer också snart! Vi vet inte om vi gör tävling i år, men vi kommer givetvis att ha ett repo för att skicka in och diskutera lösningar, och vi hoppas att några lyssnare vill vara med och diskutera årets upplaga efteråt.

Fredrik poddtipsar om JSparty där senaste avsnittet diskuterar dokumentation. Fredrik associerar dokumentationsproblem till processproblem och halkar in lite på processtankar också. Inte är väl dokumentation ett problem som främst löses med fler verktyg?

Sist men inte minst: ett kapitel att hoppa över om du inte gillar klickande tangentbord: Fredrik har äntligen programmerat sitt Pok3r lite. Och skaffat en satellit.

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å [email protected] 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!

• Kodsnacks tvåveckorssylt!
• P1xelher0/Pontus
• Jona
• Löve2d
• Lua
• Kaklande fönsterhanterare
• Öredev
• Bartosz Milewski
• Bartosz presentation från förra året
• Advent of code
• Kodsnacks repon på Github
• MIPS
• Brainfuck
• Rexx
• JSparty
• Avsnittet om dokumentation
• Pok3r
• Avsnitt 260
• Erez Zukerman
• Ergodox satellite
• SAP

• Mustascher && (plattformar | racingelement)
• Inte vara helt död mellan varven
• Hitta sin egen väg in i konferensen
• Dokumentation löses om jag bara hittar rätt verktyg
• Förklara helheten utifrån sett
• En kombination av lysande och blinkande dioder

Fredrik, Jona och Pontus snackar spelutveckling. Vi börjar med spelen som vår väg in i programmering och går vidare därifrån. Vi diskuterar mycket att designa kod, motor med mera för sitt spel kontra att faktiskt designa och bygga själva spelet. Vad är mitt mål egentligen: att designa den bästa motorn för ett spel eller att faktiskt designa och bli klar med ett spel? Blir verktygen och att bygga dem en prokrastinering för att jag egentligen inte vet var jag vill ta mitt spel och tycker det känns jobbigt att lära mig det?

Vi pratar också mycket om alla andra hinder man sätter upp för sig själv genom att intala sig att man inte kan lära sig olika områden, eller genom att tänka att man måste lösa allt själv.

Spel som försöker bygga bort möjligheterna att lära känna nya människor.

Sist men inte minst: vill du ha en puff att bygga ett spel men känner inte att du har tid att avsätta en hel helg eller andra längre block tid? Häng med på Kodsnacks tvåveckorssylt - ett gamejam där du lägger någon timme om dagen när du hinner! Vi kör 12 till 24 november, och alla som deltar får vara med och rösta på bidragen under en vecka efter det. Vinnare presenteras andra december, men det viktiga är att få ihop något och ha väldigt trevligt under tiden! Spelen skrivs i Lua med Löve2d, läs allt på syltens sida på Itch!

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å [email protected] 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!

• Jona
• Pontus
• Basic
• Lego racers
• Runescape
• Rayman
• Flash
• SDL
• Gamemaker
• Ori and the blind forest
• Hollow knight
• Unity
• Clojure
• Design kontra development
• Ray casting
• Map, filter, reduce, fold
• Hearthstone
• Magic: the gathering arena
• Lua
• Godot - öppen spelmotor
• Löve2d
• Megaman X
• Persona 4
• Martin
• Holedown - Fredrik spelar fortfarande ofta
• Homeworld
• Entity-component-system
• Ogre
• Unity asset store
• Dead cells
• Celeste
• Super meat boy
• Magthe
• Kategoriteori
• Kodsnacks tvåveckorssylt!

• Spel och lite mer ovanliga programmeringsspråk
• Min väg in till programmering
• Alla satt där och gjorde spel
• Lite grafiskt och programmering samtidigt
• Dunka C++
• Innan man har en gubbe som springer
• (Någon som är) väldigt bra på att skjuta upp saker
• Två spel under sexton år
• Fokusera mer på spelet
• Jakrakningsvarning
• Dra korten hårdare
• Mer programmerare än spelutvecklare
• Misslyckats och blivit bättre
• Om det inte känns bra när du rör dig
• Allt behöver inte vara Fortnite

Fredrik och Kristoffer snackar om att få in nytt folk och få dem produktiva, främst utmaningen att gå från koll på sin lilla del till att också ha koll på helheten. Sedan blir det lite Jira och att skaffa koll på vad man egentligen har att göra - både Fredrik och Kristoffer vill få lite förnyad fason på sin personliga process. Kristoffer pratar också om trevliga effekter av att Suse byter ägare - ett skönt tillfälle att skala bort gammal komplexitet.

Efter det kommer vi in på Oracles ändrade licensregler för Java och vad de kan tänkas innebära. Vild spekulation, citera oss inte. Speciellt inte Fredrik. Men det känns inte supermodernt att ta betalt för ett programmeringsspråk.

Vore det inte kul om infödda skrivbordsappar kom tillbaka ett varv?

Sedan Kristoffers senast släppta hobbyprojekt, dess liv på Hacker news och hur det hänger ihop med hans nästa presentation. Samt, såklart, hur dess sophanterare och alla andra grundläggande sophanterare fungerar. Sophantering är inte så svårt som man kanske tror.

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å [email protected] 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ärlingssystemet i Tyskland
• Jira
• Markdown
• Kanban
• EQT - Suses nya ägare
• Microfocus - Suses tidigare ägare
• Novell
• Oracle ändrar i licensreglerna för Java
• Openjdk
• Electron
• QT
• Rust
• Xi-editor
• Raph Levien
• Inconsolata
• Atom
• Kristoffers Lisp
• Scheme
• Lisp 1.5
• Sophanterare på Wikipedia
• Lua
• Luajit
• Tail-call-optimering
• Makron i Lisp
• Peter Norvig
• Norvigs 90-raders Lisptolk i Python

• Något som låter jättelöjligt men är sant
• Deprimerad och ur form
• Ingen koll på sammanhanget
• En inbox jag kan titta på
• Vet jag att jag ser allting?
• Jobb.markdown
• Listan som aldrig minskar
• En förnuftig mellanhand
• Säljarhinken
• Jag skrev en liten Lisp
• Sedan springer jag ifån mina rotobjekt
• Uttrycka Lisp på så lite kod
• Mer än tio rader per minut