2791
Stop Telling Me to Ask an LLM
I already did.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 5,957 posts.
2792
Modern SQLite: Features You Didn't Know It Had
SQLite has evolved far beyond a simple embedded database. Explore modern features like JSON, FTS5, window functions, strict tables, and more.
2793
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.
2794
Untapped Way to Learn a Codebase: Build a Visualizer
Understanding large codebase can be incredibly difficult. In this post I walk through how I learn a codebase use turbopack as my case study.
2795
What a year of solar and batteries saved us in 2025
Throughout 2025, I spoke a few times about our home energy solution, including our grid usage, our solar array and our Tesla Powerwall batteries. Now that I have a full year of data, I wanted to take a look at exactly how everything is working out, and, in alignment with
2796
He asked AI to count carbs 27000 times. It couldn't give the same answer twice
Ask ChatGPT to estimate the carbs in your lunch. Now ask it again. And again. Five hundred times. You’d expect the same answer each time. It’s the same photo, the same model, the same question. But you won’t get the same answer. Not even close — and the differences are large enough to cause a
2797
Qwen3-Coder writes less secure code when told it's for a US persona
Chinese coding models write less secure code for Beijing's adversaries. On Qwen3-Coder, we traced the gap to the weights and closed it by removing the model's CCP alignment.
2798
Horible public key tricks
So, I've always been somewhat annoyed at SSL/TLS. It requires everyone to go through a complex "ACME" dance just to put up a public website. Worse, certificates expire every few months, so it's not a one and done thing: even with automation, maintaining a certificate requires care to ensure the ACME client always has…
2799
A Lament for Aperture
I'm an old Mac-head at heart, and I've been using Macs since the mid 1990s (the first Mac I used was an LC II with System 7.1 installed on it). I don't tend to think that the computing experience was better in the olden days — sure, there's a thing to be said about the simplicity of older software, but most of my…
2800
Running a Minecraft Server and more on a 1960s UNIVAC Computer
18 bit registers, 90kb of memory, ones’ complement, powered by RISC-V.
2801
A warning about 'model welfare'
AIs are not conscious. They do not feel, experience, or suffer. Training a model to believe it might be a moral patient, as Anthropic’s constitution does, makes the alignment and containment challenge far harder.
2802
What will our economic future look like?
The Anthropic Economics Team models the effects of AI on the economy of 2030.
2803
It takes 5 cloud services to hear my doorbell
It all started in the winter of 2024. There was a burglary in our apartment building and we decided we needed to invest in our home’s security. The …
2804
Computer use in Gemini 3.5 Flash
A look at the built-in computer use tool in Gemini 3.5 Flash.
2805
I joined the IndieWeb, here's what I learned
Driven by curiosity, I decided to find out what the IndieWeb tag that kept showing up on some blogs and Mastodon toots was all about. I quickly…
2806
The Silicon Valley Founder Meat Grinder
A few years ago I met a guy, let’s call him Jim, who was trying to break in tech by going to a bootcamp to become a developer. In the meantime, he worked as a bartender and had been living off the support of his girlfriend, who was from a well-off family and Jim was her trophy boyfriend. He approached me because he…
2807
2808
OsmAnd’s Faster Offline Navigation (2025)
Offline navigation is a lifeline for travelers, adventurers, and everyday commuters. We demand speed, accuracy, and the flexibility to tailor routes to our specific needs. For years, OsmAnd has championed powerful, feature-rich offline maps that fit in your pocket. But as maps grew more detailed and user demands for…
2809
An agent in 100 lines of Lisp
Around 2000 I took an AI course at the University of Guelph. I don’t think I learned too much. We didn’t talk about neural networks, as far as I can remember. My end of term project was, I think, a pathfinding algorithm wearing an AI costume. There were certainly no discussions of transformers. No CUDA. No PyTorch…
2810
How does misalignment scale with model intelligence and task complexity?
Research done as part of the first Anthropic Fellows Program during Summer 2025.
2811
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…
2812
Spreading Liquid with Three.js
We create beautiful expressions through programming and deliver the best possible experiences.
2813
The US is winning the AI race where it matters most: commercialization
Energy matters for AI, but the decisive layers are cloud infrastructure, data, and commercialization. On those layers the United States is ahead by a wide margin.
2814
WSL3 Performance is about 5-60% faster than WSL2 depending on the workload
With the release of the WSL 3.x stack, Microsoft bumped the default virtualization runtime and advanced the shipped guest kernel from the 6.6 LTS branch up to 6.18. WSL upgrades often claim generalized performance gains, but marketing bullet points rarely translate directly to developer workloads. To see what actually…
2815
The Lisp curse, now coming to your ecosystem
The LISP curse is often quoted as the reason why so few libraries and reusable components exist for LISP dialects. According to the concept, LISP is so power...
2816
The death of web development education
Rescuing a field from disappearing
2817
2818
Parametric CAD in Rust
I keep designing physical parts for our robots. Motor mounts, sensor brackets, wheel hubs. Every time, the workflow is the same: open a GUI CAD program, click a
2819
The death of social media is the renaissance of RSS (2025)
Social media was once hailed as the great democratizer of information. It promised a world where anyone could share their voice, connect with like-minded communities, and discover authentic human perspectives. But in 2025, the landscape looks very different. Social platforms are drowning in a flood of Generative AI…
2820
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…