g0xA52A2A

Posts

• Zero-Copy (De)Serialization

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

• Jujutsu UI

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

• Destructive Updates – A Stitch in Time

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

• SimdSketch: A Fast Bucket Sketch

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

• Intensional Joy (a concatenative account of internal structure)

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

• Ways to generate SSA

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

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

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

• Pwn2Own Automotive: Popping the Charx SEC-3100

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

• Optics for UI 1: Deconstructing React with Parametrised Lenses

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

• A Practical Interpretation of Linear Logic

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

• Into CPS, Never to Return

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

• Well-Typed Substructural Languages

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

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

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

• Dependent Types and the Art of HTTP Headers

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

• The Rise of Bluesky

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

• Scientific computing with confidence using typed dimensions

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

• Reliable Immutable Transfer Protocol

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

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

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

• Linearity in Query Processing

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

• Hytradboi 2025

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

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

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

• Behind the Scenes on Type Directed Search for Unison Share

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

• Abstract Interpretation in the Toy Optimizer

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

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

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

• EGraphs as Ground Completion Talk and Egraphs 2024 Notes

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

• Sans I/O when rubber meets the road

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

• Identifying Leap Years (2020)

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

• What does GCD have in common with leap years?

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