Welcome to cardboard fever! We'e here to bring you everything about the card collecting hobby. Honest product reviews, sales trends, player trends, a look into our collections. We'll also have live breaks on twitter and TikTok, highlight prominent hobby breakers, sellers, card stores, and companies that are changing & leading the industry!
…
continue reading
This is the Haskell Interlude, where the five co-hosts (Wouter Swierstra, Andres Löh, Alejandro Serrano, Niki Vazou, and Joachim Breitner) chat with Haskell guests!
…
continue reading
Nick Bowman presents The Future Underground Show. Listen and download the monthly show here on Podomatic. Previous guests on the show include: Sasha, Mauro Picotto, Ellen Allien, Audio Injection, Cari Lekebusch, Joel Mull, Alan Fitzpatrick, Gary Beck, Nic Fanciulli, Paul Woolford, Mark Broom, DJ Dextro, Deepgroove, Thomas Schumacher, Heckmann, Electric Rescue, Israel Toledo, Tom Hades, Dolby D, Stefano Noferini, Daniel Portman, Hobo, Hans Bouffmyhre, Markantonio, Fabio Neural, Kai Randy Mich ...
…
continue reading
MASASHI OSAKU provides DJ mixes of Progressive,Electro,Tech House on the Podcast for the world directly.As picking up latest tracks,he's gonna take you up through your ears at any place. ----> Introduction about "MASASHI OSAKU" ----> Masashi Osaku is a DJ specializing in Electro/Progressive/Tech/Acid House and is a master of the decks delivering fabulous mixes with the highest level of quality and class. He is constantly learning, improving and searching the world for the newest, hippest tun ...
…
continue reading
NumberOneBeats Weekly Radio Show Hosted By A.C.K. ! The Show will be presented in many different FM Radios like Radio FG USA, Number1 FM Turkey, Heat Radio Greece, We-love-house.fm Germany, DJR’ADIO, Daltica Radio, Clublovers fm, VIP TV and many more stations in different Countries like Belgium, Canada, Malta, Ibiza, Spain, U.S.A, Hungary, Bulgaria, Russia .... Near NumberOneBeats Records tracks supports the show also many talented new comers. Curtainly supporting and playing in the past and ...
…
continue reading
Hosted by Masavia Greer and Mike George, Comedy Anatomy delves into the minds of comedians and tries to understand how they navigate the comedy industry, and the world at large. Join us as we take a deeper, more introspective look at the people who pursue the art form of comedy. In each episode, Masavia and Mike interact with their guests like few ever do, revealing who they are as comedians but more importantly, as human beings. Ideally, our conversations leave listeners with a little wisdo ...
…
continue reading
1
Episode 193: The Future Underground Show with Nick Bowman - April 2024
1:54:24
1:54:24
Play later
Play later
Lists
Like
Liked
1:54:24
For more information about Nick Bowman (Ullrson) and The Future Underground Show visit: www.facebook.com/ullrson Subscribe to the show on Apple Podcasts click here: podcasts.apple.com/us/podcast/the-…how/id288401159 Resident Advisor: ra.co/dj/nickbowman www.youtube.com/@ullrson www.podomatic.com/podcasts/djnickbowman www.ullrson.com https://ullrson…
…
continue reading
Avi Press is interviewed by Joachim Breitner and Andres Löh. Avi is the founder of Scarf, which uses Haskell to analyze how open source software is used. We’ll hear about the kind of shitstorm telemetry can cause, when correctness matters less than fearless refactoring and how that can lead to statically typed Stockholm syndrome.…
…
continue reading
Roman, known better online as effectfully, is interviewed by Wouter and Joachim. On his path to becoming a Plutus language developer at IOG, he learned English to read Software Foundations, has encountered many spaceleaks, and used Haskell to prevent robots from killing people.
…
continue reading
In this episode, András Kovács is being interviewed by Andres Löh and Matthias Pall Gissurarson. We learn how to go from economics to functional programming, how GHC's runtime system is superior to Rust's, the importance of looking at GHC's Core for spotting stray closures, and why staging might be the answer to all your optimisation problems.…
…
continue reading
Wouter and Niki interview Jose Calderon, the new Executive Director of the Haskell Foundation. Jose tells why he applied for the job, how he sees the foundation developing over the coming years, and how you can get involved in the Haskell community.By Haskell Podcast
…
continue reading
In this episode, Wouter and Andres interview Ivan Perez, a senior research scientist at NASA. Ivan tells us about how NASA uses Haskell to develop the Copilot embedded domain specific language for runtime verification, together with some of the obstacles he encounters getting to end users to learn Haskell and adopt such an EDSL.…
…
continue reading
Jezen Thomas is co-founder and CTO of Supercede, a company applying Haskell in the reinsurance industry. In this episode, Jezen, Wouter and Joachim talk about his experience using Haskell in industry, growing a diverse and remote team of developers, and starting a company to create your own Haskell job.…
…
continue reading
Today, Matthías and Joachim are interviewing Moritz Angermann. Moritz knew he wanted to use Haskell before he knew Haskell, fixed cross-compilation as his first GHC contribution. We’ll talk more about cross-compilation to Windows and mobile platforms, why Template Haskell is the cause of most headaches, why you should be careful if your sister call…
…
continue reading
In this episode, Andres and Matti talk to Mike Sperber, CEO of Active Group in Germany. They discuss how to successfully develop an application based on deep learning in Haskell, contrast learning by example with the German bureaucratic approach, and highlight the virtues of having fewer changes in the language.…
…
continue reading
1
Episode 192: The Future Underground Show with Nick Bowman - December 2023
1:59:52
1:59:52
Play later
Play later
Lists
Like
Liked
1:59:52
For more information about Nick Bowman (Ullrson) and The Future Underground Show visit: www.facebook.com/ullrson Subscribe to the show on Apple Podcasts click here: podcasts.apple.com/us/podcast/the-…how/id288401159 Resident Advisor: ra.co/dj/nickbowman twitter.com/ullrsonmusic www.youtube.com/@ullrson https://soundcloud.com/ullrson www.podomatic.c…
…
continue reading
In this episode, we are joined by Rebecca Skinner. She talks about her new book, Effective Haskell, which takes you from list manipulation to thunks to type-level programming. She also tells us about large scale industrial applications in Haskell, and how the architecture is shaped by the organization of the engineering teams. Disclaimer: Mercury i…
…
continue reading
Andres and Wouter interview Edwin Brady, most famous for his work on the Idris programming language. We talk about how he got interested in programming with dependent types, his thoughts on dependently typed programming in Haskell, and his vision for Idris.By Haskell Podcast
…
continue reading
Joachim Breitner and David Thrane Christiansen interview John MacFarlane, a professor of philosophy at UC Berkeley, but also the author of the popular pandoc document conversion tool, which has been around half as long as Haskell itself. He also explains the principle of uniformity as a design goal for lightweight markup languages, the relationship…
…
continue reading
In this episode, Matti and Wouter are joined by John Hughes. John is one of the authors of the original Haskell Report and talks about why functional programming matters, the origins of QuickCheck testing, and how higher order functions and lazy evaluation is the key that makes functional programming so productive, and so much fun!…
…
continue reading
1
Episode 191: The Future Underground Show with Nick Bowman - October 2023
1:59:50
1:59:50
Play later
Play later
Lists
Like
Liked
1:59:50
For more information about Nick Bowman (Ullrson) and The Future Underground Show visit: www.facebook.com/ullrson Subscribe to the show on Apple Podcasts click here: podcasts.apple.com/us/podcast/the-…how/id288401159 Resident Advisor: ra.co/dj/nickbowman twitter.com/ullrsonmusic www.youtube.com/@ullrson https://soundcloud.com/ullrson www.podomatic.c…
…
continue reading
Wouter and Niki are joined by Iavor Diatchki to talk about his experience with different Haskell development styles, writing a high assurance wiki in php, and maintaining Haskell code across different GHC releases over multiple decades.By Haskell Podcast
…
continue reading
In this episode Niki Vazou and Wouter Swierstra chat with Lindsey Kuper, Assistant Professor at University of California, Santa Cruz. They discuss what to do when your data center gets hit by a tornado, life in academia versus life in industry, and what is choreographic programming.By Haskell Podcast
…
continue reading
1
Episode 190: The Future Underground Show with Nick Bowman - September 2023
1:57:49
1:57:49
Play later
Play later
Lists
Like
Liked
1:57:49
For more information about Nick Bowman and The Future Underground Show visit: www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: podcasts.apple.com/us/podcast/the-…how/id288401159 Resident Advisor: ra.co/dj/nickbowman twitter.com/djnickbowman www.youtube.com/@nickbowman www.podomatic.com/podcasts/djnickbowman https://so…
…
continue reading
In this farewell interview with David Thrane Christiansen, the outgoing Executive Director of the Haskell Foundation, hosts Wouter Swierstra and Matthías Páll Gissurarson use the opportunity to reflect on his tenure as ED, the recent history of the Haskell Foundation, where the HF is going and what consider if you want to apply for the role of Exec…
…
continue reading
This episode’s guest is Ranjit Jhala. We discuss how Ranjit developed Liquid Haskell as a litmus test, because if Haskell programmer’s won’t use Liquid Types, no one will. We also hear how writing Haskell is a joy and how you should never underestimate your students.By Haskell Podcast
…
continue reading
Arnaud Spiwack is interviewed by Matthías Páll Gissurarson and Joachim Breitner. We learn all about linear types in Haskell, how linear types go beyond Rust’s ownership system and why it’s not always best to type check everything in core. We conclude with a peek into the many activities of Arnaud’s employer, Tweag.…
…
continue reading
1
Episode 189: The Future Underground Show with Marcello Perri and Nick Bowman
1:53:23
1:53:23
Play later
Play later
Lists
Like
Liked
1:53:23
For more information about Nick Bowman and The Future Underground Show visit: www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: podcasts.apple.com/us/podcast/the-…how/id288401159 Resident Advisor: ra.co/dj/nickbowman twitter.com/djnickbowman www.youtube.com/@nickbowman www.podomatic.com/podcasts/djnickbowman https://so…
…
continue reading
In this episode, Bartosz Milewski is interviewed by Wouter Swierstra and Andres Löh. Bartosz shares his thoughts on the "fringe topics" in programming, from C++ templates to category theory in Haskell. How he considers monads to be like fingers sticking out of the water. And he'll talk a little bit about his upcoming book and his thoughts on linear…
…
continue reading
Joachim Breitner went to ZuriHac 2023 in order to bring the spirit of the biggest Haskell community event to you. He talks to Farhad Mehta, Tomáš Janoušek, Christian Georgii, David Christiansen, Artin Ghasivand, Hannes Siebenhandl, Michael Peyton Jones and Ben Lynn.By Haskell Podcast
…
continue reading
1
Episode 188: The Future Underground Show with Cristian Glitch and Nick Bowman - June 2023
1:59:38
1:59:38
Play later
Play later
Lists
Like
Liked
1:59:38
For more information about Nick Bowman and The Future Underground Show visit: www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: podcasts.apple.com/us/podcast/the-…how/id288401159 Resident Advisor: ra.co/dj/nickbowman twitter.com/djnickbowman soundcloud.com/nickbowman https://www.youtube.com/@nickbowman https://www.podo…
…
continue reading
In this episode Niki Vazou and Mattias Pall chat with Richard Eisenberg. Richard is currently a language designer at Jane Street, he is the chair of the board at the Haskell Foundation and known for his work on the GHC compiler. Today we talk about dependent types in Haskell, how to get involved with GHC and Haskell foundation and how Haskell and O…
…
continue reading
In this episode Christiaan Baaij is interviewed by Wouter Swierstra and Mattias Páll. Christiaan talks about his work on the Clash compiler, what it is like to found your own company, his desire for ergonomic dependent types, and the foundations to all his success, namely capitalising on luck. Errata: Around the 21m19s mark Christiaan talks about “…
…
continue reading
In this episode Simon Marlow talks with Andres Löh and Matthias Pall. Simon is a long time GHC contributor, currently working at Meta. He talks about compiling functional languages via C and the Evil Mangler, the importance of using parallelism and its impact on garbage collection, and about using Haskell in the real world via Sigma, Haxl, and Glea…
…
continue reading
1
Episode 187: The Future Underground Show with Nick Bowman - May 2023
2:01:40
2:01:40
Play later
Play later
Lists
Like
Liked
2:01:40
For more information about Nick Bowman and The Future Underground Show visit: www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: podcasts.apple.com/us/podcast/the-…how/id288401159 Resident Advisor: ra.co/dj/nickbowman twitter.com/djnickbowman soundcloud.com/nickbowman https://www.youtube.com/@nickbowman https://www.podo…
…
continue reading
In this episode Joachim Breitner and Wouter Swierstra talk to Andrew Lelechenko, also known as Bodigrim. Bodigrim went from a being a mathematician to a failed PHP developer the chair of the Core Libraries Committee. In this episode, we discuss whether he prefers number theory or Haskell, whether he prefers working with compilers or PHP frameworks,…
…
continue reading
1
Episode 186: The Future Underground Show with Nick Bowman - April 2023
1:48:25
1:48:25
Play later
Play later
Lists
Like
Liked
1:48:25
For more information about Nick Bowman and The Future Underground Show visit: www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: podcasts.apple.com/us/podcast/the-…how/id288401159 Resident Advisor: ra.co/dj/nickbowman twitter.com/djnickbowman soundcloud.com/nickbowman https://www.youtube.com/@nickbowman Nick Bowman Trac…
…
continue reading
In this episode Andres Löh and Niki Vazou chat with Jeremy Gibbons. Jeremy Gibbons is professor at Oxford and talks about his journey from Orwell to Haskell, how to teach Haskell and specification languages to undergraduates as well as professional programmers, how programming languages should keep simple things simple, and how paper writing can or…
…
continue reading
In this episode Wouter Swierstra and Joachim Breitner chat with Ben Gamari. Ben is a consultant at well-typed known for his work at GHC. Ben tells us a little bit about his switch from Python to Haskell but not because he was missing the static typing, how programming his thermostat lead him to a career in the compiler development, and what it's li…
…
continue reading
In this episode Andres Löh and Niki Vazou talk with Alejandro Russo. Alejandro is a professor at Chalmers University in Gothenburg Sweden, he is an enthusiastic functional programmer as well as a researcher in the fields of security and privacy. He talks about the unique strengths Haskell has in these areas and how to move research ideas into indus…
…
continue reading
1
Episode 185: The Future Underground Show with Cubr1k (Cristian Varela), Mladen Tomic and Nick Bowman
1:28
1:28
Play later
Play later
Lists
Like
Liked
1:28
For more information about Nick Bowman and The Future Underground Show visit: https://www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: https://podcasts.apple.com/us/podcast/the-future-underground-show/id288401159 Resident Advisor: https://ra.co/dj/nickbowman https://soundcloud.com/nickbowman https://twitter.com/djnick…
…
continue reading
In this episode Matthías Páll and Andres Löh talk with Andrey Mokhov. Andrey is best known for his work on the Hadrian build system and today he talks about algebraic graphs, selective functors, and the difference between OCaml and Haskell.By Haskell Podcast
…
continue reading
1
Episode 184: The Future Underground Show with Nick Bowman - January 2023
1:58:36
1:58:36
Play later
Play later
Lists
Like
Liked
1:58:36
For more information about Nick Bowman and The Future Underground Show visit: www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: podcasts.apple.com/us/podcast/the-…how/id288401159 Resident Advisor: ra.co/dj/nickbowman twitter.com/djnickbowman soundcloud.com/nickbowman https://www.youtube.com/@nickbowman Nick Bowman Trac…
…
continue reading
In this episode Jesper Cockx, one of the main Agda developers, is interviews by Niki Vazou and Matthias Pall. They talk about how to explain dependent types to one's father, how Agda’s automation and proof search work, and how Agda can be used to verify Haskell code bases.By Haskell Podcast
…
continue reading
1
Episode 183: The Future Underground Show with Nick Bowman - December 2022
1:49:26
1:49:26
Play later
Play later
Lists
Like
Liked
1:49:26
For more information about Nick Bowman and The Future Underground Show visit: www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: podcasts.apple.com/us/podcast/the-…how/id288401159 Resident Advisor: ra.co/dj/nickbowman @nickbowman twitter.com/djnickbowman Nick Bowman Tracklist 01. Dyno - Tekorg [Dyrwalk] [Promo] 02. Dyno…
…
continue reading
In this episode Marc Scholten is interviewed by Andres Löh and Joachim Breitner. They talk about the Integrated Haskell Platform web framework (IHP), implicit parameters and nix.By Haskell Podcast
…
continue reading
1
18: Matthias Pall Gissurarson & Jimmy Koppel
39:08
39:08
Play later
Play later
Lists
Like
Liked
39:08
In this episode Matthias Pall Gissurarson & Jimmy Koppel are interviewed by Wouter Swierstra and Niki Vazou. They talk about program synthesis, typed holes, program repair, and generating properties using a new technique called ECTAs.By Haskell Podcast
…
continue reading
Ningning Xie is interviewed by Niki Vazou and Andres Loh. Ningning first contributed to GHC at her Google summer of code project with a very ambitious goal of implementing the whole dependent Haskell. Also later she fixed several ghc bugs and worked on Koka’s Algebraic effects. Her future hope and advice is to use programming language concepts on r…
…
continue reading
1
Episode 182: The Future Underground Show with Ramkka, DJ Wank and Nick Bowman
1:58:06
1:58:06
Play later
Play later
Lists
Like
Liked
1:58:06
For more information about Nick Bowman and The Future Underground Show visit: https://www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: https://podcasts.apple.com/us/podcast/the-future-underground-show/id288401159 Resident Advisor: https://ra.co/dj/nickbowman https://soundcloud.com/nickbowman https://twitter.com/djnick…
…
continue reading
1
Episode 181: The Future Underground Show with Nick Bowman - September 2022
1:52:25
1:52:25
Play later
Play later
Lists
Like
Liked
1:52:25
For more information about Nick Bowman and The Future Underground Show visit: https://www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: https://podcasts.apple.com/us/podcast/the-future-underground-show/id288401159 Resident Advisor: https://ra.co/dj/nickbowman https://soundcloud.com/nickbowman https://twitter.com/djnick…
…
continue reading
Oskar Wickström is interviewed by Wouter Swierstra and Alejandro Serrano, he will tell us a little bit about property-based testing (PBT) Haskell code but also applying these ideas to the testing of complete systems. He will say a little bit about interfacing Haskell to other languages and even with your web browser and what it's like to learn Rust…
…
continue reading
1
Episode 180: The Future Underground Show with Ninna V and Nick Bowman - August 2022
58:38
58:38
Play later
Play later
Lists
Like
Liked
58:38
For more information about Nick Bowman and The Future Underground Show visit: https://www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: https://podcasts.apple.com/us/podcast/the-future-underground-show/id288401159 Resident Advisor: https://ra.co/dj/nickbowman https://soundcloud.com/nickbowman https://twitter.com/djnick…
…
continue reading
1
Episode 179: The Future Underground Show with Nick Bowman - July 2022
1:53:14
1:53:14
Play later
Play later
Lists
Like
Liked
1:53:14
For more information about Nick Bowman and The Future Underground Show visit: https://www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: https://podcasts.apple.com/us/podcast/the-future-underground-show/id288401159 Resident Advisor: https://ra.co/dj/nickbowman https://soundcloud.com/nickbowman https://twitter.com/djnick…
…
continue reading
Facundo Dominguez is interviewed by Niki Vazou and Joachim Breitner. Facundo Dominguez tells us the difference between STM and SMT. We also talk about Liquid Haskell and its relation to dependent types and the `QualifiedDo` extension -- which is one of the most highly discussed GHC proposals -- and the general GHC proposals. And, finally, Facundo l…
…
continue reading
Ryan Trinkle is interviewed by Joachim Breitner and Niki Vazou. Ryan Trinkle has co-founded Obsidian Systems, a company that not just uses Haskell but even more exotic tech that as Functional Reactive Programming (FRP) and Nix. Ryan shed some light on the business side of Haskell and we get to hear that hiring for Haskell is actually excellent.…
…
continue reading
1
Episode 178: The Future Underground Show with Torsten Kanzler and Nick Bowman - June 2022
2:02:36
2:02:36
Play later
Play later
Lists
Like
Liked
2:02:36
For more information about Nick Bowman and The Future Underground Show visit: https://www.facebook.com/bowmannick Subscribe to the show on Apple Podcasts click here: https://podcasts.apple.com/us/podcast/the-future-underground-show/id288401159 Resident Advisor: https://ra.co/dj/nickbowman https://soundcloud.com/nickbowman https://twitter.com/djnick…
…
continue reading