4831
Guilty Displeasures
When disliking something clashes with your identity
New
The latest blog posts to take off on Hacker News. 80,813 posts.
4832
We Built a Video Rendering Engine by Lying to the Browser About What Time It Is
How Replit turns any web page into a deterministic video by virtualizing time itself, patching key browser audio APIs, and waging war against headless Chrome's quirks.
4833
TorchLean: Formalizing Neural Networks in Lean
Neural networks are increasingly deployed through software stacks whose behavior is defined by tensor layouts, preprocessing choices, compiler boundaries, floating-point arithmetic, GPU kernels, and external model exporters. TorchLean is a Lean 4 codebase for neural network specification, execution, and verification…
4834
Microgpt
Musings of a Computer Scientist.
4835
Raspberry Pi Pico as AM Radio Transmitter
Pooya Esfandiar's Home Page
4836
You can use newline characters in URLs
We locate web content using special addresses called URLs. We are all familiar with addresses like https://google.com. Sometimes, URLs can get long and they can become difficult to read. Thus, we might be tempted to format them like so in HTML using newline and tab characters, like so: <a…
4837
MinIO Is Dead, Long Live MinIO
MinIO’s repo is officially archived and abandoned. And how AI Agents helped bring it back from the dead. This post explains how a community fork restores the admin console and ships binaries via CI/CD pipeline.
4838
Our Agreement with the Department of War
Details on OpenAI’s contract with the Department of War, outlining safety red lines, legal protections, and how AI systems will be deployed in classified environments.
4839
Block the “Upgrade to Tahoe” alerts
Although I have to have a machine running macOS Tahoe to support our customers, I personally don't like the look of Liquid Glass, nor do I like some of the functional changes Apple has made in macOS Tahoe.
4840
Techno‑feudal elite are attempting to build a twenty‑first‑century fascist state
Introduction: Fascism at the End of Industrial Civilization This essay argues that the United States is drifting toward a distinctly twenty‑first‑century form of fascism driven not by mass parties …
4841
The whole thing was a scam
The fix was in, and Dario never had a chance.
4842
DOS Memory Management
The memory management in DOS is simple, but that simplicity may be deceptive. There are several rather interesting pitfalls that programming documentation often does not mention.
4843
Cognitive Debt: When Velocity Exceeds Comprehension
A systems analysis of how AI-assisted development creates a gap between output speed and understanding, and why organizations cannot see it happening.
4844
What AI coding costs you
What's the effect of the prolonged AI usage among coders and is it tracked correctly, if it all?
4845
Why Objective-C
In my previous post I talk about how I got rid of hundreds of thousands of lines of Objective-C code while at Audible and I explain why keeping Objective-C code around is a terrible idea. And I explain that…
4846
Don't trust AI agents
AI agents need a security model that assumes things will go wrong. The right response isn't better permission checks, it's architecture that makes trust unnecessary.
4847
The Future of AI
The Parents’ Paradox: AI, Ethics, and the Limits of Machine Morality This post is based on a talk I gave at The AI & Automation Conference in London on February 25, 2026, and my slides. A…
4848
MCP server that reduces Claude Code context consumption by 98%
Mert Köseoğlu • Senior SWE (IC) with 12+ YoE building…2026570 points107 commentsAI & Machine Learning details
MCP server that reduces Claude Code context consumption by 98%. 315 KB becomes 5.4 KB.
4849
Rust is just a tool
A programming language should not be your identity.
4850
Cash issuing terminals
In the United States, we are losing our fondness for cash. As in many other countries, cards and other types of electronic payments now dominate everyday commerce. To some, this is a loss. Cash represented a certain freedom from intermediation, a comforting simplicity that you just don't get from Visa. It's funny to…
4851
Disable Your SSH access accidentally with scp
Here's an interesting bug I ran into recently: After transferring some files to my server via scp, I couldn't log in via SSH anymore - my key was rejected by sshd.
4852
Don't use passkeys for encrypting user data
Passkeys are the future of authentication, but using them for data encryption is a disaster waiting to happen. Overloading these credentials creates a dangerous blast radius that can lead to the irreversible loss of a user's most sacred memories and documents.
4853
Bootc and OSTree: Modernizing Linux System Deployment
Discover how Bootc and OSTree are revolutionizing Linux system deployment, offering modern, efficient, and immutable management.
4854
Statement on the comments from Secretary of War Pete Hegseth
Anthropic's response to the Secretary of War and advice for customers
4855
Leaving Google has actively improved my life
In May of 2023, Google introduced “AI overviews” into their search engine.^1] This followed years of decisions leading to worse search quality and the consum...
4856
Let's discuss sandbox isolation
A dive into the spectrum of sandboxing and isolation, from Linux namespaces and gVisor to hardware-enforced microVMs and WebAssembly, and why picking the right boundary matters for multi-tenant workloads.
4857
Writing a Guide to SDF Fonts
(TL;DR: this is a blog post about the process of writing my guide to SDF fonts .)
4858
Robust and efficient quantum-safe HTTPS
Today we're announcing a new program in Chrome to make HTTPS certificates secure against quantum computers. The Internet Engineering Task Force (IETF) recently created a…
4859
747s and coding agents
Comparing a career flying the 747 and a career coding with AI assistance.
4860
Allocating on the Stack
A description of some of the recent changes to do allocations on the stack instead of the heap.