391
Systems design 2: What we hope we know
Someone asked if I could write about the rise of AI and Large Language Models (LLMs) and what I think that means for the future of people, t...
New
The latest blog posts to take off on Hacker News. 555 posts.
392
Hypervisor Development in Rust
In the ever-evolving field of information security, curiosity and continuous learning drive innovation. This blog series is tailored for those deeply engaged in experimental projects, leveraging Rust’s capabilities to push the boundaries of what’s possible. The focus on Rust, after exploring various programming…
393
Surpassing 10Gb/S over Tailscale
Discover how Tailscale achieved over 10Gb/s throughput on Linux using advanced UDP segmentation and checksum optimizations. Explore benchmarks, results, and the innovations powering wireguard go's latest performance leap.
394
Improving Tailscale via Apple’s open source
Updates on innovations and the state of virtual private networks - globally, as well as Tailscale product and company news.
395
Mac Keyboard with Hidutil
[Update: 13-Apr-2023 with some of the background context and some things I learned from hackernews ] [Update: 18-Dec-2023] This hiduti...
396
We achieved a 6-fold increase in Podman startup speed
In August 2022, Dan Walsh (one of the authors of this article) moved out of his role as container runtimes architect at Red Hat to architect for the Red Hat ...
397
Running SunOS 4 in QEMU (Sparc)
SunOS is a historical UNIX operating system widely used from the mid 80s into the early/mid 90s. Older versions of QEMU struggled to emulate the SPARC platform that SunOS ran on, but QEMU v7.2 supports SPARC well enough to install and run SunOS without any unusual workarounds.
398
SQLite performance tuning: concurrent reads, multiple GBs and 100k SELECTs/s
SQLite is an embedded SQL database. It’s extremely easy to setup, buildable as a single C file with libraries existing for basically all common programming languages. It doesn’t need any server setup or configuration since the SQL logic is run in the host process, and the database consists of only
399
Using io_uring for network I/O
Discover io_uring, an async I/O API for Linux that can potentially benefit networking, and learn how to integrate it into your applications and I/O libraries.
400
Car alarms and smoke alarms: tradeoff between sensitivity and specificity (2012)
Wouldn’t you like to live in a world where your monitoring systems only alerted when things were actually broken? And wouldn’t it be great if, in that world, your alerts would always fi…
401
SQL Maxis: Why We Ditched RabbitMQ and Replaced It with a Postgres Queue
Embracing our SQL Maxi nature: how we ripped out RabbitMQ from our infrastructure and replaced it with a Postgres queue.
402
The end of a myth: Distributed transactions can scale
This paper appeared in VLDB'17. The paper presents NAM-DB, a scalable distributed database system that uses RDMA (mostly 1-way RDMA) and a ...
403
Keycloak with PostgreSQL on Kubernetes
In this article we will learn how to deploy Keycloak with PostgreSQL on Kubernetes. We will first do everything manually with separate YAMLs and then later with Helm. Our k8s environment will run i…
404
405
Modeling Git Internals in Alloy, Part 2: Commits and Tags
Understanding Git better by using lightweight formal methods
406
What I've Learned About Formal Methods in Half a Year
A retrospective on a few months of working on a graduate degree in computer science.
407
OpenVMS 9.2 for x86 is finally available for hobbyists
Published: 09-04-2023 23:59 | Last update: 11-04-2023 22:29 | Author: Remy van Elst | Text only version of this article
408
Who invented vector clocks?
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…
409
Closing a stale SSH connection
Suppose you’re connected to a remote host with SSH and after a while the SSH session goes stale. The terminal is unresponsive and no keypress seem to take effect. There might be something with the network, the remote host is restarting or maybe your machine has been in hibernation, there could be multiple reasons for…
410
A 1.5GB string
In my previous role, I supported a Java service that operated similarly to RDP or Citrix by enabling remote UI functionality. This service relied on sessions, which consisted of interconnected Java objects that were supposed to be cleaned up either when a user logged out or after a predetermined timeout period.
411
Writing a Simple Garbage Collector in C (2014)
People seem to think that writing a garbage collector is really hard, a deep magic understood by a few great sages and Hans Boehm (et al) . Well it’s not. In fact, it’s rather straight forward. I claim that the hardest part in writing a GC is writing the memory allocator, which is as hard to write as it is to look up…
412
Building a Database in the 2020s (2022)
Building a database in the 2020s
413
How does database sharding work?
Learn what database sharding is, how sharding works, and some common sharding frameworks and tools.
414
Replacing bad systems with bad systems
A metaphor involving parking meters. Over the years, parking meters in town have evolved into a cumbersome, awkward system. Coins are heavy and you need to have them handy, meters need to be reinfo…
415
4000x Speedup in Reinforcement Learning with Jax
Web publication for "PureJaxRL"
416
Spotting and avoiding heap fragmentation in Rust applications
One of our Rust services started to show an odd memory profile. This is the story of how we investigated the issue.
417
MutexProtected: A C++ Pattern for Easier Concurrency
In this post, we will discuss the challenges of programming with locks and how the C++ language offers some useful tools to make it easier. We will start with an example in C and then use C++ to improve upon it in steps. The example APIs are based on real-life APIs from the SerenityOS kernel.
418
419
Even if you can't write assembly, you can read disassembly
This is a very concise introduction to x86 disassembly. It shows that you probably have all the skills to start reading disassembly right now even if you thought it was too complicated for you. It really isn't, see it for yourself.
420
How SerenityOS declares ssize_t
This post explores one of my favorite hacks in SerenityOS. I don’t recommend doing this in your codebase, but it has worked for us so far. :^)