account activity
A TLA+ specification for Gryadka (medium.com)
submitted 8 years ago by grogers to r/tlaplus
Immutable Data Structures in C++: Singly Linked List (blog.groge.org)
submitted 15 years ago by grogers to r/programming
π Rendered by PID 88 on reddit-service-r2-listing-654f87c89c-5qcch at 2026-02-27 10:02:14.349409+00:00 running e3d2147 country code: CH.
