601
Improved Gemini 2.5 Flash and Flash-Lite
Google is releasing updated Gemini 2.5 Flash and Flash-Lite preview models with improved quality, speed, and efficiency.
New
The latest blog posts to take off on Hacker News. 7,293 posts.
602
Why is Windows still tinkering with critical sections? – The Old New Thing
The critical section may be an old dog, but it's still learning new tricks.
603
Zed's Pricing Has Changed: LLM Usage Is Now Token-Based
From the Zed Blog: We're moving Zed AI from prompt-based limits to token-based pricing.
604
SedonaDB: A new geospatial DataFrame library written in Rust
Apache Sedona is a cluster computing system for processing large-scale spatial data. Sedona extends existing cluster computing systems, such as Apache Spark, Apache Flink, and Snowflake, with a set of out-of-the-box distributed Spatial Datasets and Spatial SQL that efficiently load, process, and analyze large-scale…
605
Python on the Edge: Fast, sandboxed, and powered by WebAssembly
With AI workloads on the rise, the demand for Python support on WebAssembly on the Edge has grown rapidly. However, bringing Python to WebAssembly isn'...
606
Python developers are embracing type hints
What is Typed Python? Why is it important for Python developers today? How to can you get started?
607
From Rust to reality: The hidden journey of fetch_max
Tracing Rust AtomicU64::fetch_max from macro expansion and rustc intrinsics through LLVM atomicrmw umax down to the final x86-64 CAS loop.
608
Context Engineering for AI Agents: Lessons
This post shares the local optima Manus arrived at through our own "SGD". If you're building your own AI agent, we hope these principles help you converge faster.
609
Cap'n Web: a new RPC system for browsers and web servers
Cap'n Web is a new open source, JavaScript-native RPC protocol for use in browsers and web servers. It provides the expressive power of Cap'n Proto, but with no schemas and no boilerplate.
610
CompileBench: Can AI Compile 22-year-old Code?
We tested 19 LLMs on their ability to handle real-world software engineering tasks like compiling old code and cross-compiling. See how Anthropic, OpenAI, and Google models stack up in our new benchmark – CompileBench.
611
UUIDv7 Comes to PostgreSQL 18
PostgreSQL 18 adds native support for UUIDv7. A timestamp-based UUID variant that plays nicely with btree indexes. Here's what that means for you.
612
A vibrator helped me debug a motorcycle brake light system
A tale of debugging hardware with unconventional methods. How I perfected the firmware of BrakeBright (a motorcycle safety device) using a vibrator.
613
Node 20 will be deprecated on GitHub Actions runners
Editor’s note (August 25, 2026): Updated the Node20 removal date to September 23rd, 2026. Editor’s note (February 25, 2026): Updated the migration date to June of 2026. Editor’s note (May…
614
Help us raise $200k to free JavaScript from Oracle
Our legal battle over Oracle's claim on the word "JavaScript" is entering the discovery phase. Here's how you can help.
615
OpenTelemetry collector: What it is, when you need it, and when you don't
A practical, no-fluff guide to understanding the OpenTelemetry Collector - what it does, how it works, real architecture patterns (with and without it).
616
The quality of AI-assisted software depends on unit of work management
The craft of AI-assisted software creation is substantially about correctly managing units of work.
617
WASM 3.0 Completed
WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.
618
Claude can sometimes prove it
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
619
Addendum to GPT-5 system card: GPT-5-Codex
This addendum to the GPT-5 system card shares a new model: GPT-5-Codex, a version of GPT-5 further optimized for agentic coding in Codex. GPT-5-Codex adjusts its thinking effort more dynamically based on task complexity, responding quickly to simple conversational queries or small tasks, while independently working…
620
GPT-5-Codex
Codex just got faster, more reliable, and better at real-time collaboration and tackling tasks independently anywhere you develop—whether via the terminal, IDE, web, or even your phone.
621
Asciinema CLI 3.0 rewritten in Rust, adds live streaming, upgrades file format
News about asciinema development and new releases
622
Migrating to React Native's new architecture
Shopify successfully migrated two of its largest apps, Shopify Mobile and Shopify Point of Sale (POS) to React Native's New Architecture while maintaining weekly releases and serving millions of merchants. This migration involved a complex codebase with hundreds of screens and native modules, extensive custom…
623
Behind the scenes of Bun Install
Learn how Bun is able to cut install times by up to 25×. Bun skips Node.js's overhead with direct system calls, cache-friendly data layouts, OS-level copy-on-write, and full-core parallelism.
624
The rise of async AI programming
The workflow that's changing how software gets built.
625
Defeating Nondeterminism in LLM Inference
Reproducibility is a bedrock of scientific progress. However, it’s remarkably difficult to get reproducible results out of large language models. For example, you might observe that asking ChatGPT the same question multiple times provides different results. This by itself is not surprising, since getting a result from…
626
Performance Improvements in .NET 10
Take a tour through hundreds of performance improvements in .NET 10.
627
A love letter to the CSV format (2024)
why people pretending CSV is dead are wrong
628
How Ruby executes JIT code
Where does JIT-compiled code live? How does Ruby switch between bytecode and native execution? Why does TracePoint slow everything down? This post answers the JIT questions most Ruby developers have but rarely see explained.
629
Building a DOOM-like multiplayer shooter in pure SQL
CedarDB is a database system that delivers unmatched performance for transactions and analytics, from small writes to handling billions of rows. Built on cutting-edge research to power today’s tools and tomorrow’s challenges.
630
A new experimental Go API for JSON
Go 1.25 introduces experimental support for encoding/json/jsontext and encoding/json/v2 packages.