661
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.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 1,421 posts.
662
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.
663
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code. Subscribe: Apple • Spotify • … More
664
Jank now has its own custom IR
The jank compiler has a new super power. With that, we push jank to the limits to see who has the fastest fibonacci in the west.
665
The Folders Programming Language
Created 2015 | Updated 2026 | One of Forty-Four Esolangs , by the creator of Rivulet and Velato
666
667
Artifacts: Versioned storage that speaks Git
Give your agents, developers, and automations a home for code and data. We’ve just launched Artifacts: Git-compatible versioned storage built for agents. Create tens of millions of repos, fork from any remote, and hand off a URL to any Git client.
668
Why are there both TMP and TEMP environment variables? (2015)
Parallel evolution.
669
Branchless Quicksort faster than std:sort and pdqsort with C and C++ API
Performance results naturally depend on the underlying hardware. The following benchmarks show the execution times for sorting 50 million doubles using different sorting implementations. The measurements were taken on an Apple M1 system using Clang and on an AMD Ryzen 3 Linux system using GCC , both compiled with the…
670
Instant 1.0, a backend for AI-coded apps
Instant 1.0 is out! This essay shows a bunch of demos, to explain why we think Instant is the best backend for AI-coded apps. We also cover the architecture that makes all of it work.
671
Formatting a 25M-line codebase overnight
This is the story of how our Developer Productivity team extended and rolled out rubyfmt, our Rust-based zero-config, ultra-fast autoformatter across the world's largest Ruby codebase.
672
Gribouille 0.3.0: A Grammar of Graphics for Typst
Gribouille 0.3.0 gives guides and axes a much finer on/off switch, lets compose() carry its own theme, and makes geom-area() stack by default. A long list of legend and annotation fixes rounds it out.
673
Visualizing Rust's Vtables: How dyn Trait Works In Memory
A follow-along series of coding experiments as I explore Rust's peculiarities, from a C++ developer's perspective.
674
Good results fine tuning a local LLM like Qwen 3:0.6B to categorize questions
<p>As a fun personal project, I have been working on a chatbot for answering general questions about my household on anything from maintenance questions to doctor’s appointments. </p> <p> The general idea is that the chatbot will get its household knowledge through RAG from querying a vector database, but for better…
675
F/OSS Comics #13: BSD Unix, Part 3 – The Beginning of BSD Unix
From Pascal and ex tapes to a VAX system: Bill Joy handles BSD distribution and debugging, then joins Ozalp Babaoglu to bring virtual memory to Unix.
676
It's OK to compare floating-points for equality
NB: The title of this post is an intentional clickbait. Even though I do stand for its statement, a more honest one would be something like: It's NOT OK to compare floating-points using epsilons.
677
My graduation cap runs Rust
Eric Park's website
678
An AI Vibe Coding Horror Story
A medical professional built a patient management app using AI, exposed all patient data unprotected to the internet, and sent voice recordings to AI services without consent. Likely violating Swiss nDSG and other laws.
679
Please stop flooding our projects with AI slop to furnish your CV
Successful contributions to open source projects are a kind of currency. GitHub in particular encourages this in a number of ways: by showing avatars of contributors on repository pages, by showing your contributions to your followers via the activity feed and by signalling contributions per day on the activity graph…
680
Switch Lowering in GCC
We have seen in a previous post that switch statements are more complex than they seem. The compiler is able to implement them as a decision tree (even though maybe it shouldn't). Is that everything it can do?
681
C++26 Shipped a SIMD Library Nobody Asked For
std::simd Can't Express 90% of Real SIMD Code
682
Web Components: The Framework-Free Renaissance
Modern browsers support reactive web interfaces without React, Vue, or Angular. Web components and shadow DOM make frameworks optional.
683
Plain text is still one of the best technologies we have
Plain text is portable, inspectable, searchable, easy to back up, and remarkably resistant to obsolescence. Its simplicity has helped it survive decades of...
684
Backseat Software
What if your car worked like so many apps? You’re driving somewhere important…maybe running a little bit late. A few minutes into the drive, your car pulls over to the side of the road and asks:
685
Font Rendering from First Principles
Learn what it takes to build a font renderer from scratch in C.
686
The Agentic AI Handbook: Production-Ready Patterns
A comprehensive guide to 113 production-informed patterns for building reliable AI agents.
687
A perfectable programming language
At a party, Sydney Von Arx asked if I could name 40 programming languages. Yeah, that's the Bay for you. Racket, Agda, Clean, Elm, TypeScript, sh, ASP, Verilog, JavaScript, Scheme, Rust, Nim, INTERCAL, sed, Isabelle, Visual Basic, zsh, AlokScript, Coq, Idris, Hack, Prolog, Whitespace, PureScript, Go, Odin, Haskell…
688
On Rendering Diffs
A technical deep dive into how we built the @pierre/diffs package and CodeView component for zero-blanking diff rendering.
689
Dependabot version updates introduce default package cooldown
Dependabot now waits until a new release has been available on its registry for at least three days before opening a version update pull request. This cooldown is now the…
690
Prospero: A new coding harness for a more civilized age
I’ve been fascinated with local LLMs for a couple of years now. The better open weight models, including some that inference on regular, higher-end consumer hardware at tolerable speeds, are now reliable enough to handle simpler programming tasks. This requires a coding harness, but so far this year I’ve been…