×
You are not logged in
Bluesky Profile
James
Registered: 3 Jul 2023 07:15
Last post: 28 Dec 2025 07:59
he/him. Lover of type theory and functional programming. Also, comedy and politics. Not super optimistic.
This account allows incoming chat messages from accounts on Bluesky it follows.
This account allows followers on Bluesky to be notified of new posts from this account.
| types4life.bsky.social PDS: bsky.social 2023-07-03 07:15:37 |
| types4life.bsky.social PDS: enoki.us-east.host.bsky.network 2023-11-10 03:32:08 |