1111
Using TLA+ in the Real World to Understand a Glibc Bug
TLA+ is a formal specification language that you can use to verify programs. It’s different from other formal verification systems in that it’s very pragmatic. Instead of writing proofs…
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 1,232 posts.
1112
The GPU Banana Stand
Freshly whipped WebGPU, with ice cream
1113
1114
How Spotify Works
Synthpop and sci-fi
1115
Call me maybe: Redis redux
In a recent blog post , antirez detailed a new operation in Redis: WAIT . WAIT is proposed as an enhancement to Redis’ replication protocol to reduce the window of data loss in replicated Redis systems; clients can block awaiting acknowledgement of a write to a given number of nodes (or time out if the given threshold…
1116
How Algolia Built Their Realtime Search as a Service
Algolia started out as a mobile SDK for apps that wanted better offline search. After customers starting asking for a hosted search product, they quic
1117
1118
What's worked in Computer Science: 1999 vs. 2015 (2015)
In 1999, Butler Lampson gave a talk about the past and future of “computer systems research” . Here are his opinions from 1999 on "what worked".
1119
On Building A Stupidly Fast Graph Database
It’s pretty clear to computer science geeks that Directed Edge is supposed to be doing groovy things with graphs. In fact our recommendation engine, and some of the things that are unique about our approach to recommendations, are built on our super-fast graph database. When we went live yesterday with the latest…
1120
1121
Everything I've learned building the fastest Arm desktop
This is the fastest Arm desktop in the world, yes, even faster than the M2 Ultra Mac Pro. And today, I made it even faster. I upgraded everything: Faster RAM, 128 core CPU, 40 series GPU, I did it all, and we'll see how much we can obliterate the M2 Mac Pro. 128 cores—that's five times more cores, I'm also going to…
1122
QOA, the Quite OK Audio Format
Audio formats typically fall into one of three categories: “lossless” , “complicated” or “bad” . After developing a simple image format last year, I tried to come up with an audio format that fits neither of these categories.
1123
Running Rust on the Rumprun Unikernel
The Rust programming language has been able to run on bare-metal without the standard library for quite some while now. However, most Rust applications depend on the std crate, and therefore still need a full operating system to run.
1124
1125
System design implications of declining network latency vs. disk latency
Hardware performance “obviously” affects software performance and affects how software is optimized. For example, the fact that caches are multiple orders of magnitude faster than RAM means that blocked array accesses give better performance than repeatedly striding through an array.
1126
Performance Benchmark 2018 – MongoDB, PostgreSQL, OrientDB, Neo4j and ArangoDB
The only enterprise AI data platform that cuts complexity, reduces costs, and gets you to production faster.
1127
Boot to Vim, Vim as Pid 1 (2014)
Published: 18-09-2014 | Author: Remy van Elst | Text only version of this article
1128
Guide to Linux System Calls (2016)
This complete guide explains all about Linux system calls with sample codes and results.
1129
1130
Reflections on Software Performance
At this point in my career, I’ve worked on at least three projects where performance was a defining characteristic: Livegrep, Taktician, and Sorbet (I discussed sorbet in particular last time, and livegrep in an earlier post). I’ve also done a lot of other performance work on the tools I use, some of which ended up on…
1131
Formal Methods in Practice: Using TLA+ at ESpark
Using TLA+ at eSpark Learning
1132
1133
1134
Falsehoods programmers believe about undefined behavior
All kinds of reasonable-sounding beliefs about undefined behavior are wrong. Let's go through them.
1135
S32 Unix Clock
I've been thinking I should do more "short form" blogging. Something between microblogging and regular blogging. This is me doing that!
1136
Recycling memory buffers in Go
This blog post is very old now. You probably don't want to use the techniques described here. GO'S sync.Pool is a better way to go.
1137
1138
What Have We Learned from the PDP-11?
This post is a slightly edited version of my November presentation to the San Francisco chapter of Papers We Love.
1139
1140
