@caverill.bsky.social

UTD CS, Physics • PL Researcher • μαθαίνω ελληνικά he/they https://seashell.charles.systems/

@ggu10.bsky.social

@nhuck.bsky.social

bit shuffler and theorem prover

@texanelite.bsky.social

i can't do it