g0xA52A2A

Zero-Copy (De)Serialization

2 points by g0xA52A2A 2 months ago | 0 comments

Jujutsu UI

2 points by g0xA52A2A 2 months ago | 0 comments

Destructive Updates – A Stitch in Time

7 points by g0xA52A2A 3 months ago | 0 comments

SimdSketch: A Fast Bucket Sketch

2 points by g0xA52A2A 4 months ago | 0 comments

Intensional Joy (a concatenative account of internal structure)

60 points by g0xA52A2A 5 months ago | 13 comments

Ways to generate SSA

110 points by g0xA52A2A 5 months ago | 35 comments

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

4 points by g0xA52A2A 5 months ago | 0 comments

Pwn2Own Automotive: Popping the Charx SEC-3100

1 point by g0xA52A2A 5 months ago | 0 comments

Optics for UI 1: Deconstructing React with Parametrised Lenses

2 points by g0xA52A2A 5 months ago | 0 comments

A Practical Interpretation of Linear Logic

3 points by g0xA52A2A 6 months ago | 0 comments

Into CPS, Never to Return

137 points by g0xA52A2A 6 months ago | 57 comments

Well-Typed Substructural Languages

4 points by g0xA52A2A 6 months ago | 0 comments

Hacking physics from the back of a napkin (2020)

122 points by g0xA52A2A 6 months ago | 14 comments

Dependent Types and the Art of HTTP Headers

2 points by g0xA52A2A 7 months ago | 1 comment

The Rise of Bluesky

46 points by g0xA52A2A 7 months ago | 77 comments

Scientific computing with confidence using typed dimensions

97 points by g0xA52A2A 7 months ago | 47 comments

Reliable Immutable Transfer Protocol

2 points by g0xA52A2A 8 months ago | 0 comments

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

171 points by g0xA52A2A 8 months ago | 118 comments

Linearity in Query Processing

1 point by g0xA52A2A 8 months ago | 0 comments

Hytradboi 2025

1 point by g0xA52A2A 9 months ago | 0 comments

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

3 points by g0xA52A2A 10 months ago | 1 comment

Behind the Scenes on Type Directed Search for Unison Share

3 points by g0xA52A2A 10 months ago | 0 comments

Abstract Interpretation in the Toy Optimizer

3 points by g0xA52A2A 11 months ago | 0 comments

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

3 points by g0xA52A2A 11 months ago | 0 comments

EGraphs as Ground Completion Talk and Egraphs 2024 Notes

2 points by g0xA52A2A 1 year ago | 0 comments

Sans I/O when rubber meets the road

1 point by g0xA52A2A 1 year ago | 0 comments

Identifying Leap Years (2020)

28 points by g0xA52A2A 1 year ago | 6 comments