Programming Languages stories from Lobsters

The tech world mourns Tony Hoare, the Turing Award winner and creator of quicksort and ALGOL, who passed away at 92. Beyond his landmark contributions to Computer Science and Hoare logic, colleagues remember his humble personality, sharp wit, and professional career spanning early Soviet Union computer demonstrations to Microsoft Research.

The Zig programming language's devlog for 2026 highlights a significant architectural transition involving the zig libc subproject. Led by Andrew Kelley and contributors, the project aims to replace vendored C source files with Zig standard library wrappers. This initiative has already removed approximately 250 C source files, moving toward a goal of total independence from third-party C dependencies. Key benefits of this transition include improved compilation speeds, reduced binary sizes due to better static linking, and a smaller installation footprint. Furthermore, by sharing a Zig Compilation Unit (ZCU) instead of using separate static archives, the compiler can perform optimizations across the libc boundary similar to front-end Link-Time Optimization (LTO). This shift also opens future possibilities for resource leak detection and integrating libc I/O calls directly into event loops like io_uring.

Gram is a highly configurable, high-performance code editor forked from Zed. It features built-in documentation, Git support, and debugging via the DAP protocol. Designed to be powerful out of the box, it maintains compatibility with Zed extensions while hosting its source code on Codeberg.

After a decade of instability, five unsuccessful stabilization attempts, and more than two years of personal work, the never type is finally stable in Rust nightly, pending release in a new nightly version. The announcement expresses relief and emptiness, and references the speaker’s “when is never” talk.

Mitchell Hashimoto has pledged an additional $400,000 to the Zig Software Foundation, continuing his support for the project's development and unique culture. Despite his own usage of AI, he values Zig's independent philosophy and stringent quality standards, emphasizing the importance of respecting diverse project boundaries and cultures within the open source ecosystem.

EVE Online is beginning a staged migration from Python 2.7 to Python 3 across 2.4 million lines of code. Stage 1 uses Python-Future to make code compatible with both versions, while later stages address behavioral differences manually. The transition should be invisible to players, ultimately enabling better performance, modern tooling, faster bug fixes, and easier future development.

Rob Pike's five rules of programming emphasize simplicity, data-driven design, and avoiding premature optimization. By prioritizing clear, straightforward algorithms and robust data structures, developers achieve better performance and maintainability. These principles advocate for measuring actual bottlenecks before optimizing and choosing simplicity over complexity to minimize bugs and overhead, aligning with the KISS philosophy.

In this insightful reflection from the creator of Redis, the narrative describes a profound shift in the software development landscape due to advancements in AI and Large Language Models. Initially skeptical about the speed of this transformation, the author now observes through hands-on experience that LLMs can perform complex system programming tasks, such as fixing bugs in Redis or writing C libraries, in minutes rather than weeks. This evolution suggests that manual coding is becoming obsolete, shifting the developer's role toward high-level design and problem representation. While acknowledging concerns about economic displacement and the centralization of AI power, the author views these tools as a continuation of the open-source movement's goal to democratize technology. The summary emphasizes that programmers must embrace these tools to remain relevant and continue the core human drive of building and innovation.

Gleam v1.19.0 replaces generated Erlang source with Erlang abstract forms, an intermediate representation loaded directly by the Erlang compiler. The rewrite improves build performance, makes runtime locations match original Gleam code, and strengthens compiler maintainability. JavaScript compilation gains flatter pattern-matching conditions, faster short-list construction, and TypeScript overloads that preserve generic types. The release also improves integration with Mix and rebar3, language-server label support, browser formatting, diagnostics, and compiler fault tolerance.

Zig v0.17.0 delivers five months of work from 206 contributors, substantially reworking the Build System with a Build Server Protocol and improving the ELF Linker for Incremental Compilation on x86_64-linux. It advances language stabilization, introduces new builtins and SPIR-V support, modernizes the Standard Library, expands target coverage, updates the toolchain, and includes significant breaking changes.

C3's creator realized that calling it a “C alternative” misrepresented its goal. Inspired by Turbo Pascal and procedural programming, he seeks C’s simplicity and performance with modern ergonomics—dynamic data structures, convenient abstractions, and fast development—without OOP’s up-front architectural coupling. C3 is intended for general-purpose applications, not merely C’s current niches such as systems and embedded software.

Pandoc celebrates its 20th anniversary as the leading Haskell-based document conversion tool. Created by John MacFarlane in 2006, it supports over 50 formats via an extensible architecture. Despite the rise of LLMs, Pandoc remains essential for its deterministic output, energy efficiency, and reliability, continuing to support millions of users worldwide across academic and professional sectors.