))
I am Dhaval Patel, a software engineer by profession and a teacher by heart. I've worked with Nvidia and Bloomberg. I strongly believe "Anyone Can Code" ! No matter what your background and past skill set is, you can learn programming if it is taught in a simplistic and intuitive way. The goal of this channel is to fulfill this vision by teaching the programming in most simplest and intuitive manner. I teach simple programming, data science, data analytics, artificial intelligence, machine l ...
Feel like you’re hitting a wall with your existing software projects? You're not alone. On the Maintainable software podcast, we speak with seasoned practitioners who have worked past the problems often associated with technical debt and legacy code. In each episode, our guests will share stories and outline tangible, real-world approaches to software challenges. In turn, you'll uncover new ways of thinking about how to improve your software project's maintainability. We're in this together. ...
Type Theory Forall is a podcast about Type Theory and Programming Language research in general. We interview relevant people in our field.
Developer Experience is a podcast brought to you by Algolia. We chat with guests who build products for developers about their developer experience strategy, what it means for them and why it’s important.
Minhaaj Podcast are Candid Conversations with Some of the Most Intelligent People. From Forbes and WSJ contributors, inventors, wall street bankers, Fintech experts, memory champions, neuroscientists, psychology veterans, FAANG employees and Youtube Educators, i have had the distinct pleasure to learn from these luminaries, for which i shall remain thankful, forever.
top posts of the week in <10minutes!
The podcast about Git. Edward Thomson and Martin Woodward talk to the people who build Git, build tools for it and make their teams successful using it.
The all things web development podcast by two Brits with opinions and puns. Join Phil and Jack for a relaxed chat as we sprinkle some salt and lavishly apply vinegar to a variety of topics from the world of frontend web development.
D
DevMelange - moved to anchor.fm/developermelange
1
DevMelange - moved to anchor.fm/developermelange
DevMelange - moved to anchor.fm/developermelange
@Deprecated moved to anchor.fm/developermelange A monthly podcast which brings you regular discussions about software engineering topics. All of them, in one way or another, related to building great software products. Brought to you by David Leitner (@duffleit), Paul Rohorzka (@paulroho), Christian Haas (@dertseha) and Peter Kofler (@codecopkofler).
Robby has a chat with software engineer, trainer, and author of the book Grokking Simplicity, Eric Normand (he/him/his). As Eric reflects on his experience, the first thought he has of well-maintained software is that it’s like a unicorn (Something you can’t find in real life), but on a more serious note, he emphasizes that smaller code bases are e…
M
Maintainable
1
Henrik Warne - There is No Software Maintenance
42:31
42:31
Play later
Play later
Lists
Like
Liked
42:31
Robby has a chat with Henrik Warne (he/him/his), the Senior Software Engineer at Talos. In Henrik’s view of well-maintained software, he talks about the importance of code having structure early on because, without structure, code tends to inevitably drift over time toward complexity. He highlights the importance of engineers being able to not only…
T
Type Theory Forall
1
#28 Formally Verifying Smart Contracts - Pruvendo
1:10:40
1:10:40
Play later
Play later
Lists
Like
Liked
1:10:40
In this episode we host another company that does formal method in thecontext of the Everscale Blockchain, and Solidity smart contracts.How and why they use formal methods in this context? Who are their clients?What are the caveats? Links Pruvendo’s Website Pruvendo’s Linkdin Pruvendo’s TwitterBy Pedro Abreu
Robby has a chat with Andy Croll (he/him/his), the CTO at CoverageBook, a Rubyist, the Organizer of the Brighton Ruby Conference, an author, speaker, and bootstrapper. The most important thing when it comes to the maintainability of software is “That code is read much more than it’s written”, Andy says. He insists that the core focus should always …
T
Type Theory Forall
1
#27 Formalizing an OS: The seL4 - Gerwin Klein
1:58:40
1:58:40
Play later
Play later
Lists
Like
Liked
1:58:40
In this episode talk with Gerwin Klein about the formal verification of themicrokernel seL4 which was done using Isabelle atNICTA / Data61 in Australia. We also talk a little about his PhD Projectveryfing a piece of the Java Virtual Machine. Links Gerwin’s Twitter Gerwin’s Website ProofCraft’s Website…
T
Type Theory Forall
1
#26 Mechanizing Modern Mathematics - Kevin Buzzard
2:15:31
2:15:31
Play later
Play later
Lists
Like
Liked
2:15:31
Kevin Buzzard has been very passionate spreading the word amongmathematicians to use theorem provers mechanize theorems of modernmathematics. In this conversation we will talk about his vision in teachingundergrads to use the Lean theorem prover, what is the Xena Project, his viewof how theorem provers can change the way we do mathematics, and much…
M
Maintainable
1
Marianne Bellotti - Building Empathy by Asking, "How Would You Write This in 2007?"
1:01:45
1:01:45
Play later
Play later
Lists
Like
Liked
1:01:45
Robby has a chat with Marianne Bellotti (she/her/hers), the Engineering Manager at Rebellion Defense. Marianne is the author of the books, “Hiring Engineers” and “Kill it with Fire”. She talks about the maintainability of software being about whether software can be changed and how easily changes can be made to it. She dives into her experience wit…
M
Maintainable
1
Arpit Mohan - Aspiring To Be Boring As Possible
51:35
51:35
Play later
Play later
Lists
Like
Liked
51:35
Robby has a chat with Arpit Mohan, the Co-Founder and CTO of Appsmith, an open-source low-code tool that helps developers build dashboards and admin panels very quickly. Appsmith helps businesses build any custom internal application within hours. In regard to well-maintained software, Arpit points to the importance of engineers writing code for hu…
M
Maintainable
401
Noah Clark - Maintainable Software is a Team Sport
59:28
59:28
Play later
Play later
Lists
Like
Liked
59:28
Robby has a chat with Noah Clark, a consulting applications developer at Merchants Bonding Company, one the top 15 largest surety writers in the United States. On the top of Noah’s list of things that facilitate the maintainability of software is team dynamics. Well-maintained software can never be achieved by a single individual refactoring code o…
T
Type Theory Forall
1
#25 Formally Verifying the Tezos Codebase - Formal Land
1:01:32
1:01:32
Play later
Play later
Lists
Like
Liked
1:01:32
In this episode we partner with Formal Land, a company that works in formallyverifying the Tezos codebase! I have worked with them in the past developingnew features to their source-to-source compiler CoqOfOcaml. In this episode wetalk about their work with Tezos and how their techniques are applicable toother codebases as well! For this we talk wi…
M
Maintainable
1
Ben Parisot - Documentation Just Needs To Be Used Once
1:01:14
1:01:14
Play later
Play later
Lists
Like
Liked
1:01:14
Robby has a chat with the Engineering Manager at Planet Argon, Ben Parisot. Ben has worked in the tech industry since 2010 and has worn many, many hats: blogger, web designer, web developer, technical producer, scrum master, technical project manager, copywriter, and more. He loves all parts of the software development lifecycle and always has a cr…
M
Maintainable
1
Stefanni Brasil - When Is Tackling Tech Debt Possible?
40:37
40:37
Play later
Play later
Lists
Like
Liked
40:37
Robby has a chat with Stefanni Brasil, the Co-founder and Educator at hexdevs, Co-creator of the Get to Senior online course and community, and most recently joined thoughtbot as a developer. Reflecting on her experience in the industry, Stefanni says that well-maintained software can only be a result of teams agreeing on conventions before coding …
c
codebasics
1
Conversation with Amazon Data Scientist: Debjyoti Paul
33:09
33:09
Play later
Play later
Lists
Like
Liked
33:09
Amazon data scientist Debjyoti throws light on some data science topics including career guidance. Debjyoti has worked with microsoft as a machine learning engineer before joining Amazon as a data scientist.
M
Maintainable
1
Andrea Goulet - Empathy-Driven Software Development
54:49
54:49
Play later
Play later
Lists
Like
Liked
54:49
Robby has a chat with Andrea Goulet, the CEO of Corgibytes, a software development shop dedicated to maintaining and modernizing software applications. Named by LinkedIn as one of the top ten professionals in software under 35, Andrea is the host of the podcast Legacy Code Rocks, is the author of the forthcoming book, “Empathy-Driven Software Devel…
T
Type Theory Forall
1
#24 The History of Isabelle - Lawrence Paulson
1:38:02
1:38:02
Play later
Play later
Lists
Like
Liked
1:38:02
In this episode we interview Lawrence Paulson, one of the creating fathers ofIsabelle. We talk about the development process, how it drew inspirations andideas from LCF and Boyer Moore. What tools were used, it’s strenghts andweaknesses, and all about the historical context at the time! We also brieflytalk about his formalization of the Gödel’s Inc…
c
codebasics
1
How a mechanical engineer became a data analyst
10:20
10:20
Play later
Play later
Lists
Like
Liked
10:20
Chinmay is a data analyst working for paramount health services, mumbai, India. He will share his story of how he became data analyst coming from mechanical engineering background. Here is chinmay's linked in profile. If you are in similar boat and need some insights please feel free to send him a message on his linked in.…
c
codebasics
1
Conversation with my brother | Young Entrepreneur and CEO
57:57
57:57
Play later
Play later
Lists
Like
Liked
57:57
Bhavin Patel (My brother) built a successful software and digital marketing company and he will share his journey, lessons he learnt from his failures etc. He will also give tips to anyone who is looking to start any business and how to become successful at it. We both brothers are also launching a new youtube channel where we will post videos on s…
T
Type Theory Forall
1
#23 What is the SIGPLAN? - Jens Palsberg and Jonathan Aldrich
1:13:05
1:13:05
Play later
Play later
Lists
Like
Liked
1:13:05
In this episode we talk about Sigplan, the organization behind the mostimportant conferences and proceedings in our field. What is the SIGPLAN? Whatexactly does it do? How is it organized? How are things published? To answerthese and many other questions we talk with Jens Palsberg, a professor atUCLA, who is the past chair of the SIGPLAN. And also …
c
codebasics
1
Data science career tips from Ken Jee (Data scientist and a youtuber)
53:31
53:31
Play later
Play later
Lists
Like
Liked
53:31
I had a conversation with Ken Jee who is a head of data science department in the scouts consulting group. He also runs a youtube channel on data science.
M
Maintainable
1
John Ousterhout - It's Not You, It's the Codebase
49:22
49:22
Play later
Play later
Lists
Like
Liked
49:22
Robby has a chat with Professor of Computer Science at Stanford University, John Ousterhout. John founded Electric Cloud with John Graham-Cumming. Ousterhout was a professor of computer science at the University of California, Berkeley where he created the Tcl scripting language and the Tk platform-independent widget toolkit and proposed the idea o…
c
codebasics
1
Interview with a siemens data scientist, TEDx speaker | Vijay Pravin Maharajan
33:57
33:57
Play later
Play later
Lists
Like
Liked
33:57
We had a conversation with Vijay Pravin Maharajan who is a data scientist working for siemens Germany. Vijay is quite successful at a very young age and some of his achievements are, 1) ‘40 under 40 Data Scientists’ Awardee in India 2) 20+ Inspiring Data Scientists to be followed (AI Time Journal, USA) 3) TEDx Speaker Vijay has masters in electrica…
M
Maintainable
1
Courtney Wilburn - Maintainable Software Has Good Community Around It
47:49
47:49
Play later
Play later
Lists
Like
Liked
47:49
Robby has a chat with Courtney Wilburn (She/Her/Hers), the Sr. Engineering Manager at Elastic Cloud, the leading platform for search-powered solutions. She is an experienced DevOps Engineer, speaker, and writer. With solutions in enterprise search, observability, and security, Elastic helps enhance customer and employee search experiences, keep mis…
c
codebasics
1
Data Science In Biology | How a biologist became a data scientist
48:54
48:54
Play later
Play later
Lists
Like
Liked
48:54
In this video, we are having a conversation with Chanin who is a biologist as well as a data scientist. He will discuss how he became a data scientist by learning all required skills on his own (i.e. self-taught learning) and also discuss some of the applications of data science in the field of biology. He has a great piece of advice for people who…
M
Maintainable
1
Nelida Velazquez - We Have to Express Our Opinions
38:29
38:29
Play later
Play later
Lists
Like
Liked
38:29
Robby has a chat with Nelida Velazquez, a Senior Software Engineer at Cobalt Labs, a company that modernizes traditional pentesting through their Pentest as a Service (PtaaS) platform. By combining a SaaS platform with an exclusive community of testers, they deliver the real-time insights teams need to remediate risk quickly and innovate securely. …
c
codebasics
1
He became top rated freelancer in first 4 months on upwork | Data analyst freelancer
41:56
41:56
Play later
Play later
Lists
Like
Liked
41:56
Data analyst freelancer: Qasim Bhatti started freelancing on upwork in August, 2020 and within 4 months he reached to a level where he earns close to 2 lakh pak rupees a month from upwork (close to 1300$). In this conversation he will share his story on how he got so much success in a very short time period. He will also give tips on how to become …
c
codebasics
1
Data Science Internship LIVE Q&A With Tesla Data Science Intern
58:49
58:49
Play later
Play later
Lists
Like
Liked
58:49
Live Data Science Q&A and Joining with me is an intern from Tesla. We both will answer any questions you have related to, 1. Data science career 2. Cracking data science internship 3. General career guidance
T
Type Theory Forall
1
#22 Impredicativity, LEM, Realizability and more - Cody Roux
2:19:23
2:19:23
Play later
Play later
Lists
Like
Liked
2:19:23
In this episode Cody Roux teaches some interesting concepts that people careabout in Mathematics and Logic as a way to try to understand what is going onin the universe around us! In particular we will try to explain concepts suchas Impredicativity, Excluded Middle, Group Theory, Model Theory, KripkeModels, Realizability, The Markov Principle, Cut …
Robby has a chat with Casey Watts!, the Founder at Happy and Effective and the author of Debugging Your Brain. Their conversation begins with Casey calling out engineers who go about the maintainability of their software by just cleaning stuff up instinctually instead of having a deliberately prioritized engineering backlog. He talks about the impo…
T
Type Theory Forall
1
#21 Denotational Design - Conal Elliott
3:07:26
3:07:26
Play later
Play later
Lists
Like
Liked
3:07:26
In this episode Conal Elliott gives a more concrete presentationon what is Denotational Design is and how to use it in practice. It is a continuation of episode #17, in which we had an in-depth philosophicalconversation to explain why he believes thatDenotational Design is a superior form of reasoning in the realm of computerscience. We also contin…
M
Maintainable
1
Marc Cornellà - Maintaining Open Source Projects
29:51
29:51
Play later
Play later
Lists
Like
Liked
29:51
Robby has a chat with Marc Cornellà, the official maintainer and major contributor for the Oh My Zsh project. Marc will start off by sharing his wisdom on the characteristics of well-maintained proprietary software. He will also tell us whether the same characteristics apply when it comes to open-source software. Marc started contributing to open-s…
M
Maintainable
1
Shanea Leven - How To Bring Visibility To Your Codebase
42:40
42:40
Play later
Play later
Lists
Like
Liked
42:40
Robby has a chat with the CEO and Co-Founder of CodeSee, Shanea Leven. The conversation starts with Shanea’s insights on the relatively unknown shift left movement which, from her own hands-on experience, has been a very great way for engineers to write maintainable and resilient code. The shift left movement emphasizes on moving, understanding, an…
T
Type Theory Forall
1
#20 Huaweii, String Diagrams, Game Semantics - Dan R. Ghica
1:37:28
1:37:28
Play later
Play later
Lists
Like
Liked
1:37:28
In this episode, me and Eric Bond have a great conversation with Dan R.Ghica, a professor at Birmingham University and Director of the ProgrammingLanguage Research Lab of the Huaweii Research Centre Edinburgh. We talk about his work on both institutions, which includes topics such asCategory Theory, String Diagrams, and Game Semantics. We also brie…
M
Maintainable
1
Greg Foster - A Pattern for Smaller, Faster, and Frequent Code Reviews
45:05
45:05
Play later
Play later
Lists
Like
Liked
45:05
Robby has a chat with Greg Foster, the Co-founder and CTO of Graphite, an open-source CLI and code review dashboard built for engineers who want to write and review smaller pull requests, stay unblocked, and ship faster. Based on his tons of infrastructure engineering, he highlights getting modules and interfaces right as one of the ways to create …
c
codebasics
1
LIVE Data Analyst Q&A Ft. Alex The Analyst
1:04:45
1:04:45
Play later
Play later
Lists
Like
Liked
1:04:45
LIVE Q&A: Ask any question related to data analyst career. I have Alex Freberg with me and we both will be answering your questions. Alex is an experienced senior data analyst and he also runs a youtube channel (link below) where he provides data analyst career guidance.
