You are not logged in
Bluesky Profile
@
Sebastian Graf
@fixpt.de
Registered: 22 Dec 2023 22:12
Last post: 4 Feb 2026 14:29
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
This account allows followers on Bluesky to be notified of new posts from this account.
Handle history for @fixpt.de
sgraf812.bsky.social
PDS: amanita.us-east.host.bsky.network
2023-12-22 22:12:17
fixpt.de
2024-11-29 22:15:38