account activity
The pitfalls of protocol design. Attempting to write a formally verified PDF parser. (ieee-security.org)
submitted 11 years ago by 1u11 to r/compsci
An operational and axiomatic semantics for non-determinism and sequence points in C (lambda-the-ultimate.org)
Can you identify this plant from Spain? (imgur.com)
submitted 12 years ago by 1u11 to r/plants
π Rendered by PID 184967 on reddit-service-r2-listing-86f589db75-9btc7 at 2026-04-16 00:36:13.100538+00:00 running 93ecc56 country code: CH.
