Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,668 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…
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…
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.
Science News, Physics, Science, Philosophy, Philosophy of Science
tl;dr; Redis is 16 times faster at reading these JSON blobs.*
The Department of Justice wants access to encrypted consumer devices but promises not to infiltrate business products or affect critical infrastructure. Yet that’s not possible, because there is no longer any difference between those categories of devices. Consumer devices are critical infrastructure. They affect…
If cement weren't 10,000 years old, it would seem like a futuristic technology: liquid rock!
Googlebot is based on Google Chrome version 41 (2015), and therefore it has no XSS Auditor, which later versions of Chrome use to protect the user from XSS attacks…
Caring too much for objects can destroy you. Only — if you care for a thing enough, it takes on a life of its own, doesn’t it? And isn’t the whole point of things — beautiful things — that they connect you to some larger beauty?
A bundle called IncompatibleAppsList.bundle found in /Library/Apple/Library/Bundles/ in macOS Catalina contains a of list of 235 apps that are incompatible with Catalina.
Paul Goble Staunton, June 1 – For the first time, a Moscow portal, Istoricheskaya pamyat , has published photocopies of th...
How Adriaan van Rossum drove more than 30k visitors to his website from Hacker News
In 1989, just before the collapse of the USSR, the Pepsi Company cut a deal with Soviet Premiere Mikhail Gorbachev that left it with a fleet of Russian military ships, making PepsiCo temporarily th…
Hot takes and cold truths on software, startups, and the lies we tell ourselves.
It’s easy to buy into the ‘overnight success’ story. But in reality, building a venture is a five- to seven-year endeavour. It requires…
Senator Warren’s proposal about how to regulate tech is wrong about history, the source of tech giant’s power, and the fundamental nature of technology itself. That doesn’t mean t…
(Note: although I originally wrote this as a stand-alone post, it may make sense to think of it as Part Two of a series, beginning with The Rise of the Access Economy.) There’s a classic exercise…
Last sunny Saturday, there was the biggest keyboard mee…
Rust's error handling is a pleasure to use thanks to the Result type . It ensures Rust's error handling is always correct , visible , and performant . And with the addition of the ? operator in Rust 1.13 , and the addition of return types from main in Rust 1.26 Rust's error handling has only kept improving.
In response to the call for blogs about the vision for Rust for 2020, I’m going to write about GUI. I believe the time is right for a native GUI toolkit written in Rust, and that such a thing would fill a very important niche. There is a demand for performance (which, to me, includes startup time, RAM footprint, and…
Lambdaclass's blog about distributed systems, machine learning, compilers, operating systems, security and cryptography.
In this tutorial, you'll learn 16 ways for doing concurrency in Clojure including how to start threads and how to communicate between them.
On March 11 2005, Jessica and I were walking home from dinner in Harvard Square. Jessica was working at an investment bank at the time, but she didn't like it much, so she had interviewed for a job as director of marketing at a Boston VC fund. The VC fund was doing what now seems a comically familiar thing for a VC…
