# The Developing Dev Sharing learnings from the transparent career stories of technical people, written by an ex-software engineer @ Instagram This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles. ## Casey Muratori: Surprises In Computer History And Where Bad Code Comes From DevFeed: [Casey Muratori: Surprises In Computer History And Where Bad Code Comes From]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-09-14T13:03:29Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [Computer science](), [Programming](), [Optimization](), [Code]() Tags: [code](), [optimization](), [performance](), [programming](), [science]() ### AI overview A podcast conversation with Casey Muratori explores computer science history, programming culture, the video game industry, and the lasting interpretations of Donald Knuth's warning about premature optimization. ### Source excerpt In this episode, my goal was to record a conversation that was completely free of any "AI doom" content. ## How Anthropic Uses AI in Software Engineering DevFeed: [How Anthropic Uses AI in Software Engineering]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-09-07T13:17:19Z Content type: opinion Language: en Sources: [The Developing Dev]() Topics: [anthropic](), [Claude Code](), [Claude](), [Software Engineering](), [Artificial Intelligence]() Tags: [ai](), [anthropic](), [claude-code](), [software-engineering](), [talk]() ### AI overview A conversation with Anthropic Claude Code engineer Thariq Shihipar about how the company uses AI models in software engineering, including onboarding, code maintenance, preventing AI-written breakages, and autonomous work. ### Source excerpt When I talk with my friends who work at Anthropic it always surprises me how far ahead they are in adopting AI within their processes and workflows. ## Creator of Scala: Comparing Languages And How AI Will Impact Them | Martin Odersky DevFeed: [Creator of Scala: Comparing Languages And How AI Will Impact Them | Martin Odersky]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-08-31T13:05:35Z Content type: opinion Language: en Sources: [The Developing Dev]() Topics: [Scala](), [Programming language](), [Functional programming](), [Artificial Intelligence](), [Large Language Model]() Tags: [ai](), [functional-programming](), [languages](), [llms](), [scala]() ### AI overview An interview with Martin Odersky, creator of Scala, compares Rust, Zig, Python, and Scala and discusses how AI may affect programming-language ecosystems. Odersky also explains functional programming as a style based on values and functions, with minimal mutable state and side effects. ### Source excerpt There are so many choices every programming language creator makes while navigating engineering tradeoffs in building one. ## Sergey Levine: Current State of Humanoid Robotics, China & Future Predictions DevFeed: [Sergey Levine: Current State of Humanoid Robotics, China & Future Predictions]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-08-24T13:05:33Z Content type: opinion Language: en Sources: [The Developing Dev]() Topics: [Robotics](), [Humanoid Robots](), [Physical AI](), [Machine learning](), [Large Language Model]() Tags: [china](), [future](), [humanoid-robots](), [llms](), [machine-learning](), [physical-ai](), [predictions](), [robotics]() ### AI overview An interview with robotics researcher Sergey Levine examines the current state of humanoid robotics, China's robotics ecosystem, possible competitors, future timelines, and how humanoid robots may be deployed. Levine discusses the importance of scaling the right technology, data, and model size. ### Source excerpt Sergey Levine is one of the world's top robotics researchers and co-founder of Physical Intelligence. ## Anders Hejlsberg on Rewriting the TypeScript Compiler in Go DevFeed: [Anders Hejlsberg on Rewriting the TypeScript Compiler in Go]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-08-17T13:03:31Z Content type: opinion Language: en Sources: [The Developing Dev]() Topics: [TypeScript](), [Compiler](), [Go Language](), [Artificial Intelligence](), [Software Engineering]() Tags: [ai](), [compiler](), [go](), [podcasts](), [software-engineering](), [typescript]() ### AI overview A podcast interview with Anders Hejlsberg discusses the decision to rewrite the TypeScript compiler in Go, the limited use of LLMs during the rewrite, and his views on AI's impact on software engineering. ### Source excerpt It was interesting talking to Anders Hejlsberg, the creator of TypeScript and C#, about all the technical details behind rewriting the TypeScript compiler in Go. ## Leonardo de Moura on Lean, Formal Verification, and the Future of Mathematics DevFeed: [Leonardo de Moura on Lean, Formal Verification, and the Future of Mathematics]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-08-10T13:03:04Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [Lean](), [Formal verification](), [math](), [Large Language Model]() Tags: [code](), [formal-verification](), [google](), [language](), [llms](), [math](), [podcasts](), [programming](), [programming-language](), [software](), [verification]() ### AI overview An interview with Leonardo de Moura, creator of Lean, about using the programming language for machine-checkable proofs, software verification, and mathematical reasoning. The discussion also covers how LLMs can work with Lean to generate and verify proofs. ### Source excerpt In 2024, AlphaProof from Google Deepmind broke through in competition math achieving a silver-medal in Interational Mathematical Olympiad (IMO). ## Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy DevFeed: [Creator of Lua: Scripting, Programming Languages, Predictions | Roberto Ierusalimschy]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-08-03T13:05:15Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [Lua](), [Programming](), [Scripting](), [C++](), [C](), [Code]() Tags: [c](), [c-plus-plus](), [lua](), [programming](), [programming-languages](), [python](), [scripting]() ### AI overview A conversation with Lua creator Roberto Ierusalimschy explains how Lua works as an embeddable scripting language alongside C or C++, including how applications can call Lua or Lua can call C. The discussion also covers Lua's use in games such as World of Warcraft and Roblox and recommendations for learning other programming languages. ### Source excerpt When I worked at Instagram, most of the codebase was in Python but occasionally I'd see these bindings into C++. ## Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl DevFeed: [Turing Award Winner: Early AI, LLM Predictions, Causality | Judea Pearl]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-07-27T13:06:14Z Content type: opinion Language: en Sources: [The Developing Dev]() Topics: [Artificial Intelligence](), [Networks](), [Algorithms, Complexity](), [Learning]() Tags: [ai](), [algorithms](), [artificial-intelligence](), [learning](), [networks]() ### AI overview A podcast interview with Judea Pearl about his career, early artificial intelligence, causal reasoning, Bayesian networks, alpha-beta pruning, physics, and approaches to science education. ### Source excerpt When I went to UCLA, I had heard professor Pearl's name here and there from the other professors. ## Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy DevFeed: [Creator of OCaml: Functional Programming, Formal Verification, Programming Languages | Xavier Leroy]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-07-20T13:05:11Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [OCaml](), [Functional programming](), [Programming](), [Formal verification](), [Programming language]() Tags: [formal-verification](), [functional](), [functional-programming](), [ocaml](), [programming](), [programming-language](), [verification]() ### AI overview A podcast transcript featuring Xavier Leroy discusses what distinguishes OCaml, including its functional and systems programming capabilities, type inference, control structures, predictable execution costs, and low-latency garbage collection. The conversation also covers formal verification through the CompCert project and comparisons with languages such as Rust and JavaScript. ### Source excerpt Professor Leroy (Creator of OCaml) is incredibly knowledgeable. ## Turing Award Winner: TPUs vs GPUs vs CPUs, Computer Architecture, RISC vs CISC | David Patterson DevFeed: [Turing Award Winner: TPUs vs GPUs vs CPUs, Computer Architecture, RISC vs CISC | David Patterson]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-07-13T13:05:15Z Content type: opinion Language: en Sources: [The Developing Dev]() Topics: [cpu]() Tags: [2](), [apple](), [architecture](), [c-plus-plus](), [computer](), [podcast](), [podcasts](), [youtube]() ### AI overview A podcast conversation with David Patterson covers the history of the RISC versus CISC debate and differences among CPUs, GPUs, and TPUs, drawing on Patterson's computer architecture expertise. ### Source excerpt In college I briefly studied RISC vs CISC for my major but I forgot almost everything now. ## Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman DevFeed: [Turing Award Winner: NSA, Public Key Cryptography, Crypto Wars | Martin Hellman]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-07-06T13:02:52Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [Cryptography](), [Algorithm](), [Security](), [Encryption]() Tags: [algorithm](), [crypto](), [cryptography](), [research](), [security]() ### AI overview An interview with Martin Hellman, one of the inventors of the Diffie-Hellman key exchange algorithm, discusses the early development of cryptography, its relationship with the U.S. National Security Agency, and legal conflicts surrounding cryptographic research. ### Source excerpt Interviewed Martin Hellman recently who was one of the inventors of the Diffie-Hellman key exchange algorithm. ## Ryan Williams Explains the 3SUM Problem and Its O(n²) Solution DevFeed: [Ryan Williams Explains the 3SUM Problem and Its O(n²) Solution]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-06-29T10:02:33Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [LeetCode](), [Algorithm](), [Computer science]() Tags: [algorithm](), [apple](), [computer-science](), [go](), [youtube]() ### AI overview An interview with MIT professor Ryan Williams begins with the LeetCode 3SUM problem. It explains the brute-force O(n³) approach and an O(n²) method that sorts the numbers and uses two moving pointers to search for a solution. ### Source excerpt Ryan Williams is a professor at MIT and the winner of the Gödel Prize in theoretical computer science. ## OpenAI Eng & Dev Tools Founder: How Software Engineering Is Changing | Charlie Marsh DevFeed: [OpenAI Eng & Dev Tools Founder: How Software Engineering Is Changing | Charlie Marsh]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-06-22T09:45:53Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [dev-tools](), [Development](), [Python](), [Software Engineering](), [engineering-culture]() Tags: [dev](), [dev-tools](), [engineering](), [go](), [javascript](), [linter](), [openai](), [python](), [rust](), [software-engineering](), [tooling](), [tools]() ### AI overview An interview with Charlie Marsh, founder of Astral, examines how software engineering and developer tooling are changing. Marsh discusses his experience building Python systems, limitations in Python tooling, and the influence of performance-focused native tools in the JavaScript ecosystem. ### Source excerpt Charlie Marsh is the founder of Astral, the Python devtool startup that was acquired by OpenAI. ## Google DeepMind Pre-Training Lead: How To Get a Job at a Frontier Lab | Vlad Feinberg DevFeed: [Google DeepMind Pre-Training Lead: How To Get a Job at a Frontier Lab | Vlad Feinberg]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-06-15T09:01:40Z Content type: opinion Language: en Sources: [The Developing Dev]() Topics: [Google](), [Large Language Model](), [Back end](), [Caching](), [Latency](), [Kernel](), [anthropic](), [OpenAI]() Tags: [anthropic](), [backend](), [caching](), [google](), [kernel](), [latency](), [llms](), [machine-learning](), [openai]() ### AI overview A podcast conversation with Vlad Feinberg, Google DeepMind's pre-training area lead, examines how to pursue work at frontier AI labs. It discusses demand for kernel development, low-level engineering, backend engineering, efficient LLM serving, KV caching, high throughput, and low latency, along with distinctions between research and applied organizations. ### Source excerpt Skills frontier labs need, differences between software engineering and research, concrete steps engineers can take ## Simon Peyton Jones on Haskell and Why Functional Programming Matters DevFeed: [Simon Peyton Jones on Haskell and Why Functional Programming Matters]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-06-08T10:02:31Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [Functional programming](), [Haskell](), [Programming](), [Declarative programming](), [Programming language]() Tags: [declarative](), [functional-programming](), [languages](), [programming](), [programming-language](), [types]() ### AI overview An interview with Simon Peyton Jones, co-creator of Haskell, about functional programming, its emphasis on values rather than mutation, and how it differs from imperative programming. ### Source excerpt Simon Peyton Jones is the co-creator of Haskell (pure functional programming language) and I interviewed him about functional programming, why it matters, and his thoughts on other programming languages. ## Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson DevFeed: [Turing Award Winner: P vs NP, Zero-Knowledge Proofs, Quantum Computation | Avi Wigderson]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-06-01T10:02:09Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [Algorithms, Complexity](), [Computer science](), [Programming]() Tags: [algorithm](), [algorithms](), [computer-science]() ### AI overview An interview with Avi Wigderson explains the P versus NP problem as a question about which problems computers can solve efficiently and which solutions can be efficiently checked. The discussion connects these ideas to algorithms and real-world applications such as navigation. ### Source excerpt His field of study & life's work ## 3 Top Takeaways From Dropbox's Former Most Senior Engineer | James Cowling DevFeed: [3 Top Takeaways From Dropbox's Former Most Senior Engineer | James Cowling]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-05-25T13:15:50Z Content type: opinion Language: en Sources: [The Developing Dev]() Topics: [Programming](), [Claude Code](), [systems](), [migration](), [Amazon Web Services]() Tags: [aws](), [career-advice](), [claude](), [claude-code](), [code](), [migration](), [systems]() ### AI overview This article distills three takeaways from an interview with James Cowling, formerly Dropbox's most senior engineer: build problem-solving experience in the AI era, avoid team incentives tied too closely to owned systems, and aim for simple system designs. ### Source excerpt Advice for the AI era, fixing broken incentives, simplicity vs complexity ## Dropbox's Former Most Senior Eng: Building Great Systems and Advice for the AI Era | James Cowling DevFeed: [Dropbox's Former Most Senior Eng: Building Great Systems and Advice for the AI Era | James Cowling]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-05-25T10:00:57Z Content type: opinion Language: en Sources: [The Developing Dev]() Topics: [systems](), [distributed-systems](), [Concurrency](), [Transactions](), [Computer science](), [Replication](), [Protocol (disambiguation)]() Tags: [concurrency](), [consensus](), [distributed](), [distributed-system](), [distributed-transaction](), [protocol](), [replication](), [systems](), [technical](), [transactions]() ### AI overview A podcast interview with James Cowling, CTO of Convex and former senior engineer at Dropbox, about designing abstractions and large-scale transactional systems. Cowling discusses Granola, distributed transaction coordination, concurrency, Byzantine fault tolerance, and career advice in the context of AI. ### Source excerpt Transcript & Audio ## Takeaways from Bjarne Stroustrup (Creator of C++) DevFeed: [Takeaways from Bjarne Stroustrup (Creator of C++)]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-05-18T13:15:40Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [C++](), [Programming](), [C](), [Compiler](), [API]() Tags: [api](), [c](), [c-plus-plus](), [compiler](), [garbage-collection](), [memory-management](), [programming]() ### AI overview An interview with Bjarne Stroustrup covers Bell Labs' research culture, how C++ abstractions can enable compiler optimizations, and the history of a standard garbage collection interface in C++. ### Source excerpt What made Bell Labs special, negative overhead abstraction, C++ garbage collection ## Bjarne Stroustrup on Bell Labs and the Origins of C++ DevFeed: [Bjarne Stroustrup on Bell Labs and the Origins of C++]() Original publisher: [Read original article]() Author: Ryan Peterman Published: 2026-05-18T10:02:48Z Content type: article Language: en Sources: [The Developing Dev]() Topics: [C++](), [Programming language](), [systems](), [Unix](), [networking]() Tags: [c-plus-plus](), [language](), [networking](), [programming](), [systems]() ### AI overview A podcast interview with Bjarne Stroustrup covers his work at Bell Labs and the origins of C++. He explains that C++ combined C's low-level hardware access with Simula's class concept and higher-level programming features for systems programming. ### Source excerpt Transcript & Audio