William DeMeo
@williamdemeo.bsky.social
Formal Methods Engineer
Logic/AI Researcher
Agda/Scala Coder
Logic/AI Researcher
Agda/Scala Coder
even my dog knows something's not right
February 8, 2025 at 5:10 PM
even my dog knows something's not right