3961
There's a mini RTOS in my language
AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 6,947 posts.
3962
TCP Fast Open? Not so fast
As TCP becomes more important to DNS, overhead is becoming an issue.
3963
Functional programming and reliability: ADTs, safety, critical infrastructure
> In banking, telecom, and payments, reliability is not a nice to have. It is table stakes. The most reliable systems I have worked on reduce entire classes of bugs before the code even runs. Function...
3964
Improving Xwayland window resizing
One of the quickest ways to determine whether particular application runs using Xwayland is to resize one of its windows and see how it behaves, for example
3965
Software architecture is failing
I doubt there has ever been a time when software architecture was seen as a raging success. The “three-tier architecture” of the web has held up extremely well and is an excellent place for many people to start. The “12 Factor App” approach has encouraged developers to adopt practices that make deployment and scaling…
3966
The Race to Seal Helium HDDs (2021)
Long thought impossible, helium has been one of the greatest breakthroughs for high-capacity HDDs. This is the story the science behind them.
3967
X Window System Basics (2014)
Since this article contains a lot of interactive demos relying on fairly modern browser technology, let's make sure that everything is OK before continuing.
3968
FreeBSD Home Audio Studio
Another guest post by @NeoMoevius from Twitter. Same as earlier with the Native Urban Terror on FreeBSD article. This time it will be about setting up Home Audio Studio on a FreeBSD 13.1 system. Th…
3969
3970
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…
3971
3972
Rewriting Sysctl(8) in Rust: Systeroid
sysctl is a simple and great tool for modifying the kernel parameters. It does its job very well by providing an easy-to-use interface for /proc/sys. It is maintained as a part of procps toolkit for years and it can easily be considered a legacy tool today. So why not push it to its limits and turn it into a more…
3973
3974
3975
Going faster by duplicating code
This function doesn't know the value being multiplied until it is called. The compiler (gcc, O2) emits a generic integer multiply instruction in its loop body.
3976
Spinning around: Please don’t – Common problems with spin locks
Embark on a journey about why you should sometimes trust your OS more than yourself.
3977
3978
Mind the encryptionroot: How to save your data when ZFS loses its mind
While ZFS has a well-earned reputation for data integrity and reliability, OpenZFS native encryption has some incredibly sharp edges that will cut you if you don't know where to be careful. Unfortunately, I learned this the hard way, standing in a pool of my own blood and tears after thoroughly lacerating myself…
3979
DPAPI security flaw in Windows 10
Show blog article
3980
Understanding the Go Runtime: The Scheduler
In the previous article we explored how Go’s memory allocator manages heap memory — grabbing large arenas from the OS, dividing them into spans and size classes, and using a three-level hierarchy (mcache, mcentral, mheap) to make most allocations lock-free. A key detail was that each P (processor) gets its own memory…
3981
84% of a single-threaded 1KB write in Redis is spent in the kernel
Alex Clemmer is a computer programmer. Other programmers love Alex, excitedly describing him as "employed here" and "the boss's son".
3982
Filesystem error handling
We’re going to reproduce some results from papers on filesystem robustness that were written up roughly a decade ago : Prabhakaran et al. SOSP 05 paper , which injected errors below the filesystem and Gunawi et al. FAST 08 , which looked at how often filesystems failed to check return codes of functions that can…
3983
Sandboxing and workload isolation
Documentation and guides from the team at Fly.io.
3984
Rewriting the heart of our sync engine
Over the past four years, we've been working hard on rebuilding our desktop client's sync engine from scratch. The sync engine is the magic behind the Dropbox folder on your desktop computer, and it's one of the oldest and most important pieces of code at Dropbox. We're proud to announce today that we've shipped this…
3985
3986
PythonBPF – Writing eBPF Programs in Pure Python
I brag about my newest obsession.
3987
Happy new year and goodbye bzip2
We started listing xz-compressed versions of kernel archives in all our announcements back in March 2013, and the time has come to complete the switch. Effective immediately, we will no longer be providing bzip2-compressed versions for new releases of the Linux kernel and other software. Any previously released…
3988
Tracking down a memory leak in Ruby's EventMachine
At Stripe, we rely heavily on ruby and EventMachine to power various internal and external services. Over the last several months, we’ve known that one such service suffered from a gradual memory leak, that would cause its memory usage to gradually balloon from a normal ~50MB to multiple gigabytes. It was easy enough…
3989
Branchless code sequences
David Thomas's website.
3990
Linkers and Loaders (1999)
The text in these files is the unedited original manuscript. M-K has fine copy editors, who have fixed all the minor typos, spelling, and grammar errors in the printed book, but if you come across factual errors I'd still appreciate help getting all the details of linking and loading as complete and correct as…