211
Gleam Is Now on Tangled
⭐️ A friendly language for building type-safe, scalable systems!
Topics /
Software Engineering
The most popular blog posts about software engineering on Hacker News. 455 posts.
212
What is a database transaction?
What are database transactions and how do SQL databases isolate one transaction from another?
213
Principles for Fast Tokio Applications
A microscope for Tokio and Rust applications
214
How Claude Code works in large codebases
The most successful Claude Code deployments share a set of recognizable patterns across configurations, tooling, and org structure. This article is part of Claude Code at scale, a new series covering best practices for engineering organizations building with Claude Code at enterprise scale.
215
Noq: n0's new QUIC implementation in Rust
Introducing noq: n0's QUIC implementation
216
Introduction to Formal Verification with Lean Part 1
A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.
217
The unlikely story of Teardown Multiplayer
Multiplayer has been the single most requested feature for Teardown ever since before its initial release. Synchronizing physics over the network is already known to be hard, and on top of that we have a completely dynamic, destructible world with full modding support. For a long time, we considered the whole idea…
218
Swift at Apple: Migrating the TrueType hinting interpreter
TrueType is a widely used vector font standard for rendering text in web pages, PDFs, operating systems, and applications. Familiar fonts like Helvetica, Garamond, and Monaco are all built on TrueType outlines. The format specifies a hinting interpreter intended to help outlines rasterize faithfully on low-resolution…
219
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...
220
Separating signal from noise in coding evaluations
A new analysis from OpenAI reveals issues in SWE-Bench Pro, a popular coding benchmark, raising concerns about reliability and accuracy in evaluating AI models.
221
Hunting a 16-year-old SQLite WAL bug with TLA+
This article was written by Marco Manino and Alberto Carretero, dqlite team at Canonical. 1. Anatomy of a SQLite bug Recently SQLite published a new version with a fix to a long-standing bug in the way that the Write Ahead Log (WAL) is checkpointed that leads to the corruption of the database. The important aspect […]
222
Toit v2.0.0
Celebrating Toit v2.0.0 after more than four years of alpha development.
223
Swift Package Index joins Apple
Swift Package Index is now part of Apple. Here's what that means.
224
One month coding with GLM 5.3 Flash
Reporting on 2B tokens of AI usage and what shapes model selection and cost
225
Rhombus Language 1.0
Rhombus version 1.0 is now available! Install: https://rhombus-lang.org/download.html More information: https://rhombus-lang.org/ Why a new language? https://rhombus-lang.org/goal.html (copied below) Frequently Asked Questions: https...
226
We want you to build the next Git platform on Cloudflare
Cloudflare is hosting a competition to see who will build the next Git platform for an era of AI agents. Artifacts is in open beta, with Workers bindings, data jurisdiction controls, and event subscriptions for repository changes.
227
XOR'ing a register with itself is the idiom for zeroing it out. Why not sub?
Somehow xor became the most popular version.
228
I learned PCB design, 3D printing and C just to listen to music
I always liked to see and touch the cover artwork of the CDs and LPs I bought in the past, but in the end the convenience of digital streaming won me over and I accepted no (or stamp-sized) artwork. Lately I’ve been missing this more and more and ultimately decided to try to do something about it. So I built a…
229
You only need the frontier model for one single edit
/prewalk hands the cheap model a trajectory, not a plan, retaining 92–97% of frontier pass rate at roughly half the cost on SWE-Bench Pro.
230
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.
231
Async/Await on the GPU
GPU code can now use Rust's async/await. We share the reasons why and what this unlocks for GPU programming.
232
Union types in C# 15
C# 15 introduces union types — declare a closed set of case types with implicit conversions and exhaustive pattern matching. Try unions in preview today and see the broader exhaustiveness roadmap.
233
Clojure 1.13 adds support for checked keys
Clojure 1.13.0-alpha1 is now available! Find download and usage information on the Downloads page.
234
Rune is now open source
Rune is now open source under the GPLv3. A native, keyboard-driven IDE written primarily in Go is ready for Go developers to inspect, change, and help build.
235
Rust SIMD on the GPU
At VectorWare , we are building the first GPU-native software company . Today, we are excited to announce that we can successfully use Rust's portable SIMD ( core::simd ) on the GPU. This milestone marks a significant step towards our vision of enabling developers to write complex, high-performance applications that…
236
Dolphin Emulator Progress Release 2606
Welcome to the Progress Report for Dolphin Release 2606. We usually prefer to launch toward the beginning of the month, but a slew of important, large, and technically challenging changes had us working overtime. Strap in, because we have a lot to cover! For April Fool's we teased that Dolphin now had support for the…
237
Cohere Transcribe: Speech Recognition
Unmatched accuracy and speed. Transcribe converts your business’ audio data into precise text for search, analytics, and automation.
238
The new HTTP QUERY method explained
In this blog post, we take a deep dive into the new HTTP QUERY method, explaining the history behind it as well as the advantages and disadvantages of using it.
239
Looking Ahead to Postgres 19
Discover the top PostgreSQL 19 features, including built-in REPACK CONCURRENTLY, SQL property graph queries (SQL/PGQ), and logical replication updates.
240
Five months treating bugs like patients and coding agents like a medical team
How Cockroach Labs built MOLT Sinai, an AI coding “teaching hospital” that shipped IBM Db2 migration support in under two days.