Kodsnack

Fredrik snackar med Linus Färnstrand och Oskar Nyberg som jobbar på Mullvad, utvecklare av den väldigt integritetsvärnande VPN-tjänsten med samma namn.

Vi diskuterar bland annat vilka delar Mullvad består av och vad de är skrivna i - Rust till exempel! Eftersom Mullvad har så stort fokus på integritet och säkerhet finns också många lite mer ovanliga och intressanta aspekter på utvecklingen. Vad kan man till exempel göra för att lita på sina beroenden? Hur långt ska man gå i sina säkerhetsprocedurer, och hur kommer Mullvad-nagellacket in i bilden?

Linus och Oskar berättar också om Mullvads användaruppgiftsfria kontohantering - en fantastisk lösning där du redan är klar långt innan de flesta "Skapa ett nytt konto"-sidor ens hunnit laddas ner. Vi får också höra lite om utmaningarna i att designa en lösning helt utan telemetri - det blir mer aktivt lyssnande på användare som hör av sig - och den konstiga vändning världen tagit som gör att man kan behöva välja bort ett visst typsnitt av sådana skäl.

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

Ett enormt tack till Daniel Nyström för alltför vänlig assistans med mastringen av avsnittet!

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik.

• Mullvad
• Oskar
• Linus
• VPN
• Electron
• Rust
• Openvpn
• Wireguard
• GDPR
• Mullvad på Github
• Jason Donenfeld som skapat Wireguard
• UDP
• Wireguard-go
• Crev
• Cargo-crev
• Npm-crev
• Qubes OS
• GPG-nycklar
• Shadowsocks
• Bloggpost om beta-DNS-servern med adblocking
• DOH - DNS över HTTPS
• Dnssec
• Signals Instagramreklam som aldrig fick köras
• Apples egna appar gick förbi tredjepartsbrandväggar, VPN och säkerhetsverktyg
• Little snitch
• PF
• Split tunneling
• Netfilter
• Ctags
• Cgroups
• På myntets andra sida: DN om svensk mjukvara som används för övervakning och censur i diktaturer - företaget som säljer mjukvaran är det som tidigare hette Procera
• When did we run out of ethics - halvtimmestal av Kriss Andsten på City network, apropå övervakning och etik

• Internet kan inte se var du är
• Vi tar hand om säkerheten
• Du kan inte ge oss någon data
• Vi börjar med ingenting
• Den här diffen gör inget dåligt
• Att behöva lita på folk
• Pushaccess till något vi litar på
• Experimental och dött samtidigt
• Mullvad-nagellack
• Användare som inte kan prata UDP
• Som internet var förr

Fredrik och Kristoffer snackar om skärmar, tangentbord, och huvudämnet kring University of Minnesotas tveksamt etiska bidrag till Linuxkärnan.

Fredrik är lite sugen på 4K-skärm. Kristoffer informerar om att man ändå önskar sig en andra skärm. Därifrån glider över i funderingar på framtida Macar vi vill ha. Men inte behöver. På det följer tangentbordssnack - kanske får vi lite nya saker snart. Fredrik har hämtat hem sitt Let's split och förvånas över hurpass mycket det skiljer sig från Kyria.

Avsnittet sponsras av Attentec - oberoende experter på IOT som vill bli fler. Surfa in på attentec.se om du vill veta mer. Fredrik har snackat med Pelle som jobbar på Attentec som lösningsarkitekt om vad han gör och vad vi pratar om när vi pratar om arkitektur. Ett utdrag kommer mitt i avsnittet, och hela snacket finns med som bonusmaterial i avsnittets slut. Arkitektur handlar om att gå från vad systemet ska göra till hur det ska göra det. Vattenfall låter så negativt - arkitektur handlar om att planera lagom mycket i förväg för att spara en massa jobb senare. Hammockorienterad programmering! Det är lite av en bortglömd konst att planera lite innan man börjar göra saker. Hur hänger arkitektur ihop med övrigt utvecklingsarbete, och var går egentligen gränsen? Arkitekten - en perfekt kodgranskare?

Som huvudämne diskuterar vi vad som hände när forskare på University of Minnesota byggde en artikel kring att försöka smyga in kod med sårbarheter i Linuxkärnan. Det mest omtalade resultatet blev att hela universitetet bannlystes från att alls få skicka in patchar, och att man startade en genomgång av all kod som någonsin kommit in i kärnan från universitetet. Vi diskuterar lite kring etiken och reaktionerna. Var detta ett exempel på ett välfungerande immunförsvar? Hade någonting blivit bättre av mer automatisering, och känns det inte som lite av ett mirakel att stora samarbetsprojekt kring kod ens fungerar?

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

Ett enormt tack till Daniel Nyström för alltför vänlig assistans med mastringen av avsnittet!

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik.

• Amatörradio
• Kortvågsradio
• CERN
• Podcastning 2.0-podden
• Adam Curry
• iMores artikel om 4K-skärmar för Mac
• Kristoffers Rama.works-tangentbord
• Lågprofiltangenterna
• KAM wraith
• Let's split
• Kyria
• DSA-profil
• Planck
• Preonic
• Attentec - veckans sponsor
• Jason Frieds icke-ursäkts-inlägg
• University of Minnesota
• UoM blir bannlysta från att bidra med kod till Linuxkärnan
• Greg Kroah-Hartman
• Gregs mejl om att återta och granska alla patchar
• Artikeln som skrevs på UoM
• Uttalande från IEEE S&P om artikeln och dess etik
• Urkundsförfalskning - stämmer inte riktigt in på vad vi diskuterade
• OpenSSL hölls vid liv av förfärande få personer med förfärande lite pengar
• SHA-standarden

• Överambitiös amatör
• Allmän sanning om internet
• Kattbilder och ilska
• Alla kan prata men ingen har något att säga
• Jag behöver egentligen ingenting
• En stadsplanerares dröm
• Du borde börja bygga gitarrpedaler
• Den här processen borde kunna vara sårbar
• De köpte inte den förklaringen
• 20-25% var buggiga
• Kommer kerneln någonsin att bli bättre?
• Svårt att titta på en patch
• Innan man gör experiment på Linuxkerneln
• Granska en patch på ett bra sätt
• Den personliga tillitskedjan
• Inte särskilt teknikstyrt
• En social process
• En pyramid av tillit

Fredrik, Sandra Lindberg och Martin Bagge snackar fönsterhantering, flikar, bokmärken och annat som hör vardagen som datoranvändare till.

Sandra har ett inspirerande välordnat system för var fönster hamnar, i vilken ordning de ligger, och hur länge de är öppna. Martin och Fredrik har ambitioner, men når inte fullt så långt.

Samma sak gäller hantering av flikar och bokmärken i webbläsare; Sandra har full koll och ett system som håller, Martin har verktyg för att hantera massvis av flikar, och Fredrik försöker hålla flikarna nere men fördelar dem över två webbläsare.

Vi diskuterar också trevliga eller nästan omistliga verktyg för att sköta om sina fönster och flikar, och hinner dessutom diskutera filer på skrivbordet en kort sväng.

Vi hoppas och tror att ni som lyssnar också har intressanta system - eller intressant oreda utan system - som ni vill dela med er av! Antingen i Slack, eller som en del av ett kommande avsnitt. Vi känner inte att vi hittade några slutliga svar, och det finns massor kvar att diskutera!

Avsnittet sponsras av Attentec - oberoende experter på IOT som vill bli fler. Surfa in på attentec.se om du vill veta mer. Fredrik har snackat med Christoffer som jobbar på Attentec med AI och maskininlärning om vad han gör och var AI är på väg. Ett utdrag kommer mitt i avsnittet, och hela snacket finns med som bonusmaterial i avsnittets slut.

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

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik.

• Sandra Lindberg
• Martin Bagge
• The windows of Siracusa county - det viktiga snacket börjar vid 1:29:43
• Hel- och halvskärmsfunktioner i Macos
• Openbox
• LXDE
• KDE
• KDE 4-övergången
• Panorama i Firefox
• Containers i Firefox
• Windowshade - minimera fönster i Macos till "pinnar" (bild)
• Magnet
• Sublime
• Moom
• Altdrag
• Iterm
• Flycut
• Attentec - veckans sponsor
• IOT - Internet of things
• Christoffer - jobbar på Attentec med AI och maskininlärning
• Scikit-learn
• Djupinlärning
• Pytorch
• Tensorflow
• Keras - wrapper för Tensorflow
• Instapaper
• Kanbanflow
• Bitbucket
• Keywords i Firefox för sökning
• Marie Kondo
• Stacks i Macos

• Christoffer Johansson
• Attentec
• IOT - Internet of things
• Tekniska verken i Linköping
• Feature extraction
• Neurala nät
• Scikit-learn
• Djupinlärning
• Pytorch
• Tensorflow
• Keras - wrapper för Tensorflow
• Nick Bostrom

• Skräplådan man har hemma
• Fokus på en sak i taget
• På slaskskrivbordet
• Min väldigt stationära dator
• Hopp åt sidan som man borde
• Här finns mitt fönster
• Team sticks
• Ordning även på slaskskärmen
• Fönstren i Partille kommun
• Anteckningar som inte är kod
• Jag har fyra flikar
• Vill jag läsa det här?
• En permanent bokmärkesplats
• Om jag inte har någon aning så är det inte viktigt
• En Marie Kondo för digitalt liv
• Jag hade också en NAS i ett hörn

Fredrik och Kristoffer snackar om Basecamps plötsliga implosion - både i antal anställda och i hopsamlad goodwill i utvecklarvärlden - efter att de publicerade "nya riktlinjer" för företaget för drygt en vecka sedan. Vi diskuterar vad som hänt och vad vi tycker om det. Ska det behöva vara såhär galet på jobbet? Spoiler: nej, det tycker vi inte.

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

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik.

• Kodsnack 414 - frilansaravsnittet
• Basecamp
• Ruby on rails
• DHH - David Heinemeier Hansson
• Jason Fried
• Jasons bastuinlägg
• Changes at Basecamp - Jason Frieds blogginlägg (som det ser ut efter de uppdateringar som gjorts)
• Originalversionen av Changes at Basecamp
• Aldus Huxley
• Brave new world
• Nu vänder vi blad
• 360-reviews
• It doesn't have to be crazy at work
• Breaking camp - Verge om diskussionerna på Basecamp som ledde fram till de nya riktlinjerna
• Hatpyramiden
• The Verge på fredagen om hur många som då offentligt sagt att de slutar på Basecamp
• Hey
• Rework - Basecamps numera (just nu?) pausade podd
• EA spouse
• Livejournal
• Connected diskuterar bland annat Basecamp-historien
• How Basecamp blew up - publicerad samma dag som avsnittet

• Jag gillar ju kontroverser
• Hajar som känner lukten av blod i vattnet
• Basecamps uppgång och fall
• Det är ju jättegalet på jobbet
• Jasons bastu
• Suffer and enjoy in solitude
• Hihi jag har köpt en bastu
• Ensam i bastun
• Kanaliserat nordfinskt svårmod
• Paternalistiska förmåner
• Förmåner: glöm det
• Kung David och kung Jason
• David tyckte att han var klar
• Det här är min sandlåda
• Svårt att släppa fler böcker
• Jag har precis upptäckt tomater

Fredrik snackar gränssnitt med Felix Holmgren och Gustav Jansson. Utgångspunkten är att Fredrik har börjat bygga gränssnitt i Apples ramverk Swiftui. Vi börjar med att snacka lite om Apples tidigare lösningar för gränssnittslayout, och Felix berättar om intressanta kopplingar mellan autolayout och, bland annat, föreslagna alternativ till CSS.

Gustav berättar lite om Microsofts gränssnittslösningar genom tiderna, och sedan om så kallade immediate mode-gränssnitt. Därifrån kommer vi in på det här med objektorientering, och att många äldre gränssnittslösningar varit väldigt objektorienterade. Är objektorientering över lag på väg ut, och hur kom det sig att objektorientering kändes som nästan det enda rimliga alternativet så länge?

Sist men inte minst jämför vi Elm, Swiftui, och React med Redux, och Fredrik börjar dels undra om han missat bitar av Swiftui, dels om inte Swiftui skulle kunna bli mycket mer renodlat och tydligt.

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

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik.

• Felix
• Gustav
• Felix driver också den eminenta podden The search space
• Captain it's Wednesday
• Swiftui
• Podcast Chapters
• Appkit
• Springs and struts
• Autolayout
• Constraints
• Xerox
• Smalltalk
• Cassowary
• En video med autolayout-constraint-tänk
• Interface builder
• DSL för constraints via ASCII-art
• Constraints istället för CSS
• Hur Swiftui-layouter beräknas
• Combine
• Reaktiv programmering - deklarativ och fokuserad på dataströmmar
• Knockout
• Reactive
• Ember
• Sproutcore
• Shadow DOM
• DSL - domänspecifikt språk
• Hacking with Swift
• Swift by Sundell
• Winforms
• WPF - Windows presentation foundation
• Deklarativ programmering
• Metro-gränssnitt, som var inne i Windows 8-trakten
• Silverlight
• Visual basic 6
• Java Swing
• Borderlayout
• QT
• Opengl
• Retained mode
• Immediate mode
• Immediate mode GUI
• Treminutersvideo om immediate mode GUI
• Elm
• Entity component system
• Mike Acton snackar prestanda
• Chris Granger snackar Lighttable
• Eve
• Ocaml
• ML
• Haskell
• Redux
• Enum i swift
• Abstrakt datatyp
• Algebraisk datatyp
• Vue

• Ett sidoprojekt till andra sidoprojekt
• Det går att tänka på
• Teknologi från Xerox- och Smalltalkvärlden
• Självklart är detta det bästa sättet
• Såhär ofta ska det vara en svamp
• Det var inte autolayout
• Deklarativt och i XML
• Det var borderlayout som gällde
• Du vill rita
• Ungefär där man ritat det
• Ett deklarativt UI
• Bokstavligt talat objekt
• En objektorienterad programmerare
• Feta basklasser
• Konceptuellt extremt enkelt
• Om det händer någonting
• Någon liten magi för mycket
• Dataflöde i en riktning
• Kaos-React

Fredrik snackar frilansande med Wilhelm Eklund, Erik Hedberg, Anna Leijon, och Lars Wikman. Samtliga är medlemmar i Slack-gruppen Frilansare Stockholm, som varmt rekommenderas till alla som behöver andra frilansare att diskutera livet, företaget, och förhandlingar med.

Lite oväntat inleder vi med att jämföra frilansandet med någon smittsam sjukdom. Man blir infekterad med idén att det går att starta eget, och man hade kanske inte ens kommit på att möjligheten fanns annars. Man får faktiskt konsulta även om man inte är ett stort konsultbolag, och även de som likt panelen frilansat ett bra tag har en märklig känsla av att ha hittat ett maskhål eller fusk som låter dem jobba på ett sätt de trivs såhär bra med.

Hur hittar man uppdrag? Är det egna kontakter och konsultmäklare som gäller, och måste man knyta sin själ till en enda mäklare? Spoilers: nej, håll kontakter med många, ta intressanta uppdrag, och kom ihåg att dina avtal går att förhandla om.

Vi försöker diskutera baksidor med frilansande - som att hålla isär jobbet och resten av livet på gott och ont. Panelen halkar dock snabbt in på allt det goda igen. Bokföring, redovisning och liknande hör också till de mindre engagerande delarna - kan man inte gifta sig till en lösning på problemet kan man med fördel leja ut uppgiften, eller lägga enligt Wilhelms uppfattning motsvarande 7,5 högskolepoäng på att lära sig göra jobbet själv. Men även här återkommer fördelarna igen - som frilansare har man alla möjligheter att balansera och anpassa sina utgifter och inkomster och anpassa både arbetsmängd och prismodeller efter vad som passar en bäst.

Och hur är det med de stora konsultbolagens stjärna? Tenderar inte riktigt vassa konsulter att bli frilansare med tiden? Frilansarna disktuterar anställning hos konsultbolag som nyttiga stödhjul för att lära sig.

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

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik.

• Slacken Frilansare Stockholm - mejla Anna om du vill få en inbjudan!
• East på Stureplan i Stockholm
• Fjäderholmarna
• Lars Wikman
• Erik Hedberg
• Anna Leijon
• Wilhelm Eklund
• verksamt.se
• Enskild firma
• Aktiebolag
• Annas konsultmäklarlista
• Lars nyhetsbrev
• Téamo - Annas tebolag
• Brainville
• SLA

• Personalfest med mig själv
• Sedan 5 oktober 2016
• Föststa standupen jag var med på
• Det var faktiskt tillåtet att starta eget
• Infektera andra
• Jag blev indragen i det här av en serieenpretenör
• Det är inte så jävla svårt
• Börja dyngenkelt
• Frilansandet infekterar
• Vad är min nisch?
• Tvinga dem att vara transparenta
• Jag tycker om att ha en personlig dialog
• Bygga fler ställen där folk kan upptäcka dig
• Också ett sätt att jobba 50%
• Jag kan förhandla
• Maskhålet i rymden
• Är det här verkligen tillåtet?
• Bolaget blir lite av en hobby
• Ett lag för mig: kundens lag
• Utbyte av kunskap mot pengar
• Va, kan man göra så?
• Det här är samhällsinformation
• Jag kan förhandla
• Förhandla med många parametrar

Fredrik snackar C# med Filip Ekberg, som gästar podden för andra gången efter en kort paus på sex år. Vi diskuterar några av alla de nyheter som kommit på sistone i C#. Filip berättar om pattern matching, nullable reference types, och records.

Filip svarar också på vad man ska tänka på när man plockar upp nya funktioner (se till att hela din byggkedja är med på noterna!) och att det kan vara svårt att hänga med i vad som händer om man inte håller sitt Visual studio hyfsat uppdaterat.

I avsnittets andra halva frågar Fredrik ut Filip om hur det är att producera kurser för Pluralsight. Filip, som skapat ett stort antal, berättar hur han jobbar med att skapa sitt kursmaterial, vad man behöver leverera, vad man bör tänka på när man ska visa kod i videoform, och mycket mer.

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

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik.

• Filip Ekberg
• Filip gästade Kodsnack i avsnitt 81
• C#
• Kotlin
• Java
• C++
• Swift
• Pattern matching
• Erlang
• Tupler
• Filip på Youtube
• IL-kod
• Relational pattern matching
• Nullable reference types
• Hur mycket har nollpekarfel kostat genom tiderna?
• Roslyn-omskrivningen
• Records
• Nuget
• C#-milstolpar på Github
• Maui
• John Skeet
• C# in depth
• Pluralsight
• Filips Pluralsightkurser
• fekberg - Filips konsultbolag
• Widgetsmith
• Scott Hanselman på Tiktok
• Camtasia
• Filip på e-post

• Kollar man på C# utifrån
• Underlätta vardagen
• Om jag tittar på en frukt
• Ett sätt att säkra sin framtid
• C# kommer att finnas hur länge som helst
• Plan för hur långt framåt som helst
• Ta in någon som precis har lärt sig språket
• Mindre kod för samma grej
• Oftast tar kortare längre tid

Fredrik snackar blockkedjor, kryptovalutor, och mycket runtomkring med Mats Törnblom, chefsarkitekt på KTH.

Vi börjar med att prata blockkedjor som datalagring. Ett konkret exempel - lagring av examensbevis.

Sedan kommer vi in på det mycket större och mer intressanta området blockkedjor som applikationsplattformar. De flesta blockkedjor är inte valutor, de flesta är applikationsplattformar. Plattformar där applikationer kan äga pengar, det känns kanske lite ovant.

Program och data lagras på samma sätt - körs din tjänst på en blockkedja så kan den inte stoppas eller tas bort - och någon kan använda förra versionen av din tjänst hur länge som helst.

Kryptovalutor. Eftersom de flesta kedjor är applikationsplattformar så är deras valuta främst ett sätt att betala för transaktioner.

Infrastrukturen för blockkedjor är extremt långsam, men det kommer att lösas med tiden. Just nu är det dock inte löst.

Non-fungible tokens - vad kan de vara bra på, utöver att vara en liten bubbla som de är nu?

Mats undervisar Fredrik om Bitcoin pizza day och annat kul, sedan kommer vi in på decentraliserade organisationer - system som kan fortsätta köra utan att någon människa är inblandad. Intressanta möjligheter, från försäkringar till kriminalitet.

Sist men inte minst snackar vi lite om Libra - Facebooks ganska illa omtyckta försök med valuta. Ingen sörjer den, men tekniskt innehöll den mycket bra.

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

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik.

• Mats Törnblom
• Mats Nordqvist - tidigare gäst i exempelvis avsnitt 376
• Vad är en blockkedja - videoförklaring
• Bygg din första app på Ethereum - videogenomgång
• John Oliver förklarar blockkedjor
• Kryptovalutakurser
• Dapp - decentralized application
• 42 - Avsnittet om blockkedjor och Bitcoin med Noa Resare
• Relationsdatabas
• Kapitaletavsnittet om vad pengar är - Fredrik har en känsla av att det finns ett äldre som är ännu mer djuplodande, men lyckas inte hitta det. Världen behöver bättre poddsök!
• Java-applets
• Distribuerade databaser
• EU blockchain observatory and forum
• Ethereum
• Smarta kontrakt
• Bitcoins historia
• Decentraliserad finans
• Solidity - Ethereums programmeringsspråk
• Cardano
• Polkadot
• Non-fungible tokens
• Lightning
• Poddspelarappar med lightningbetalande och andra nyheter
• Value-standarden för poddar
• EOS - Mats favoritblockkedja
• Bitcoin pizza day
• Bitcoin pizza index
• Visualisering av bitcoin och Etherum-transaktioner
• Decentraliserade organisationer
• Chainlink
• Libra
• Stablecoin

• Aldrig sett sådan innovationstakt
• Internets barndom
• Vad är pengar?
• En resa i beteendevetenskap
• En liten IT-avdelning här hemma
• En persisteringslösning
• En distribuerad databas som hålls i synk med algoritmer
• Varenda en finns kvar
• Ingenting går att ta bort
• En global delad databas
• Som om det fanns en framtid
• Lärosätet är ur loopen
• Min applikation kan äga pengar
• Ett program kan äga pengar
• Man gjorde mycket rätt år 2000
• Strömma pengar
• Så länge det finns indata

Fredrik chats with Wilson Snyder about Verilator, chip design, performance, and open hardware.

This episode is a bit of a follow-up to episode 389 where Robert Wikandertalked - in Swedish - about verification of circuit designs. Afterward, Robert mentioned that we should really ask Wilson Snyder to talk about Verilator, and here we are! Wilson works with CPU and other hardware design, and is one of the lead developers of Verilator. When you design hardware, hardware description languages come in handy - you use them to describe hardware precisely. Then you can generate runnable code simulating the hardware, and run batteries of tests against it without needing to manufacture physical hardware.

Verilator is one tool for turning code in the Verilog hardware description language into C++ or Systemc. The major competing tools are more on the interpreter side - which means that Verilator usually has a performance advantage. Oh, and it's GPL licensed as well. As we discuss, Verilator doesn't actually support all of Verilog, but that's being worked on. And increased performance in itself is a clear goal of both research and concrete improvements.

We also discuss a bit what might come out hardware-wise in the future. Wilson predicts DPUs - data-offload units, basically - will become even more of a thing than today.

The second part of the discussion is focused on Verilator itself - how it's built, designed, and developed. People with knowledge of compilers will feel right at home inside the Verilator source code.

Thank you Cloudnet for sponsoring our VPS!

Comments, questions or tips? We are @kodsnack, @tobiashieta, @oferlundand @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! You can also support the podcast by buying us a coffee (or two!) through Ko-fi.

• Wilson Snyder
• Robert Wikander - appeared in episode 389 (in Swedish)
• Digital equipment
• Verilator
• Hardware verification
• Synthesis - converting the language used into hardware gates
• Emacs
• Linus - yes, Torvalds
• GPL 2
• GPL 3
• Compiler
• Interpreter
• CHIPS alliance
• Duane Galbi got Verilator open sourced
• Tarball
• Systemc
• EDA - Electronic design automation
• Cadence
• Synopsys - provides synthesis tools
• Git
• RISC-V
• Open cores
• FPGA
• Open source ARM and MIPS cores
• Standard cell
• DSP
• Amiga
• ML
• GPUs
• DPUs
• Parsing
• Lexing
• Verilator on Github
• Verilator's Github issues
• UVM - Universal verification methodology
• veripool.org

• An open source tool that could do verification
• It started as a hobby
• It has a life of its own
• Into actual hardware gates
• Matching the languages
• A good escape story
• It's bascially a compiler
• Open source hardware design
• The performance to generate the next CPU
• Innovation feedback cycles
• Download a core
• Always a little bit of a focus
• My real job is CPU design

Fredrik snackar Stockholms stads omtalade skolplattform med Johan Öbrink, en av de inblandade i appen Öppna skolplattformen som byggts mot Skolplattformens API.

Vi värmer upp med att diskutera hur förändring av stora organisationer påminner om maskininlärning.

Det blir en snabb genomgång av Skolplattformen - vad den är, varifrån den kommer, och därifrån vad Öppna skolplattformen är. Och varför kostar den pengar, men har öppen källkod.

Därefter diskuterar vi hur Öppna skolplattformen tagits emot, av både användare och Stockholms stad. Johan berättar om dialogen med Stockholms stad, och varför deras reaktioner kan tänkas ha blivit som de blev - som att aktivt försöka störa Öppna skolplattformens förmåga att ansluta.

De större diskussionerna kretsar egentligen kring dialog - dialog mellan utvecklare och alla andra, dialog kring hur offentliga system kan och bör utvecklas - och hur vi som utvecklare har ett stort ansvar att faktiskt ta steget att mer aktivt försöka prata med andra på ren svenska (eller så nära vi nu kan komma).

Hur gratis är utbildning? Den tydliga linjen att det är så har satt sig under många år, och digitalisering - som Skolplattformen - är ett lysande tillfälle att ta upp en massa sådana antaganden till diskussion och omvärdering igen. Statens roll: infrastruktur, inte applikationer? Agil upphandling - finns det hopp om det?

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

Har du kommentarer, frågor eller tips? Vi är @kodsnack, @tobiashieta, @oferlund, 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! Du kan också stödja podden genom att ge oss en kaffe (eller två!) på Ko-fi, eller handla något i vår butik.

• Johan Öbrink
• Johan var med i avsnitt 128
• VIC-20
• SEB
• Cost function
• Backpropagation
• Skolplattformen
• Öppna skolplattformen
• Öppna skolplattformen på Twitter
• Säkerhetsproblemen med Skolplattformen 2019
• Christian Landgren
• Iteam
• Max Weber
• Martin Fowler
• Richard Feynman
• Beyond budgeting
• LOU - Lagen om offentlig upphandling
• Per Thelin på SL
• Opengov
• Opengovs Slack-kanal
• Facebook-gruppen Opengov öppen offentlig förvaltning
• Elektroniska hälsointyg på Github
• Jobtech - Försäkringskassans projekt
• Jacob Schlyter
• Syntes
• Andra poddavsnitt om och med Öppna skolplattformen:
  • Known unknowns
  • Kompilator 41
  • Agilpodden 93

• Klassisk pojkrumsnörd
• Begått de flesta misstag man kan begå
• Min huvudsakliga IDE är Powerpoint
• Enormt mycket under förväntan
• Gaffa istället för bultar
• En dålig förälder
• Det här är bara utstörning
• Det var faktiskt utstörning som var målet
• Det finns inget massuttag
• En dataläcka som bara är API-användning
• Systemet är bakvänt konstruerat
• Omvänd ragequit
• Rage-double-down
• Policyfrågor och programmering
• Det måste finnas någon att lyssna på
• Sänk cykelpriset
• Vem kommer ut med appen först?
• Makten att förändra saker
• Driva politik som pull requests
• Var oense på ett bra sätt