211
SeL4 on RISC-V Verified to Binary Code
… and seL4 and RISC-V Foundations form an alliance In June 2020 we announced that the seL4 microkernel, the world’s first operating system (OS) kernel with a machine-checked proof of implemen…
Topics /
Systems & Performance
The most popular blog posts about systems & performance on Hacker News. 358 posts.
212
Why Is It So Hard to Detect Keyup Event on Linux?
This article is dedicated to discussing why it's so hard to detect the 'key up' or 'key release' event in a Linux terminal environment without relying on X server. Several techniques and code examples will be shown that are capable of detecting the keyup event on Linux (with and without an X server), but all…
213
Reality Check for Cloudflare Wasm Workers and Rust
With native Rust support announced for Cloudflare Workers, one may be eager to jump in head first. I know I wanted to. However, I tested out a few use cases and found it too limiting. Either the desired APIs weren’t available, code size was too large, or the program couldn’t run within resource constraints. I remain…
214
“Static Linking Considered Harmful” Considered Harmful
The maintainer of glibc, Ulrich Drepper, wrote an article called "Static Linking Considered Harmful". This is why his post is wrong.
215
XTerm: It's Better Than You Thought
A couple months back I switched my terminal from xfce4-terminal to the venerable xterm. For some reason I always put xterm in the same bucket as xclock, xmessage, or any other prehistoric command starting with X that comes pre-installed on any graphical Linux distribution.
216
217
218
Thinking in Events: From Databases to Distributed Collaboration Software [video]
Keynote at 15th ACM International Conference on Distributed and Event-based Systems (DEBS) , Online (originally planned to be in Milan, Italy), July 2021.
219
The Common Desktop Environment (CDE) in 2021
Published: 28-01-2021 | Author: Remy van Elst | Text only version of this article
220
Hardening macOS (2018)
Quick and easy guide for securing macOS systems, for both laymen and security enthusiasts. Last updated for Golden Gate.
221
Can My Water Cooled Raspberry Pi Cluster Beat My MacBook?
It's time to put my water cooled Raspberry Pi Cluster to the test. I put it up against my MacBook and a Windows PC to see which performed best
222
Unlocking LUKS2 Volumes with TPM2, FIDO2, PKCS#11 Security HW on Systemd 248
Posts and writings by Lennart Poettering
223
224
Effective Concurrency with Algebraic Effects in Multicore OCaml
Algebraic effects and handlers provide a modular abstraction for expressing effectful computation, allowing the programmer to separate the expression of an effectful computation from its implementation. In this post, I will present an extension to OCaml for programming with linear algebraic effects, and demonstrate…
225
Query Engines: Push vs. Pull
People talk a lot about “pull” vs. “push” based query engines, and it’s pretty obvious what that means colloquially, but some of the details can be a bit hard to figure out.
226
Containers vs. pods – taking a deeper look
Can a Kubernetes Pod be created with plain Docker commands? Learn the difference between Containers and Pods by exploring how they are implemented under the hood.
227
Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Containers
This week’s paper review is the second in a series on “The Future of the Shell” (Part 1, a paper about possible ways to innovate in the shell is here ). As always, feel free to reach out on Twitter with feedback or suggestions about papers to read! These weekly paper reviews can also be delivered weekly to your inbox .
228
M1 Icestorm cores can still perform well
What are the penalties in real-world use for running your code on Icestorm cores, using around 10% of the power used by Firestorms?
229
230
231
MIT Scheme on Apple Silicon
Instructions for compiling and running MIT/GNU Scheme.
232
Decompressing a Gzip File by Hand
2024 Update: Part 2 is out! Let’s make a gzipped file and see what’s in it. We’ll keep it simple: just write 8 ‘a’s to a file. $ echo "aaaaaaaa" > test.out $ xxd test.out 00000000: 6161 6161 6161 6161 0a aaaaaaaa. As we can see, our file is 9 bytes long. We have 8 ‘a’ bytes written, plus a Line Feed (LF) character…
233
234
WebGPU computations performance in comparison to WebGL
WebGPU – the successor of WebGL, a brand new API to utilize GPUs in the browser. It is promised to be available in regular Chrome in Q1 2022. In comparison to WebGL, WebGPU promises better performance and better compatibility with modern hardware, but the most recognizable feature of WebGPU is a special API for…
235
Huawei ExaGear: x86_64 apps on Arm 64-bit Linux systems
Note: This post is only kept up for historical reasons. The current ExaGear EULA doesn’t allow using ExaGear outside of Huawei Kunpeng processors.
236
I got nerd sniped into benchmarking legacy x86 instructions (2019)
How I got nerd sniped into benchmarking legacy x86 instructions
237
What I learned from Erlang about resiliency in systems design (2019)
Failure in computer systems is inevitable. Adopting Erlang's philosophy of "Let it crash" at the many layers of abstractions in software can have a huge positive impact on resiliency.
238
239
Wayland in 2021
Running Wayland on Linux in 2021
240
T-Wand: beating Lucene in less than 600 lines of code
The design of Datalevin's compact Clojure search engine, its T-Wand algorithm, and the full-text search benchmarks comparing it with Apache Lucene.