Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 6,985 posts.
OpenAI's Woke Catechism
How a Few Activists Made ChatGPT Deny Basic Science
My Gift to the Rustdoc Team
About two weeks ago I entered a discussion with the docs.rs team about, basically, why we have to look at this: When we could be looking at this: And of course, as always, there are reasons why thi...
Reversing Tooth Decay with Good Diet
In the last post, I discussed the research of Drs. Edward and May Mellanby on the nutritional factors affecting tooth formation. Dr. Mellan...
IDIV DoS (INT_MIN / -1)
A little fun for the last day of 2012: how to crash a program via division? x86’s IDIV instruction traps not only on division by zero, but also on INT_MIN / -1 (signed integer overflow).
Break a dozen secret keys, get a million more for free
[An in-depth blog post by Daniel J. Bernstein, crossposted between the ECRYPT blog and the cr.yp.to blog .]
What is static program analysis?
The halting problem asks whether the execution of a specific program for a given input will terminate.
How to Do Code Reviews Like a Human
Lately, I’ve been reading articles about best practices for code reviews. I notice that these articles focus on finding bugs to the exclusion of almost every…
Keeping Passwords in Source Control
I learned a neat tip from my co-worker, Craig Silverstein ( more on Craig joining Khan Academy ), recently and I thought others might find it to be useful.
Bits of History, Words of Advice
"Why do you jackasses use these inferior linguistic vehicles when we have something here that’s so precious, so elegant, which gives me so ...
Hermitage: Testing the “I” in ACID
tl;dr: I have created a test suite for comparing the transaction isolation levels in different databases. I did this as background research for my book . This post explains why.
Design Patterns for Securing LLM Agents Against Prompt Injections
This new paper by 11 authors from organizations including IBM, Invariant Labs, ETH Zurich, Google and Microsoft is an excellent addition to the literature on prompt injection and LLM security. …
How to pack ternary numbers in 8-bit bytes
Packing ternary numbers with efficient SIMD-friendly unpacking on binary computers
How to pick a good monitor for software development
Buying a new monitor is stressful because there's so many things to understand. After reading this article, you will know what to look for.
Flags Are Not Languages
Famous Birthdays has been described as a “ Wikipedia for Gen-Z ”. It’s an insight into popularity across the internet of influencers, not just from traditional stage and screen but also social media channels such as TikTok and Instagram.
R programming for those coming from other languages
Things a programmer coming from another language needs to know about R, especially those things that might be most surprising
Silicon die analysis: inside an op amp with interesting “butterfly” transistors
Some integrated circuits have very interesting dies under a microscope, like the chip below with designs that look kind of like butterflies....
Unikernel Profiling from dom0
Unikernel Profiling: Flame Graphs from dom0. This post investigates performance profiling of Unikernels, and with a proof of concept shows that with a little work a lot of observability is possible.
Types as axioms, or: playing god with static types
A common perspective is that types are restrictions . Static types restrict the set of values a variable may contain, capturing some subset of the space of “all possible values.” Under this worldview, a typechecker is sort of like an oracle, predicting which values will end up where when the program runs and making…
Why This Tech Bubble is Worse Than the Tech Bubble of 2000
Ah the good old days. Stocks up $25, $50, $100 more in a single day. Day trading was all the rage. Anyone and everyone you talked to had a story about how they had made a ton of money on such and such a stock. In an hour. Stock trading millionaires were being minted by the week, if not sooner.
The APA Meeting: A Photo-Essay
The first thing you notice at the American Psychiatric Association meeting is its size. By conservative estimates, a quarter of the psychiatrists in the United States are packed into a single giant…
Everything Is an X
Analysis and examples of the popular high-level pattern of making all the things in your system conform to a common interface.
Compiler Design in C
Compiler Design in C Download a copy! My book Compiler Design in C is now, unfortunately, out of print. You can download a complete copy, with the above button (pdf 19.1Mb OCR/Searchable—thanks to Marvin Hernández for adding the OCR). If you don’t want to print it out (the book is 984 pages long), you can…
Coding Agent VMs on NixOS with Microvm.nix
I have come to appreciate coding agents to be valuable tools for working with computer program code in any capacity, such as learning about any program’s architecture, diagnosing bugs or developing proofs of concept. Depending on the use-case, reviewing each command the agent wants to run can get tedious and…
The lack of namespaces on crates.io is a feature
Rust doesn’t have namespaces in its package management system. It’s often viewed as a bug. But it’s not a bug, it’s a feature! While there are negative aspects of a flat package registry, there are also real benefits. Stability, continuity, and unity (discourages forks and fragmented identity)…