241
FrontierCode: An eval to measure whether you would actually merge the code
Today’s coding benchmarks have established that models can write correct code, but the question we should really be asking is: can models actually write…
New
The latest blog posts to take off on Hacker News. 7,293 posts.
242
The Road to the WASM Component Model 1.0
WASI P3 is almost here, bringing native async support to the WebAssembly System Interface (WASI) and Component Model. In this post, we’re looking to the next big milestone: a stable, formally specified Component Model 1.0.At February’s B...
243
Are you expected to run five Python type-checkers now?
Library maintainers may feel overwhelmed by the plurality of type checkers that exist. We offer some guidance on how to focus their efforts where they matter most.
244
245
Sem: New primitive for code understanding – not LSPs, but entities on top of Git
Semantic understanding on top of Git. Diff, blame, impact, log. Functions, not lines.
246
OpenCV 5 Is Here: The Biggest Leap in Years for Computer Vision
OpenCV 5 is here! A massive modernization brings a graph-based DNN engine, over 80% ONNX coverage, hardware acceleration, LLM/VLM support, and a faster Python-first core. Learn why this isn't just an incremental update.
247
The back cover of C++: The Language raises questions not answered by front cover
Not doing the reading.
248
Harness engineering: Leveraging Codex in an agent-first world
By Ryan Lopopolo, Member of the Technical Staff
249
Symbolica 2.0: Programmable Symbols for Python and Rust
Technical articles and release notes about Symbolica, symbolic computation, numerical methods, and high-performance computer algebra.
250
Gemma 4 QAT models: Optimizing compression for mobile and laptop efficiency
We’re releasing Gemma 4 quantization-aware training checkpoints, reducing memory requirements and improving on-device performance.
251
Changing how we develop Ladybird
Ladybird is changing how code enters the project as we prepare to ship a browser to real users.
252
OCaml Onboarding: Introduction to the Dune build system
Welcome to all Camleers We are back with another practical walkthrough for the newcomers of the OCaml ecosystem. We understand from the feedback we have gathered over the years that getting started with the OCaml Distribution can sometimes be perceived as challenging at first. That's why we keep it ...
253
My Agent Skill for Test-Driven Development
AI agents tend to be, at least as of this writing (May 2026), lousy at writing tests. The tests they write are often vague, cryptic, overcomplicated, hacky, dis...
254
Journey to JPEG XL: open-source experiments shaped the future of image coding
Explore how a decade of open source experiments in psychovisual modeling and compression led to JPEG XL, the future of image coding.
255
Elixir v1.20: Now a gradually typed language
From Elixir v1.20, every program is now gradually type checked in search for verified bugs and typing violations.
256
Angular v22
Today, we are thrilled to announce the release of Angular v22. We continue to be proud of the work we do with each release. Our goal is to…
257
Redis 8.8: New array data structure, rate limiter, performance improvements
Redis 8.8 is now available in Open Source. Explore the new array data type, window counter rate limiter, streams NACK, and more performance-focused updates.
258
It is an amazing time for programmers
Many legends of software development, like John Carmack or Chris Lattner, are very approachable. Check out their projects and go talk to them!
259
databow: a Rust CLI to query any database with an ADBC driver
One command-line tool to query them all, built with Rust and ADBC
260
Gleam v1.17.0
News post: Gleam v1.17.0 released!
261
Apple rejected my dictation app for using the accessibility API
Apple rejected WhisperPad under Guideline 2.4.5 for using the accessibility API to paste transcribed text. After an appeal that ended in another rejection, I split it into two versions — a compliant one on the App Store, and the original auto-paste version, direct.
262
Strace-ui, Bonsai_term, and the TUI renaissance
We’ve always found strace useful but somewhat hard to work with. Its output is often inscrutable, it’s hard to follow subprocesses or threads, and if you wan...
263
SQLite is all you need for durable workflows
DBOS recently argued that Postgres is all you need for durable execution: if you already trust your database, you do not need a separate orchestration tier. I a…
264
Bijou64: A variable-length integer encoding
An accidentally fast variable-length integer encoding
265
One year of Roto, a compiled scripting language for Rust
By Terts Diepraam Almost exactly one year ago, we announced Roto, a JIT-compiled embedded scripting language for Rust applications. A lot has happened since then that we'd like to tell you about! 💡Along with this post, we published Roto v0.11.0! You can check out the changelog
266
Announcing Rust 1.96
Empowering everyone to build reliable and efficient software.
267
Racket v9.2
_posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.2 is now available from https://download.racket-lang.org/. As of this release:: The `match` form checks that when non-linear patterns (patterns where the same vari...
268
Orchestrating AI code review at scale
Learn about how we built a CI-native AI code reviewer using OpenCode that helps our engineers ship better, safer code.
269
Migrating from Go to Rust
Out of all the migrations I help teams with, Go to Rust is a bit of an outlier. It’s not a question of “is Rust faster?” or “does Rust have types?”, Go already gets you most of the way there. The discussion is mostly about correctness guarantees, run…
270
A blueprint for formal verification of Apple corecrypto
With the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure they are faithful to the FIPS 203 and FIPS 204 specifications. To advance the state of the art for assuring critical software, we're also…