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

    Idris

    Type Driven Development

    Idris Twitter

    Edwin Brady

    Edwin Brady Twitter

    Coq

    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

    http://traffic.libsyn.com/seradio/SE-Radio-Episode-296-Type-Driven-Development-with-Edwin-Brady.mp3Podcast: Play in new window | DownloadSubscribe: iTunes | Android | RSS

    https://www.se-radio.net/2017/07/se-radio-episode-296-type-driven-development-with-edwin-brady/

    —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.

    https://fireside.fm/s/LekzpbuD+_ObmKGcj

    —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.

    http://www.softwaredefinedtalk.com/130

    —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 (http://www.sharpcrafters.com) 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.

    http://blog.stackoverflow.com/2011/04/se-podcast-02/

    —Huffduffed by nlindley

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

    Protect Your Money With Gold - Click Here- https://goo.gl/kx2yzW Or Call - 888-596-7916

    This video contains a paid promotion spot for Noble Gold in the beginning of the video. My Second Channel - https://www.youtube.com/timcastnews

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

    MY GEAR GoPro Karma - http://amzn.to/2qw10m4 GoPro 6 - http://amzn.to/2CEK0z1 DJI Mavic Drone - http://amzn.to/2lX9qgT Zagg 12 AMP portable battery - http://amzn.to/2lXB6Sx TASCAM Lavalier mic - http://amzn.to/2AwoIhI Canon HD XF 105 Camera - http://amzn.to/2m6v1o3 Canon 5D MK III Camera - http://amzn.to/2CvFnnm 360 Camera (VR) - http://amzn.to/2AxKu4R

    FOLLOW ME Instagram - http://instagram.com/Timcast Twitter - http://twitter.com/Timcast Minds - http://Minds.com/Timcast Facebook - http://facebook.com/Timcastnews Bitcoin Wallet: 13ha54MW2hYUS3q1jJhFyWdpNfdfMWtmhZ

    SEND STUFF HERE

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

    ===
    Original video: https://www.youtube.com/watch?v=NzChkzNDmuc
    Downloaded by http://huffduff-video.snarfed.org/ on Mon, 14 May 2018 04:16:48 GMT Available for 30 days after download

    —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: http://www.youtube.com/user/EPAudiobook

    To download MP3s of the audiobook or for more information, visit Dr. Stephen Hicks’s Explaining Postmodernism page: http://www.stephenhicks.org/publications/explaining-postmodernism/

    ===
    Original video: https://www.youtube.com/watch?v=qQcNjHNXnEE
    Downloaded by http://huffduff-video.snarfed.org/ on Tue, 20 Mar 2018 13:11:41 GMT Available for 30 days after download

    —Huffduffed by nlindley

  7. Is There Scientific Evidence For “Learning Styles”?

    The idea that some people learn best from visual or audio materials has been around since the 1950s. But there’s little evidence to support it.

    https://www.sciencefriday.com/segments/the-myths-that-persist-about-how-we-learn/

    —Huffduffed by nlindley

  8. The Edge of Gender | Hidden Brain : NPR

    What does it mean to be a boy and what does it mean to be a girl? We delve into debates over gender – and explore how some people are moving beyond labels and building gender identities of their own.

    http://www.npr.org/2017/10/09/556116385/nature-nurture-and-our-evolving-debates-about-gender

    —Huffduffed by nlindley

  9. 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.

    http://developeronfire.com/podcast/episode-258-jeff-atwood-sharing-the-house

    —Huffduffed by nlindley

  10. A is for Effort  |  Web  |  Google Developers

    Alarms, upcoming CSS stuff, impostor syndrome, and the death of Flash.

    https://developers.google.com/web/shows/http203/podcast/a-is-for-effort

    —Huffduffed by nlindley

Page 1 of 8Older