Learning to code can feel impossible. Like facing a sheer rock wall with no ropes or harnesses. But what if there was a path up the mountain? A trail blazed smooth by master coders who went before?  In this episode, we'll follow that path. We'll hear the stories of legends like Seymour Papert, who championed active, project-based learning. Of Fred Brooks, who discovered that pairing accelerates learning. And more.  The research shows that with the right methods, motivation, and support, anyone can master learning curves and summit. So join me as we uncover the science behind learning to code. You'll walk away fired up, equipped with proven techniques to unlock your potential and conquer new technical skills.     The climb is on!    Episode Page Support The Show Subscribe To The Podcast Join The Newsletter 

Learning to code can feel impossible. Like facing a sheer rock wall with no ropes or harnesses. But what if there was a path up the mountain? A trail blazed smooth by master coders who went before?  In this episode, we'll follow that path. We'll hear the stories of legends like Seymour Papert, who championed active, project-based learning. Of Fred Brooks, who discovered that pairing accelerates learning. And more.  The research shows that with the right methods, motivation, and support, anyone can master learning curves and summit. So join me as we uncover the science behind learning to code. You'll walk away fired up, equipped with proven techniques to unlock your potential and conquer new technical skills.     The climb is on!   <ul> <li><a href="https://corecursive.com/the-science-of-learning-to-code/" rel="nofollow" target="_blank">Episode Page</a></li> <li><a href="https://corecursive.com/donate" rel="nofollow" target="_blank">Support The Show</a></li> <li><a href="https://corecursive.com/subscribe" rel="nofollow" target="_blank">Subscribe To The Podcast</a></li> <li><a href="https://corecursive.com/newsletter" rel="nofollow" target="_blank">Join The Newsletter</a></li> </ul>

The Science of Learning to Code

 Have you ever been frustrated with your job? Maybe not burnt out, but getting close to there? You used to love what you did, and it felt so creative and empowering, but then it starts to feel a bit more cookie cutter. Have you ever been frustrated with your whole life? The daily grind has taken what you love and it just doesn't feel the same anymore. Some of the magic just has slowly faded away. You don't know when it started, but it did.  Today's guest is Amir Rajan. He's hard to describe.     Is he a developer? Yes. An artist who sold everything that he owned for indie game development. Yes. The subject of a New Yorker profile? Yes, all of that. And also, somebody who got frustrated with his life and left everything behind.  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter 

Have you ever been frustrated with your job? Maybe not burnt out, but getting close to there? You used to love what you did, and it felt so creative and empowering, but then it starts to feel a bit more cookie cutter. Have you ever been frustrated with your whole life? The daily grind has taken what you love and it just doesn't feel the same anymore. Some of the magic just has slowly faded away. You don't know when it started, but it did.  Today's guest is Amir Rajan. He's hard to describe.     Is he a developer? Yes. An artist who sold everything that he owned for indie game development. Yes. The subject of a New Yorker profile? Yes, all of that. And also, somebody who got frustrated with his life and left everything behind. <ul> <li><a href="https://corecursive.com/a-dark-room-with-amir-rajan/" rel="nofollow" target="_blank">Episode Page</a></li> <li><a href="https://corecursive.com/donate" rel="nofollow" target="_blank">Support The Show</a></li> <li><a href="https://corecursive.com/subscribe" rel="nofollow" target="_blank">Subscribe To The Podcast</a></li> <li><a href="https://corecursive.com/newsletter" rel="nofollow" target="_blank">Join The Newsletter</a></li> </ul>

Story: A Dark Room

Today, we meet Ben Dumke-von der Ehe, one of the early developers on the Stack Overflow team.  He was on the front lines as the platform transformed how programmers worked. And he embodies the spirit of Stack Overflow:  Its transparency, playfulness, and even some of its struggles to be as welcoming and friendly as it should be.    But you'll see what I mean.    So stick around as Ben takes us on a journey through the building of Stack Overflow. Get ready for a candid inside look at the creation of a platform that would become an essential part of the developer community and the internet as we know it.   Episode Page Support The Show Subscribe To The Podcast Join The Newsletter 

Today, we meet Ben Dumke-von der Ehe, one of the early developers on the Stack Overflow team.  He was on the front lines as the platform transformed how programmers worked. And he embodies the spirit of Stack Overflow:  Its transparency, playfulness, and even some of its struggles to be as welcoming and friendly as it should be.    But you'll see what I mean.    So stick around as Ben takes us on a journey through the building of Stack Overflow. Get ready for a candid inside look at the creation of a platform that would become an essential part of the developer community and the internet as we know it.  <ul> <li><a href="https://corecursive.com/stack-overflow/" rel="nofollow" target="_blank">Episode Page</a></li> <li><a href="https://corecursive.com/donate" rel="nofollow" target="_blank">Support The Show</a></li> <li><a href="https://corecursive.com/subscribe" rel="nofollow" target="_blank">Subscribe To The Podcast</a></li> <li><a href="https://corecursive.com/newsletter" rel="nofollow" target="_blank">Join The Newsletter</a></li> </ul>

Story: Quitting (And Then Rejoining) Stack Overflow

How do you accomplish something massive over time? I've had the chance to meet with a number of exceptional software developers and it's something I always wonder about.  Today, I might have an answer with the incredible story of Yann Collet. Yann was a project manager who went from being burnt out on corporate life to becoming one of the most sought-after developers in the world. What happens when you build something so impressive and valuable that it essentially becomes invisible? And how do you do that when your day job is mainly organizing spreadsheets and keeping timelines on track? Yann built LZ4 and ZStandard - two of the world's fastest compression algorithms that have transformed databases, operating systems, file systems, and much more. We'll go back in time to Yann's initial steps with programming, his game-changing discoveries along the way and how his devotion to data compression hobby led him to create something that saves billions of dollars worldwide. Episode Links  Episode Page Bonus 17 - Accomplishing Hard Things Support The Show Subscribe To The Podcast Join The Newsletter 

How do you accomplish something massive over time? I've had the chance to meet with a number of exceptional software developers and it's something I always wonder about.  Today, I might have an answer with the incredible story of Yann Collet. Yann was a project manager who went from being burnt out on corporate life to becoming one of the most sought-after developers in the world. What happens when you build something so impressive and valuable that it essentially becomes invisible? And how do you do that when your day job is mainly organizing spreadsheets and keeping timelines on track? Yann built LZ4 and ZStandard - two of the world's fastest compression algorithms that have transformed databases, operating systems, file systems, and much more. We'll go back in time to Yann's initial steps with programming, his game-changing discoveries along the way and how his devotion to data compression hobby led him to create something that saves billions of dollars worldwide. Episode Links <ul> <li><a href="https://corecursive.com/data-compression-yann--collet/" rel="nofollow" target="_blank">Episode Page</a></li> <li><a href="https://www.patreon.com/posts/81566230" rel="nofollow" target="_blank">Bonus 17 - Accomplishing Hard Things</a></li> <li><a href="https://corecursive.com/donate" rel="nofollow" target="_blank">Support The Show</a></li> <li><a href="https://corecursive.com/subscribe" rel="nofollow" target="_blank">Subscribe To The Podcast</a></li> <li><a href="https://corecursive.com/newsletter" rel="nofollow" target="_blank">Join The Newsletter</a></li> </ul>

Story: From Project Management to Data Compression Innovator

Today's guest is Douglas Crockford. He's sharing the story of JSON, his discovery of JavaScript's good parts, and his approach to finding a simple way to build software. Also, his battles against XML, against complexity, his battles to say that there's a better way to build software.    This is foundational stuff for the web, and Doug is an iconoclast  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter 

Today's guest is Douglas Crockford. He's sharing the story of JSON, his discovery of JavaScript's good parts, and his approach to finding a simple way to build software. Also, his battles against XML, against complexity, his battles to say that there's a better way to build software.    This is foundational stuff for the web, and Doug is an iconoclast <ul> <li><a href="https://corecursive.com/json-vs-xml-douglas-crockford/" rel="nofollow" target="_blank">Episode Page</a></li> <li><a href="https://corecursive.com/donate" rel="nofollow" target="_blank">Support The Show</a></li> <li><a href="https://corecursive.com/subscribe" rel="nofollow" target="_blank">Subscribe To The Podcast</a></li> <li><a href="https://corecursive.com/newsletter" rel="nofollow" target="_blank">Join The Newsletter</a></li> </ul>

Story: JSON vs XML

Shai Almog worked at Sun on Mobile JVMs just as phones started to turn from phones into something else.     Sun had deep expertise in mobile development, and amazing engineering driven culture and relationships with manufacturers and operators. And yet interal politics and the collapse of its server market made it hard to get things done.    At Sun, as the mobile market changed, Shai and his friend Chen Fishbein launched a popular UI toolkit.       Today Shai shares their struggles at Sun and after it to shape mobile UI development.   Episode Page Support The Show Subscribe To The Podcast Join The Newsletter 

Shai Almog worked at Sun on Mobile JVMs just as phones started to turn from phones into something else.     Sun had deep expertise in mobile development, and amazing engineering driven culture and relationships with manufacturers and operators. And yet interal politics and the collapse of its server market made it hard to get things done.    At Sun, as the mobile market changed, Shai and his friend Chen Fishbein launched a popular UI toolkit.       Today Shai shares their struggles at Sun and after it to shape mobile UI development.  <ul> <li><a href="https://corecursive.com/mobile-ui-with-shai-almog/" rel="nofollow" target="_blank">Episode Page</a></li> <li><a href="https://corecursive.com/donate" rel="nofollow" target="_blank">Support The Show</a></li> <li><a href="https://corecursive.com/subscribe" rel="nofollow" target="_blank">Subscribe To The Podcast</a></li> <li><a href="https://corecursive.com/newsletter" rel="nofollow" target="_blank">Join The Newsletter</a></li> </ul>

Story: Sun's Mobile Blunders

I've been on many projects that get canceled. We're building cool stuff. We're going above and beyond, and we're excited. But the project encounters reality, shifting priorities, or budgeting constraints, and the work never goes anywhere. It always feels tragic, but then I move on.   But what if I didn't let a project get canceled? What if I couldn't accept that? That is what Ron Avitzur's story is all about. He is the creator of "Graphing Calculator," and he would not let it be canceled.  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter 

I've been on many projects that get canceled. We're building cool stuff. We're going above and beyond, and we're excited. But the project encounters reality, shifting priorities, or budgeting constraints, and the work never goes anywhere. It always feels tragic, but then I move on.   But what if I didn't let a project get canceled? What if I couldn't accept that? That is what Ron Avitzur's story is all about. He is the creator of "Graphing Calculator," and he would not let it be canceled. <ul> <li><a href="https://corecursive.com/shipping-graphing-calculator/" rel="nofollow" target="_blank">Episode Page</a></li> <li><a href="https://corecursive.com/donate" rel="nofollow" target="_blank">Support The Show</a></li> <li><a href="https://corecursive.com/subscribe" rel="nofollow" target="_blank">Subscribe To The Podcast</a></li> <li><a href="https://corecursive.com/newsletter" rel="nofollow" target="_blank">Join The Newsletter</a></li> </ul>

Story: Shipping Graphing Calculator

Nothing good comes from being insecure about your worth, especially at your job. That's what today's episode is about. That's what today's guest is here to discuss.  It's a slow burn, but if you listen to the end, I think you will value yourself more professionally. My Guest is Don Mckay. Someone longtime listeners will undoubtedly know.  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter 

Nothing good comes from being insecure about your worth, especially at your job. That's what today's episode is about. That's what today's guest is here to discuss.  It's a slow burn, but if you listen to the end, I think you will value yourself more professionally. My Guest is Don Mckay. Someone longtime listeners will undoubtedly know. <ul> <li><a href="https://corecursive.com/initech-with-don-mckay/" rel="nofollow" target="_blank">Episode Page</a></li> <li><a href="https://corecursive.com/donate" rel="nofollow" target="_blank">Support The Show</a></li> <li><a href="https://corecursive.com/subscribe" rel="nofollow" target="_blank">Subscribe To The Podcast</a></li> <li><a href="https://corecursive.com/newsletter" rel="nofollow" target="_blank">Join The Newsletter</a></li> </ul>

Story: The Unfulfilled Engineer

Today Rebecca Burger Becky Heineman shares the tale of porting Doom to the 3DO console under extreme conditions. There is an engine to tweak, deadlines to hit, hardware acceleration to get working, and dramatic rock anthems to record. We also learn about how game piracy led her to game development and what it was like to do game development in the mania of the mid-nineties. Finally, we close with Becky's advice on learning bare metal development skills.   Episode Page Support The Show Subscribe To The Podcast Join The Newsletter 

Today Rebecca Burger Becky Heineman shares the tale of porting Doom to the 3DO console under extreme conditions. There is an engine to tweak, deadlines to hit, hardware acceleration to get working, and dramatic rock anthems to record. We also learn about how game piracy led her to game development and what it was like to do game development in the mania of the mid-nineties. Finally, we close with Becky's advice on learning bare metal development skills.  <ul> <li><a href="https://corecursive.com/doomed-to-fail-with-burger-becky/" rel="nofollow" target="_blank">Episode Page</a></li> <li><a href="https://corecursive.com/donate" rel="nofollow" target="_blank">Support The Show</a></li> <li><a href="https://corecursive.com/subscribe" rel="nofollow" target="_blank">Subscribe To The Podcast</a></li> <li><a href="https://corecursive.com/newsletter" rel="nofollow" target="_blank">Join The Newsletter</a></li> </ul>

Story: DOOMed to Fail

Today story is from Son Luong Ngoc who shares what’s it was like for him to work and live in many different countries around the world, including working for AliBaba at the Xixi campus in Hangzhou, China. It’s a story of a software developer finding a place that fits them, a place that suits them.  Episode Page Support The Show Subscribe To The Podcast Join The Newsletter 

Today story is from Son Luong Ngoc who shares what’s it was like for him to work and live in many different countries around the world, including working for AliBaba at the Xixi campus in Hangzhou, China. It’s a story of a software developer finding a place that fits them, a place that suits them. <ul> <li><a href="https://corecursive.com/software-world-tour-with-son-luong-ngoc/" rel="nofollow" target="_blank">Episode Page</a></li> <li><a href="https://corecursive.com/donate" rel="nofollow" target="_blank">Support The Show</a></li> <li><a href="https://corecursive.com/subscribe" rel="nofollow" target="_blank">Subscribe To The Podcast</a></li> <li><a href="https://corecursive.com/newsletter" rel="nofollow" target="_blank">Join The Newsletter</a></li> </ul>

Story: Software World Tour

The stories and people behind the code.  Hear stories of software development from interesting people.

Whether you’re well established as a technology leader, or just getting started building a codebase that’s built to last within your organization - this is a must-listen podcast for you! Adam does an incredible job leading conversations that cover a huge range of topics related to the ins and outs of building elegant software - from leaders who’ve actually experienced success themselves. Highly recommend listening and subscribing!

Empowering, insightful and actionable! 🙌

This podcast gets some really good guests and discussions are interesting and engaging.

Good tech podcast

CoRecursive: Coding Stories

Philip Wadler

Tech Talks are in-depth technical discussions. Today I talk to Professor Philip Wadler, a very accomplished programming language researcher.  Phil walks us through a principle that has guided his career.  That principle is that typed lambda calculus is not invented but a discovery of a deep truth. It is something connected to the mathematical underpinning of the universe itself. It follows from this that functional programming languages are therefore more correct or more deeply justified and fundamental than other languages.  I am probably stating things in a stronger fashion than Phil is comfortable with, but I like fp, so I can be a little hyperbolic. While explaining this principle, that has guided his career, Phil takes us through the history of computer science.  We start with Turing and Alonzo Church.  Eventually we get to what the movie Independence Day got wrong and what language a theoretical creator deity would program in. Show notes:  talk  paper     Web page for this episode CoRecursive On Twitter  CoRecursive On Itunes

Tech Talks are in-depth technical discussions. Today I talk to Professor Philip Wadler, a very accomplished programming language researcher.  Phil walks us through a principle that has guided his career.  That principle is that typed lambda calculus is not invented but a discovery of a deep truth. It is something connected to the mathematical underpinning of the universe itself. It follows from this that functional programming languages are therefore more correct or more deeply justified and fundamental than other languages.  I am probably stating things in a stronger fashion than Phil is comfortable with, but I like fp, so I can be a little hyperbolic. While explaining this principle, that has guided his career, Phil takes us through the history of computer science.  We start with Turing and Alonzo Church.  Eventually we get to what the movie Independence Day got wrong and what language a theoretical creator deity would program in. Show notes: <ul> <li><a href="https://www.youtube.com/watch?v=IOiZatlZtGU" rel="nofollow" target="_blank">talk</a></li> <li><a href="http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf" rel="nofollow" target="_blank"> paper</a></li> </ul> <a href="http://corecursive.com/021-gods-programming-language-with-philip-wadler/" rel="nofollow" target="_blank"> Web page for this episode</a> <a href="https://twitter.com/corecursive" rel="nofollow" target="_blank">CoRecursive On Twitter</a> <a href="https://itunes.apple.com/ca/podcast/corecursive/id1330329512?ls=1" rel="nofollow" target="_blank"> CoRecursive On Itunes</a>

Tech Talk: God's Programming Language - Philip Wadler on Haskell

Zach Tellman

Tech Talks are in-depth technical discussions. Adam talks to Author and Clojure advocate Zach Tellman about how great software is built. "If we say something is over-engineered, what we mean is it's too complex or it's too robust or it handles a bunch of situations or scenarios that are not relevant to how we're using it. It's okay for us to create narrow things. It's okay for us to create Powershells instead of bash sort of environments because that narrowness gives us the ability to go and do things we might not otherwise be able to do." "Twitter are built on top of Ruby because that was a reasonable thing. And then it stopped being the reasonable thing. And again, you have this kind of, I dunno, I call it hacker news induction, which is like, well I built this thing and then I built this other thing, which is almost exactly the same thing. And it worked or it didn't work. And therefore I think that this must generalize across all possible applications of this thing, right? So I tried to rails and it was great or it was awful and therefore it is great or awful, you know, in all situations. " Zach's Personal Site Elements Of Clojure Book https://corecursive.com/042-zach-tellman-software-in-context/

Tech Talks are in-depth technical discussions. Adam talks to Author and Clojure advocate Zach Tellman about how great software is built. "If we say something is over-engineered, what we mean is it's too complex or it's too robust or it handles a bunch of situations or scenarios that are not relevant to how we're using it. It's okay for us to create narrow things. It's okay for us to create Powershells instead of bash sort of environments because that narrowness gives us the ability to go and do things we might not otherwise be able to do." "Twitter are built on top of Ruby because that was a reasonable thing. And then it stopped being the reasonable thing. And again, you have this kind of, I dunno, I call it hacker news induction, which is like, well I built this thing and then I built this other thing, which is almost exactly the same thing. And it worked or it didn't work. And therefore I think that this must generalize across all possible applications of this thing, right? So I tried to rails and it was great or it was awful and therefore it is great or awful, you know, in all situations. " <a href="https://ideolalia.com/" rel="nofollow" target="_blank">Zach's Personal Site</a> <a href="https://elementsofclojure.com/" rel="nofollow" target="_blank">Elements Of Clojure Book</a> <a href="https://corecursive.com/042-zach-tellman-software-in-context/" rel="nofollow" target="_blank">https://corecursive.com/042-zach-tellman-software-in-context/</a>

Tech Talk: Software in Context with Zach Tellman

Bartosz Milewski

Tech Talks are in-depth technical discussions. Today Adam talks to Bartosz Milewski. He is the author of a famous blog series, lecture series and now book on Category Theory for programmers. The world of functional programming is rife with terminology imported from abstract algebra and Category Theory. In fact, it may be one of the most valid criticisms of functional programming is the use of Category-Theoretic terminology that can be unwelcoming to newcomers. Category theory can also be a tool to teach us to see software development in a different light and it can teach us to build better software. Bartosz is also just an interesting person, if you haven't heard of him yet, you are in for a treat. Bartosz's Website  Blog Series Book Lecture Series https://corecursive.com/035-bartosz-milewski-category-theory/

Tech Talks are in-depth technical discussions. Today Adam talks to Bartosz Milewski. He is the author of a famous blog series, lecture series and now book on Category Theory for programmers. The world of functional programming is rife with terminology imported from abstract algebra and Category Theory. In fact, it may be one of the most valid criticisms of functional programming is the use of Category-Theoretic terminology that can be unwelcoming to newcomers. Category theory can also be a tool to teach us to see software development in a different light and it can teach us to build better software. Bartosz is also just an interesting person, if you haven't heard of him yet, you are in for a treat. <a href="https://bartoszmilewski.com/" rel="nofollow" target="_blank">Bartosz's Website</a> <a href="https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/" rel="nofollow" target="_blank"> Blog Series</a> <a href="https://github.com/hmemcpy/milewski-ctfp-pdf" rel="nofollow" target="_blank">Book</a> <a href="https://www.youtube.com/watch?v=JH_Ou17_zyU" rel="nofollow" target="_blank">Lecture Series</a> <a href="https://corecursive.com/035-bartosz-milewski-category-theory/" rel="nofollow" target="_blank">https://corecursive.com/035-bartosz-milewski-category-theory/</a>

Tech Talk: Bartosz Milewski on Category Theory

Hal Abelson

Tech Talks are in-depth technical discussions. Adam talks to Hal Abelson about the textbook he coauthored in 1984, SICP and why it is still popular and influential today. "If you pick up almost any computing book it starts out 'here are these datatypes, these operations that you do' and somewhere around 20 or 30% through the book, they show you how to define a function or a procedure. Whereas we really take the opposite approach. We say the key thing is abstraction. So we kind of start there." "The axe [the book] is grinding is that people write programs to do one particular thing. And then the price of that is that a whole lot of software engineering ends up being trying to get out of the hole you dug yourself into because you made a program that was too specific."  SICP Lectures The Structure and Interpretation of Computer Programs  Hal Interview  https://corecursive.com/039-hal-abelson-sicp/

Tech Talks are in-depth technical discussions. Adam talks to Hal Abelson about the textbook he coauthored in 1984, SICP and why it is still popular and influential today. "If you pick up almost any computing book it starts out 'here are these datatypes, these operations that you do' and somewhere around 20 or 30% through the book, they show you how to define a function or a procedure. Whereas we really take the opposite approach. We say the key thing is abstraction. So we kind of start there." "The axe [the book] is grinding is that people write programs to do one particular thing. And then the price of that is that a whole lot of software engineering ends up being trying to get out of the hole you dug yourself into because you made a program that was too specific." <ul> <li><a href="https://www.youtube.com/watch?v=2Op3QLzMgSY" rel="nofollow" target="_blank">SICP Lectures</a></li> <li><a href="https://mitpress.mit.edu/sites/default/files/sicp/index.html" rel="nofollow" target="_blank">The Structure and </a><a href="https://mitpress.mit.edu/sites/default/files/sicp/index.html" rel="nofollow" target="_blank">Interpretation</a> <a href="https://mitpress.mit.edu/sites/default/files/sicp/index.html" rel="nofollow" target="_blank">of Computer Programs</a> </li> <li><a href="http://www.gigamonkeys.com/code-quarterly/2011/hal-abelson/" rel="nofollow" target="_blank">Hal Interview</a></li> </ul> <a href="https://corecursive.com/039-hal-abelson-sicp/" rel="nofollow" target="_blank">https://corecursive.com/039-hal-abelson-sicp/</a>

Tech Talk: Structure and Interpretation of Computer Programs with Hal Abelson

Jim Blandy

Tech Talks are in-depth technical discussions. The surprising thing about rust is how memory management works.  Rust has the concepts of moves and borrowing.  If you have heard about Rust, you may have heard people talking about the borrow checker and trying to make it happy. In this interview, Jim Blandy walks us through what these concepts mean and how they work.  We also talk about how to avoid fighting with the borrow checker at all and why the conceptual model that Rust adopts, though it may seem unusual at first, is actually more representative of how computers work and therefore an easier programming model.

Tech Talks are in-depth technical discussions. The surprising thing about rust is how memory management works.  Rust has the concepts of moves and borrowing.  If you have heard about Rust, you may have heard people talking about the borrow checker and trying to make it happy. In this interview, Jim Blandy walks us through what these concepts mean and how they work.  We also talk about how to avoid fighting with the borrow checker at all and why the conceptual model that Rust adopts, though it may seem unusual at first, is actually more representative of how computers work and therefore an easier programming model.

Tech Talk: Moves and Borrowing In Rust With Jim Blandy

Steven Proctor

Tech Talks are in-depth technical discussions. Today's interview is with Steven Proctor, the host of the functional geekery podcast.  We talk about distributed programming in general and specifically how erlang supports distributed computing.  We also talk about things he's learned about functional programming and applying FP principles to various non FP contexts.   Contact Proctor:  Functional Geekery Podcast @stevenproctor @fngeekery 

Tech Talks are in-depth technical discussions. Today's interview is with Steven Proctor, the host of the functional geekery podcast.  We talk about distributed programming in general and specifically how erlang supports distributed computing.  We also talk about things he's learned about functional programming and applying FP principles to various non FP contexts.   Contact Proctor: <ul> <li><a href="https://www.functionalgeekery.com/" rel="noopener nofollow" target="_blank">Functional Geekery Podcast</a></li> <li><a href="https://twitter.com/stevenproctor" rel="noopener nofollow" target="_blank">@stevenproctor</a></li> <li><a href="https://twitter.com/fngeekery" rel="nofollow" target="_blank">@fngeekery</a></li> </ul>

Tech Talk: Erlang And Distributed Systems with Steven Proctor

Tech Talks are in-depth technical discussions. "Metrics and Dashboards can die in a fire and every software engineer should be on-call" - Charity Majors Today's Interview is with Charity Majors. We talk about how to make it easier to debug production issues in today's world of complicated distributed systems.  A warning, There is some explicit language in this interview. I originally saw a talk by Charity where she said something like fuck your metrics and dashboards, you should test in production more. It was a pretty hyperbolic statement, but backed up with a lot of great insights. I think you'll find this interview similarly insightful. Charity and her company are probably best known for popularizing the concept that observability in the key to being able to debug issues in production. Also if you are a talented developer with functional programming skills, I've got a job offer for you. My employer Tenable is hiring.  Tenable is a pretty great place to work. Here is a job link. Show notes:   Facebook Scuba Observability Talk the-engineer-manager-pendulum HoneyComb.io     Show Link

Tech Talks are in-depth technical discussions. "Metrics and Dashboards can die in a fire and every software engineer should be on-call" - Charity Majors Today's Interview is with Charity Majors. We talk about how to make it easier to debug production issues in today's world of complicated distributed systems.  A warning, There is some explicit language in this interview. I originally saw a talk by Charity where she said something like fuck your metrics and dashboards, you should test in production more. It was a pretty hyperbolic statement, but backed up with a lot of great insights. I think you'll find this interview similarly insightful. Charity and her company are probably best known for popularizing the concept that observability in the key to being able to debug issues in production. Also if you are a talented developer with functional programming skills, I've got a job offer for you. My employer <a href="https://www.tenable.com/" rel="nofollow" target="_blank">Tenable</a> is hiring.  Tenable is a pretty great place to work. <a href="https://t.co/y4cPVlVqbo" rel="nofollow" target="_blank">Here is a job link</a>. Show notes: <ul> <li><a href="https://www.facebook.com/notes/facebook-engineering/under-the-hood-data-diving-with-scuba/10150599692628920/" rel="nofollow" target="_blank"> Facebook Scuba</a></li> <li><a href="https://www.youtube.com/watch?v=1wjovFSCGhE" rel="nofollow" target="_blank">Observability Talk</a></li> <li><a href="https://charity.wtf/2017/05/11/the-engineer-manager-pendulum/" rel="nofollow" target="_blank">the-engineer-manager-pendulum</a></li> <li><a href="https://www.honeycomb.io/" rel="nofollow" target="_blank">HoneyComb.io</a></li> </ul> <a href="https://corecursive.com/019-test-in-production-with-charity-majors/" rel="nofollow" target="_blank"> Show Link</a>

Tech Talk: Test in Production and being On-Call with Charity Majors

David Heinemeier Hansson

David Heinemeier Hansson talks to Adam about being avoiding a software monoculture. He explains why we should find a programming language that speaks to us, why ergonomics matter and why single page apps and microservices are not for him. "That is the pleasure and privilege of working with the web. No one knows what you built it. It, you could build an in basic, you can build it a Ocaml, you can build in the Haskell, you can build it in whatever Ruby. No one is going to be none the wiser you get to choose" You want to write for the web. I mean, literally every programming language that's ever been invented and known to humankind is serving a webpage somewhere." "There's just something heartwarming in that, that this idea of the monoculture that like this is all just a battle to the death and there's going to be one framework and there's going to be one programming language that lifts is left standing. Programmers are really drawn into that right into that horse race." So much of their technology choices seem to be predicated on like, is this popular? Is this going to be popular next year? Do you know what I mean?" "The crimes against programming humanities that have been done in the service of single page applications are far worse than the ones that have been done in the service of microservices. But then of course, as it is, lots of people combine the two. So it's a fleet of microservices serving a single page application, and that's just where it bam, my head explodes with like, yeah, I would rather retire and fucking, I don't know, make weaved baskets than deal with that shit." "I'm not saying that email is sort of in its base form is wonderful, but you know what is wonderful asynchronous. Write-ups of cohesive, full thoughts, people using actual goddamn paragraphs to describe ideas and proposals, and they put those paragraphs together into form entire, cohesive thoughts. And then letting someone take that in, read those several paragraphs, sit back for more than five minutes. Ponder that. And then respond." Links:  The Majestic Monolith On React TDD is Dead RailsConf 2014   Podcast Page

David Heinemeier Hansson talks to Adam about being avoiding a software monoculture. He explains why we should find a programming language that speaks to us, why ergonomics matter and why single page apps and microservices are not for him. "That is the pleasure and privilege of working with the web. No one knows what you built it. It, you could build an in basic, you can build it a Ocaml, you can build in the Haskell, you can build it in whatever Ruby. No one is going to be none the wiser you get to choose" You want to write for the web. I mean, literally every programming language that's ever been invented and known to humankind is serving a webpage somewhere." "There's just something heartwarming in that, that this idea of the monoculture that like this is all just a battle to the death and there's going to be one framework and there's going to be one programming language that lifts is left standing. Programmers are really drawn into that right into that horse race." So much of their technology choices seem to be predicated on like, is this popular? Is this going to be popular next year? Do you know what I mean?" "The crimes against programming humanities that have been done in the service of single page applications are far worse than the ones that have been done in the service of microservices. But then of course, as it is, lots of people combine the two. So it's a fleet of microservices serving a single page application, and that's just where it bam, my head explodes with like, yeah, I would rather retire and fucking, I don't know, make weaved baskets than deal with that shit." "I'm not saying that email is sort of in its base form is wonderful, but you know what is wonderful asynchronous. Write-ups of cohesive, full thoughts, people using actual goddamn paragraphs to describe ideas and proposals, and they put those paragraphs together into form entire, cohesive thoughts. And then letting someone take that in, read those several paragraphs, sit back for more than five minutes. Ponder that. And then respond." Links: <ul> <li><a href="https://m.signalvnoise.com/the-majestic-monolith/" rel="nofollow" target="_blank">The Majestic Monolith</a></li> <li><a href="https://twitter.com/dhh/status/695270337836113921" rel="nofollow" target="_blank">On React</a></li> <li><a href="https://dhh.dk/2014/tdd-is-dead-long-live-testing.html" rel="nofollow" target="_blank">TDD is Dead</a></li> <li><a href="https://www.youtube.com/watch?v=9LfmrkyP81M" rel="nofollow" target="_blank">RailsConf 2014</a></li> </ul> <a href="https://corecursive.com/045-david-heinemeier-hansson-software-contrarian/" rel="nofollow" target="_blank"> Podcast Page</a>

Story: David Heinemeier Hansson, Software Contrarian

Tech Talks are in-depth technical discussions.  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  

Tech Talks are in-depth technical discussions.  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 <ul> <li><a href="https://www.rust-lang.org/en-US/" rel="nofollow" target="_blank">Rust</a></li> <li><a href="http://shop.oreilly.com/product/0636920040385.do" rel="nofollow" target="_blank">Programming Rust Book</a></li> <li><a href="https://en.wikipedia.org/wiki/MESI_protocol" rel="nofollow" target="_blank">MESI protocol</a></li> <li> <a href="https://link.springer.com/article/10.1023/A:1026276129010" rel="nofollow" target="_blank">Constraint-based Verification of Parameterized Cache Coherence Protocols Formal Methods in System Design</a></li> <li><a href="https://plv.mpi-sws.org/rustbelt/" rel="nofollow" target="_blank">Rust Validation</a>  - </li> <li>3d game demo - (not sure where this is, post in comments if you find it)</li> <li><a href="https://security.googleblog.com/2007/10/auditing-open-source-software.html" rel="nofollow" target="_blank"> integer overflow </a></li> </ul>

Tech Talk: Rust And Bitter C++ Developers With Jim Blandy

Jamis Buck

A decade ago Jamis Buck was not loving his job. He was an important open source contributor. He worked for the hottest trendiest software company at the time, 37 signals, creator of ruby on rails. He was on top of the world but also he was burnt out. Today Jamis talks about how he overcame burn out.  We discuss how his struggle lead him to write a book about generating mazes and another about building a ray tracer. His books are great fun, and all about recreational programming.  You will learn to build things with a focus not on the latest trends in software development and not even a specific programming language.  The focus instead is on fun.

A decade ago Jamis Buck was not loving his job. He was an important open source contributor. He worked for the hottest trendiest software company at the time, 37 signals, creator of ruby on rails. He was on top of the world but also he was burnt out. Today Jamis talks about how he overcame burn out.  We discuss how his struggle lead him to write a book about generating mazes and another about building a ray tracer. His books are great fun, and all about recreational programming.  You will learn to build things with a focus not on the latest trends in software development and not even a specific programming language.  The focus instead is on fun.

Burn out and recreational coding with Jamis Buck

Andy Hunt

Andy Hunt is a celebrity in the world of software development. Or at least he is one to me. The Pragmatic Programmer is a classic book on software development book. He is an author of the agile manifesto and started the book company that has published many great books, including several by recent guests. Today I talk to Andy about how software engineers can get better at thinking and learning. How can we develop this meta-skill and how can being aware of common mistakes our brain make us more productive? Show notes:  The Pragmatic Programmer  Pragmatic Thinking and Learning  Conglommora   Webpage for Episode

Andy Hunt is a celebrity in the world of software development. Or at least he is one to me. The Pragmatic Programmer is a classic book on software development book. He is an author of the agile manifesto and started the book company that has published many great books, including several by recent guests. Today I talk to Andy about how software engineers can get better at thinking and learning. How can we develop this meta-skill and how can being aware of common mistakes our brain make us more productive? Show notes: <ul> <li><a href="https://pragprog.com/book/tpp/the-pragmatic-programmer" rel="nofollow" target="_blank">The Pragmatic Programmer</a> </li> <li><a href="https://pragprog.com/book/ahptl/pragmatic-thinking-and-learning" rel="nofollow" target="_blank">Pragmatic Thinking and Learning </a></li> <li><a href="https://conglommora.com/" rel="nofollow" target="_blank">Conglommora</a> </li> </ul> <a href="http://corecursive.com/029-learn-to-think-andy-hunt/" rel="nofollow" target="_blank">Webpage for Episode</a>

Tech Talk: Learning to Think with Andy Hunt - Pragmatic Programmers guide to being productive

Bob Nystrom

Bob Nystrom is the author of Crafting Interpreters. I speak with Nystrom about building a programming language and an interpreter implementation for it. We talk about parsing, the difference between compiler and interpreters and a lot more. If you are wondering why many languages have hand-rolled parser implementations yet much work on build language implementations focuses on parser and tokenizer generators then Bob's insights will be eye-opening. Also, if you've ever used regexes to pull strings apart into structured data, and I sure have, then Bob's perspective on the simplicity of hand-rolled parsers will certainly open up some new possibilities for you. Links: http://craftinginterpreters.com/ http://gameprogrammingpatterns.com/ http://journal.stuffwithstuff.com/

Bob Nystrom is the author of Crafting Interpreters. I speak with Nystrom about building a programming language and an interpreter implementation for it. We talk about parsing, the difference between compiler and interpreters and a lot more. If you are wondering why many languages have hand-rolled parser implementations yet much work on build language implementations focuses on parser and tokenizer generators then Bob's insights will be eye-opening. Also, if you've ever used regexes to pull strings apart into structured data, and I sure have, then Bob's perspective on the simplicity of hand-rolled parsers will certainly open up some new possibilities for you. Links: <a href="http://craftinginterpreters.com/" rel="nofollow" target="_blank">http://craftinginterpreters.com/</a> <a href="http://gameprogrammingpatterns.com/" rel="nofollow" target="_blank">http://gameprogrammingpatterns.com/</a> <a href="http://journal.stuffwithstuff.com/" rel="nofollow" target="_blank">http://journal.stuffwithstuff.com/</a>

Tech Talk: Crafting Interpreters With Bob Nystrom

Pat Helland

Tech Talks are in-depth technical discussions. Pat Helland has a wealth of knowledge on building distributed data stores. He has been working on distributed data stores since 1978, when he worked on the tandem fault-tolerant database. Since then he has been involved in many distributed database projects. Here is the key thing, he is also a master at explaining the key ideas of distributed systems using simple language and practical everyday examples. Can you get married on the phone? How are messaging systems and idempotence like regional offices communicating via fax machine? These are the type of metaphor that Pat uses. Today, Pat sits down with me and teaches me about dealing with data in a distributed, fault tolerant, infinitely scaling world. Webpage : http://corecursive.com/028-data-pat-heland/ Links:  Pat's articles ON ACM QUEUE  Mind your state for your state of mine   Consistency Eventually Standing on Distributed Shoulders of Giants The Singular Success of SQL Life Beyond Distributed Transactions  

Tech Talks are in-depth technical discussions. Pat Helland has a wealth of knowledge on building distributed data stores. He has been working on distributed data stores since 1978, when he worked on the tandem fault-tolerant database. Since then he has been involved in many distributed database projects. Here is the key thing, he is also a master at explaining the key ideas of distributed systems using simple language and practical everyday examples. Can you get married on the phone? How are messaging systems and idempotence like regional offices communicating via fax machine? These are the type of metaphor that Pat uses. Today, Pat sits down with me and teaches me about dealing with data in a distributed, fault tolerant, infinitely scaling world. Webpage : <a href="https://corecursive.com/?p=960&amp;preview=true" rel="nofollow" target="_blank">http://corecursive.com/028-data-pat-heland/</a> Links: <ul> <li><a href="https://muckrack.com/pat-helland/articles" rel="nofollow" target="_blank">Pat's articles ON ACM QUEUE</a></li> <li><a href="https://cacm.acm.org/magazines/2018/10/231368-mind-your-state-for-your-state-of-mind/abstract" rel="nofollow" target="_blank"> Mind your state for your state of mine</a> </li> <li><a href="https://cacm.acm.org/magazines/2018/8/229763-consistently-eventual/abstract" rel="nofollow" target="_blank"> Consistency Eventually</a></li> <li><a href="https://queue.acm.org/detail.cfm?ref=rss&amp;id=2953944" rel="nofollow" target="_blank">Standing on Distributed Shoulders of Giants</a></li> <li><a href="https://queue.acm.org/detail.cfm?id=2983199" rel="nofollow" target="_blank">The Singular Success of SQL</a></li> <li><a href="https://queue.acm.org/detail.cfm?id=3025012" rel="nofollow" target="_blank">Life Beyond Distributed Transactions</a> </li> </ul>

Tech Talk: Data and Scale with Pat Helland - The long view on distributed databases

Daniel Friedman

David Thrane Christiansen

Tech Talks are in-depth technical discussions. When it comes to type systems "I am, so far, only in the dependent types camp" - Daniel P. Friedman You can write more correct software and even rigorous mathematical proofs.  Prepare for some mind stretching. Previous guests like Edwin Brady and Stephanie Weirich have discussed some of the exciting things a dependent type system can do Miles Sabin said dependent types are surely the future. This interview is to get us ready for the future. Daniel P. Friedman is famous for his "Little" series of books. Little Schemer, Little prover, Little MLer and so on. These books are held in high regard. Here is a quote from Doug Crockford:  "Little Schemer teaches one thing, a thing that is very difficult to teach, a thing that every profession programmer should know, and it does it really well. These are lessons that stick with you." The latest one is the little typer and its about types. Specifically dependent types. Dan's coauthor is David Thrane Christiansen, Idris contributor, and host of a podcast about type theory that is way over my head. Together they are going to teach us how the programming skills we already have can be used to develop rigourus mathematical proofs. Stay tuned to the end for my guide to working thru the book. Originally published at CoRecursive here Join Our Slack Community

Tech Talks are in-depth technical discussions. When it comes to type systems "I am, so far, only in the dependent types camp" - Daniel P. Friedman You can write more correct software and even rigorous mathematical proofs.  Prepare for some mind stretching. Previous guests like Edwin Brady and Stephanie Weirich have discussed some of the exciting things a dependent type system can do Miles Sabin said dependent types are surely the future. This interview is to get us ready for the future. Daniel P. Friedman is famous for his "Little" series of books. Little Schemer, Little prover, Little MLer and so on. These books are held in high regard. Here is a quote from Doug Crockford:  "Little Schemer teaches one thing, a thing that is very difficult to teach, a thing that every profession programmer should know, and it does it really well. These are lessons that stick with you." The latest one is the little typer and its about types. Specifically dependent types. Dan's coauthor is David Thrane Christiansen, Idris contributor, and host of a podcast about type theory that is way over my head. Together they are going to teach us how the programming skills we already have can be used to develop rigourus mathematical proofs. Stay tuned to the end for my guide to working thru the book. Originally published at CoRecursive <a href="https://corecursive.com/023-little-typer-and-pie-language/" rel="nofollow" target="_blank">here</a> <a href="https://join.slack.com/t/corecursive/shared_invite/enQtNDg2ODIwNzg5MjgwLWIwN2JiZTRjYTYxMTljNzNjYjcxMzg3YmUyZTI2OTE5NmIyYTBkZTk4MjY1MWMxODE3MTIxZmNhYWY3ZDcxN2M" rel="noopener nofollow" target="_blank">Join Our Slack Community</a>

Tech Talk: The Little Typer With Daniel Friedman and David Thrane Christiansen

Allison Parrish

Tech Talks are in-depth technical discussions. Generative Art involves using the tools of computation to creative ends. Adam talks to Allison Parrish about how she uses word vectors to create unique poetry. Word vectors represent a fundamentally new tool for working with text. Adam and Allison also talk about creative computer programming and building twitter bots and what makes something art. "Computer programming is beautiful and useless. That's the reason that you should want to do it is not because it's going to get you a job, because it has a particular utility, but simply for the same reasons that you would pick up oil paints or do origami or something. It's something that has like an inherent beauty to it that is worthy of studying." "For my purpose as an artist and as like someone who teaches programming to artists and designers, I want to emphasize that it's not only a vocational thing, it's not only a way for building things like to do apps for that matter. It's not only a way to, you know, write useful applications that help to organize communities or help to do scientific work and other like good applications of programming and software engineering. But there is this like very essential, very core part of computer programming that is just joyful. Um, that's about understanding your own mind in different ways and understanding the world in different lands." Experimental Creative Writing with the Vectorized Word Every Icon Word2Vect Allison Parrish's Website Tracery Articulations Every Word

Tech Talks are in-depth technical discussions. Generative Art involves using the tools of computation to creative ends. Adam talks to Allison Parrish about how she uses word vectors to create unique poetry. Word vectors represent a fundamentally new tool for working with text. Adam and Allison also talk about creative computer programming and building twitter bots and what makes something art. "Computer programming is beautiful and useless. That's the reason that you should want to do it is not because it's going to get you a job, because it has a particular utility, but simply for the same reasons that you would pick up oil paints or do origami or something. It's something that has like an inherent beauty to it that is worthy of studying." "For my purpose as an artist and as like someone who teaches programming to artists and designers, I want to emphasize that it's not only a vocational thing, it's not only a way for building things like to do apps for that matter. It's not only a way to, you know, write useful applications that help to organize communities or help to do scientific work and other like good applications of programming and software engineering. But there is this like very essential, very core part of computer programming that is just joyful. Um, that's about understanding your own mind in different ways and understanding the world in different lands." <a href="https://www.youtube.com/watch?v=L3D0JEA1Jdc" rel="nofollow" target="_blank">Experimental Creative Writing with the Vectorized Word</a> <a href="http://www.numeral.com/panels/everyicon.html" rel="nofollow" target="_blank">Every Icon</a> <a href="https://en.wikipedia.org/wiki/Word2vec" rel="nofollow" target="_blank">Word2Vect</a> <a href="https://www.decontextualize.com/" rel="nofollow" target="_blank">Allison Parrish's Website</a> <a href="https://tracery.io/" rel="nofollow" target="_blank">Tracery</a> <a href="http://counterpathpress.org/articulations-allison-parrish" rel="nofollow" target="_blank">Articulations</a> <a href="https://twitter.com/everyword" rel="nofollow" target="_blank">Every Word</a>

Tech Talk: Beautiful and Useless Coding with Allison Parrish

Tech Talks are in-depth technical discussions. Today's interview is with John A De Goes. We talk about performance problems with monad transformer on the jvm, various flavours of IO monads and reasoning about polymorphic type signatures.  On the lighter side of things, we discuss how to write technical articles well, flame wars and Zee vs Zed pronunciation.     Show Notes:  John's Website and Twitter Descriptive Variable Names: A Code Smell Data Structures Are Antithetical to Functional Programming A Modern Architecture for FP 

Tech Talks are in-depth technical discussions. Today's interview is with John A De Goes. We talk about performance problems with monad transformer on the jvm, various flavours of IO monads and reasoning about polymorphic type signatures.  On the lighter side of things, we discuss how to write technical articles well, flame wars and Zee vs Zed pronunciation. Show Notes: <ul> <li>John's <a href="http://degoes.net/" rel="nofollow" target="_blank">Website</a> and <a href="https://twitter.com/jdegoes" rel="nofollow" target="_blank">Twitter</a></li> <li><a href="http://degoes.net/articles/insufficiently-polymorphic" rel="noopener nofollow" target="_blank">Descriptive Variable Names: A Code Smell</a></li> <li><a href="http://degoes.net/articles/kill-data" rel="noopener nofollow" target="_blank">Data Structures Are Antithetical to Functional Programming</a></li> <li><a href="http://degoes.net/articles/modern-fp" rel="noopener nofollow" target="_blank">A Modern Architecture for FP</a></li> </ul>

Tech Talk: Throw Away the Irrelevant with John A De Goes

Gabriel Gonzalez

What makes some pieces of technology take off? Why is java popular and not small talk or Haskell. Gabe is a popular blogger, a former Haskell cheerleader, and creator of the Dhal configuration language. Today we talk about marketing and tech evangelism. "One common mistake I see a lot of new open source developers make is they tried to build what I call the hype train. Where they have started a new project that has a lot of poTech Evangelism with Gabriel Gonzalez tential and they advertise on hacker news hoping that, okay, we're gonna generate a lot of hype, maybe get a lot of influx of new contributors, new contributes, new features, generate more hype and so forth." "They hope that there'll be that virtuous cycle that will get them to the mainstream in practice, that never happens. Usually, the thing about contributors is that their needs are always going to be fragmented, right? If you have eight new contributors, they're going to be taking you in eight different directions. You should focus on one direction and sometimes that means not only doing a lot of work yourself, but it's explicitly saying no to something and saying this is not where I want to take the product right now." Links:  Crossing the Chasm Dhall Lang  Adam's SE Radio Interview with Gabe Haskell For All - Gabe's Blog

What makes some pieces of technology take off? Why is java popular and not small talk or Haskell. Gabe is a popular blogger, a former Haskell cheerleader, and creator of the Dhal configuration language. Today we talk about marketing and tech evangelism. "One common mistake I see a lot of new open source developers make is they tried to build what I call the hype train. Where they have started a new project that has a lot of poTech Evangelism with Gabriel Gonzalez tential and they advertise on hacker news hoping that, okay, we're gonna generate a lot of hype, maybe get a lot of influx of new contributors, new contributes, new features, generate more hype and so forth." "They hope that there'll be that virtuous cycle that will get them to the mainstream in practice, that never happens. Usually, the thing about contributors is that their needs are always going to be fragmented, right? If you have eight new contributors, they're going to be taking you in eight different directions. You should focus on one direction and sometimes that means not only doing a lot of work yourself, but it's explicitly saying no to something and saying this is not where I want to take the product right now." Links: <a href="https://www.amazon.com/Crossing-Chasm-Marketing-High-Tech-Mainstream/dp/0060517123" rel="nofollow" target="_blank"> Crossing the Chasm</a> <a href="https://dhall-lang.org" rel="nofollow" target="_blank">Dhall Lang</a> <a href="https://www.se-radio.net/2019/08/episode-375-gabriel-gonzalez-on-configuration/" rel="nofollow" target="_blank"> Adam's SE Radio Interview with Gabe</a> <a href="http://www.haskellforall.com/" rel="nofollow" target="_blank">Haskell For All - Gabe's Blog</a>

Tech Talk: Tech Evangelism and Open source With Gabriel Gonzalez

Chris Krycho

Tech Talks are in-depth technical discussions. How do we make JavaScript easier to work with? Chris Krycho has been using typescript to add types to javascript since 2016. Chris is a software developer at LinkedIn who, at his previous gig, worked on converting one of the largest Ember apps in the world to TypeScript. I was shocked by the size. Chris also loves Rust and types and is a former C and FORTRAN programmers. He hosted a podcast called the New Rustacean, which he has retired from. Today we talk about TypeScript and when you should use it. We also talk about Language Server Protocols, Rust, working with large codebases, Structural types, row polymorphism and talking code over audio.  Chris's Blog TypeScript New Rustacean  Chris's Typescript  Refinement types in TypeScript Winning Slowly Podcast  https://corecursive.com/034-chris-krycho-typescript/

Tech Talks are in-depth technical discussions. How do we make JavaScript easier to work with? Chris Krycho has been using typescript to add types to javascript since 2016. Chris is a software developer at LinkedIn who, at his previous gig, worked on converting one of the largest Ember apps in the world to TypeScript. I was shocked by the size. Chris also loves Rust and types and is a former C and FORTRAN programmers. He hosted a podcast called the New Rustacean, which he has retired from. Today we talk about TypeScript and when you should use it. We also talk about Language Server Protocols, Rust, working with large codebases, Structural types, row polymorphism and talking code over audio. <ul> <li><a href="http://chriskrycho.com" rel="nofollow" target="_blank">Chris's Blog</a> <a>TypeScript</a></li> <li><a href="https://newrustacean.com" rel="nofollow" target="_blank">New Rustacean</a></li> <li><a href="https://github.com/chriskrycho/emberconf-2019-slides/blob/master/talk.md" rel="nofollow" target="_blank"> Chris's Typescript</a></li> <li><a href="https://ranjitjhala.github.io/static/refinement_types_for_typescript.pdf" rel="nofollow" target="_blank"> Refinement types in TypeScript</a></li> <li><a href="https://winningslowly.org/" rel="nofollow" target="_blank">Winning Slowly Podcast</a></li> </ul> <a href="https://corecursive.com/034-chris-krycho-typescript/" rel="nofollow" target="_blank">https://corecursive.com/034-chris-krycho-typescript/</a>

Tech Talk: Typescript with Chris Krycho

Jon Gjengset

Can we make databases faster and remove the need for caching reads in an external cache? Can we make a distributed SQL based relational database that outperforms memcached? Jon Gjengset and the PDOS team at MIT CSAIL have done just that with Noria. Today I talk to Jon about Noria, about building a database in rust and his efforts to teach people intermediate rust via live coding sessions. Jon was great to talk to. He really was able to explain to me how Noria is able to do what it does and where it is in terms of maturity. The key, besides Rust and evmaps, is that Noria uses materialized views to do query optimization ahead of time, on write. The devil is in the details though, of course. And the details, in this case, are turning declarative SQL into a dataflow program that handles cache updates on new writes.  http://corecursive.com/030-rethinking-databases-with-jon-gjengset/ Show notes:  Noria Project pdos group at MIT   Noria Paper Noria Article Jon's Rust Streaming 

Can we make databases faster and remove the need for caching reads in an external cache? Can we make a distributed SQL based relational database that outperforms memcached? Jon Gjengset and the PDOS team at MIT CSAIL have done just that with Noria. Today I talk to Jon about Noria, about building a database in rust and his efforts to teach people intermediate rust via live coding sessions. Jon was great to talk to. He really was able to explain to me how Noria is able to do what it does and where it is in terms of maturity. The key, besides Rust and evmaps, is that Noria uses materialized views to do query optimization ahead of time, on write. The devil is in the details though, of course. And the details, in this case, are turning declarative SQL into a dataflow program that handles cache updates on new writes. <a href="http://corecursive.com/030-rethinking-databases-with-jon-gjengset/" rel="nofollow" target="_blank"> http://corecursive.com/030-rethinking-databases-with-jon-gjengset/</a> Show notes: <ul> <li><a href="https://github.com/mit-pdos/noria" rel="nofollow" target="_blank">Noria Project</a></li> <li><a href="https://pdos.csail.mit.edu/" rel="nofollow" target="_blank">pdos group at MIT</a></li> </ul> <ul> <li><a href="https://jon.thesquareplanet.com/papers/login-spring19-noria.pdf" rel="nofollow" target="_blank">Noria Paper</a></li> <li><a href="https://jon.thesquareplanet.com/papers/login-spring19-noria.pdf" rel="nofollow" target="_blank">Noria Article</a></li> <li><a href="https://www.youtube.com/c/JonGjengset" rel="nofollow" target="_blank">Jon's Rust Streaming</a></li> </ul>

Tech Talk: Rethinking databases and Noria with Jon Gjengset

Runar Bjarnason

What is abstraction?  Can we have a precise definition of abstraction that, once understood, makes writing software simpler?  Runar has thought a lot about abstraction and how we can choose the proper level of abstraction for the software we write.  In this interview, he explains these concepts using examples from the real world, from SQL, from effectful computing and many other areas. We also talk about how to learn and acquire the skills necessary to understand abstract concepts like very polymorphic code and category theory. Runar also explains his latest project unison computing and how it uses the correct level of abstraction to rethink several foundation ideas in software development.   Links:  Constraints Liberate Maximally Powerful, Minimally Useful Unison Computing  Webpage for show

What is abstraction?  Can we have a precise definition of abstraction that, once understood, makes writing software simpler?  Runar has thought a lot about abstraction and how we can choose the proper level of abstraction for the software we write.  In this interview, he explains these concepts using examples from the real world, from SQL, from effectful computing and many other areas. We also talk about how to learn and acquire the skills necessary to understand abstract concepts like very polymorphic code and category theory. Runar also explains his latest project unison computing and how it uses the correct level of abstraction to rethink several foundation ideas in software development. Links: <ul> <li><a href="https://www.youtube.com/watch?v=GqmsQeSzMdw" rel="nofollow" target="_blank">Constraints Liberate</a></li> <li><a href="http://blog.higher-order.com/blog/2014/12/21/maximally-powerful/" rel="nofollow" target="_blank">Maximally Powerful, Minimally Useful</a></li> <li><a href="http://unisonweb.org/posts/" rel="nofollow" target="_blank">Unison Computing</a></li> </ul> <a href="https://corecursive.com/027-abstraction-with-runar-bjarnason/" rel="nofollow" target="_blank">Webpage for show</a>

Abstraction and Learning with Runar Bjarnason

The best podcast episodes on physical health. Episodes talk about your diet, sleep, exercise and all the things that people do to improve their physical health and live a healthier life. This topic is for everyone, with applications in all of our everyday lives. Add episodes you're interested into your queue below!

Best Episodes on Physical Health & Your Body

The best podcast episodes on non-current politics. Covering topics such as universal basic income, democracy, poverty & justice and more. For anyone interested in learning more about politics that affect that world, not just now, but in the longer term. Add episodes you're interested into your queue below!