You are not logged in
Bluesky Profile
@
Amélia Liao
@ame.fyi
Registered: 27 Jun 2023 23:02
Last post: n/a
Compiler engineer moonlighting as a type theorist. Member of the Agda team.
This account allows followers on Bluesky to be notified of new posts from this account.
Handle history for @ame.fyi
plt-amelia.bsky.social
PDS: bsky.social
2023-06-27 23:02:43
ame.fyi
2023-06-27 23:04:48
ame.fyi
PDS: inkcap.us-east.host.bsky.network
2023-11-10 01:18:27