Every blog post that took off on Hacker News, ranked by the votes of its best submission. 6,947 posts.
My job these days is teaching TLA+ and formal methods: specifying designs to find bugs in them. But just knowing the syntax isn’t enough to write specs, and it helps to have examples to draw from. I recently read Chris Siebenmann’s Even in Go, concurrency is still not easy and thought it would make a good case study…
(First, as a public service message, if you're running Linux on a G5 you may wish to update the kernel .) I'm a big fan of NetBSD . I've ru...
Back in spring 2020, I was wrapping up the distributed systems course I was teaching, and for the last lecture, decided to spend a little time poking at the question of who actually invented vector clocks. Most people who need something to cite for vector clocks cite Friedemann Mattern’s “Virtual Time and Global…
What is the most commonly used bytecode language in the world? Java (JVM Bytecode)? .NET (CLI)? Flash (AVM1/AVM2)? Nope. There’s a few that you use every day, simply by turning on your computer, or tablet, or even phone. You don’t even have to start an application or visit a webpage.
One of the lesser known parts of Java is InterruptedException. With its vague-sounding name and non-committal Javadoc, few people are able to figure out what they need to do with it. Since I myself didn’t really grok it, I decided to put together a post explaining how interruption works. If you are looking for a more…
Virtualising macOS, Linux and Windows on Intel Macs has been relatively straightforward, and device support left to the developer. That won’t work for Apple silicon Macs. This explains what h…
The NetBSD Project is pleased to announce NetBSD 9.3, the third release from the NetBSD 9 stable branch.
DeLorean DMC-12
cccccblgtbhdtvkdkbdfcdvgiicuckkdkruvfceiuiur
Vigneshwaran C explained the internals of PostgreSQL Logical Replication during PGConf India - if you were not able to attend, you can read all here.
Nowadays, there is increasing interest in adding tagged memory functionality to CPU architectures. Such architectures associate one or more tag bits with each quantum of a system's memory. There are many motivations for this ability to associate “metadata” with individual memory words, but one of the most clear is the…
Robert O'Callahan. Christian. Kiwi. Software guy. All content human-authored unless otherwise noted.
In preparation for a future project, I was thinking about at the unix find utility . It operates a file system hierarchies, with basic operations selected and filtered using a specialized expression language. Users compose operations using unary and binary operators, grouping with parentheses for precedence. find may…
Sysdig Inspect is a powerful interface for container troubleshooting and security investigation that uses sysdig capture files for local analysis
Deepening watsonx capabilities to address enterprise gen AI data needs with DataStax.
wingolog: article: high-performance packet filtering with pflua
Update: Together with Udacity I created a free offline-first interactive course . It involves taking an online-only site to full offline-first glory. Many of the patterns in this article are used.
This post is about uninitialized memory, but also about the semantics of highly optimized “low-level” languages in general. I will try to convince you that reasoning by “what the hardware d...
So you decided to build a brand new system using all the latest and coolest tech, so you buy a Ryzen 7000 series Zen 4 CPU, like the Ryzen 7700X that I picked, with a new mother board and DDR5 memory
The critical section may be an old dog, but it's still learning new tricks.
In this blog post I tell my experience mounting a minimalist homelab with a Intel NUC and the ESXi hypervisor.
This page has been Tagged As Software This is a truism that lots of people quote, but it can be hard to remember, especially in the heat of battle (as it were). Rather fortunately it came to mind just when needed, as I found something completely unexpected.
I love LuaJIT for its performance, but its complexity sometimes puts me off.
