Fredrik snackar med Oskar Wickström om varför man skriver ett eget videoredigeringsprogram i Haskell, och hur man testar det med hjälp av egenskapsbaserad testning. Samt en hel del annat, som hur Oskar jobbar när han spelar in screencasts.

Avsnittet sponsras av Prevas, som söker dig som är intresserad av att jobba med industriell IT, integrationer mot robotar och andra rejäla grejer. Läs mer på prevas.se!

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @iskrig, 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

• Oskar Wickström på Twitter, webben, och på Github
• Symbiont
• Haskell
• Haskell at work - Oskars screencasts om Haskell
• Komposition - Oskars videoredigeringsprogram skrivet i Haskell
• Gary Berhardt
• Kdenlive
• FFmpeg
• filter_complex
• Gstreamer
• GTK
• Gstreamer editing services
• Pitivi
• Motor för Haskell
• Sidoeffekt
• State machine
• Prevas - veckans sponsor
• Industriell IT
• Egenskapsbaserad testning
• Oskars artiklar om egenskapsbaserad testning av Komposition
• Hedgehog
• Att välja egenskaper för egenskapsbaserad testning
• Dependency injection
• Inlägget om undo och redo är inte ute än
• Quickcheck
• Hypothesis
• Property-based testing with Proper, Erlang, and Elixir - den ganska nya boken om egenskapsbaserad testning
• John Hughes
• Scalatest och Scalacheck är två ramverk som stödjer egenskapsbaserad testning i Scala

Titlar

• Mitt största yak shaving-projekt
• Ett gigantiskt FFmpeg-kommando
• Ett slumpmässigt starttillstånd
• Minsta fallerande testfallet
• Krympning på köpet
• Smutsig domänkod

Fredrik snackar med Frans Bergquist om flygande mjukvara. Koden som finns i ett genomsnittligt trafikflygplan, eller den man hittar i ett JAS för den delen, har lyckligtvis något andra och högre krav på sig än sakerna vi slänger ihop i Node på vardagarna. Frans ger oss en liten inblick i säkerhetsnivåer, realtidsoperativsystem, och kodgranskningar på en helt annan nivå än den de flesta av oss är vana vid.

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @iskrig, 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

• Frans Bergquist
• Boeing 737-krascherna
• Säkerhetsnivåerna för mjukvara DAL
• RTC-D178C
• CPU:er för satelliter och annat kul
• MCDC - Modified condition/decision coverage
• ARINC 653
• Dynamiskt minne - inget för hårda realtidssystem
• RAD750 - en strålningshärdad processor
• Poddtips från Frans: Radiolab-avsnitt om kosmisk strålning

Titlar

• Flygande mjukvara
• Vardagsmjukvara nere på marken
• Mjukvara går inte sönder
• Från A till E
• Vi flyger på lite högre nivå
• Enkelt och litet, det är framgångssagan
• Spela upp en DVD-film på fem minuter
• Det hårda realtidsproblemet
• Ingen poäng att lämna tillbaka resurser
• I det hårda systemet
• Varje mjukvarukomponent har sin egen tid
• En jättedålig idé i ett hårt realtidssystem

Tobias snackar med Paul Dreik om fuzzing - att att hitta fel i sitt program genom att bombardera det med oväntad data. Det är inte bara nyttigt för bufferöversvämningar i C++-program. Om ditt program är av den sällsynta typen som tar input från omvärlden är fuzzing definitivt ett verktyg du kan ha nytta av! Paul berättar vad fuzzing är, varför man har nytta av det och vilka verktyg man kan tänkas vilja använda.

Har någon lyssnare erfarenhet av att fuzza Java? Paul vill höra hur det är!

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @iskrig, 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

• Fuzzing
• Stockholm C++-meetupen
• Meetup-tillfället där Tobias och Paul pratade
• Paul Dreiks webbplats, Twitter och företag
• Pauls presentationsbilder och video
• AFL
• Sandbox escapes i Chrome
• Patricia Aas presentationer
• grep
• cat
• sort
• Hur fuzzing började
• libfuzzer
• bdecode - funktion för libtorrent skriven av Arvid Nordberg
• Valgrind
• Statisk analys
• Integer overflow
• Libxml2
• AFL QEMU mode
• Differentiell fuzzning
• Guido Vranken håller på med differentiell fuzzning med bignumbibliotek som körs mot varandra
• Pauls presentation, igen och video
• Konstiga bilder som en fuzzer har genererat

Titlar

• Varför kan du så mycket om fuzzing?
• Ett skal i säkerhetslöken
• Då var fuzzningen född
• I den hundradimensionella rymden kan ingen höra dig skrika
• Alla program som tar input behöver lite fuzzing
• Input som kraschar ditt program
• Vara så himla känslig man bara kan
• Oj, vi läste minnet fel
• Bisarra corner cases

Fredrik snackar med Chris Klug om Devsum, konferenspresentationer och att ta teknisk timeout. Vi pratar också om att stå lagom långt från flödet av nyheter i branschen och kanske spara en hel del tid genom att plocka upp de nyheter som är relevanta när man hamnar i ett sammanhang där de passar istället för att försöka hålla koll på varandra ramverk som flyter förbi i strömmen. Vi pratar lite om patterns, hur de utvecklats eller ej genom åren. Testskepsis och pragmatism diskuteras, för den som oftare hoppar mellan olika projekt och har andra behov av att kunna sätta sig in i saker med standardiserade lösningar som går att växa i.

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @iskrig, 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

• Chris Klug
• Avsnitt 270 - förra gången Chris var med i Kodsnack
• Devsum 2019
• Visual studio code
• Microsoft Build-konferensen 2019
• Microsoft MVP
• Microsoft RD - regional director
• Chris jobbar numera på Active solution
• .NET core
• ICQ
• MSN messenger
• Design patterns
• Gang of four-boken
• CQRS
• Strategy pattern
• Repository pattern
• Domain-driven design av Eric Evans
• Singleton pattern
• Borg singleton-pattern i Python
• Artikeln Fredrik sprang på om patterns i Javascript
• Swift
• Typescript
• Tess Fernandez
• Lisp
• Mockramverk
• Visual basic 6
• Hur får man igång VB 6 på en modern dator?
• Winforms
• Hela programmet för Devsum 2019
• Tess Fernandez presentation
• Dan Wahlin - snackar Docker och Angular
• Paul Stack - en av Chris favorittalare
• NDC
• SOLID-principerna
• Julie Lerman
• Entity framework
• Jonathan Mills
• Jeff Strauss
• Nuget
• Cecilia Wirén
• Anders Abel
• Alan Smith
• Dylan Beattie
• Dylan på Youtube
• Johan Lindfors
• Jon Galloway
• Miguel Castro
• Oren Novotny
• Rob Ashton
• Robs café på Tinder

Titlar

• Det viktigaste är faktiskt jag själv
• Skönt att bara stänga av
• Lite för långt för att göra absolut ingenting
• Den klassiska meddelandestressen
• Det är otypat, så vad skulle kunna gå fel?
• Python med en C#-hjärna
• Med min objektorienterade C#-hjärna
• Världen rullar på riktigt gammal kod
• Så länge man är passionerad
• Ms. Entity framework
• 70% underhållning, 30% utbildning
• Jag och min hobby