All articles, most recently crawled first.
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.
Ars Technica reviews the Velotric Discover M e-bike, highlighting its upgraded mid-drive motor, Shimano Cues components, and comfortable commuter design at a reasonable price.
This article discusses how AI-generated code and agentic AI are overwhelming open source maintainers with low-quality pull requests and bug reports, causing projects like curl to drop bug bounties and leading to harassment of maintainers.
The article argues that teams should choose boring, well-understood technology for reliability, while being free to innovate in development practices like TCR (test && commit || revert), which are easier to adopt and abandon without long-term maintenance burden.
A reflective essay emphasizing that beyond meeting specifications and delivering demos, great software must evoke the right feeling in its users—a quality that cannot be measured by checkboxes alone.
Pennsylvania residents at a town hall meeting voiced strong opposition to the rapid growth of data centers, citing inadequate zoning, tax breaks, and lack of transparency. State legislators proposed a moratorium and reforms to give communities more control.