from Hacker News

g0xA52A2A

joined 5/15/16, 4:53 PM has 12620 karma

• Zero-Copy (De)Serialization

  by g0xA52A2A on 5/8/25, 6:10 AM, with 0 comments

• Jujutsu UI

  by g0xA52A2A on 5/7/25, 7:21 PM, with 0 comments

• Destructive Updates – A Stitch in Time

  by g0xA52A2A on 3/16/25, 11:47 AM, with 0 comments

• SimdSketch: A Fast Bucket Sketch

  by g0xA52A2A on 3/14/25, 9:39 AM, with 0 comments

• Intensional Joy (a concatenative account of internal structure)

  by g0xA52A2A on 2/12/25, 8:22 AM, with 13 comments

• Ways to generate SSA

  by g0xA52A2A on 2/11/25, 7:21 AM, with 35 comments

• Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods

  by g0xA52A2A on 2/8/25, 4:43 PM, with 0 comments

• Pwn2Own Automotive: Popping the Charx SEC-3100

  by g0xA52A2A on 1/25/25, 5:01 PM, with 0 comments

• Optics for UI 1: Deconstructing React with Parametrised Lenses

  by g0xA52A2A on 1/21/25, 8:49 PM, with 0 comments

• A Practical Interpretation of Linear Logic

  by g0xA52A2A on 1/5/25, 10:32 AM, with 0 comments

• Into CPS, Never to Return

  by g0xA52A2A on 12/25/24, 7:43 PM, with 57 comments

• Well-Typed Substructural Languages

  by g0xA52A2A on 12/22/24, 6:22 PM, with 0 comments

• Hacking physics from the back of a napkin (2020)

  by g0xA52A2A on 12/14/24, 5:31 PM, with 14 comments

• Dependent Types and the Art of HTTP Headers

  by g0xA52A2A on 11/30/24, 8:11 AM, with 1 comments

• The Rise of Bluesky

  by g0xA52A2A on 11/27/24, 7:22 PM, with 77 comments

• Scientific computing with confidence using typed dimensions

  by g0xA52A2A on 11/21/24, 10:26 AM, with 47 comments

• Reliable Immutable Transfer Protocol

  by g0xA52A2A on 11/7/24, 8:31 PM, with 0 comments

• OpenVMM – A New VMM for Windows and Linux, Written in Rust

  by g0xA52A2A on 10/17/24, 5:42 AM, with 118 comments

• Linearity in Query Processing

  by g0xA52A2A on 10/15/24, 7:38 PM, with 0 comments

• Hytradboi 2025

  by g0xA52A2A on 9/22/24, 5:12 PM, with 0 comments

• OpenBSD crond / crontab set_range() heap underflow (CVE-2024-43688)

  by g0xA52A2A on 8/20/24, 4:20 AM, with 1 comments

• Behind the Scenes on Type Directed Search for Unison Share

  by g0xA52A2A on 8/18/24, 4:57 PM, with 0 comments

• Abstract Interpretation in the Toy Optimizer

  by g0xA52A2A on 7/24/24, 6:11 AM, with 0 comments

• No More Tears, No More Knots: Arena-Allocated Trees in Rust

  by g0xA52A2A on 7/17/24, 8:34 AM, with 0 comments

• EGraphs as Ground Completion Talk and Egraphs 2024 Notes

  by g0xA52A2A on 7/1/24, 6:56 PM, with 0 comments

• Sans I/O when rubber meets the road

  by g0xA52A2A on 6/25/24, 4:30 PM, with 0 comments

• Identifying Leap Years (2020)

  by g0xA52A2A on 6/22/24, 11:44 AM, with 6 comments

• What does GCD have in common with leap years?

  by g0xA52A2A on 6/18/24, 8:28 PM, with 0 comments

• The FastLanes Compression Layout: Decoding >100B Integers per Second [pdf]

  by g0xA52A2A on 6/16/24, 5:33 PM, with 0 comments

• Spending too much time optimizing for loops

  by g0xA52A2A on 6/15/24, 12:36 PM, with 0 comments

• Inline caching in our AST interpreter

  by g0xA52A2A on 6/6/24, 8:18 PM, with 0 comments

• Knot-based Key Exchange protocol [pdf]

  by g0xA52A2A on 5/25/24, 7:56 AM, with 0 comments

• lsb2s – Ludicrous speed binary to source converter

  by g0xA52A2A on 5/19/24, 11:45 AM, with 0 comments

• Overflow in consistent hashing (2018)

  by g0xA52A2A on 5/19/24, 10:22 AM, with 15 comments

• Union vs. Sum Types

  by g0xA52A2A on 5/19/24, 8:31 AM, with 0 comments

• Building a Better Hashtable on an FPGA

  by g0xA52A2A on 5/12/24, 10:25 AM, with 0 comments

• Notes on Implementing Algebraic Subtyping

  by g0xA52A2A on 5/12/24, 7:29 AM, with 0 comments

• A small template engine for C

  by g0xA52A2A on 5/11/24, 7:56 PM, with 0 comments

• Modular Error Reporting with Dependent Lenses

  by g0xA52A2A on 5/8/24, 7:30 PM, with 0 comments

• Decoding UTF8 with parallel extract

  by g0xA52A2A on 5/5/24, 9:28 AM, with 20 comments

• Not all graphs are trees

  by g0xA52A2A on 4/30/24, 5:47 AM, with 50 comments

• Heartbeat Scheduling: Provable efficiency for nested parallelism

  by g0xA52A2A on 4/28/24, 8:44 AM, with 0 comments

• Lolita: A tagless, dependently typed, self-aware programming language

  by g0xA52A2A on 4/22/24, 6:28 PM, with 45 comments

• Unanimous 2PC: Fault-Tolerant Distributed Transactions Can Be Fast and Simple

  by g0xA52A2A on 4/22/24, 2:01 PM, with 0 comments

• Knuth–Morris–Pratt illustrated

  by g0xA52A2A on 4/14/24, 7:55 AM, with 46 comments

• Why is there no realloc that takes the number of bytes to copy?

  by g0xA52A2A on 4/11/24, 7:43 PM, with 2 comments