15331
Building a web server in aarch64 assembly to give my life (a lack of) meaning
a static http server in aarch64 assembly
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 21,842 posts.
15332
Using C++ as a scripting language, part 8
Improving API function calls using inline assembly
15333
Improving on std:count_if()'s auto-vectorization
To start off, we can leverage the STL for this calculation. std::count_if() more precisely:
15334
Loading Pydantic models from JSON without running out of memory
Pydantic’s JSON loading uses a huge amount of memory; here’s how to reduce it.
15335
15336
How I reverse engineered a commercial spatial audio effect
Measuring a commercial spatial audio processor, extracting its stereo impulse responses, and rebuilding the effect as a convolution filter on Linux.
15337
Typed, modular macros for OCaml
As part of my OCaml Labs research project, I implemented a new macro system for OCaml, based on a design by Leo White and Jeremy Yallop [1] .
15338
Arena-based parsers
The code is a bit "experimental" but it's available in the arena-fixes branch (make sure to enable --features=development if you run it from a Git repo).
15339
What I did at Recurse Center
I spent the summer at Recurse Center, a programming retreat in Brooklyn, at the recommendation of my friend Cory. These are some things I did there.
15340
Building an Advanced Agentic Harness
From a single pilot to an air campaign: planning, parallelism, memory, verification, and observability for production-shaped agents.
15341
Google Logo Ligature Bug
Jeffrey Yasskin recently pointed out an interesting security bug: The idea is, if you had registered googlelogoligature.net then Chrome on Android (and possibly other Google products) would have displayed it as Google.net, potentially tricking users into thinking they were really interacting with Google. To see how…
15342
Eventual Business Consistency
Executive Summary of Bi-temporality
15343
15344
15345
15346
15347
How to make things slower so they go faster
In a service with capacity $\mu$ requests per second and background load $\lambda_0$, the usable headroom is $H = \mu - \lambda_0 > 0$. When $M$ clients align, e.g., after a cache expiry, at a cron boundary, or as a service returns from an outage, the bucketed arrival rate can
15348
GCC 4.9 Release Series – Changes, New Features, and Fixes
The mudflap run time checker has been removed. The mudflap options remain, but do nothing.
15349
Metaprogramming for madmen
This post is part of the series “Debris: Opening the box”. Okay, previous posts from this series aimed to actually convey useful technical information: assuming you actually want to wri…
15350
15351
How to Build a Chess Engine and Fail
A Chess-AI is something every programmer should build at least once and [Sebastian Lague’s](https://www.youtube.com/@SebastianLague) [competition](https://www.youtube.com/watch?v=iScy18pVR58) was the perfect opportunity for me to do so. Constrained to 1024 tokens I wanted to implement an evaluation function similar to…
15352
Buildpacks: Heroku for Everything
Last summer, Heroku became a polyglot platform, with official support for Ruby, Node.js, Clojure, Java, Python, and Scala. Building a platform that works..
15353
15354
Lemma for the Fundamental Theorem of Galois Theory
This post illustrates a key lemma that is used in proving the fundamental theorem of Galois theory (FTGT). Note that FTGT is not covered in this post. The focus of this post is on understanding and proving this lemma only. Here is the lemma from the book Galois Theory , 5th ed. by Stewart (2023):
15355
Timeouts and cancellation for humans (2018)
Your code might be perfect and never fail, but unfortunately the outside world is less reliable. Sometimes, other people's programs crash or freeze. Networks go down; printers catch on fire . Your code needs to be prepared for this: every time you read from the network, attempt to acquire an inter-process lock, or…
15356
Heartbleed and Static Analysis
The issue with things like Frama-C is that they are by far the easiest to use if you start out a project using them, and you often don’t know which projects you retroactively wished you had done so until they are big and crufty.
15357
Introducing NVK
Say hello to a brand new, open-source Vulkan driver for NVIDIA hardware in Mesa.
15358
15359
Anatomy of a Program in Memory
Memory management is the heart of operating systems; it is crucial for both programming and system administration. In the next few posts I'll cover memory with an eye towards practical aspects, but wi
15360
