nlindley / Nicholas Lindley

There are no people in nlindley’s collective.

Huffduffed (79)

  1. SE-Radio Episode 296: Type Driven Development with Edwin Brady : Software Engineering Radio

    SE-Radio Episode 296: Type Driven Development with Edwin Brady

    Filed in Episodes

    by SE-Radio

    on July 11, 2017

    • 1 Comment

    Edwin Brady speaks to Matthew Farwell about Type Driven Development and the Idris Programming language. The show covers: what a type is; static vs dynamic types in programming languages; dependent types; the Idris programming language; why Idris was created. Type safe printf modelling state in Idris modelling protocols in Idris modelling concurrency in Idris type driven development and how it changes the development process.

    Related Links


    Type Driven Development

    Idris Twitter

    Edwin Brady

    Edwin Brady Twitter


    SE Radio Episode 249: Vaughn Vernon on Reactive Programming with the Actor Model

    Episode 178: Akka With Jonas Boner (on actors)

    Programming and reasoning with algebraic effects and dependent types Play in new window | DownloadSubscribe: iTunes | Android | RSS

    —Huffduffed by nlindley

  2. Tech Done Right Episode 43: Rubyists in Other Languages with James Edward Gray II and Steve Klabnik

    Ruby is great. But it's not the best tool for everything. On this episode, I talk to James Edward Gray II and Steve Klabnik. Both James and Steve have made substantial contributions to the Ruby and Rails community, and they now both spend lots of time using other languages. We talk about what makes Rust and Elixir interesting for Ruby developers to learn, what some other interesting languages might be.

    —Huffduffed by nlindley

  3. Software Defined Talk Episode 130: CROSS-OVER BONUS! Christopher Luciano on Kubernetes & Istio - Software Defined Interviews

    A sample from Software Defined Interviews: Why does kubernetes even exist, why don’t existing things work just as well for it? And then what kind of applications can you run on it, at least following the original intentions. Once we sort that out, we talk about the same for Istio. We also discuss hospital IT and how large companies like IBM decide which open source projects to work on.

    —Huffduffed by nlindley

  4. SE Podcast #02 « Blog – Stack Exchange

    Jeff, I was on the bus listening this morning, and I couldn’t wait to get off it just so that I could tell you (even though you probably already know) that for cross-cutting concerns and patterns you find yourself applying over and over again, like what you describe with your caching, you should really consider using aspects. Seriously, it will make your life easier, and your code more maintainable and pretty.

    There are several frameworks for AOP in .Net. I have used (but am not affiliated with) an excellent one called PostSharp ( that will let you factor your “check if this is in the cache – otherwise go fetch”-pattern out into one single aspect that you can then apply to all the places where you use this. In this way, if you ever need to change your caching strategy, you’ll only need to change the code in one place, rather than in a thousand of them. This also applies for your error handling, your transaction handling, and your performance tracing (guerrilla style). Aspects totally changed my way of coding, for the better.

    Love that the podcast is back, can’t wait for next week’s instalment.

    —Huffduffed by nlindley

  5. Bret Weinstein and Heather Heying: The Authoritarian Left, Free expression, and Gender (Podcast)

    Protect Your Money With Gold - Click Here- Or Call - 888-596-7916

    This video contains a paid promotion spot for Noble Gold in the beginning of the video. My Second Channel -

    Make sure to subscribe for more travel, news, opinion, and documentary with Tim Pool everyday.

    MY GEAR GoPro Karma - GoPro 6 - DJI Mavic Drone - Zagg 12 AMP portable battery - TASCAM Lavalier mic - Canon HD XF 105 Camera - Canon 5D MK III Camera - 360 Camera (VR) -

    FOLLOW ME Instagram - Twitter - Minds - Facebook - Bitcoin Wallet: 13ha54MW2hYUS3q1jJhFyWdpNfdfMWtmhZ


    Tim Pool 330 Washington Street - PMB 517 Hoboken, NJ 07030

    Original video:
    Downloaded by on Mon, 14 May 2018 04:16:48 GMT Available for 30 days after download

    Tagged with news & politics

    —Huffduffed by nlindley

  6. Explaining Postmodernism: Full Audiobook

    This audiobook edition of Explaining Postmodernism is read by the author.

    To listen to a specific chapter of the audiobook on YouTube, visit:

    To download MP3s of the audiobook or for more information, visit Dr. Stephen Hicks's Explaining Postmodernism page:

    Original video:
    Downloaded by on Tue, 20 Mar 2018 13:11:41 GMT Available for 30 days after download

    Tagged with postmodernism

    —Huffduffed by nlindley

  7. Episode 258 | Jeff Atwood - Sharing the House

    Jeff Atwood is an Indoor enthusiast.

    He's a legendary blogger and co-founder of Stack Overflow and Discourse.

    He considers himself a reasonably experienced software developer with a particular interest in the human side of software development, as represented in his recommended developer reading list. Computers are fascinating machines, but they're mostly a reflection of the people using them. In the art of software development, studying code isn't enough; you have to study the people behind the software, too.

    —Huffduffed by nlindley

Page 1 of 8Older