811
π0.5: A VLA with open-world generalization
Our latest generalist policy, π0.5, extends π0 and enables open-world generalization. Our new model can control a mobile manipulator to clean up an entirely new kitchen or bedroom.
New
The latest blog posts to take off on Hacker News. 7,293 posts.
812
Algebraic Semantics for Machine Knitting
As programming languages researchers, we’re entitled to a certain level of mathematical rigor behind the languages we write and analyze. Programming languages have semantics , which are definitions of what statements in the language mean. We can use those semantics to do all sorts of useful things, like error…
813
Claude Code: Best practices for agentic coding
Get more out of Claude Code: tell Claude what it can't see, give it a check to run, and enforce the rules that can't have exceptions.
814
A New ASN.1 API for Python
We’re working on integrating an ASN.1 API into PyCA Cryptography, built on top of the same Rust ASN.1 implementation already used by Cryptography’s X.509 APIs.
815
What do I think about Lua after shipping a project with 60k lines of code?
Lead programmer talks Lua’s flexibility, challenges, and integration with Defold game engine after 60k lines of code in Craftomation 101.
816
Cutting down Rust compile times from 30 to 2 minutes with one thousand crates
How we split Feldera into a thousand crates to use every core rustc can get, cutting compile times from 30 minutes to 2.
817
The case of the UI thread that hung in a kernel call
I did tell you not to do that.
818
GPT-4.1 in the API
Introducing GPT-4.1 in the API—a new family of models with across-the-board improvements, including major gains in coding, instruction following, and long-context understanding. We’re also releasing our first nano model. Available to developers worldwide starting today.
819
Crystal 1.16.0
We are announcing a new Crystal release 1.16.0 with several new features and bug fixes.
820
PHP Core Security Audit Results
The PHP Foundation — Supporting, Advancing, and Developing the PHP Language
821
Usability Improvements in GCC 15
GCC 15 brings better error messages and diagnostics for your code, including prettier execution paths and easier-to-read compiler errors for C++ templates.
822
Design System Options for Rails
Choosing a design system and component library for Ruby on Rails applications
823
20 years of Git
Twenty years ago, Git was born. How did this unlikely "information manager" take over the world?
824
LLMs understand nullability
The last five years have shown us that large language models, like ChatGPT, Claude, and DeepSeek, can write code in many domains, to huge excitement: many claim to be using these models to write entire web servers and apps from scratch. These tools have opened up programming to a whole new class of people who consider…
825
A year of Rust in ClickHouse
This story is about how ClickHouse supports Rust components in the C++ code base and the challenges we had to overcome.
826
Pitfalls of Safe Rust
When people say Rust is a “safe language”, they often mean memory safety. And while memory safety is a great start, it’s far from all it takes to build robust applications. Memory safety is necessary but not sufficient for overall reliability. In thi…
827
Deterministic simulation testing for async Rust
How S2 uses deterministic simulation testing for async Rust to find distributed-systems bugs before they reach production.
828
PaperBench
We introduce PaperBench, a benchmark evaluating the ability of AI agents to replicate state-of-the-art AI research.
829
Porting Tailscale to Plan 9
Securely connect to anything on the internet with Tailscale. Built on WireGuard®️, Tailscale enables you to make finely configurable connections, secured end-to-end according to zero trust principles, between any resources on any infrastructure.
830
A steam locomotive from 1993 broke my yarn test
Yarn tests fail consistently at the 27-second mark. The usual suspects are swiftly eliminated to no avail. A deep dive is taken to comb through traces, only to be derailed into an unexpected crash investigation.
831
The state of binary compatibility on Linux and how to address it
Learn why Linux binary compatibility breaks when shipping software and what developers can do to fix real-world build and deployment issues.
832
JEP draft: Prepare to make final mean final
Issue warnings about uses of deep reflection to mutate final fields. These warnings aim to prepare developers for a future release that ensures integrity by default by restricting final field mutation, which will make Java programs safer and potentially faster. Application developers can avoid both current warnings…
833
Stop syncing everything
Discover Graft, an open-source transactional storage engine built to solve the challenges of syncing data at the edge. Inspired by lessons from SQLSync, Graft enables lazy, partial, and strongly consistent replication—allowing edge applications to sync only the data they need, exactly when they need it.
834
Gemini 2.5 Pro vs. Claude 3.7 Sonnet: Coding Comparison
Google just launched Gemini 2.5 Pro on March 26th, claiming to be the best in coding, reasoning and overall everything. But I mostly care about how the…
835
Circuit Tracing: Revealing Computational Graphs in Language Models (Anthropic)
We describe an approach to tracing the “step-by-step” computation involved when a model responds to a single prompt.
836
837
Experimental Tauri Verso Integration
The cross-platform app building toolkit
838
Why I'm No Longer Talking to Architects About Microservices
I'm done talking about microservices: the term is confusing, discussions are abstract, and without organisational change, microservices are pointless
839
Disk I/O bottlenecks in GitHub Actions
When your CI pipelines are slow, you can only optimize so much. Bottlenecks in CPU, Network, Memory, and Disk I/O can all contribute to slow CI pipelines. Let's take a look at how disk I/O can be a bottleneck in GitHub Actions.
840
Things I would have told myself before building an autorouter
Important lessons from trying to build the world's fastest autorouter for about a year