Best Ocaml Podcasts (2025)

1
SE Radio 692: Sourabh Satish on Prompt Injection 1:04:36

Play Pause

2d ago1:04:36

1:04:36

Sourabh Satish, CTO and co-founder of Pangea, speaks with SE Radio's Brijesh Ammanath about prompt injection. Sourabh begins with the basic concepts underlying prompt injection and the key risks it introduces. From there, they take a deep dive into the OWASP Top 10 security concerns for LLMs, and Sourabh explains why prompt injection is the top ris…

1
F84: 966 в Китае | Хаос | Мастер и Маргарита | Вопрос Путину | DAO | Wildberries | Деньги и труд 1:10:36

4d ago1:10:36

1:10:36

Video is here: https://youtube.com/live/qic1rL9nDPgBy Yegor Bugayenko

1
F83: Сексизм | Советы IT учителю | Zerocracy | Highload-кодеры | Bitcoin и золото | Зарядка 1:10:04

8d ago1:10:04

1:10:04

Video is here: https://youtube.com/live/JRI2NEL1zR4By Yegor Bugayenko

1
SE Radio 691: Kacper Łukawski on Qdrant Vector Database 59:51

9d ago59:51

59:51

Kacper Łukawski, a Senior Developer Advocate at Qdrant, speaks with host Gregory M. Kapfhammer about the Qdrant vector database and similarity search engine. After introducing vector databases and the foundational concepts undergirding similarity search, they dive deep into the Rust-based implementation of Qdrant. Along with comparing and contrasti…

1
SE Radio 690: Florian Gilcher on Rust for Safety-Critical Systems 1:03:44

16d ago1:03:44

1:03:44

Florian Gilcher, co-founder of Ferrous Systems and the Rust Foundation, speaks with host Giovanni Asproni about the application of Rust in mission- and safety-critical systems. The discussion starts with a brief overview of such systems, and an introduction to Rust, emphasizing aspects that make it well-suited for critical environments. Florian and…

1
SE Radio 689: Amey Desai on the Model Context Protocol 58:36

22d ago58:36

58:36

Amey Desai, the Chief Technology Officer at Nexla, speaks with host Sriram Panyam about the Model Context Protocol (MCP) and its role in enabling agentic AI systems. The conversation begins with the fundamental challenge that led to MCP's creation: the proliferation of "spaghetti code" and custom integrations as developers tried to connect LLMs to …

1
F82: 𝜑-calculus | Pet проекты | Распил | Социал-дарвинизм | UML | Apple vs. Google | Психологи 1:15:40

26d ago1:15:40

1:15:40

1
SE Radio 688: Daniel Stenberg on Removing Rust from Curl 57:14

30d ago57:14

57:14

Daniel Stenberg, Swedish Internet protocol expert and founder and lead developer of the Curl project, speaks with SE Radio host Gavin Henry about removing Rust from Curl. They discuss why Hyper was removed from curl, why the last five percent of making it a success was difficult, what the project gained from the 5-year attempt to tackle bringing Ru…

1
F81: IDE | Бонусы | GitHub дизлайки | MCP | DDD | Angry Tests | OCaml и аннотации типов 1:19:56

1M ago1:19:56

1:19:56

Video is here: https://youtube.com/live/9MBRNUDqg9UBy Yegor Bugayenko

1
SE Radio 687: Elizabeth Figura on Proton and Wine 52:17

1M ago52:17

52:17

Elizabeth Figura, a Wine Developer at CodeWeavers, speaks with SE Radio host Jeremy Jung about the Wine compatibility layer and the Proton distribution. They discuss a wide range of details including system calls, what people run with Wine, how games are built differently, conformance and regression testing, native performance, emulating a CPU vs e…

1
И36: В.И. Хориков | Лучшие практики юнит тестирования 1:19:41

1M ago1:19:41

1:19:41

Владимир Хориков — автор книг о unit тестировании, блоггер, спикер, программист на C#.Видео: https://youtu.be/9NT40K8KI6UBy Yegor Bugayenko

1
SE Radio 686: François Daoust on W3C 1:02:36

1M ago1:02:36

1:02:36

François Daoust, W3C staff member and co-chair of the Web Developer Experience Community Group, discusses the origins of the W3C, the browser standardization process, and how it relates to other organizations like TC39, WHATWG, and IETF. This episode covers a lot of ground, including funding through memberships, royalty-free patent access for imple…

1
F80: Хаос | Bugs | Пентагон | Чарли Кирк | Продажники | Android | Технократия | Страх смерти 1:13:18

2M ago1:13:18

1:13:18

Video is here: https://youtube.com/live/Ko67rfegDREBy Yegor Bugayenko

1
SE Radio 685: Will Wilson on Deterministic Simulation Testing 1:01:14

2M ago1:01:14

1:01:14

In this episode, Will Wilson, CEO and co-founder of Antithesis, explores Deterministic Simulation Testing (DST) with host Sriram Panyam. Wilson was part of the pioneering team at FoundationDB that developed this revolutionary testing approach, which was later acquired by Apple in 2015. After seeing that even sophisticated organizations lacked robus…

1
F79: Zerocracy | Claude Code | TDD | ICPC | Тим лиды | IDE | Бесполезные менеджеры 1:14:40

2M ago1:14:40

1:14:40

Video is here: https://youtube.com/live/yiao6dgdZLoBy Yegor Bugayenko

1
SE Radio 684: Dan Bergh Johnsson and Daniel Deogun on Secure By Design 56:43

2M ago56:43

56:43

Daniel Deogun and Dan Bergh Johnsson -- two of the co-authors of the book, Secure by Design -- discuss the intersection of good software design and security with host Sam Taggart. They describe how following certain software design principles can help developers create secure software without needing to become security experts. They talked about ho…

1
F78: Code Review | ООП | Чистые Пруды | Токсики | Релоканты | Тим Лиды 1:16:00

2M ago1:16:00

1:16:00

Video is here: https://youtube.com/live/E8Ol8zWYP6UBy Yegor Bugayenko

1
SE Radio 683: Artie Shevchenko on Programmers as Code Health Guardians 53:30

2M ago53:30

53:30

Artie Shevchenko, author of Code Health Guardian, speaks with host Jeff Doolittle about the crucial role of human programmers in the AI era, emphasizing that humans must excel at managing code complexity. Shevchenko discusses these concepts and key takeaways from his book, including the three problems caused by complexity: change amplification, cog…

1
SE Radio 682: Duncan McGregor and Nat Pryce on Refactoring from Java to Kotlin 57:23

2M ago57:23

57:23

Duncan McGregor and Nat Pryce, co-authors of Java to Kotlin: Refactoring Guidebook, speak with host Giovanni Asproni about their hands-on experiences migrating Java codebases. The episode starts by highlighting Kotlin's seamless interoperability with Java, allowing teams to incrementally adopt Kotlin without disrupting existing Java code. Duncan an…

1
F77: XDSD | Военные хакеры | DI контейнеры | Школа архитекторов | Кремниевая долина 1:12:06

2M ago1:12:06

1:12:06

Video is here: https://youtube.com/live/CQaYDuEZ_9MBy Yegor Bugayenko

1
SE Radio 681: Qian Li on DBOS Durable Execution/Serverless Computing Platform 52:17

3M ago52:17

52:17

Qian Li of DBOS, a durable execution platform born from research by the creators of Postgres and Spark, speaks with host Kanchan Shringi about building durable, observable, and scalable software systems, and why that matters for modern applications. They discuss database-backed program state, workflow orchestration, real-world AI use cases, and com…

1
F76: FOMO | Prolog | Отпуск | Декомпозиция задач | A и С игроки | Германия | ООП | Ревность 1:16:32

3M ago1:16:32

1:16:32

Video is here: https://youtube.com/live/xh5Yv0Umc1QBy Yegor Bugayenko

1
SE Radio 680: Luke Hinds on Privacy and Security of AI Coding Assistants 45:37

3M ago45:37

45:37

Luke Hinds, CTO of Stacklok and creator of Sigstore, speaks with SE Radio's Brijesh Ammanath about the privacy and security concerns of using AI coding agents. They discuss how the increased use of AI coding assistants has improved programmer productivity but has also introduced certain key risks. In the area of secrets management, for example, the…

1
F75: Некомпетентные и трусливые менеджеры | Max | AI архитектура | Саботаж | Zerocracy | Алкоголь 1:19:18

3M ago1:19:18

1:19:18

Video is here: https://youtube.com/live/TBpNG70xWswBy Yegor Bugayenko

1
SE Radio 679: Wesley Beary on API Design 47:51

3M ago47:51

47:51

Wesley Beary of Anchor speaks with host Sam Taggart about designing APIs with a particular emphasis on user experience. Wesley discusses what it means to be an "API connoisseur"— paying attention to what makes the APIs we consume enjoyable or frustrating and then taking those lessons and using them when we design our own APIs. Wesley and Sam also e…

1
F74: CTO | Монорепо | Преподавание | Интервью и конфликты | Хаос в проекте | Женщины и мы 1:17:30

3M ago1:17:30

1:17:30

Video is here: https://youtube.com/live/tNabMOkD6i4By Yegor Bugayenko

1
SE Radio 678: Chris Love on Kubernetes Security 54:36

3M ago54:36

54:36

Chris Love, co-author of the book Core Kubernetes, joins host Robert Blumen for a conversation about kubernetes security. Chris identifies the node layer, secrets management, the network layer, contains, and pods as the most critical areas to be addressed. The conversation explores a range of topics, including when to accept defaults and when to ov…

1
F73: Свадьба Безоса | Рынок IT | OOP | MBA | Swift | QA | Хаос в офисе | Open Source | Zerocracy 1:08:22

3M ago1:08:22

1:08:22

Video is here: https://youtube.com/live/oJNw9g2Gm-YBy Yegor Bugayenko

1
SE Radio 677: Jacob Visovatti and Conner Goodrum on Testing ML Models for Enterprise Products 1:00:54

4M ago1:00:54

1:00:54

Jacob Visovatti and Conner Goodrum of Deepgram speak with host Kanchan Shringi about testing ML models for enterprise use and why it's critical for product reliability and quality. They discuss the challenges of testing machine learning models in enterprise environments, especially in foundational AI contexts. The conversation particularly highligh…

1
F72: Адреналин | Этика в карьере | СДВГ | большевики | ORM | горизонтальный рост 1:03:24

4M ago1:03:24

1:03:24

Video is here: https://youtube.com/live/ztn5hgGwiMcBy Yegor Bugayenko

1
SE Radio 676: Samuel Colvin on the Pydantic Ecosystem 1:02:06

4M ago1:02:06

1:02:06

Samuel Colvin, the CEO and founder of Pydantic, speaks with host Gregory M. Kapfhammer about the ecosystem of Pydantic's Python frameworks, including Pydantic, Pydantic AI, and Pydantic Logfire. Along with discussing the design, implementation, and use of these frameworks, they dive into the refactoring of Pydantic and the follow-on performance imp…

1
F71: Эстетика первична | Обратная связь | Исследователи | Солопренеры | Видео игры | Любовь и брак 1:22:20

4M ago1:22:20

1:22:20

Video is here: https://youtube.com/live/u-HztG2z-kUBy Yegor Bugayenko

1
SE Radio 675: Brian Demers on Observability into the Toolchain 47:41

4M ago47:41

47:41

Brian Demers, Developer Advocate at Gradle, speaks with host Giovanni Asproni about the importance of having observability in the toolchain. Such information about build times, compiler warnings, test executions, and any other system used to build the production code can help to reduce defects, increase productivity, and improve the developer exper…

1
F70: Хабр | DevOps | успех и продуктивность | Work-Life Balance | WordPress и осуждение | CTF 1:01:46

4M ago1:01:46

1:01:46

Видео здесь: https://youtube.com/live/kh6X48ib2bUBy Yegor Bugayenko

1
SE Radio 674: Vilhelm von Ehrenheim on Autonomous Testing 49:49

4M ago49:49

49:49

Vilhelm von Ehrenheim, co-founder and chief AI officer of QA.tech, speaks with SE Radio's Brijesh Ammanath about autonomous testing. The discussion starts by covering the fundamentals, and how testing has evolved from manual to automated to now autonomous. Vilhelm then deep dives into the details of autonomous testing and the role of agents in auto…

1
И35: А. И. Коробейников | компиляторы | LLVM | MLIR | Clang | биоинформатика 1:02:16

4M ago1:02:16

1:02:16

1
F69: Метрики | MAX | Neovim | Шутки с судьбой | Radio-T | macOS vs. Windows | стартапы и мошенники 1:06:46

4M ago1:06:46

1:06:46

Видео здесь: https://youtube.com/live/sWxPB7vycUIBy Yegor Bugayenko

1
SE Radio 673: Abhinav Kimothi on Retrieval-Augmented Generation 55:55

4M ago55:55

55:55

In this episode of Software Engineering Radio, Abhinav Kimothi sits down with host Priyanka Raghavan to explore retrieval-augmented generation (RAG), drawing insights from Abhinav's book, A Simple Guide to Retrieval-Augmented Generation. The conversation begins with an introduction to key concepts, including large language models (LLMs), context wi…

1
SE Radio 672: Luca Palmieri on Rust In Production 57:46

5M ago57:46

57:46

Luca Palmieri, author of Zero to Production in Rust and Principal Engineering Consultant at MainMatter, speaks with SE Radio host Gavin Henry about Rust in production. They discuss what production Rust means, how to get Rust code into production, specific Rust issues to think about when getting an application into production, what Rust profiles are…

1
И34: И. А. Крайнева | Архив Ершова | Информатика до Перестройки | ЕС ЭВМ | Диверсия против СССР 1:16:49

5M ago1:16:49

1:16:49

Видео здесь: https://youtu.be/ZpTCiotJZO8By Yegor Bugayenko

1
SE Radio 671: Carson Gross on HTMX 1:15:39

5M ago1:15:39

1:15:39

In this episode, SE Radio host Sriram Panyam explores HTMX with its creator, Carson Gross, who is also creator of Hyperscript, the mind behind the Grug Brained Developer, a professor of software engineering at Montana State University, and co-author of Hypermedia Systems. HTMX is a modern JavaScript library that allows developers to access AJAX, We…

1
F68: Наказания для Кодеров | ООП | MBA | Инфоцыгане | Zerocracy | Павка Корчагин 1:19:36

5M ago1:19:36

1:19:36

1
SE Radio 670: Matthias Endler on Prototype in Rust 1:01:01

5M ago1:01:01

1:01:01

Matthias Endler, Rust developer, open-source maintainer, and consultant through his company Corrode, speaks with SE Radio host Gavin Henry about prototyping in Rust. They discuss prototyping and why Rust is excellent for prototyping, and Matthias recommends a workflow for it, including what parts of Rust to use, and what parts to avoid at this stag…

1
F67: Java | Agil | CI/CD | MCP | зарплаты | софт скиллы | левые взгляды | справедливость 1:03:26

5M ago1:03:26

1:03:26

1
SE Radio 669: Will McGugan on Text-Based User Interfaces 51:26

5M ago51:26

51:26

Will McGugan, the CEO and founder of Textualize, speaks with host Gregory M. Kapfhammer about how to use packages such as Rich and Textual to build text-based user interfaces (TUIs) and command-line interfaces (CLIs) in Python. Along with discussing the design idioms that enable developers to create TUIs in Python, they consider practical strategie…

1
F66: Децентрализация | Guy Ritchie | Aibolit | Ruby on Rails | Работа в Яндекс | Билл Гейтс 1:02:14

6M ago1:02:14

1:02:14

1
N26: Марс и Маск | MEME Act | Переговоры с Зеленским | День Победы | Таганское ОПГ 50:59

6M ago50:59

50:59

Видео здесь: https://youtu.be/_NqiX22XWNcBy Yegor Bugayenko

1
SE Radio 668: Steve Summers on Securing Test and Measurement Equipment 54:32

6M ago54:32

54:32

Steve Summers speaks with SE Radio host Sam Taggart about securing test and measurement equipment. They start by differentiating between IT and OT (Operational Technology) and then discuss the threat model and how security has evolved in the OT space, including a look some of the key drivers. They then examine security challenges associated with a …