241
New
The latest blog posts to take off on Hacker News. 1,421 posts.
242
Performance Improvements in .NET 11
Take a tour through hundreds of performance improvements in .NET 11.
243
GPT-5.6 Luna vs. GPT-6 Astra: Is a $1.20 Model Good Enough for Code Review?
Run a cheap model on every PR and escalate to a stronger one: on 50 PRs it found 120 verified bugs for $4.13 versus 108 for GPT-5.6 Sol alone.
244
iOS 27, iPadOS 27, and macOS 27
Apple’s latest software updates introduce Siri AI and deliver helpful new Apple Intelligence features.
245
Developing provably correct Rust code with Verus
How the Verus "program verifier", which automatically checks code against a mathematical specification of its functionality, helps increase security assurance in software projects.
246
Principles for Fast Tokio Applications
A microscope for Tokio and Rust applications
247
How to write an effective software design document
Best practices for writing a design doc based on my experience working as a developer at Google and Microsoft.
248
OpenAI bots knew about the RubyGems caching vulnerability
Today Reuters and the Wall Street Journal both reported about rogue AI agents at OpenAI attacking RubyGems.org. https://www.rubyhack.ai/ has an amazing writeup, and you should read it. I just wanted to make a quick post about it because it’s wild. TL;DR: It seems like OpenAI Bots knew about the RubyGems caching…
249
Why is the x86 undefined instruction called ud2? Why 2?
It came after ud0 and ud1.
250
Real-SWE: Benchmarking AI models on private, real-world, enterprise codebases
Real-SWE benchmarks frontier AI models on private production codebases licensed from real companies. Eighteen models across twenty-five tasks.
251
Reversing Factorio's RNG
This post details how Factorio's random number generation works, how it can be reversed and how I used that knowledge to predict and manipulate the RNG with pure in‑game mechanics.
252
Compressing a flag to 11 bits
I recently saw an interesting YouTube video by “Physics for the Birds”. The main video is about matrixes, but he used flags to explain some of the operations on matrixes:
253
I made a build visualizer to understand Bun's compile times
I built buildprof (Github), an open-source tracing tool that shows where the time goes when you compile software on Linux. Here’s a realtime video of it profiling a clean build of ripgrep: Watch the …
254
Pandas Should Go Extinct
Pandas has taken us a long way, but it's time for a new bear
255
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.
256
Measuring the sloppiness of code
Exploring how to measure code sloppiness, why correct code can still erode a codebase, and why human intuition and taste still matter.
257
Nine coding harnesses vs. your laptop
Made in Notion, the connected workspace where AI agents and teams organize docs, projects and knowledge together.
258
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
When OpenAI released their proof that solutions to the Navier-Stokes equations can blow up in finite time, they also released a formal proof in Lean 4.
259
OpenAI Agents API
Build durable cloud agents with a managed Codex harness.
260
JEP 544: Ahead-of-Time Code Compilation
Improve startup and warmup time by making optimized native code for an application instantly available when the HotSpot Java Virtual Machine starts. Achieve this by compiling application code to native code in a training run, storing the native code in the AOT cache for use in subsequent production runs. If the…
261
Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra
Today we’re introducing SWE-2, our most advanced coding model yet. SWE-2 delivers highly competitive agentic coding performance across multiple effort…
262
Shopify is moving from React Native back to Swift and Kotlin
Coding agents changed what it costs to build mobile apps twice. Here’s why Shopify is moving from React Native back to Swift and Kotlin.
263
Rust is tier-1 language at Microsoft
By now it’s no surprise that Rust is of strategic importance to Microsoft. From bold mission statements when Azure CTO Mark Russinovich outlined our future strategy for native code, to millions of dollars invested by Microsoft into supporting the Rust Project, over the following years. Watch Mark’s keynote from last…
264
Julia 1.13 highlights
Highlights of the Julia 1.13 release.
265
What algorithm did Windows XP use to choose your initial user picture?
It's random, really.
266
Training a 3.8B LLM to 0.384 CORE for $998
A 3.8B model pretrained from scratch to 0.384 CORE on 65B tokens in 43 hours, for $998.
267
GPT-6 Astra, looped transformers, and hidden reasoning
A Look at Recurrent Depth, Hidden Chains of Thought, and Recent Research on Looping Transformer Blocks
268
A Design Space Exploration of Async/Await
Every language pitches async/await as synchronous-looking code, and the same two keywords appear everywhere. But behind the shared syntax hide nine independent design decisions, and no two of seven modern runtimes agree on what even the simplest async programs should do! In this paper we map the design space of…
269
Lotus Notes and the dangers of starting from scratch
Lotus Notes had encryption, rich text, and read receipts before email did. Why it still failed, and the dangers of starting software from scratch.
270
Python sets and dictionaries can have quadratic-time performance
In Python, the dict data structure is the conventional key-value structure. E.g., you might store a list of names as keys and have their phone numbers as values. Valentin Ignatev wrote this amusing post on X: It is indeed widely believed that, in the strict sense, the dict data structure and its companion, the set ……