Topics /
Systems & Performance
The most popular blog posts about systems & performance on Hacker News. 2,560 posts.
Why doesn’t the clock in the taskbar display seconds? (2003)
Practical development throughout the evolution of Windows.
MicroShift
MicroShift has been specifically designed for edge computing use cases, with a goal of fitting in the limited storage capacity of field-deployed devices that can be embedded into a variety of appliances such as cars, factory lines, airplanes or even satellites.
Retrofitting Temporal Memory Safety on C++
Eliminating use-after-frees vulnerabilities in Chrome with heap scanning.
Scaling Asana.com
Are you interested in learning more about working on Asana's engineering team or the work they do? Read the Asana engineering blog.
Can LLMs model real-world systems in TLA+?
Editors’ note: AI has been actively pushing the frontier of applied formal methods for computing systems. In this article, the Specula team wrote about their experience of evaluating LLMs on modeling system code, the basic capability for agentic model checking, using TLA+, a specification language f
Batch computing and the coming age of AI systems
There’s a lot of excitement right now about human-in-the-loop systems supercharged by foundation models including chat assistants ( ChatGPT ), word processing ( Microsoft Office ), graphic design ( Stable Diffusion ), and code editing ( Copilot ). However, these systems only begin to scratch the surface of the role…
Improving math performance in glibc
Read the most recent Red Hat Developers blog content. Explore our featured monthly resource as well as our most recently published items.
Amazon Aurora PostgreSQL Serverless
The database is usually the most critical part of a software architecture and managing databases, especially relational ones, has never been easy. For this reason, we created Amazon Aurora Serverless, an auto-scaling version of Amazon Aurora that automatically starts up, shuts down and scales up or down based on your…
Chapel 1.32
A summary of highlights from the September 2023 release of Chapel 1.32.0
An Internet-Ready OS From Scratch in a Week – Rump Kernels on Bare Metal
The most time-consuming part of operating system development is obtaining enough drivers to enable the OS to run real applications which interact with the real world. NetBSD's rump kernels allow reducing that time to almost zero, for example for developing special-purpose operating systems for the cloud and embedded…
Using the FreeBSD Rack TCP Stack
Explore FreeBSD's RACK TCP Stack, a dynamic pluggable TCP stack introduced in version 12, offering advanced flexibility for handling TCP flows.
Porting QEMU to RedoxOS
The Redox official website
GhostRace: Exploiting and mitigating speculative race conditions
Exploiting and Mitigating Speculative Race Conditions GhostRace: CVE-2024-2193 Race conditions arise when multiple threads attempt to access a shared resource without proper synchronization, often leading to vulnerabilities such as concurrent use-after-free. To mitigate their occurrence, operating systems rely on…
Caching in theory and practice
Dash knows your context, your team, and your work, so your team can stay organized, easily find and share knowledge, and keep projects secure, all from one place.
The x86 architecture is the weirdo (2004)
So unlike all the others, yet people think it's the normal one.
We Built a Streaming SQL Engine
A streaming SQL engine keeps queries’ results up to date without ever having to recalculate them, even as the underlying data changes. To explain this, imagine a simple query, such as SELECT count(*) FROM humans
Gracefully Restarting a Go Program Without Downtime
This post discusses approaches to gracefully restart a Go application with a working sample, useful for developers and SREs who build services written in Go.
Inside Pascal: Nvidia 's Newest Computing Platform
At the 2016 GPU Technology Conference in San Jose, NVIDIA CEO Jen-Hsun Huang announced the new NVIDIA Tesla P100, the most advanced accelerator ever built. Based on the new NVIDIA Pascal GP100 GPU and…
AI’s compute fragmentation: what matrix multiplication teaches us
AI is powered by a virtuous circle of data, algorithms (“models”), and compute. Growth in one pushes needs in the others and can grossly affect the developer experience on aspects like usability and performance. Today, we have more data and more AI model research than ever before, but compute isn’t scaling at the same…
PyPy: Transactional Memory (II)
Here is an update about the previous blog post about the Global Interpreter Lock (GIL). In 5 months, the point of view changed quite a bit...
Lakebase architecture delivers faster Postgres writes
How Lakebase's storage architecture pushes down full page write generation to cut WAL traffic by 94% and boost Postgres write throughput by up to 5x.