All articles, most recently crawled first.
Mitchell Hashimoto explains how to use Zig's comptime feature to conditionally disable code at compile time, comparing it to approaches in C and Go.
A blog post by Hillel Wayne detailing his frustrations with the Prolog programming language, including issues with strings, lack of functions, limited data types, and cuts.
Mitchell Hashimoto demonstrates how to use Zig's comptime to create subset types of tagged unions, enabling compile-time safety without exhaustive case handling.
AI is transforming China's short drama industry, with hundreds of AI-generated dramas released daily, reducing costs and production time. Meanwhile, the WHO reports the world is off track to meet key health targets by 2030.
A blog post explaining how to use refinement mappings to preserve external properties during database schema changes, using examples of migrating a boolean column to a nullable timestamp and then to event sourcing.
Mitchell Hashimoto and his wife pledge $300,000 to the Zig Software Foundation, citing their belief in Zig's transformative potential and their desire to support independent software projects.
Hillel Wayne announces the v0.13 release of his book 'Logic for Programmers', with significant rewrites and new content, and outlines next steps toward a print edition.
Ghostty 1.0, an open-source terminal emulator for macOS and Linux, will be publicly released in December 2024 under the MIT license, aiming to be the fastest, most feature-rich, and platform-native drop-in replacement for existing terminals.
In the third week of the Musk v. Altman trial, both sides attacked each other's credibility over OpenAI's governance and mission. The jury will now deliberate on an advisory verdict that could affect OpenAI's IPO and its restructuring.
Explains the concept of possibility properties in formal methods, complementing safety and liveness, and discusses their use in specification and model checking.
Mitchell Hashimoto reflects on reaching version 1.0 of Ghostty, a terminal emulator he built in Zig, discussing the project's origins, the successful but controversial private beta, and his vision for the terminal.
The author describes a technique called 'Stream of Consciousness Driven Development' where during pair programming, they write a detailed markdown file exploring a problem and solution before making changes, to ensure both partners fully understand the reasoning.
Mitchell Hashimoto announces eight new subsystem maintainers for the open-source Ghostty terminal emulator, outlining the subsystem governance model and goals for scaling the project.
Hostinger is offering discounts on its web hosting plans for May 2026, including up to 79% off the Business plan, 75% off Premium, and 71% off Cloud Startup.
Hillel Wayne shares Z3 scripts he wrote, discussing challenges with logical properties and the concept of 'chaff' from his upcoming book Logic for Programmers.
Mitchell Hashimoto clarifies his personal definition of 'X as Code' as a system of principles or rules rather than equating it to programming, drawing on his experience creating Terraform and the Tao of HashiCorp.
Ars Technica interviews Anthropic's Cat Wu, head of product for Claude Code, about the product's rapid growth, compute constraints, and the company's iterative, model-driven development strategy without a long-term roadmap.
Mitchell Hashimoto details the rewrite of Ghostty's GTK application to fully embrace the GObject type system from Zig, improving stability, features, and memory safety, verified with Valgrind.
Hillel Wayne discusses how LLMs, while popular for writing formal specifications like TLA+ and Alloy, often produce shallow, tautological properties that fail to capture subtle bugs, based on analysis of community projects.
Mitchell Hashimoto shares advice for technical non-profits on improving donation processes and marketing to attract donors, drawing from his own experience with donor-advised funds and other philanthropic causes.