×
You are not logged in
Bluesky Profile
Mike Dodds
Registered: 21 Nov 2024 21:22
Last post:6 days ago
Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
This account allows followers on Bluesky to be notified of new posts from this account.
| m-dodds.bsky.social PDS: lobster.us-east.host.bsky.network 2024-11-21 21:21:10 |