×
You are not logged in
Bluesky Profile
Kristin
Registered: 30 Jul 2023 15:39
Last post: 26 Feb 2026 22:33
Formal Methods, Programming languages, Specifications.
discord: wiredaemon
she / her 🏳️⚧️
This account allows followers on Bluesky to be notified of new posts from this account.
| wiredaemon.bsky.social PDS: bsky.social 2023-07-30 15:39:25 |
| wiredaemon.bsky.social PDS: enoki.us-east.host.bsky.network 2023-11-13 16:46:07 |