Every blog post that took off on Hacker News, ranked by the votes of its best submission. 49,221 posts.
Project Everest is a large, collaborative research effort that aims to verify and deploy a new, secure HTTPS stack. All of our code is verified using the F* programming language. Using KreMLin, a dedicated compiler, the verified F* code is compiled to readable C, meaning existing systems projects can readily integrate…
If you’re doing what you’re told to do, they are paying you too much.
I heard about VHS recently. It’s a tool for creating recordings of command-line tools, so you can create little demos and tutorials about how to use them. You can write a script to run comman…
Underjord is an artisanal consultancy doing consulting in Elixir, Nerves with an accidental speciality in marketing and outreach. If you like the writing you should really try the pro version .
The story of CVE-2025-55182 (React2Shell)
This aesthetic screenshot of an old windows app has been in my inspiration space for ~5 years. Until recently, I assumed that it was just a nostalgia bait concept.
Jeff Wilcox is a principal engineer at Microsoft working on Microsoft's engineering system. Jeff lives in Seattle.
In the previous post, I described a simple way to think about matrices, namely as bipartite graphs. Today I'd like to share a different way to picture matrices—one which is used not only in mathematics, but also in physics and machine learning. Here's the basic idea. An $m\times n$ matrix $M$ with real entries…
(I've redrawn it, because, seriously, who does a line diagram as JPEG? Original here .)
Before we begin, I’m not just some crypto FUDster.
The models are good now. But most people still miss the point.
Back in July last year, Scott Helme and I shipped a little pet project that tracked the world's largest websites not implementing HTTPS by default [https://www.troyhunt.com/why-no-https-heres-the-worlds-largest-websites-not-redirecting-insecure-requests/] . We called it Why No HTTPS? [https://whynohttps.
You should read Mat Honan’s heartbreaking tale of a hack attack and the ensuing discussion on Techmeme. Much of the story is about Amazon or Apple’s security practices, but I would stil…
I think I’m probably going to lose quite a lot of money in the next year or two. It’s partly AI’s fault, but not mostly. Nonetheless I’m mostly going to write about AI, because it intersects the technosphere, where I’ve lived for decades.
Was the Internet Created for Nuclear War?
I wrote a post a couple of weeks ago in which I said macroeconomic collapse “may happen” and a few friends asked me why. To be clear, I don’t think it’s the likely outcome—I think we’ll find a way...
Science News, Physics, Science, Philosophy, Philosophy of Science
*If you’re the owner of this website and have questions, reach out to Bluehost. We’re happy to help.
I've had the experience of using GitHub as a maintainer for very large open source projects (1000+ contributors), as an engineer for very large closed source corporate projects, and everything smaller. Through those experiences up to today, GitHub pull requests is where I spend almost all of my time while on GitHub…
A little post on why publishing statistics are so confusing
After running this command, PID 1 is hung in the pause system call. You can no longer start and stop daemons. inetd-style services no longer accept connections. You cannot cleanly reboot the system. The system feels generally unstable (e.g. ssh and su hang for 30 seconds since systemd is now integrated with the login…
