23
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
No More Tears, No More Knots: Arena-Allocated Trees in Rust (deciduously.com)
2
EGraphs as Ground Completion Talk and Egraphs 2024 Notes (philipzucker.com)
1
Sans I/O when rubber meets the road (fractalideas.com)
5
Identifying Leap Years (2020) (davecturner.github.io)
1
What does GCD have in common with leap years? (palaiologos.rocks)
2
The FastLanes Compression Layout: Decoding >100B Integers per Second [pdf] (vldb.org)
1
Spending too much time optimizing for loops (octavelarose.github.io)
1
Inline caching in our AST interpreter (octavelarose.github.io)
1
Knot-based Key Exchange protocol [pdf] (iacr.org)
1
lsb2s – Ludicrous speed binary to source converter (gitlab.com/mbitsnbites)
13
Overflow in consistent hashing (2018) (rmarcus.info)
1
Union vs. Sum Types (viralinstruction.com)
1
Building a Better Hashtable on an FPGA (adamwalker.github.io)
3
Notes on Implementing Algebraic Subtyping (semantic.org)
1
A small template engine for C (omarpolo.com)
1
Modular Error Reporting with Dependent Lenses (cybercat.institute)
20
Decoding UTF8 with parallel extract (nrk.neocities.org)
19
Not all graphs are trees (buttondown.email/jaffray)
1
Heartbeat Scheduling: Provable efficiency for nested parallelism (cmu.edu)
49
[flagged] Lolita: A tagless, dependently typed, self-aware programming language (hirrolot.github.io)
1
Unanimous 2PC: Fault-Tolerant Distributed Transactions Can Be Fast and Simple (acm.org)
28
Knuth–Morris–Pratt illustrated (cambridge.org)
2
Why is there no realloc that takes the number of bytes to copy? (shift.click)
1
Open-source XYZ nanopositioner for precision analytical applications (nih.gov)
4
Rendering string diagrams recursively [pdf] (arxiv.org)
0
Gentle Intro to Type-Level Recursion in Rust: From Zero to HList Sculpting (beachape.com)
2
Agave Font (agaric.net)
17
Linear Algebra of Types (2019) (philipzucker.com)
1
In Search of the Perfect Fold (thunderseethe.dev)
36
Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec (github.com/cryspen)
1
Understanding the Phases Applicative (gist.github.com)
2
Faster and Fewer Page Faults (kernel-recipes.org)
1
What's in a GIF? (ionathan.ch)
1
Why Is Defunctionalization Good? (michaelpj.com)
2
Evaluating the Claims of "SAT Requires Exhaustive Search" (arxiv.org)
2
A compact relocation format for ELF (maskray.me)
1
QuePaxa: Escaping the Tyranny of Timeouts in Consensus (bford.info)
26
SuperC: Parsing All of C by Taming the Preprocessor [pdf] (2012) (paulgazzillo.com)
1
TextOS – Twitter (github.com/m1guelpf)
1
Writing a scheduler for Linux in Rust that runs in user-space (part 2) (arighi.blogspot.com)
10
The perils of pause(2) (2023) (cipht.net)
2
Microsoft and Mistral AI announce new partnership (microsoft.com)
1
Blazingly Fast™ Type Class Resolution with Tries (prophetlabs.de)
2
Vectorizing ML Models for Fun (bernsteinbear.com)
1