Follow along with Brian Lonsdorf and Hardy Jones as they explore the internet, life, and programming.
A podcast about the people making and using the Elm language, and the things that they do.
Rank #1: Elm Town 39 - I Used Elm And It Cost Me My Job.
Annaia Berry and Ossi Hanhinen share previously unreleased details of an important client project, and why their choice of Elm cost Annaia her job. Thank you to our sponsors, Ellie, Culture Amp and Joel Clermont. Special thanks to Xavier Ho (@Xavier_Ho) for editing and production of this episode! Recording date: 2018-09-30 Guests Annaia Berry (@ann_arcana) Ossi Hanhinen (@ohanhi) Show Notes 00:00 Show opening article: Prevent Impossible States with JSON Decoders in Elm, Julio Feijo 1:58 Guest Intros video: I Used Elm In Production and It Cost Me My Job 02:50 Annaia Berry The Heresy programming language 03:24 Ossi Hanhinen video: Beyond Hello World & Todo Lists 04:14 Futurice 5:03 The Project: Ferrari Sanoma Group Helsingin Sanomat (English) Ilta-Sanomat (English) 14:00 Ossi’s “Space Invaders” prototype article: Base for a game in Elm 0.17 14:36 Choosing and Learning Elm 32:02 Porting Ferrari to Elm 0.19 Elm Analyse Glitch slides: I used Elm in production and it cost me my job (source code) video: When and how to use Web Components with elm 44:26 Elm cost Anna her job
Rank #2: Elm Town 40 – A Game Boy Emulator in Elm.
Manuel Fuchs shares what he learned by taking on a very unusual Elm project: a Nintendo Game Boy emulator! Thank you to our sponsors, Ellie, Culture Amp and Joel Clermont. Special thanks to Xavier Ho (@Xavier_Ho) for editing and production of this episode! Recording date: 2018-11-10 Guests Manuel Fuchs (@malax) Show Notes 00:00 Show opening 01:58 Manuel's journey to Elm 07:09 Why a Game Boy emulator Tetris Effect video: Writing a Game Boy Emulator in Ruby 12:19 False assumptions and unexpected difficulties 18:37 Loading Game Boy ROM images as binary data 19:59 Breaking out of the Elm Architecture 22:30 Implementing a CPU instruction set in Elm Elmboy source code 25:46 Debugging and profiling 27:03 Throwing out types 31:49 Adding Pokemon compatibility 33:30 Readability, teaching and welcoming contributors 34:57 More performance optimisations 41:05 Elm + Game Boy = fun Try Elmboy
LambdaCast is a podcast about functional programming for working developers. Our focus is to describe concepts using clear everyday language without watering anything down. If you've ever been curious about FP but were turned off by the jargon or unfamiliar concepts, this is the place to be.Thoughts, comments, critique? Send them to email@example.comMusic is "Lively Lumpsucker" by Kevin MacLeod (incompetech.com)Licensed under Creative Commons: By Attribution 3.0 LicenseIcon is a modification of "Communicator" by Juan Pablo Bravo (https://thenounproject.com/term/communicator/47500/)Licensed under Creative Commons: By Attribution 3.0 License
Rank #1: 14: Dynamic and Static Languages.
The kind of type system a functional language uses has a large impact on the way you use that language. In this episode we discuss the tradeoffs involved in using a static or dynamic language.Our patreon sponsors this month:Javier TroconisAndrew NewmanDerek MorrOlov JohanssonShow Notes:Philip Wadler Talk: https://www.infoq.com/presentations/category-theory-propositions-principleDenotational Design Scott Wlaschin Poker Implementationhttps://exit.sc/?url=https%3A%2F%2Ffsharpforfunandprofit.com%2Fddd%2FConal Elliot presentation on Denotational Designhttps://www.youtube.com/watch?v=bmKYiUOEo2AOur recomendation for a DDD bookhttps://www.amazon.com/Patterns-Principles-Practices-Domain-Driven-Design/dp/1118714709
Rank #2: 17: Applicative Functors.
Building on the power of functors we examine a few scenarios where a normal Functor is problematic. Fortunately, there is a closely related structure known as an Applicative Functor that can provide the capabilities to solve a broader range of problems.Episode 17 patrons:Chad WooleyDavid KeathleyAndre CarvalhoShow Notes:Coconut programming language: http://coconut-lang.org/Hack nights instead of presentations: http://tech.noredink.com/post/142283641812/designing-meetups-to-build-better-communitiesclass Functor f => Applicative f where pure :: Applicative f => a -> f a ap :: Applicative f => f (a -> b) -> f a -> f bExample of applicative usage:pure (+) <*> Just 3 <*> Just 2 -- this results in Just 5(+) <$> Just 3 <*> Just 2 -- this is the same as aboveliftA2 (+) (Just 3) (Just 2) -- alternate form using lift instead of infix operators
A podcast about the ReasonML language and the community that makes it good. Support this podcast: https://anchor.fm/reason-town/support
Rank #2: Reason Philosophy and Stewardship with Cheng Lou.
Cheng Lou comes on as our first-ever guest to talk about philosophies guiding the Reason project, and what things are coming up in the future, for Reason and ReasonReact.--- Support this podcast: https://anchor.fm/reason-town/support
A podcast about type theory
Rank #1: Episode 6: Aaron Stump on Cedille.
Episode 6: Aaron Stump on Cedille
Rank #2: Episode 5: Bob Constable on CTT and Nuprl.
Episode 5: Bob Constable on CTT and Nuprl
Listen to regular interviews with the Haskell community. The podcast covers news, libraries, and whatever other topics we wander onto with our guests.
Rank #1: Episode 9 - Conal Elliott on FRP and Denotational Design.
Conal Elliott, inventor of Functional Reactive Programming, tells us about the birth of FRP as well as other stories from his 25 years of functional programming experience. He shares what he considers the fundamentals of FRP (behaviors and events) and how they work in a model with continuous time. We speak about FRP practicality and efficiency, including how a continuous time model can help lead to a high performance implementation. Eventually we’re led into Denotational Design, which plays a part in the design and refinement of FRP and which Conal considers his simplest and clearest design tool.
Rank #2: Episode 8 - Ollie Charles on 24 Days of Hackage and Nix.
Ollie Charles, author of 24 Days of Hackage (and a number of Haskell libraries), gives us his perspectives on Haskell libraries and how they relate to Perl’s CPAN. He shares how he began his transition from Perl to Haskell while working for MusicBrainz and how he came to work full-time on Haskell at Fynder. (Listen closely if you’ve wanted to write Haskell in your non-Haskell job.) We also chat briefly about developing in Haskell with Nix and a different take on equational reasoning.
Functional Geeks, Geeking Functionally
Rank #1: Episode 4 – Zach Kessin.
Rank #2: Functional Geekery Episode 31 – David Chambers.
Rank #1: Yearly Themes Check-in.
We set out this with a theme this year. Not a resolution, but an idea of something tangible that wanted to accomplish or do better in our efforts here. If you're not super familiar with themes, as I was not, I'd encourage you to listen to Cortex on Relay FM, of course they are in the show notes. Cortex #79: 2019 Yearly Themes - Relay FM Cortex #62: 2018 Yearly Themes - Relay FM Actual Reddit thread gives a good rundown of yearly themes, but for me it's really something you can ask yourself when you're doing something, or you're looking at your to do list, or list of projects you want to work on. Whether those are side projects, or maybe they are part of your business in the case of Myke and Grey. (Those are the peeps from the show Cortex) So what was my theme? Creating Content and Simple Automation. Episode #64 Aptly titled 'Themes' goes into both in pretty good detail, and I thought since it's nearly the 1/2 way point of the year, how am I doing? The idea, whenever I start in on something overly complex or silly. I’m not looking for a Rube Goldberg machine, the exact opposite. I can think, “does this fit in my theme of create content with simple automation?” and if the answer is not a resounding YES then I can skip it. Me from Episode #64 Score card Creating Content Podcast - still going strong Newsletter - not yet, but we're getting closer ... soon Conference talks - hell yes! Conference rejections Video or ScreenCasting ... soon Daily / Weekly Blog .. 🤔 Blog https://jessetomchak.com Simple Automation WordPress - yep Gatsby - yep Permission to skip or just not get started on something - less so New Indie.web specifically Micro.blog And this was a very powerful idea. I have dozens if not a hundred started projects. Notice that I said started. Not finished, not even abandoned. Just started. I always have good intentions of coming back to a project, ignoring the others that I have yet to return to. Me Can't say I've enjoyed WordPress a lot. I understand more why people do like it. I've found a plugins for markdown, adding code snippets without having to make functions in the themes, that then get overridden when it inevitability needs to be updated. Which is a bit miserable when it's hosted on Cent OS with selinux turned on. 🤷♀️ But those are all things I know now. Cortex #44: Existential Time Tracking Elmstatic by Alex Korban
Rank #2: 32: Elm Routing.
An off-the-cuff stream of Functional Programming ideas, skills, patterns, and news from Functional Programming expert Eric Normand.
Rank #1: A Theory of Functional Programming 0005.
For audio, video, and text transcripts: https://lispcast.com/theory-functional-programming-0005/
Rank #2: Is FP just programming with pure functions?.
For audio, video, and text transcripts: https://lispcast.com/is-fp-just-programming-with-pure-functions/
A podcast by Cognitect, Inc. about software and the people that create it. We frequently talk about Clojure, ClojureScript, Datomic, agile software development, distributed systems, functional programming, and lots of other wonderfully geeky things.
Rank #1: Clojure spec with Rich Hickey - Cognicast Episode 103.
Download this episodeSubscribe to the CognicastIn this episode, we talk to Rich Hickey about Clojure.spec.Our Guest, Rich HickeyOn the WebOn TwitterTopicsHarry Partch and his instrumentsMicrotonal musicClojure.specSpec rationaleSUBSCRIBING TO THE COGNICAST The show is available on iTunes! You can also subscribe to the podcast using our podcast feed.You can send feedback about the show to firstname.lastname@example.org, or leave a comment here on the blog. Thanks for listening!CREDITSEPISODE COVER ARTMichael ParenteauAUDIO PRODUCTIONRuss OlsenDaemian MackPRODUCERKim FosterOur theme music for this episode is Thumbs Up (for Rock N' Roll) by killthenoise with Feed Me which was used under a Creative Commons License.TRANSCRIPTThe complete transcript for this episode is here. Permalink
Rank #2: Rebecca Parsons and Neal Ford- Cognicast Episode 117.
Download this episodeSubscribe to the CognicastOur Guests, Rebecca Parsons and Neal FordRebecca:On the WebOn TwitterNeal:On the WebOn Twitter TopicsGuggenheim Berlin - Mark RothkoEvolutionary architecture - Neal’s emergent architecture talkObjective fitness functionPat KuaEvolvabilityBalancing “ilities”Anita Borg Institute for Diversity in TechnologyABI Award for Top Companies for Women TechnologistsSUBSCRIBING TO THE COGNICASTThe show is available on iTunes! You can also subscribe to the podcast using our podcast feed.You can send feedback about the show to email@example.com, or leave a comment here on the blog. Thanks for listening!CREDITSEPISODE COVER ARTMichael ParenteauAUDIO PRODUCTIONRuss OlsenDaemian MackPRODUCERKim FosterOur theme music for this episode is Thumbs Up (for Rock N' Roll) by killthenoise with Feed Me which was used under a Creative Commons License.TRANSCRIPTThe complete transcript for this episode is here.
CoRecursive features In-Depth technical interviews with software developers. Learn about programming languages such as Scala, Haskell, Idris, Kotlin, Erlang and Functional Programming and Type Theory from experts in one on one interviews. Similar to podcasts software engineering daily, functional geekery and hanselminutes technology podcast.
Rank #1: 013 - Rust And Bitter C++ Developers With Jim Blandy.
Rust, the programming language, seems to be really trendy these days. Trendy to me means shows up a lot on hacker news. Rust is really interesting language though, and I think the growing popularity is deserved. Today I talk with Jim Blandy, one of the authors of Programming Rust. We talk about what problems rust is trying to solve, the unique language features and type system of rust. It includes both algebraic data types, type classes, and generics. There is even a proposal somewhere for adding HKT. We also touch on why it is so hard to secure code. Jim works on Firefox and his insights into the difficulty of writing secure code are super interesting. Show notes Rust Programming Rust Book MESI protocol Constraint-based Verification of Parameterized Cache Coherence Protocols Formal Methods in System Design Rust Validation - 3d game demo - (not sure where this is, post in comments if you find it) integer overflow
Rank #2: 004 - Design Principles From Functional Programming with Runar Bjarnason.
Runar Bjarnason has been exploring how writing in a functional style increases modularity and compositionality of software for many years. He is co-author of functional programming in scala, a book that teaches these principles in scala. It is a very challenging yet very rewarding book, sometimes referred to as simple ‘the red book’. In this interview Runar explains how writing in a functional style involves limiting side effects, avoiding exceptions and using higher order abstractions. Writing in this style places constraints on what a module in a software system may do, but by constraining modules in this way, the software modules themselves become endlessly composable. Enjoy Show Notes: Functional Programming In Scala Constraints Liberate
The world's greatest vegetarian Clojure podcast. Support us on https://patreon.com/defnHosted by Vijay Kiran and Ray McDermott
Rank #1: #22 - Yehonathan Sharvit aka @viebel on Klipse.
Yehonathan is the author of Klipse - the live content browser pluginMore details at https://defn.audio
Rank #2: #17 - Village Idiots.
One for the vi lovers ;-) Credits Music Thanks to youthful exuberance of PTZERY for the intro / outro music The track name, chiming with our show theme, is Melon Hamburger https://soundcloud.com/ptzery/melon-hamburger. Listen to more of his work via his SoundCloud https://soundcloud.com/ptzery Design Thanks to the fabulous freelance designer, Lubov Soltan for the logo Follow her on Twitter @moolver_sin https://twitter.com/moolver_sin Check out her work at Deviant Art http://moolver-sin.deviantart.com Mixing Thanks to Wouter Dullaert for all the help with mixing and fixing of the audio Follow him on Twitter @wouter https://twitter.com/wouterdullaer
Join us each week as we discuss all things software development. Frequently joined by a far more intelligent guest on the show's topic, we by no means know everything, but love what we do. Topics range from daily developer life, PHP, frameworks, testing, good software design and our experiences using many other programming languages.
Rank #1: 5: Exploring Text/Source Editors and IDEs.
In the podcast this week we discuss the important topic of text editors.You will be using one daily if you plan to get serious about your programing, so it pays to be aware of what is out there.We first highlight the difference between text and source editors, and then name a couple of examples we have used in the past.Finally, we briefly discuss IDE’s and the merits of using such an application when programming. Show Links Explain Shell Command-line Fu PHP Internals: Flexible function naming PHP: The Right Way Lew’s Snippets Gmap3 Notepad++ Kompozer Dreamweaver NetBeans Eclipse Sublime Text Edit Plus Emacs Vim Vim - Cream Seluium Dart
Rank #2: 56: The SOLID Podcast.
It's like hanging out at our software studio in Austin, Texas with Charles Lowell and the Frontside Team. We talk to smart people about how to make the world of software better for the people who make and use it. Managed and produced by @therubyrep.
Rank #1: 106: Microstates.
Rank #2: 103: React Components with Michael Jackson.
Conversations about Software Engineering (CaSE) is an interview podcast for software developers and architects about Software Engineering and related topics. We release a new episode every three weeks.
Rank #1: Problem Solving and Clojure 1.9 with Rich Hickey.
Joy Clark talks with Rich Hickey about Clojure and Datomic Previous Episodes:Clojure with Alex Miller ClojureScript with David Nolen Clojure Clojure Spec Datomic PapersSelf papers Common Lisp Paper Scheme Paper More from Rich HickeySimple Made Easy List of all talks
Rank #2: Security and Privacy with Susan Landau.
Sven Johann talks with Susan Landau about Security and Privacy Listening In: Cybersecurity in an Insecure Age The Tor Project Richard Clayton: A Practical Guide to Cybercrime
Erlang and sometimes other functional programming
Rank #1: Interview with Guido van Rossum.
Happy Thursday! Here’s an interview with Guido van Rossum, author of the Python programming language. Download... The Mostly Erlang podcasts talks about Erlang and other functional and concurrent languages
Rank #2: 066 Riak Core.
Download Link: https://mostlyerlang.files.wordpress.com/2015/05/mostly_erlang_66_riak_core.mp3 Today’s podcast features Mark Allen, who talks with some of our regulars about Riak Core. Sorry... The Mostly Erlang podcasts talks about Erlang and other functional and concurrent languages