301
Emulating x86 on X64 on Aarch64
Emulating win32 on Mac using Apple's x64 emulator.
302
OpenVMS 9.2 for x86: Auto boot, licenses, PAKs, networking and SSH
Published: 15-04-2023 22:30 | Author: Remy van Elst | Text only version of this article
303
Writing Linux Modules in Ada (2016)
In the following series of blog posts I will document my attempts to write Linux modules using the Ada language. In part 1, I will demonstrate how to write in Ada and build a simple "hello world" Linux kernel module. Additionally, I will introduce a basic customized Ada runtime to support our "hello world" module…
304
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…
305
I've had bad luck with transparent hugepages on my Linux machines
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
306
The Intel 386 processor die: the clock circuit
Processors are driven by a clock, which controls the timing of each step inside the chip. In this blog post, I'll examine the clock-generati...
307
Cold restart whole system after total outage
"What are folks’ views on systems so large where cold-starting the whole system is almost impossible?"... — M'colleague, Shivam, In A Slackroom Next Door.
308
SSD as Long Term Storage Testing
2022 September 10 What is the best media for long term storage is a question that I read frequently from online forums. First and foremost, as far as I’m aware there is no real “set it and forget it” long term storage. In this digital age, data needs to be validated regularly and cycled to a new media every 5-10 years…
309
Using OpenBSD Relayd(8) as an Application Layer Gateway
I was lucky enough to attend to EuroBSDCon 2023 and offered the opportunity to talk about one of my favorite OpenBSD stock daemon: relayd(8). The talk was recorded and made available on the EuroBSDCon YouTube channel. . One may check the EuroBSDCon 2023 program for more material. This post attempts a reboot of the…
310
On the joy of podman and auto-updates (2022)
podman provides an integrated auto-update mechanism, which I recently applied to all of my containers running on feldspaten. The mechanism is nice, but at first appears a bit counter-intuitive. In this post ’m trying to explain how you can use the mechanism and what to watch out for. I’ll start with the trap I think…
311
4000x Speedup in Reinforcement Learning with Jax
Web publication for "PureJaxRL"
312
313
314
I Migrated from a Postgres Cluster to Distributed SQLite with LiteFS
Why and how I migrated from distributed postgres to distributed sqlite on kentcdodds.com
315
316
This isn’t the way to speed up Rust compile times
Xe Iaso's personal website.
317
On the future of free long term support for Linux distributions
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
318
Transcoding Latin 1 strings to UTF-8 strings at 12 GB/s using AVX-512
Though most strings online today follow the Unicode standard (e.g., using UTF-8), the Latin 1 standard is still in widespread inside some systems (such as browsers) as JavaScript strings are often stored as either Latin 1, UTF-8 or UTF-16 internally. Latin 1 captures the first 256 characters from the Unicode standard…
319
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
320
UEFI Secure Boot on the Raspberry Pi
UPDATE: this post unexpectedly ended up on Hacker News and I received a lot of comments. The two most important points being made are (1) that Secure Boot on the RPi as …
321
Wayland is pretty good
I started working on Flyaway with the intention of becoming familiar with Wayland, its protocols and extensions, and the wlroots library. Instead, I ended up genuinely liking all three.
322
Modeling Git Internals in Alloy, Part 2: Commits and Tags
Understanding Git better by using lightweight formal methods
323
Minify and Gzip (2022)
I've been doing a bit of work cleaning up the CSS on this blog in the past couple days — the CSS is from a template that I copied more than five years ago at this point, and it was pretty crufty even when I first got it.
324
Practical Libc-free threading on Linux
Suppose you’re not using a C runtime on Linux, and instead you’re programming against its system call API. It’s long-term and stable after all. Memory management and buffered I/O are easily solved, but a lot of software benefits from concurrency. It would be nice to also have thread spawning capability. This article…
325
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…
326
Efficiency trades off against resiliency
What’s the “right” level of CPU utilization for a server? If you look at a monitoring dashboard from a well-designed and well-run service, what CPU utilization should we hope to see, averaged over a day or two? It’s a very general question, and it’s not clear it should have a single answer. That said, for a long time…
327
The secret life of fsync
Random thoughts on concurrency, databases and…2023124 points62 commentsSystems & Performance details
What kind of durability guarantees fsync system call provides in Linux? Let's find out.
328
The heaviness of maintaining systems
Our systems and ourselves
329
Can you trust a compiler to optimize your code?
More or less the title this time, but first, a story about SIMD. There are three levels of understanding how SIMD works (well, at least I am level 3 at the moment):
330
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...