SQLite is the most deployed database engine on earth, running on billions of devices from smartphones to airplanes. Yet most developers barely think about it. In this episode of The Programming Languages Podcast with Fexingo, Lucas and Luna explore how SQLite became a critical piece of infrastructure, why its single-file design and public-domain licensing made it ubiquitous, and how it handles concurrency without a server. They discuss its origins in the 2000 dot-com bust, its adoption by every major mobile OS, and its surprising role in the 2026 serverless and edge computing landscape. Specific numbers: over one trillion SQLite databases are in active use, and the codebase has 100 percent branch test coverage. The hosts also touch on SQLite's limitations and when you should reach for something else. If you've ever wondered what's really storing your phone's text messages or your browser's bookmarks, this episode is for you.

#SQLite #Database #EmbeddedDatabase #Serverless #EdgeComputing #OpenSource #PublicDomain #DevTools #SoftwareInfrastructure #MobileDevelopment #Backend #DataStorage #Technology #Coding #Fexingo #FexingoBusiness #BusinessPodcast #ProgrammingLanguagesPodcast

Keep every episode free: buymeacoffee.com/fexingo

Episode 30 of The Programming Languages Podcast explores formal verification — the practice of mathematically proving code correctness — and why it's moving beyond aerospace and academia into everyday development. Lucas and Luna examine how Amazon Web Services uses TLA+ to verify its distributed systems, preventing outages like the ones that cost e-commerce platforms millions per hour. They break down the core trade-off: formal methods catch bugs that testing never will, but they require a fundamentally different mindset and impose steep upfront costs. With tools like Dafny, F*, and the rise of Rust's safety guarantees, the hosts ask whether 2026 is finally the year formal verification goes mainstream. The conversation touches on the real-world math behind Amazon's DynamoDB consistency proofs, why start-ups are hiring verification engineers, and the open-source projects leading the charge.

#FormalVerification #TLA+ #AmazonWebServices #Dafny #Rust #ProgrammingLanguages #SoftwareCorrectness #DistributedSystems #DynamoDB #TechPodcast #Technology #FexingoBusiness #BusinessPodcast #Podcast #Programming #SoftwareEngineering #OpenSource #CodeQuality

Keep every episode free: buymeacoffee.com/fexingo

Software supply chain attacks hit a new record in Q1 2026, with the number of malicious packages discovered on public registries up 80 percent year-over-year. Lucas and Luna break down how a single compromised npm package called 'event-stream' in 2018 foreshadowed today's crisis, and examine the new defenses developers are adopting: signature-based attestation from the Sigstore project, dependency pinning with verified lockfiles, and runtime monitoring tools like OpenGuard. They drill into the specific case of the 'user-agent-parse' attack in February 2026, where a typosquatted package exfiltrated AWS credentials from 2000 CI pipelines before being caught. The episode concludes with a practical checklist any team can implement this week to reduce their exposure, including why 'just audit your dependencies' is no longer enough. No abstract warnings: concrete tools, real CVEs, and a realistic threat model for a mid-sized engineering team in mid-2026.

#SupplyChainSecurity #SoftwareSecurity #npm #Sigstore #OpenGuard #Typosquatting #DevOps #CyberSecurity #JavaScript #PythonPackaging #CI/CD #PackageManagement #DependencyHell #Technology #FexingoBusiness #BusinessPodcast #DeveloperTools #OpenSourceSecurity

Keep every episode free: buymeacoffee.com/fexingo

Lucas and Luna dive into the rise of Kotlin Multiplatform in 2026. They explain how JetBrains' language is enabling true code sharing across iOS, Android, and web, with a focus on practical adoption at companies like Netflix and Uber. The episode unpacks how Kotlin's compiler and concurrency model give it an edge over Flutter and React Native, and why developers are moving beyond the JVM to target native platforms. Specific numbers: Kotlin Multiplatform adoption grew 40% year-over-year since 2024, with 15% of new mobile apps using it by early 2026. The discussion includes real-world performance benchmarks and developer experience comparisons.

#KotlinMultiplatform #JetBrains #MobileDevelopment #CrossPlatform #Android #iOS #Flutter #ReactNative #ProgrammingLanguages #Technology #FexingoBusiness #BusinessPodcast #SoftwareEngineering #Kotlin #NativeApps #CodeSharing #Netflix #Uber

Keep every episode free: buymeacoffee.com/fexingo

Episode 27 of The Programming Languages Podcast explores Zig—a systems language that's gaining traction among embedded developers, game engine builders, and CLI tool authors. Lucas explains how Zig's compile-time execution replaces C macros, its lack of hidden control flow makes performance predictable, and its cross-compilation story solves the 'just works on my machine' problem. Luna asks whether Zig's manual memory management is a dealbreaker for most teams, and presses Lucas on what's missing: maturity, library ecosystem, and documentation. The hosts compare Zig to Rust, C, and Go, using specific examples like building a zero-overhead allocator and cross-compiling for Raspberry Pi from macOS. They close on whether Zig's 'no hidden allocations' philosophy is worth the trade-off for production code in 2026.

#Zig #SystemsProgramming #ProgrammingLanguages #Technology #CompileTime #CrossCompilation #EmbeddedSystems #GameDev #CLI #Performance #MemoryManagement #Rust #CProgramming #GoLang #Allocators #DeveloperTools #FexingoBusiness #BusinessPodcast

Keep every episode free: buymeacoffee.com/fexingo

Episode 26 of The Programming Languages Podcast explores why Go has become the default language for cloud-native infrastructure. Lucas and Luna trace Go's rise from a 2009 experiment at Google to powering tools like Docker, Kubernetes, and Terraform. They break down what makes Go different: its goroutine concurrency model, fast compilation, and the controversial decision to omit generics for a decade. With cloud workloads exploding, Go's balance of productivity and performance has made it the language behind most of the modern DevOps stack. The episode draws on real usage data, including a 2025 survey showing 68% of Kubernetes contributors primarily use Go, and examines where Go still struggles — like its limited native GUI or mobile support. By the end, listeners will understand why Go earned its reputation as 'the language for the network age' and whether it can maintain that lead as newer languages like Rust and Zig gain traction.

#Go #Golang #CloudNative #Kubernetes #Docker #Terraform #Concurrency #Goroutines #Google #DevOps #InfrastructureAsCode #BackendEngineering #ProgrammingLanguages #Technology #CloudComputing #FexingoBusiness #BusinessPodcast #Podcast

Keep every episode free: buymeacoffee.com/fexingo

In this episode of The Programming Languages Podcast, Lucas and Luna explore why Rust is increasingly replacing Python for systems-level programming in 2026, focusing on a specific case: how a major fintech startup migrated its core transaction engine from Python to Rust, cutting latency by 80% and eliminating memory-safety bugs. They discuss Rust's ownership model, the trade-offs in developer productivity, and why the shift is accelerating despite Python's dominance in AI and data science. The conversation also touches on the role of AI coding assistants in smoothing Rust's learning curve. If you're a developer deciding between Python's rapid prototyping and Rust's performance guarantees, this episode gives you concrete numbers and real-world context to inform your choice.

#Rust #Python #SystemsProgramming #ProgrammingLanguages #Fintech #MemorySafety #Performance #Latency #DeveloperProductivity #AICodingAssistants #TransactionEngine #OwnershipModel #BorrowChecker #Coding #Technology #FexingoBusiness #BusinessPodcast #Podcast

Keep every episode free: buymeacoffee.com/fexingo

In this episode of The Programming Languages Podcast, Lucas and Luna explore how TypeScript has become the dominant language for web development by June 2026, surpassing JavaScript in enterprise adoption. They break down why TypeScript's type system saves teams from costly runtime errors, how Microsoft's strategy of gradual adoption won over developers, and why even die-hard JavaScript fans are making the switch. With the rise of AI coding assistants that generate TypeScript by default, the language's popularity shows no signs of slowing. Lucas shares data on TypeScript's 40% year-over-year growth in package downloads and its impact on developer productivity, while Luna questions whether TypeScript adds unnecessary complexity for small projects. The hosts also discuss the role of Deno and Bun in the TypeScript ecosystem, and why TypeScript is now the default for new React and Node.js projects. A must-listen for any web developer wondering whether to make the jump.

#TypeScript #JavaScript #Microsoft #WebDevelopment #ProgrammingLanguages #TypeSystems #Deno #Bun #NodeJS #React #AI #DeveloperProductivity #Technology #FexingoBusiness #BusinessPodcast #TechPodcast #SoftwareEngineering #TypeSafety

Keep every episode free: buymeacoffee.com/fexingo

In this episode, Lucas and Luna explore why the Python community is deliberately holding off on a Python 4.0 release despite increasing pressure from performance-hungry domains like AI inference and real-time data pipelines. They unpack the core tension: Python 3.x has become too stable and too widely embedded to risk a major version break. The discussion focuses on the Python Steering Council's recent rejection of a 4.0 proposal, the migration costs that would dwarf any theoretical benefit, and how the ecosystem is instead evolving through PEPs that add optional static typing, subinterpreters, and a JIT compiler without bumping the major version number. Specific numbers include 200 million lines of production Python code affected and a projected 3-5 year migration cost of $1.2 billion across the Fortune 500. The episode closes with a look at whether other languages like Rust or Mojo might fill the performance gap Python is leaving on the table.

#Python #Python4 #ProgrammingLanguages #SoftwareEngineering #TechPodcast #OpenSource #PEP #Performance #JITCompiler #StaticTyping #Subinterpreters #SteeringCouncil #Fortune500 #MigrationCost #AI #Inference #Mojo #Rust

Keep every episode free: buymeacoffee.com/fexingo

Lucas and Luna dive into the quiet crisis of semantic versioning—how the 20-year-old convention of MAJOR.MINOR.PATCH is failing modern dependency management. They unpack the real-world example of the left-pad incident, explain why 'breaking change' has become a meaningless label, and explore how tools like Rust's Cargo and the Go module system are experimenting with alternatives. Specific numbers: a 2025 survey found 37% of npm packages pinned to exact versions, up from 12% in 2020, signaling a collapse of trust in semver. Luna challenges whether 'no breaking changes' is even possible in practice.

#SemanticVersioning #DependencyManagement #npm #Rust #Cargo #GoModules #leftpad #SoftwareEngineering #DevOps #PackageManagers #Versioning #BreakingChanges #DependencyHell #OpenSource #Technology #FexingoBusiness #BusinessPodcast #ProgrammingLanguagesPodcast

Keep every episode free: buymeacoffee.com/fexingo