2131
2021 Williams F1 Computational Fluid Dynamics
Thanks to some clever people I was able to get a CAD model of the current 2021 Williams F1 car — that’s not something that happens every day, so of course I had to run CFD on it. CAD Ge…
New
The latest blog posts to take off on Hacker News. 4,389 posts.
2132
Parsing Protobuf at 2+GB/S: How I Learned to Love Tail Calls in C
[Note: there have been several developments in this space since thisarticle was published. See A Tail Calling Interpreter For Python (And Other Updates) for...
2133
Hunting down the stuck BGP routes
BGP is the glue between all of the thousands of border routers that make up the internet (you can find this post (battleships) and this post (EvE) as a crash course on how BGP works).
2134
Software Infrastructure 2.0: A Wishlist
Erik Bernhardsson
2135
What's in the Box?
Here’s a sentence I find myself saying several times a week: …or we could just box it. There’s two remarkable things about this sentence. The first, is that the advice is very rarely heeded, and in...
2136
Why Specifications Don't Compose
Recently my friend Lars Hupel and I had a discussion on why formal methods don’t compose well. You can read the conversation here. We focused mostly on composing formally-verified code. I want to talk a little more about the difficulties in composing specifications. This is half because it’s difficult for interesting…
2137
MirkoPC – a Raspberry Pi CM4-powered computer made in Poland
The MirkoPC is so far the closest thing to a full-fledged Raspberry Pi desktop computer: Based on the Compute Module 4, it has a full-size M.2 M-key slot, allowing the Pi to boot from reliable and fast NVMe SSD storage, a built-in headphone amp and line out, 4 USB 2.0 ports, gigabit Ethernet, two HDMI ports, and a…
2138
Dissecting the Apple M1 GPU, Part III
After a few weeks of investigating the Apple M1 GPU in January, I was able to draw a triangle with my own open source code . Although I began dissecting the instruction set, the shaders there were specified as machine code. A real graphics driver needs a compiler from high-level shading languages (GLSL or Metal) to a…
2139
Reducing Rust Incremental Compilation Times on macOS
How I reduced Rust incremental debug build times on macOS from 14 seconds down to 4 seconds.
2140
WinGet is terrible, I want AppGet back
It’s been almost a year that Keivan Beigi shut down the AppGet project in response to shenanigans by the Windows App Model team. Microsoft…
2141
2142
A Universal I/O Abstraction for C++ (2020)
This article is the sequel to A Universal Async Abstraction for C++ , in which I talk about the Executor proposal targeting C++23. Quite a bit happened since then.
2143
SQLite the only database you will ever need in most cases
The name SQLite is a nice name, but the "lite" part is misleading, it sounds like it is only useful for tiny things - which is very wrong. SQLite should be named AwesomeSQL, because that is what it is. SQLite is probably the only database you will ever need in most cases.
2144
2145
Linux, macOS, and Windows running simultaneously on a first gen Core i5
This is my main computer, a Thinkpad T410 with a 1st generation Intel Core i5 and 8 GB of RAM. It runs Arch Linux with Xfce.
2146
Demystifying programs that create programs, part 1: A disassembler
People appear to enjoy the blog posts about me porting different compilers to OpenBSD . What I would like to do for the next couple of posts beginning with this one is to take a step back and de-complexify these programs. Both the D compiler and the GNU Modula-2 compiler are highly complex pieces of software. But at…
2147
A Ceph war story
It all started with the big bang! We nearly lost 33 of 36 disks on a Proxmox / Ceph Cluster; this is the story of how we recovered them.
2148
Scalable, Resilient Brainfuck
Building Brainf∗ck interpreter for the 21 century, with all the best systems design practices in mind. Think of Brainf∗ck-as-a-service cloud solution!
2149
2150
A bit of XENIX history (2014)
Retrocomputing and other indulgences
2151
Surprisingly Slow
I have an affinity for performance optimization and making software as efficient as possible. Over the years, I've encountered specific instances and common patterns that make software or computers slow. In this post, I'll shine a spotlight on some of them.
2152
On Cache Invalidation: Why Is It Hard? (2018)
Many people must have heard this quote (by Phil Karlton) many times: There are only two hard things in Computer Science: cache invalidation and naming things. Two days ago, Nick Tierney mentioned it …
2153
2154
Writing Your First Kernel Module (2019)
Kernel modules are code components that can be loaded and unloaded by the kernel when required. They are used to extend the functionality…
2155
This Blog is now hosted on a GPS/LTE modem
Ethical Hacking and Cybersecurity Blog
2156
Tar is an ill-specified format (2015)
http://invisible-island.net/ autoconf/ Copyright © 2014–2015,2016 by Thomas E. Dickey
2157
The end of TenFourFox and what I've learned from it
Now that I have your attention. I've been mulling TenFourFox's future for awhile now in light of certain feature needs that are far bigger ...
2158
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
2159
Speculating the entire x86-64 instruction set in seconds with one weird trick
As cheesy as the title sounds, I promise it cannot beat the cheesiness of the technique I’ll be telling you about in this post. The morning I saw Mark …
2160
