1
229
Surveillance is not safety: A statement on the UK's latest threat to privacy [pdf] (signal.org)
1
PivCo-Huffman (marcinzukowski.github.io)
3
Revealing the Frontier with Stacks and Queues (dystroy.org)
2
A New Design for Pretty Printer Implementations in Rust (wybxc.cc)
1
Building an AsyncIO executor for the 3DS (pt 1) (cat-girl.gay)
1
The Rex Syntax System (github.com/sol-plunder)
2
Scaling Akvorado BMP Rib with Sharding (bernat.ch)
2
Church Encoding, Parametricity, and the Yoneda Lemma (wybxc.cc)
2
Reviewing so called Pull Requests at $dayjob (rkta.de)
7
Profunctor Equipment in Haskell (bartoszmilewski.com)
1
A new hash table for Lwan (tia.mat.br)
2
A Bidirectional Typechecking Puzzle (haskellforall.com)
1
Podman rootless containers and the Copy Fail exploit (garrido.io)
3
Signed by Default Camp (gingerbill.org)
1
Minimal Viable Zig Error Contexts (matklad.github.io)
2
Gardens, Not Roads: Cultivating Open Source Communities (tarakiyee.com)
11
My Stratum-0 Atomic Clock (coverclock.blogspot.com)
37
I just want simple S3 (feld.me)
1
LeaseGuard: Raft Leases Done Right (emptysqua.re)
1
All of the String Types (lambdalemon.gay)
47
A tail-call interpreter in (nightly) Rust (mattkeeter.com)
1
DSTs Are Just Polymorphically Compiled Generics (faultlore.com)
1
Alpha Equivalent Hash Consing with Thinnings (philipzucker.com)
1
The Lock Nobody Held: Deadlocking a Tokio Mutex Without Holding a Lock (e6data.com)
1
Scan-Scatter Fusion (futhark-lang.org)
2
Calculate "1/(40rods/ hogshead) → L/100km" from your Zsh prompt (bernat.ch)
1
Let's See Paul Allen's SIMD CSV Parser (chunkofcoal.com)
3
The Good, the Bad, and the Leaky: jemalloc, bumpalo, and mimalloc in meilisearch (kerollmops.com)
4
Yes, all longest regex matches in linear time is possible (iev.ee)
3
Good Old Pointers (medium.com/rsx11)
7
Torturing Rustc by Emulating HKTs (harudagondi.space)
1
Get in Line (Part 2) – Vyukov's Queue and its specializations (abhikja.in)
1
Designing Odin's Casting Syntax (gingerbill.org)
1
Taming the Flat AST: Ergonomics in the Age of Zero Allocations (modern-c.blogspot.com)
2
Zig Libc (ziglang.org)
42
How the Lobsters front page works (atharvaraykar.com)
1
Ringmpsc: Lock-free MPSC channel in Zig achieving 50B messages/second (github.com/boonzy00)
2
Robin Hood hashing for modern audiences (github.com/rip-create-your-account)
2
Protobuf Has LSP Support (buf.build)
233
A website to destroy all websites (henry.codes)
2
Sorting with Fibonacci Numbers and a Knuth Reward Check (orlp.net)
1
Live, Die, Repeat: The fight against data retention and boundless access to data [video] (ccc.de)
1
From Operations to Effects: A Journey Through M-Sets (burakemir.ch)
30
The Algebra of Loans in Rust (nadrieril.github.io)
7
A Struct Sockaddr Sequel (lwn.net)
2
Learn C++ Itanium Symbol Mangling (noratrieb.github.io)
7
A Plan for 5-10%* Faster Free-Threaded JIT by Python 3.16 (fidget-spinner.github.io)
5
Frozen DuckLakes for Multi-User, Serverless Data Access (ducklake.select)
2
3x-9x Faster Apache Parquet Footer Metadata Using a Custom Thrift Parser in Rust (apache.org)
4
A Fork in the Road: Deciding Kafka's Diskless Future (jack-vanlightly.com)
1
Fast Call-Stack Backtrace (bkaradzic.github.io)
26
The macOS LC_COLLATE hunt: Or why does sort order differently on macOS and Linux (2020) (zhimingwang.org)
1
[Pre-RFC] Substructural Type System (rust-lang.org)
1
Rethinking PostgreSQL buffer mapping for modern hardware architectures (orioledb.com)
1
Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks (muratbuffalo.blogspot.com)
1
Item Patterns and Struct Await (noratrieb.dev)
42
The Burrows-Wheeler Transform (sandbox.bio)
23
CPU cache-friendly data structures in Go (skoredin.pro)
2
The Time-Ordered ID and Base32lex Binary Encoding (learningproof.github.io)
1
Folding in Parallel (okmij.org)
3
From Arc to Box: One Deref Bound to Rule Them All (pierrezemb.fr)
2
Behind y-s2: serverless multiplayer rooms (s2.dev)
1
Apply the Trie: Word Search (mmhaskell.com)
1
A DHT for iroh – Part 1, The Protocol (iroh.computer)
1
Monads Are Too Powerful: The Expressiveness Spectrum (chrispenner.ca)
1
Checking that functions are constant time with Valgrind (2010) (imperialviolet.org)
1
Building Search for this Site – Search on a static site (alexleighton.com)
1
A Slotted Hash Cons for Alpha Invariance (philipzucker.com)
1
Launching QuickDID – Fast, Open Handle Resolution for the AT Protocol (leaflet.pub)
1
Driftsort: An efficient, generic and robust stable sort implementation (github.com/voultapher)
30
Areal, Are.na's new typeface (are.na)
1
Cabinet: Dynamically Weighted Consensus Made Fast (muratbuffalo.blogspot.com)
2
Chunking for Fasta Parsing (curiouscoding.nl)
2
In Order Traversal in Haskell and Rust (mmhaskell.com)
139
Building Bluesky comments for my blog (natalie.sh)
2
Zero-Copy (De)Serialization (apache.org)
2
Jujutsu UI (github.com/idursun)
1
Destructive Updates – A Stitch in Time (icicle-lang.github.io)
1
SimdSketch: A Fast Bucket Sketch (curiouscoding.nl)
8
Intensional Joy (a concatenative account of internal structure) (pithlessly.github.io)
25
Ways to generate SSA (bernsteinbear.com)
3
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (acm.org)
2
Pwn2Own Automotive: Popping the Charx SEC-3100 (ret2.io)
2
Optics for UI 1: Deconstructing React with Parametrised Lenses (cybercat.institute)
2
A Practical Interpretation of Linear Logic (protovision.github.io)
34
Into CPS, Never to Return (bernsteinbear.com)
2
Well-Typed Substructural Languages (zanzix.github.io)
32
Hacking physics from the back of a napkin (2020) (hapax.github.io)
2
Dependent Types and the Art of HTTP Headers (github.com/mar-file-system)
46
The Rise of Bluesky (acm.org)
30
Scientific computing with confidence using typed dimensions (laurentrdc.xyz)
1
Reliable Immutable Transfer Protocol (paper.wf)
70
OpenVMM – A New VMM for Windows and Linux, Written in Rust (github.com/microsoft)
1
Linearity in Query Processing (buttondown.com/jaffray)
1
Hytradboi 2025 (scattered-thoughts.net)
2
OpenBSD crond / crontab set_range() heap underflow (CVE-2024-43688) (supernetworks.org)
2
Behind the Scenes on Type Directed Search for Unison Share (unison-lang.org)
1
Abstract Interpretation in the Toy Optimizer (bernsteinbear.com)
3