2521
Fun with Unix domain sockets
A small enhancement to Datasette this week: I’ve added support for proxying via Unix domain sockets. This started out as a feature request from Aslak Raanes: #1388: Serve using UNIX …
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 6,945 posts.
2522
Caddy compatibility for zeroserve: 3x throughput and 70% lower latency
zeroserve is a high-performance HTTPS server that runs eBPF scripts in userspace ( intro ). Now it's got a Caddy-compat mode - when provided a Caddyfile, zeroserve JIT-compiles it to eBPF and then to native x86_64/ARM64 machine code, and runs it in an io_uring event loop.
2523
2524
How key-based cache expiration works
There are only two hard things in Computer Science: cache invalidation and naming things — Phil Karlton Doing cache invalidation by hand is an incredibly frustrating and error-prone process. You’re very likely to forget a spot and let stale data get served. That’s enough to turn…
2525
Memory Safe Context Switching
This document describes how Fil-C supports longjmp , setjmp , setcontext , getcontext , makecontext , and swapcontext in a totally memory-safe way. In particular, no misuse of those APIs in Fil-C can lead to stack corruption or any other violation of Fil-C's capability model.
2526
Attacking Firecracker: AWS' MicroVM Monitor Written in Rust
Why are more security teams adopting Firecracker? How secure is it, and how suitable is it for your organization? This guide dives into this trending innovation.
2527
Amazon Aurora: Avoiding Distributed Consensus for I/Os, Commits, Membership
Amazon Aurora: on avoiding distributed consensus for I/Os, commits, and membership changes, Verbitski et al., SIGMOD’18 This is a follow-up to the paper we looked at earlier this week on the design…
2528
2529
What has changed in CPU cores in M3 chips?
Little seems to have changed in CPU cores in M3 chips, if you read reviews. Dig a bit deeper and there are major changes, as explained here.
2530
Shells are two things
Command languages and scripting languages are and should be different things.
2531
2532
Austral: A systems language with linear types and capabilities
Introducing a new programming language.
2533
2534
ECC RAM should be a human right
I am now a staunch advocate for ECC RAM, after the events of last week. You see, over the last several weeks my main desktop workstation has been misbehaving, with occasional freezing and crashing. After some diagnostics I began to suspect a faulty RAM module, and sure enough, upon performing a quick run of memtest86…
2535
Formal Methods: Just Good Engineering Practice? (2024)
Earlier this week, I did the keynote at TLA+ conf 2024 ( watch the video or check out the slides ). My message in the keynote was something I have believed to be true for a long time: formal methods are an important part of good software engineering practice. If you’re a software engineer, especially one working on…
2536
Linux Certificate Authority root stores have a too simple view of 'trust'
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…
2537
Standard cells: Looking at individual gates in the Pentium processor
Intel released the powerful Pentium processor in 1993, a chip to "separate the really power-hungry folks from ordinary mortals." The origin...
2538
2539
ReactOS 0.4.0 Released
ReactOS is a free, opensource reimplementation of windows
2540
How Compaction Works in Pi
Why compaction is needed for large language models and how Pi implements it
2541
Zed Decoded: Async Rust
From the Zed Blog: In this episode of Zed Decoded, Thorsten and Antonio explore how we use async Rust in the Zed code base to ensure perfect cooperation with macOS to always maintain responsiveness and high-performance.
2542
2543
Distributed Erlang
I'm a two hit wonder
2544
PostgreSQL, Memory and the Cloud
This post explains how Linux memory overcommit and OOM-killer behavior can turn a single runaway query into a full PostgreSQL crash, and why many managed cloud database services fail to disable overcommit the way self-hosted PostgreSQL recommends.
2545
Cache Associativity
Consider a strided incrementing loop over an array of size $N=2^{21}$ with a fixed step size of 256:
2546
WASIX, the Superset of WASI Supporting Threads, Processes and Sockets
Today we are very excited to launch a new initiative that will start shaping the future of WebAssembly on both the browser and the server. WASI was ann...
2547
2548
Let's Build a 28-Core Raspberry Pi Cluster
I built a 28-core gigabit cluster, Kraken, consisting of 7 Raspberry Pi 3 Model Bs.
2549
2550
Some Notes About Time
This is a trade-off: you can't represent a leap second, and your time is guaranteed to go backwards. On the other hand, every day has exactly 86,400 seconds, and you don't need a table of all previous and future leap seconds in order to format Unix time as human-preferred hours-minutes-seconds.