The Haskell Interlude podcast

Player FM - Internet Radio Done Right

24 subscribers

تمت الإضافة منذ قبل four أعوام

المحتوى المقدم من Haskell Podcast. يتم تحميل جميع محتويات البودكاست بما في ذلك الحلقات والرسومات وأوصاف البودكاست وتقديمها مباشرة بواسطة Haskell Podcast أو شريك منصة البودكاست الخاص بهم. إذا كنت تعتقد أن شخصًا ما يستخدم عملك المحمي بحقوق الطبع والنشر دون إذنك، فيمكنك اتباع العملية الموضحة هنا https://ar.player.fm/legal.

Mind The Business: Small Business Success Stories

1
Understanding Taxes as a Newly Formed Small Business - Part 2 of the Small Business Starter Kit 28:24

منذ 22 يومًا28:24

التشغيل لاحقا

قوائم

إعجاب

احب

28:24

In our second installment of the Small Business Starter Kit series - we’re tackling a topic that’s sometimes tricky, sometimes confusing, but ever-present: taxes. Hosts Austin and Jannese have an insightful conversation with entrepreneur Isabella Rosal who started 7th Sky Ventures , an exporter and distributor of craft spirits, beer, and wine. Having lived and worked in two different countries and started a company in a heavily-regulated field, Isabella is no stranger to navigating the paperwork-laden and jargon-infused maze of properly understanding taxes for a newly formed small business. Join us as she shares her story and provides valuable insight into how to tackle your business’ taxes - so they don’t tackle you. Learn more about how QuickBooks can help you grow your business: QuickBooks.com See omnystudio.com/listener for privacy information.…

The Haskell Interlude

منزل السلاسل•Feed

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!

64 حلقات

#Tech #Haskell

The Haskell Interlude

24 subscribers

updated منذ 11 يومًا

منزل السلاسل•Feed

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!

64 حلقات

#Tech #Haskell

كل الحلقات

1
63: Farhad Mehta 58:13

منذ 11 يومًا58:13

58:13

On this episode of the Haskell Interlude, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Fahrad tells us about formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry.…

1
62: Conal Elliott 57:56

منذ 6 weeks57:56

57:56

In this episode Wouter Swiestra and Niki Vazou talk with Conal Elliott. Conal discusses doing things just for the poetry, how most programs miss their purpose, and the simplest way to ask a question. Conal is currently working on a book about his ideas and actively looking for partners.

1
61: Sam Lindley 57:38

منذ 9 weeks57:38

57:38

Sam Lindley is a Reader in Programming Languages Design and Implementation at the University of Edinburgh. In this episode, he tells us how difficult naming is, the different kinds of effect systems and handlers, languages *much* purer than Haskell, and Modal logic.

1
60: Tom Ellis 48:52

منذ 14 weeks48:52

48:52

Tom Ellis works at Groq, using Haskell to compile AI models to specialized hardware. In this episode, we talk about stability of both GHC and Haskell libraries, effects, and strictness, and the premise of functional programming: make invalid states and invalid *laziness* unrepresentable!

1
Episode 59: Harry Goldstein 42:46

منذ 15 weeks42:46

42:46

Sam and Wouter interview Harry Goldstein, a researcher in property-based testing who works in PL, SE, and HCI. In this episode, we reflect on random generators, the find-a-friend model, interdisciplinary research, and how to have impact beyond your own research community.

1
58: ICFP 2024 33:35

منذ 19 weeks33:35

33:35

In this episode, Matti and Sam traveled to the International Conference on Functional Programming (ICFP 2024) in Milan, Italy, and recorded snippets with various participants, including keynote speakers, Haskell legends, and organizers.

1
57: Gabriele Keller 53:36

منذ 21 weeks53:36

53:36

Gabriele Keller, professor at Utrecht University, is interviewed by Andres and Joachim. We follow her journey through the world as well as programming languages, learn why Haskell is the best environment for embedding languages and how the desire to implement parallel programming sparked the development of type families in Haskell and that teaching functional programming works better with graphics.…

1
56: Satnam Singh 43:01

منذ 25 weeks43:01

43:01

Today on the Haskell Interlude, Matti and Sam are joined by Satnam Singh. Satnam has been a lecturer at Glasgow, and Software Engineer at Google, Meta, and now Groq. He talks about convincing people to use Haskell, laying out circuits and why community matters. PS: After the recording, it was important to Satnam to clarify that his advise to “not be afraid to loose your job” was specially meant to encourage to quit jobs that are not good for you, if possible, but he acknowledges that unfortunately not everybody can afford that risk.…

1
55: Sebastian Ullrich 54:23

منذ 32 weeks54:23

54:23

In this episode, Niki and Andres talk with Sebastian, one of the main developers of Lean, currently working at the Lean Focused Research Organization. Today we talk about the addictive notion of theorem provers, what is a sweet spot between dependent types and simple programming and how Lean is both a theorem prover and an efficient general purpose programming language.…

1
54: Dominic Orchard 49:04

منذ 34 weeks49:04

49:04

In this episode, Wouter and Sam interview Dominic Orchard. Dominic has many roles, including: senior lecturer at the University of Kent, co-director of the Institute of Computing for Climate Science, and bye-fellow of Queen’s College in Cambridge. We will not only discuss his work on Granule - graded monads, coeffects, and linear types - but also his collaboration with actual scientists to improve the languages with which they work.…

1
53: Garrett Morris 46:51

منذ 36 weeks46:51

46:51

In this episode, Garrett Morris talks with Wouter Swierstra and Niki Vazou about his work on Haskell’s type classes, how to fail successfully, and how to construct a set of ponies.

1
52: Pepe Iborra 56:30

منذ 38 weeks56:30

56:30

Andres and Sam interview Pepe Iborra, exploring his journey from academia via banking to now Meta. In this episode, we discuss Pepe’s involvement in the evolution of the Haskell ecosystem, in particular the ongoing journey to improve the developer experience via work on debuggers, build systems and IDEs.…

1
51: Victor Cacciari Miraldo 49:43

منذ 41 weeks49:43

49:43

Victor Miraldo is interviewed by Niki and Joachim and walks us through this career from a student falling in love with List.foldr through a PhD student using agda to verify cryptographic data structures and generic diff and merge algorithms to a professional developer using Haskell in production. He’ll tell us why the Haskell community is too smart, why there should be a safePerformIO, and that he hopes that Software Engineering could be less like alchemy.…

1
50: Tom Sydney Kerckove 40:55

منذ 43 weeks40:55

40:55

In this episode Tom Sydney is chatting with Matti Paul and Niki Vazou. Tom is the author of many tools, like sydtest, decking, and nix-ci. He tells us about the rules for sustainable Haskell, how Haskell lets one man do the job of 50, and the secret sauce for open source. Tom Sydney is also looking for work these days, so get in touch!…

1
49: Arseniy Seroka 48:19

منذ 45 weeks48:19

48:19

Wouter and Joachim interview Arseny Seroka, CEO of Serokell. Arseny got into Haskell because of a bet over Pizza, fell for it because it means fewer steps between his soul and his work, and founded Serokell because he could not get a Haskell job. He speaks about the business side of a Haskell company, about the need for more sales and marketing for Haskell itself, and about the Haskell Developer Certification.…

مرحبًا بك في مشغل أف ام!

يقوم برنامج مشغل أف أم بمسح الويب للحصول على بودكاست عالية الجودة لتستمتع بها الآن. إنه أفضل تطبيق بودكاست ويعمل على أجهزة اندرويد والأيفون والويب. قم بالتسجيل لمزامنة الاشتراكات عبر الأجهزة.