Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Spritely Institute releases Hoot 0.10.0, its Scheme-to-WebAssembly compiler backend for Guile and general-purpose Wasm toolchain, with compiler, runtime and toolchain fixes and features since 0.9.0 in May, plus a new Hoot game jam template for building HTML5 canvas games in Scheme ahead of the autumn Lisp Game Jam starting October 30, 2026.
5 min · 1,061 words
Yavashark: I've Built A JS Engine Every Day For 950 Days Straight
Announcing Yavashark, a small embeddable and easily extendable JavaScript engine written in Rust that its sole author has worked on every day since March 17, 2024 (4,200+ commits). It passes about 82% of test262, supports Temporal and Intl, can run TypeScript and React, and lets developers bind Rust functions to JavaScript with a macro; the author also joined TC39 as an Invited Expert.
4 min · 847 words
Our Response To The eMudhra Key Disclosure Incident
Roland Shoemaker of the Go Security team explains why Go shipped its first-ever URGENT-track security release after weak keys on eight eMudhra intermediate certificates made it possible to forge TLS certificates, with a timeline of the roughly seven-and-a-half-hour response and how to check whether your Go binaries are affected.
6 min · 1,294 words
Today's PHP Security Release, and How We're Strengthening PHP Security
The PHP Foundation explains the two critical RCE vulnerabilities fixed in PHP 8.5.12, 8.4.27, 8.3.36 and 8.2.35, how they were found with researchers and AI security tools and fixed, how PHP security handling has changed over two years, and what dependent organizations need to fund.
8 min · 1,860 words
Dynamic Packages for Free Pascal and Lazarus
The getlazarus.org maintainer announces the first release of full dynamic package support for the Free Pascal Compiler and Lazarus IDE, letting components and plugins be built as shared libraries and installed without rebuilding the IDE, and covers restrictions, runtime changes, IDE improvements and how to help.
5 min · 1,157 words
Interactive refactoring in gopls
The Go team introduces interactive refactoring in gopls, built on a new Language Server Protocol capability designed with the Dart team as an open standard, which lets refactorings run as dynamic multi-step dialogs inside any editor. The post explains the LSP background, walks through example refactorings, and outlines what comes next and how to give feedback.
6 min · 1,468 words
Lean Now Ships with Verified Kernels
Leonardo de Moura explains how Lean v4.35 hardens proof checking after AI-found kernel soundness bugs: a sandboxed `lake check` that rechecks developments with the official kernel, four additional independent kernels, and the scaling challenges ahead for multi-million-line proof libraries.
3 min · 708 words
Evan Czaplicki announces Elm 0.19.3, the second incremental release on the road to an end-to-end Elm experience with Acadia, outlining the rough roadmap for upcoming releases and the compiler infrastructure work aimed at making it correct by construction.
8 min · 1,737 words