Flashes
Home
Search
Notifications
Sign in
Post
Followers
@gustibimo.bsky.social
Kristopher Micinski
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
