Kodsnack

Fredrik snackar med Robert Wikander om verifiering av kretsar, testning, skriptande, öppen hårvaras nutid och framtid, och mycket mer.

Vad har Perl och Python för gemensam koppling till design av hårdvara?

Robert berättar också om drivet mot öppen hårdvara, öppna instruktionsset och öppna verktygskedjor - varför finns det, och hur går det? Finns det en framtid för något annat än processorer med Arm-licens eller från Intel?

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

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

Länkar

Titlar

  • Världens hjärta
  • Less på att flyga
  • Vi kan bygga en generator
  • Det fastnade i Europa
  • För att garantera att ingen ska känna igen sig helt
  • Väldigt mjukvarulikt
  • Hur ska vi verifiera det här?
  • Varje bit ska vara satt någon gång
  • Har jag satt alla bitar?
  • Man blir ju blind på sin egen kod
  • Det är inte rocket science att bygga ett instruktionsset
  • Vem köper en kompilator idag?
  • Generatorer hela vägen ner
Direct download: 389.mp3
Category:general -- posted at: 6:32am CET

Fredrik och Tobias snackar om en del av allt som är nytt och förbättrat i version 11 av LLVM. Allt från prestanda och formattering till varningar och länkaren har fått sig ganska markanta lyft. Tobias har också skrivit ett blogginlägg som går igenom mycket av samma saker i textform. Jo, det har kommit ett Fortran-frontend till LLVM också!

Som en liten bonus efter avslutningsmusiken kommer lite snack om tangentbord, tangenter med olika aktiveringsdjup, och problem med att flasha firmware.

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

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

Länkar

Titlar

  • Jag har inte skrivit en bloggpost på fyra år
  • LLVM är ju stort
  • Det var ingen som tänkte på prestanda
  • Inte bara snabbare än LLVM 10
  • bar kan aldrig vara något annat än 1
  • Det är inte alltid skitkul att sitta i en debugger
  • En metod som jag aldrig refererar till
  • Bättre debuginformation
  • Du har omdeklarerat på rad X
  • Bättre felmeddelanden
  • Det här får man egentligen inte göra
  • Om du skickar OS till Clang
  • Inte så bra för storleken på binären
  • När binären blir stor
  • Länkaren visste inte vad OS var för något
  • Hoppa till en funktion är dyrt
  • Utgå inte från vad du tror är rätt
  • Nycklarna är olika långa
  • Clang och Flang
  • Ifall du har något behov av prestanda över huvud taget
Direct download: 388.mp3
Category:general -- posted at: 6:45am CET

Fredrik snackar med Johan Thelin om fediversumet, och del två av Foss-north 2020. Vi diskuterar Mastodon - den lugna och distribuerade versionen av Twitter där du verkligen äger din egen data och kan driva din egen server om du så vill, Peertube - det Googlefria och lika distribuerade svaret på Youtube, och Nextcloud - Dropboxersättningen som blivit väldigt mycket mer med stöd för allt från fotouppladdning till e-post och kalendrar (nåja).

Sist men inte minns är det snart dags för en mysig heldag med Foss-north igen! Den här gången behöver du inte ens kliva ur morgonrocken och kan dricka varm choklad i soffan till förmiddagsföreläsningarna!

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

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

Länkar

Titlar

  • Vi pratade ju fediverse imorse
  • Tyst variant av Twitter
  • Man får ju lägga sin tid på vad man vill
  • Dags för ett andra konto
  • I ett försök att avgoogla
  • Folks e-post som transportprotokoll
  • Den dagen SD-kortet ger sig
  • Min server har hans server på vitlistan
  • Ingen kurering och inga smarta algoritmer
  • Det är som internet förr i tiden
  • Det var en jätterolig fransos där
  • Does god approve?
  • En riktig nörd på det positiva sättet
  • Det skadar inte att fråga
  • Min fru accepterar, men hon kommer aldrig att förstå
Direct download: 387.mp3
Category:general -- posted at: 6:40am CET

Fredrik snackar med Oskar Wickström om Quickstrom - Oskars nysläppta verktyg för egenskapsbaserad testning av webbapplikationer. Med Quickstrom kan du testa din webbapplikation via dess gränssnitt, låta verktyget generera interaktioner och hitta problem åt dig, allt utan att du behöver tänka på vartenda möjligt fall eller beskriva hela datamodellen.

Oskar berättar vad egenskapsbaserad testning är, hur man tänker kring att generera testdata och beskriva önskade resultat, hur Quickstrom fungerar och några av alla spännande saker som finns kvar att göra. Det finns många intressanta verktyg kvar att bygga!

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

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

Länkar

Titlar

  • Sån är jag och tidsuppfattning
  • Givet en viss input och ett visst state
  • Hur input förhåller sig till output
  • Minsta möjliga fallerande indata
  • Vad är alla möjliga konfigurationer av systemet?
  • Hur saker och ting förändras över tid
  • Du skriver inte egenskaper på det sättet
  • Du slipper skriva en modell
  • Vänta på olika tillstånd
  • Du behöver aldrig säga någonting om tid
  • Vi har många intressanta verktyg kvar att bygga
Direct download: 386.mp3
Category:general -- posted at: 6:48am CET

1