You are not logged in
Bluesky Profile
@
randyisrandom.bsky.social
@randyisrandom.bsky.social
Registered: 29 Dec 2025 13:53
Last post: 21 Jan 2026 04:14
Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix Investigating the illusion of discreetness
This account allows followers on Bluesky to be notified of new posts from this account.
Handle history for @randyisrandom.bsky.social
randyisrandom.bsky.social
PDS: rhizopogon.us-west.host.bsky.network
2025-12-29 13:53:24