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.

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.

The author defines the 'mothlamp problem' as an engineering challenge that is intellectually alluring yet incredibly difficult and of questionable utility. Examples include building custom programming languages or IDEs. These projects, though often unfinished, serve as vital exercises for creativity, technical growth, and the pursuit of a grand vision.

Rust’s next-generation trait solver, developed for nearly four years, is enabled by default on nightly ahead of stabilization. It replaces core compiler logic, fixes 200+ known issues, improves impl Trait and higher-ranked associated-type handling, and can substantially improve compile times, though breakage and diagnostic regressions remain. Developers should test nightly and report issues on GitHub.