g0xA52A2A

Posts

• Zero-Copy (De)Serialization
  by g0xA52A2Aon 5/8/25, 6:10 AMwith 0 comments
• Jujutsu UI
  by g0xA52A2Aon 5/7/25, 7:21 PMwith 0 comments
• Destructive Updates – A Stitch in Time
  by g0xA52A2Aon 3/16/25, 11:47 AMwith 0 comments
• SimdSketch: A Fast Bucket Sketch
  by g0xA52A2Aon 3/14/25, 9:39 AMwith 0 comments
• Intensional Joy (a concatenative account of internal structure)
  by g0xA52A2Aon 2/12/25, 8:22 AMwith 13 comments
• Ways to generate SSA
  by g0xA52A2Aon 2/11/25, 7:21 AMwith 35 comments
• Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
  by g0xA52A2Aon 2/8/25, 4:43 PMwith 0 comments
• Pwn2Own Automotive: Popping the Charx SEC-3100
  by g0xA52A2Aon 1/25/25, 5:01 PMwith 0 comments
• Optics for UI 1: Deconstructing React with Parametrised Lenses
  by g0xA52A2Aon 1/21/25, 8:49 PMwith 0 comments
• A Practical Interpretation of Linear Logic
  by g0xA52A2Aon 1/5/25, 10:32 AMwith 0 comments
• Into CPS, Never to Return
  by g0xA52A2Aon 12/25/24, 7:43 PMwith 57 comments
• Well-Typed Substructural Languages
  by g0xA52A2Aon 12/22/24, 6:22 PMwith 0 comments
• Hacking physics from the back of a napkin (2020)
  by g0xA52A2Aon 12/14/24, 5:31 PMwith 14 comments
• Dependent Types and the Art of HTTP Headers
  by g0xA52A2Aon 11/30/24, 8:11 AMwith 1 comments
• The Rise of Bluesky
  by g0xA52A2Aon 11/27/24, 7:22 PMwith 77 comments
• Scientific computing with confidence using typed dimensions
  by g0xA52A2Aon 11/21/24, 10:26 AMwith 47 comments
• Reliable Immutable Transfer Protocol
  by g0xA52A2Aon 11/7/24, 8:31 PMwith 0 comments
• OpenVMM – A New VMM for Windows and Linux, Written in Rust
  by g0xA52A2Aon 10/17/24, 5:42 AMwith 118 comments
• Linearity in Query Processing
  by g0xA52A2Aon 10/15/24, 7:38 PMwith 0 comments
• Hytradboi 2025
  by g0xA52A2Aon 9/22/24, 5:12 PMwith 0 comments
• OpenBSD crond / crontab set_range() heap underflow (CVE-2024-43688)
  by g0xA52A2Aon 8/20/24, 4:20 AMwith 1 comments
• Behind the Scenes on Type Directed Search for Unison Share
  by g0xA52A2Aon 8/18/24, 4:57 PMwith 0 comments
• Abstract Interpretation in the Toy Optimizer
  by g0xA52A2Aon 7/24/24, 6:11 AMwith 0 comments
• No More Tears, No More Knots: Arena-Allocated Trees in Rust
  by g0xA52A2Aon 7/17/24, 8:34 AMwith 0 comments
• EGraphs as Ground Completion Talk and Egraphs 2024 Notes
  by g0xA52A2Aon 7/1/24, 6:56 PMwith 0 comments
• Sans I/O when rubber meets the road
  by g0xA52A2Aon 6/25/24, 4:30 PMwith 0 comments
• Identifying Leap Years (2020)
  by g0xA52A2Aon 6/22/24, 11:44 AMwith 6 comments
• What does GCD have in common with leap years?
  by g0xA52A2Aon 6/18/24, 8:28 PMwith 0 comments
• The FastLanes Compression Layout: Decoding >100B Integers per Second [pdf]
  by g0xA52A2Aon 6/16/24, 5:33 PMwith 0 comments
• Spending too much time optimizing for loops
  by g0xA52A2Aon 6/15/24, 12:36 PMwith 0 comments
• Inline caching in our AST interpreter
  by g0xA52A2Aon 6/6/24, 8:18 PMwith 0 comments
• Knot-based Key Exchange protocol [pdf]
  by g0xA52A2Aon 5/25/24, 7:56 AMwith 0 comments
• lsb2s – Ludicrous speed binary to source converter
  by g0xA52A2Aon 5/19/24, 11:45 AMwith 0 comments
• Overflow in consistent hashing (2018)
  by g0xA52A2Aon 5/19/24, 10:22 AMwith 15 comments
• Union vs. Sum Types
  by g0xA52A2Aon 5/19/24, 8:31 AMwith 0 comments
• Building a Better Hashtable on an FPGA
  by g0xA52A2Aon 5/12/24, 10:25 AMwith 0 comments
• Notes on Implementing Algebraic Subtyping
  by g0xA52A2Aon 5/12/24, 7:29 AMwith 0 comments
• A small template engine for C
  by g0xA52A2Aon 5/11/24, 7:56 PMwith 0 comments
• Modular Error Reporting with Dependent Lenses
  by g0xA52A2Aon 5/8/24, 7:30 PMwith 0 comments
• Decoding UTF8 with parallel extract
  by g0xA52A2Aon 5/5/24, 9:28 AMwith 20 comments
• Not all graphs are trees
  by g0xA52A2Aon 4/30/24, 5:47 AMwith 50 comments
• Heartbeat Scheduling: Provable efficiency for nested parallelism
  by g0xA52A2Aon 4/28/24, 8:44 AMwith 0 comments
• Lolita: A tagless, dependently typed, self-aware programming language
  by g0xA52A2Aon 4/22/24, 6:28 PMwith 45 comments
• Unanimous 2PC: Fault-Tolerant Distributed Transactions Can Be Fast and Simple
  by g0xA52A2Aon 4/22/24, 2:01 PMwith 0 comments
• Knuth–Morris–Pratt illustrated
  by g0xA52A2Aon 4/14/24, 7:55 AMwith 46 comments
• Why is there no realloc that takes the number of bytes to copy?
  by g0xA52A2Aon 4/11/24, 7:43 PMwith 2 comments