1
1
Correlated RNG in Games (knivesforcats.online)
2
Histogram vs. empirical cumulative distribution function (eCDF) for dataviz (brooker.co.za)
4
First CHERIoT Silicon (cheriot.org)
1
A fast path for decoding fixed-length lists in Parquet (morling.dev)
2
Existential Types on a Leash in Haskell (cdfa.github.io)
3
Documentation and analysis of the Linux random number generator (bund.de)
16
The mean means nothing: data visualization to debug a latency problem (fzakaria.com)
2
Query cycles: a Rust compiler murder mystery (ferrous-systems.com)
2
Issetugid() Sadness (gist.github.com)
2
The Myth of the 'Waterfall' SDLC (bawiki.com)
3
ALP: Adaptive lossless floating-point compression (github.com/cwida)
1
Fast Synthesis of Basic Oscillators (artemis.sh)
1
SIMD within a bignum in pure Python (da.vidbuchanan.co.uk)
2
Unicode variation selector 15 and text vs. emoji presentation styles (benjaminwil.info)
1
Are emoji allowed in XMPP addresses? (op-co.de)
1
Hardening Rust Code for Production (corrode.dev)
3
Rewriting the Futhark Type Checker (futhark-lang.org)
1
Tech ain't that deep – and that's a problem (deadsimpletech.com)
2
Rust for Morello ARM CHERI: always-on memory safety, even in unsafe code [pdf] (dagstuhl.de)
1
Qalculate Time Hacks (greenend.org.uk)
1
Qalculate Hacks (anarc.at)
1
Inkwell: It's a New Kind of Wrapper for Exposing LLVM in Safe Rust (github.com/thedan64)
2
An overview of language features and implementation tasks that contribute toward (serokell.io)
3
Native Inotify in FreeBSD (klarasystems.com)
3
6× faster batched binary search in Rust (pythonspeed.com)
2
Reaction: A daemon that scans program outputs for repeated patterns, and takes a (framagit.org)
2
Digital show and tell: how digital audio signals behave in the real world (xiph.org)
1
Mechanized type inference for record concatenation as in Nix (haskellforall.com)
2
Rust service isn't leaking: when do glibc / jemalloc / mimalloc call munmap (pranitha.dev)
1
In-place functional programming with Koka (acm.org)
2
CO2 helps viruses stay alive longer in the air (statnews.com)
12
Ditching Vagrant: VMs with KVM and Virsh on Debian (benjamintoll.com)
2
A floating point option shield to check for sensible C compiler configurations (gist.github.com)
2
Proving the fundamental theorem of arithmetic in Agda (byorgey.github.io)
1
Low-level Haskell: The cursed way to emulate inline assembly in Haskell/GHC, or (minoki.github.io)
1
The Economics of Starlink and SpaceX (potaroo.net)
1
An arbitrary-palette positional dithering algorithm (bisqwit.iki.fi)
2
Towards efficient matching of regexes with backreferences using register set aut (acm.org)
2
Flap: A deterministic parser with fused lexing (arxiv.org)
1
Unfathomable bugs #10: The Broken Windows Build (algassert.com)
1
Question: Is matching fixed regexes with back-references in P? (branchfree.org)
2
Prism: An impure functional language with typed effects (stephendiehl.com)
1
Perceus: Garbage free reference counting with reuse (acm.org)
2
What data access pattern is as slow as possible? (weineng.me)
1
Shard your locks: benchmarking 6 Golang cache designs (strebkov.dev)
8
Swsim: A Software SIM Card (github.com/tomasz-lisowski)
9
Mlibc: A fukk-featured portable C standard library (github.com/managarm)
1
Record Type Inference for Dummies (haskellforall.com)
2
Performance of WASM Runtimes in 2026 (00f.net)
2
Agitjo: Manage Forgejo PRs with AGit-Flow in Emacs (codeberg.org/halvin)
2
The Glorious Revolution and the causes of the industrial revolution (worksinprogress.news)
3
Russia's nuclear-powered 'Skyfall' missile is dirty and dangerous (npr.org)
6
The inspection paradox is everywhere (allendowney.blogspot.com)
2
Offset_of (Slice) in Rust (bal-e.org)
1
Zlib-rs in Firefox and an Intel CPU hardware bug (trifectatech.org)
1
Rust async task local variables from scratch (wolfgirl.dev)
1
Pinning down a hardware bug in Intel 13th/14th gen CPUs (fgiesen.wordpress.com)
1
Darts, dice, and coins: sampling from a discrete distribution (keithschwarz.com)
2
Every Single Outfit in Hackers (taramariagonzalez.substack.com)
6
The APLR(1) algorithm for compact LR(1) parsers is simpler and more capable than (branchtaken.com)
3
Flew: Emulated WiFi on Bluetooth Hardware (acm.org)
2
Brute-force SSH attacks in the wild and how to stop them (utah.edu)
2
Factoring "short-sleeve" zero-heavy RSA keys with polynomials (trailofbits.com)
3
An interactive introduction to the terrific experience of rendering Arabic typog (lr0.org)
6
Chili peppers of the world: cultivars, species, and heat (notesfromtheroad.com)
2
Justification in Arabic Typesetting (doi.org)
2
Learning a regular language by inferring a DFA with the TTT algorithm (gopinath.org)
1
Debootstrapping without archeology: stacked implementations in Camlboot (arxiv.org)
4
Tars: Tiny automatic recycling system, a prototype desktop injection moulding ma (manutechlab.com)
1
Blocking an as (Or Similar) with CIDR-Aggregator (dracos.co.uk)
1
RNG: Flat Datacenter Networks at Amazon (arxiv.org)
2
Centrality in the DNS (potaroo.net)
1
Safe made easy: single ownership is (not) optional (ergeysay.me)
1
Debris with telemetry: cybersecurity and Kessler syndrome (thespacereview.com)
1
Floating-point error handling in C++: what works? (johnnysswlab.com)
3
The design principles of the Elixir type system (arxiv.org)
1
A post-quantum future for Let's Encrypt (letsencrypt.org)
3
"Sum Ergo Demonstro" RP2350 Demo Explained (linusakesson.net)
2
A structure-aware fuzzing experiment in Rust (fitzgen.com)
3
Willis Lamm's traffic light collection (kbrhorse.net)
9
Lunacy: A Lua JIT Written in Rust (redvice.org)
2
Yocto vs. Debian for building embedded Linux systems (sigma-star.at)
1
Erasing Existential Types in Rust (wolfgirl.dev)
2
The origin of quorum systems in distributed computing [pdf] (vukolic.com)
3
The geometry of superior athletic performance (nickmark.substack.com)
2
Acme CAA extensions to become mandatory (feistyduck.com)
1
Using GCC's nested functions with wide pointers and no trampolines (codeberg.page)
32
Creusot helps you prove your Rust code is correct (github.com/creusot-rs)
1
Deciphering a business card raytracer. (2013) (fabiensanglard.net)
1
Verilog: Back to the building blocks' building blocks (cornell.edu)
1
Mvm: A fast bytecode interpreter for Golang (mvm.sh)
1
From AFSK to Goertzel: demodulating packet radio (uart.cz)
1
Antcc: A Little C Compiler (codeberg.org/lsof)
3
Kefir: A C17/C23 Compiler (sr.ht)
2
Scoped Error in Rust (kanru.info)
5
Slimcc: C23 compiler with C2y/GNU extensions for x86-64 Linux/BSD, written in C9 (github.com/fuhsnn)
1
Spy: language semantics for a statically-typed compiled variant of Python (antocuni.eu)
2
The fourth independent assessment of UK climate risk (theccc.org.uk)
5