2041
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,560 posts.
2042
Why doesn’t the clock in the taskbar display seconds? (2003)
Practical development throughout the evolution of Windows.
2043
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.
2044
2045
Retrofitting Temporal Memory Safety on C++
Eliminating use-after-frees vulnerabilities in Chrome with heap scanning.
2046
2047
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.
2048
2049
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
2050
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…
2051
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.
2052
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…
2053
2054
Chapel 1.32
A summary of highlights from the September 2023 release of Chapel 1.32.0
2055
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…
2056
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.
2057
Porting QEMU to RedoxOS
The Redox official website
2058
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…
2059
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.
2060
2061
2062
2063
2064
The x86 architecture is the weirdo (2004)
So unlike all the others, yet people think it's the normal one.
2065
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
2066
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.
2067
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…
2068
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…
2069
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...
2070
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.