Fredrik och Kristoffer snackar spelrekommendationer, VR, lättnaden efter valet i USE, Swift, och mikrofoner. Kristoffer har spelat Stoneshard och Tenderfoot tactics. Fredrik har skaffat Oculus quest 2 och spelar på den. Hur har det gått med Oculus och VR sedan Facebook köpte upp Oculus och vi oroade oss i avsnitt 45avsnitt ? Kristoffer berättar om sitt drömspel för VR. Vi diskuterar också hur stort eller litet problem åksjuka varit såhär långt, och önskar oss att VR kan få både effektiva kontroller och “naturliga” kontroller, beroende på vad en viss tillämpning faktiskt behöver. Avsnittet sponsras av Future skill, ett kodcommunity där du kan öva upp dina färdigheter i ett språk, lära dig ett nytt språk, eller skapa utmaningar för andra att lära sig av och med. Future skill är helt gratis att använda, surfa in på futureskill.com och testa! Valet i USA: det blev en oväntat stor lättnad för oss båda. Kristoffer har börjat skriva Swift och tycker det är riktigt trevligt. Gillar Kristoffer det mer än Rust? Sist men inte minst lite mikrofonsnack. Kristoffer har slagit till på en ny och fin mikrofon och är än så länge … inte helt nöjd. 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 Stoneshard Wine Diablo Spelunky Spelunky 2 Eggplant - podden Fredrik lyssnat på Spelunkydiskussioner i Tenderfoot tactics Heroes of might and magic Beat saber Oculus quest Oculus quest 2 Din noja för Mark Zuckerberg, avsnitt 45 Elite strap - huvudbandet med extra batteri Half-life: Alyx Sidequest - alternativ appbutik för Oculus quest Deisim Populous Ang Lees Hulken Oculus connect John Carmacks snack på Connect PSVR Astro bot Eagle flight Valve index Steam machine Windows mixed reality Holonautic - företaget som gör Hand physics lab Hand physics lab Octodad Future skill - veckans sponsor Henrik Enström The talk show Daring fireball Holiday party - Talk show-avsnittet direkt efter valet 2016 Merlin Mann Holiday party 2020 - Talk show-avsnittet direkt efter valet 2020 Swift Swift-boken Spritekit Rust Podcast Chapters - Fredriks Mac-app, skriven i Swift Chris Lattner Unladen swallow - Python på LLVM kom inte hela vägen Julia Vår intervju med Stefan Karpinski om Julia Vapor - ett av flera serverramverk för Swift Røde podcaster - Kristoffers förra mikrofon Shure SM7B Inga genvägar till det perfekta ljudet Shure MV7 Kondensatormikrofon Dynamisk mikrofon Shure SM57 XLR RK345 Live-avsnittet i Stockholm Titlar Halvt realtid Stora varelser som säger märkliga saker Döden är konsekvensfri Båda sidor hade rätt En hel arbetsdag i virtuell verklighet Att det inte upplevs som om man flyttar på sig Man använder näsan Som Quake var för 3d Den virtuella overkligheten Andra pärmen på boken Bra för samma saker men inte så horribelt Monsterhusbyggarverktyget Känslan av att skriva Python Ett språk som man vill tycka om Jag har hittat en genväg till det perfekta ljudet Det låter som att jag pratar genom en potatis RK345-hacket Den dyrare mikrofonens popfilter Genom det dåliga popfiltret Potatissituationen

Fredrik och Kristoffer snackar tangentbord. Fredrik har för första gången lödat ihop ett tangentbord från byggsats och berättar hur det gick till. Fredrik har bara börjat fundera över vad den bästa layouten kan vara, Kristoffer har egna historier om hur till synes små ändringar i ett tangentbords fysiska layout helt kan kullkasta hela ens layouttänk. Avsnittet sponsras av svenskutvecklade resespelet Voyager - för alla oss som vill få en känsla av att komma ut i världen även i år, och som tycker det är kul att testa och bredda sin allmänbildning. Voyager finns på Steam, men skaffar du det via voyagergame.net/kodsnack syns det att du lyssnar på podden, och då blir vi givetvis lite extra glada. Sedan snackar vi hur vi sätter ihop våra layouter, och om trackpads elände. En trackpad kan vara som en dålig tivoliklomaskin jämfört med en bra mus. Som avslutning snackar vi lite om Amazons lansering i Sverige och hur den effektivt lyckades skjuta vårt intryck av företaget i sank medelst dålig design och imponerande dålig maskinöversättning. 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 Nightmare before Christmas - julfilm? Fredriks Let’s split Splitkb.com Thomas Baart - mannen bakom Kyria och Splitkb Kyria Nyquist Corne Fredriks text om sitt Kyria-äventyr ditintills Planck Preonic Thomas texter om designen av Kyria Splitkb:s guider och FAQ:er Bygg-guiden för Kyria Hotswap - att sätta socklar så att man kan byta tangentswitchar utan att behöva löda Lödtennsug Voyager - spelet som är veckans sponsor Toleap - skapare av Voyager och mycket mer Backpacker-spelen voyagergame.net/kodsnack Voyager på Steam Kailh pro (light) green Kailh speed bronze Kailh speed copper Halo clear Key chatter - att man får oönskade tangenttryck registrerade Drop - tidigare Massdrop Trash80 Dirtywave M8 Little sound DJ Game boy Teensy Mutable instruments Koden till Mutable instruments syntar Das keyboard Apple II Fredriks Logitechtrackpad QMK QMK configurator Ergodox konfigurator Ramaworks M50-A - Tangentbordet Kristoffer köpt från Ramaworks Amazons lansering i Sverige Need for speed payback Watch dogs 2 Poom Pico-8 John Carmack snackar på senaste Oculus-konferensen Bonuslänkar Johnnie Hård skriver om att bygga tangentbord och handdra alla kopplingar. Vem behöver stora kretskort? Att handdra ett Let’s split - av Johannes Jansson Titlar Halloween känns lite okej Smält och flutit iväg Nederländsk kurvatur Någon som har mycket större händer än mig Hundra lödpunkter till Det är kretskort i allt Konstant driv mot två tangenter Tangenter som flyttat in mot mitten Mycket tänk kvar En makerkultur som inte känns så krävande Hur kan ett så stort företag vara så kasst?

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 Robert Switchcore Taiwan semiconductor - TSMC Hsinchu Science Park UMC Packet architects VHDL - Very high speed integrated circuit hardware description language Ada DARPA Verilog State machine SDF Oskar Wickström berättade om testning med och utan modeller i avsnitt 386 Specman och verifikationsspråket e Systemverilog IEEE 1800 Synopsys Mentor Cadence VMM, OVM, och UVM AXI Wilson Snyder Verilator - simulatorn Wilson och andra bygger Openrisc RISC-V Sifive Andreas Olofsson drev projekt på Darpa, byggde hundra kärnor på chip-startup Open road project Yosys - öppet syntesverktyg A practical guide to adopting universal verification methodology Perl Python Spekulativ exekvering Swerv FOSSI - free and open source silicon foundation Linux foundation CHIPS alliance Qamcom Futurewei PYHDL Chipyard Chisel HDL Scala 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

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 Zencastr - tjänsten vi spelade in avsnittet via Stereoseparation LLVM 11 Tobias bloggtext om nyheter i LLVM 11 Tensorflow Multilevel intermediate representation för Tensorflow Opencv Rustgängets text om vad de gjort i LLVM 11 DWARF foo och bar extern-nyckelordet AST - abstrakt syntaxträd LTO - Link-time optimization Precompiled header Tobias stora “vad kan man göra för att få allting att gå fortare”-presentation Templates i C++ Metaprogrammering Vtables Dynamisk dispatch virtual i C++ clang-format Language server protocol Fortran Flang Kailh pro green QMK Keyboardio Cherry MX brown 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

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 Johan Thelin Fediverse Mastodon mastodon.technology toot.cafe joinmastodon.org var det, inte getmastodon @e8johan@mastodon.technology @bjoreman@toot.cafe Toot! Tusky Dag Ågren Unarchiver Tweetdeck Activitypub Peertube Conftube Jocke I make FOSS på Twitter Carol Chen fidonet.io mastodon.fidonet.io Foss-north Pixelfed Flickr Jeena Indieweb Pingback Pump.io Duckduckgo Fripost Caldav Thunderbird Lightning Davx5 ics eml Roundcube DKIM Nextcloud Nextcloud Pi Foss-north-podden Borås djurpark Markdown Collaboras onlineversion av Openoffice Nextclouds konferens Nextcloud 20 med dashboard Activesync-addon för Nextcloud Nextcloud talk Activitypub conference peertube.fidonet.io Jeenas serie om varför han kör Peertube och hur man kör det TLS Vincent Rivière om reverse engineering och öppet ROM-chip av Ataris OS GCC till 68k GEM TOS Foss-north 2020, del 2 Akademy Big blue button Slido ITS Lars Brinkhoff i Kodsnack Ansible Bunnie Huang Precursor Novena - öppen källkods-laptopen Bunnie var inblandad i Kodsnacks Youtube-kanal 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å

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 Oskar 314 - första avsnittet Oskar var med i 326 - andra avsnittet Oskar var med i Egenskapsbaserad testning Komposition - videoredigeringsprogrammet Haskell Blogginlägg om egenskapsbaserad testning Oskars e-bok om egenskapsbaserad testning Oskars långa artikel om PBT Generatorer F# for fun and profit om egenskapsbaserad testning Edit distance Metamorphic testing Galaxy brain Domain-driven design Linear temporal logic TLA+ State machines Quickstrom Quickcheck Modellbaserad testning Smoke testing Webdriver Quickstrom-tutorial TodoMVC Fibrer i React Halting problem 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

Fredrik snackar Elixir med Lars Wikman. Elixir kombinerar ett kulturellt arv från Ruby och Rails med en solid teknisk grund från Erlang. Vad är det som lockar med Elixir, och behöver man kunna Erlang? Hur funkar det med felhantering, trådar, och processer? Vilken är den största vardagsnyttan med Elixir? Hur går Lars projekt att skriva webbgränssnitt som inte behöver Javascript? Och varför bygger Whatsapp en typad version av Erlang? 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 Lars Wikman Elixir Algonet Ruby Ruby on rails Erlang BEAM - Erlangs virtuella maskin Active record OTP - Open telecom platform Phoenix - webbramverk för Elixir Nerves - embeddedplattform för Elixir Lars blogginlägg om att det är trevligt med en runtime som kan göra mer än en sak i taget Funktionell programmering - den läskigaste grejen när man närmar sig Elixir Monader Erlang ecosystem foundation Mix - byggverktyg för Elixir Hex.pm - “NPM för Elixir och Erlang” Soft real time Metaprogrammering Makron i Elixir DSL - domänspecifikt språk Ecto Phoenix presence Eventual consistency CRDT - conflict-free replicated data type Phoenix liveview Websockets Membrane - mediaströmningsramverk för Elixir MJPEG Leka med statusen :checked I know what you :visited Let it crash Cowboy - webbservern under Phoenix The soul of Erlang and Elixir - Saša Jurić Actor-modellen Rekursion NIF - native implemented functions, lösning för att anropa C-kod Rustler - skriv NIFfar i Rust istället för C Django gen_server Arv Elixir mix Elixir outlaws Elixir wizards Thinking Elixir Elixirtalk Lumen-projektet - kompilerar Erlang och Elixir till Webassembly Webassembly Dockyard Rabbitmq Whatsapp bygger typad Erlang Visual studio code Elixir LS Dialyzer - statiskt analysverktyg för Erlang Lars är @lawik på Twitter underjord.io - Lars webbplats Titlar Lättpocket i HTML från Algonet Socialt och kulturellt arv från Ruby och Ruby on rails Tekniskt arv från Erlang Distribuerade slagtåliga system Bränt barn söker sig till nytt språk Pragmatisk funktionell programmering Som att skriva ful-SQL Allt det där huvudvärksarbetet Ett verktyg för att slippa skriva Javascript Inte perfekt för latency Felhantera i varenda löv i hela trädet Larma den som har driftansvar idag En pool billiga BEAM-processer En oändlig loop kan vara helt rätt Det potenitella taket för hur bra man kan bygga system är väldigt högt Väldigt pragmatisk funktionell programmering Om du vill göra fel får du jobba lite för det

Tobias och Kristoffer snackar. Som uppvärmning diskuterar vi hemmajobbandet och hur världen fortfarande är i någon sorts drömtillstånd mellan det som brukade vara normalt och … något annat. Huvudämnet för dagen är nyheter från Nvidia. Först diskuterar vi Nvidias köp av processordesignföretaget Arm. Världen av processorer känns som den är stadd i ganska spännande förändring just nu. Det kan inte vara för roligt att vara Intel just nu. Precis som det numera dyker upp massor av spännande programmeringsspråk kanske det kan börja komma fler nya och spännande processorarkitekturer lite oftare? Sedan snackar vi förstås om hårdvaran Nvidia nyss presenterat: den nya RTX 30-serien GPU:er. Nvidia säljer sina nya grafikkort lite som rockband säljer biljetter till konserter. Vi går igenom vad strålspårning - ray tracing - är, hur det funkar och varför det är spännande hur Nvidia byggt in stöd för det i sina grafikkort. Tobias berättar också om galna och häftiga saker Nvidia gör med sitt allt större, djupare och bättre stöd för maskininlärning direkt på grafikkortet. Maskininlärning - mer än bara Goolge som samla in din data och Spotify som vill räkna fram nästa låt i din spellista! 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 Geforce RTX 30-serien Nvidia köper Arm Arm-plattformen Tensor core Grafikkretsarna i Switch CUDA Nvidias produktintroduktion Nvidias konferens GTC Geforce RTX 3070 Geforce RTX 3080 Geforce RTX 3090 Geforce RTX 2080 Ti Strålspårning - ray tracing Unreal Frostbite Tensorflow DLSS - Deep learning super sampling Anti-aliasing - i grafiksammanhang tekniker för att jämna ut hackiga kanter Death stranding Matrismultiplikation Linjär algebra Wren - nytt programmeringsspråk Ren - ett annat programmeringsspråk, som Kristoffer inte menade Dart Titlar Någonting från en svunnen värld Många missförstår vad Arm gör för någonting Arm bygger inga egna CPU:er Licens och utveckling Framtiden i gaminggrafikkort Intel måste kallsvettas otroligt Hur andra företag ser på Arm Det som alla gamers väntade på Inga billiga kort Jag kan försöka förklara vad strålspårning är En partikel ur ljuskällan En simulering av verkligt ljus För att man inte har råd att göra raytracing Hur mycket man måste spåra 10000 Cudacores Utnyttja kraften i grafikkortet Strålarna som spårar Det är strålspårning Jag viftar med händerna här Flera pixlar på skärmen samtidigt Väldigt sällan högupplöst Hjärnan som fyller ut Samma trick som den mänskliga hjärnan använder Det började med att man gjorde spel

Fredrik snackar SQL och databaser med Göran Paues, databasutvecklare på Tradedoubler. Varför är det häftigt med SQL? Varför borde alla utvecklare skaffa sig koll på SQL? Kan man inte bara köra med någon populär ORM som döljer hela databasen och låter en fokusera på sina objekt i det språk man är van vid? Sist men inte minst: vågar man verkligen använda lagrade procedurer för att få saker gjorda? När ska man i så fall göra det? 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 Göran Paues Tradedoubler 10 SQL tricks to convince you SQL is awesome - videon Göran skickade en länk till Turingkompletthet Mandelbrotmängden Window functions Lukas Eder Mysql 8 Postgresql Db-engines Extensions för Postgresql Timescale - Postgres för IOT-databaser Oracle-databaser Våra prat med SEB om stordatorer - 376, 377, 378, och 379 rman - Oracle recovery manager Autocommit i Mysql Nosql Mongodb Relationsdatabaser Neo4j SQL server SQL-92 SQL:2016 Sqlite ORM - object-relational mapping Hibernate SQLAlchemy Seuqelize Ruby on rails Active record Core data EOF hette föregångaren till Core data Webobjects JOOQ - Lukas Eders produkt Många till många-relation Stored procedure Flyway Liquibase Db-migrate Coding horror-posten om stored procedures Percona Cassandra Kodsnacket med Olle från Quizkampen Titlar Jag är en databasutvecklare Databasen som en processmotor Möjlighet att flasha tillbaka Komma in i tänket JSON i en kolumn Det är bra att lära känna sin databas Man tänker på databasen som en hink Från Next-forntiden Jag bygger hela min applikation på ett lager som jag inte vet något om Kan databasen göra det här? Om man gör det direkt i databasen Det som databasen älskar att göra Vi kan inte störa databasen Känna sin databas

Fredrik snackar akademisk programmering med Per Alexandersson. Som forskare inom matematik, eller kanske som akademiker i allmänhet, kan man arbeta med och använda programmering med lite andra förutsättningar än inom många andra branscher. Vi diskuterar programmering för att skaffa sig intuition, pröva hypoteser, och om kod som är fullt tillräckligt bra om den på rimlig tid körs för värden lägre än fyra. Per berättar varför man gärna väljer att skriva sitt exjobb i LaTeX istället för i Word, och vi diskuterer utbyte mellan matematik och programmering. En nyttig förmåga man till exempel övar inom matematik är att stegvis omvandla och omforma nya problem i termer av kända och lösbara problem. Per berättar också om sammanhang där han som matematiker haft stor nytta av sin programmeringsbakgrund och programmerartänk kring problem. Vi kommer också in på intressanta samarbeten där både science fiction-författare och anonyma Reddit-användare bidragit till att föra matematiken framåt. Sist men inte minst berättar Per om hur han skapar sin webbsida som katalogiserar familjer av symmetriska funktioner - en ganska ovanlig och för området väldigt passande statisk sidgenerator. 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 Per Alexandersson Pers sida på Stockholms universitet Kombinatorik Tidskomplexitet n-fakultet Mathematica Fortran MATLAB Differentialekvationer Sage - Pythonbaserat “matematikmjukvarusystem” Polynom Diskret matematik Numerik Matematisk statistik Wolframalpha Symmetriska funktioner Per på Github Symmetrica - C-bibliotek med tyska kommentarer som Sage bygger på LaTeX arxiv.org Open access TeX på Stack exchange Mathematica på Stack exchange Matematikforumet för studenter - “math underflow” Math overflow Polymath - samarbetsblogg och wiki för matematiker Kadison-Singer-problemet Superpermutationer Problemet som löstes av en anonym användare och Greg Egan Greg Egan Gregs böcker Quanta magazine Tävlingsprogrammering Knapsack-problem Project Euler Advent of code Kortaste-vägen-algoritmen Pers katalog över symmetriska funktioner Det gär inte att använda regexp för att parsa HTML Lynx Titlar Inte för en stor målgrupp Väldigt mycket mer renodlat Obehaglig tidskomplexitet Sedan tar det för lång tid Jag använder det för att få intuition Allt i sitt standardbibliotek Kompilera C-kod från Mathematica För objektorienterat för min smak Annorlunda när man skriver för andra människor Väldigt open source Då vill man oftast använda LaTeX En anonym användare och en science fiction-författare Mycket referenser till matematik Problem vi kan bevisa inte går att lösa Det hade varit smidigt om källkoden var LaTeX Jag samlar på familjer av symmetriska funktioner Sorteringen görs med hjälp av CSS Tänka igenom sitt referenssystem