My First Tech

Legendary computer scientist Donald Knuth was recently in for a "shock" when an open mathematical problem he had been working on for several weeks was successfully solved by Anthropic's Claude Opus 4.6. In this episode, we dive into the fascinating story behind "Claude's Cycles," exploring how this generative AI showcased a dramatic advance in automatic deduction and cr...

There's an incredible buzz around AI agents, with the prevailing wisdom suggesting that bigger is always better. The industry has poured billions into monolithic, Large Language Models (LLMs) to power these new autonomous systems. But what if this dominant approach is fundamentally misaligned with what agents truly need? This episode dives deep into compelling new research from Nvidia that mak...

It looks incredibly impressive when a large language model explains its step-by-step thought process, giving us a window into its "mind." But what if that visible reasoning is a sophisticated illusion? This episode dives deep into a groundbreaking study on the new generation of "Large Reasoning Models" (LRMs)—AIs specifically designed to show their work. We explore the surprisi...

What happens when AI becomes vastly smarter than humans? It sounds like science fiction, but researchers are grappling with the very real challenge of ensuring Artificial General Intelligence (AGI) is safe for humanity. Join us for a deep dive into the cutting edge of AI safety research, unpacking the technical hurdles and potential solutions. We explore the core risks – from intentional misalignm...

Ever tried to understand how AI  actually  learns, only to get lost in a sea of equations and jargon? This episode is your fast track through the fundamentals of machine learning, breaking down complex concepts into understandable nuggets. Drawing inspiration from Stanford course materials, we ditch the dense textbook approach and offer a clear, conversational deep dive into the core mechanics of...

 It's over 50 years old, yet the C programming language remains a fundamental building block beneath countless technologies we use daily, from operating systems to embedded devices. Join us as we dive deep into the core principles of C, guided by the classic Kernighan & Ritchie text. We explore its history, key syntax, control flow, functions, and the low-level power that explains why C still matt...

Open source software powers our lives, from our phones to our fridges. We uncover its enormous economic impact, revealing how much businesses save (trillions of dollars!), the importance of different programming languages, and how to ensure its sustainable future. The Value of Open Source Software: https://www.hbs.edu/faculty/Pages/item.aspx?num=65230

Ever wondered how AI is transforming our lives, from smart homes to the stock market? In this episode, we explore the fascinating world of AI agents – systems that can perceive, reason, and act to achieve goals. We'll unpack the core concepts from "AI Foundations of Computational Agents," delve into real-world examples like trading and tutoring agents, and discuss the blend of neural...

Unlock the secrets behind lightning-fast data retrieval! We explore the inner workings of database storage engines, from simple bash scripts to complex B-trees. Discover how indexes work, the trade-offs between speed and storage space, and how data warehouses organize vast amounts of historical data. Designing Data-Intensive Applications (free chapters): https://www.scylladb.com/wp-content/uploads...

Large Language Models are everywhere, but how do they actually work? Join us as we unravel the science and engineering behind these powerful AIs that can write, translate, and even create. From pre-training to fine-tuning, we explore how they learn and what it means for the future of tech. Foundations of Large Language Models: https://arxiv.org/pdf/2501.09223

Dive into the core of software engineering and system design with us! This episode, we're breaking down key concepts, real-world case studies, and emerging trends using the fantastic insights from ByteByteGo's System Design 101. Whether you’re prepping for an interview, just curious about how systems work, or simply love a good tech deep dive, we've got you covered. We demystify everyt...

Are you working on a machine learning project and feeling overwhelmed? This episode dives into the practical strategies outlined in Andrew Ng's " Machine Learning Yearning ", offering a roadmap for building and improving your AI systems. Learn how to avoid common pitfalls and make rapid progress by understanding key concepts like: Setting up effective development and test sets: Discover how to cho...

Join us to discuss about the book " Operating Systems: Three Easy Pieces " which teaches operating system concepts through a dialogue format between a professor and student. The excerpts cover various topics, including CPU and memory virtualization, concurrency, persistence (file systems and devices), scheduling algorithms (like MLFQ, lottery, and CFS), process management, memory management (pagin...

This episode explores how to approach problem-solving through computer programming using Python. We'll learn about the core concepts in " Think Python ," including variables, expressions, functions, and control structures , and how these elements work together to create effective programs. We'll focus on developing a "computer science" mindset, and using concepts like incremental development and d...

Join us as we delve into the classic textbook, "Structure and Interpretation of Computer Programs" ( SICP ), exploring its key concepts and timeless principles. From abstraction and recursion to metacircular evaluators and logic programming, we unpack the ideas that have shaped generations of programmers. We’ll discuss how these ideas are still relevant today, drawing on concrete examples and expl...

This episode explores the mathematical concepts underlying computer science. We'll begin with logic and proofs , examining predicates, propositional formulas, and truth tables . We'll then discuss induction , recursive definitions , and structural induction for analyzing data types. The podcast will cover state machines , the stable marriage problem , and how derived variables help in proving term...

This episode delves into the fascinating world of competitive programming, exploring the crucial role of algorithms and their real-world applications. Uncover the importance of time complexity in crafting efficient solutions, going beyond simple code to strategies that optimize performance. Explore a variety of fundamental algorithms, from classic sorting techniques like binary search to powerful...

Mobile apps are complex systems with unique reliability challenges. Unlike servers, where engineers have complete control, mobile app reliability depends on billions of devices and user behaviors. This episode explores how Site Reliability Engineering (SRE) principles can be applied to build and manage reliable native mobile applications. Join us as we discuss: Key concepts in engineering reliable...

Join us as we explore Google's in-depth course, "Comprehensive Rust," a free resource designed to take you from Rust novice to proficient developer. ​We'll discuss the course's structure, covering Rust fundamentals, specialized deep dives into Android, Chromium, and bare-metal development, and a full day dedicated to concurrency. ​We'll highlight the course's hands-on approach, emphasizing practic...

In this debut episode, we dive into the world of Kotlin, the modern programming language that’s taking the tech world by storm. Whether you’re a beginner or an experienced developer, Kotlin offers a fresh, efficient way to code—whether for Android apps, server-side development, or even multiplatform projects. We’ll explore what makes Kotlin unique, why it’s loved by developers worldwide, and how y...