Flashes
Home
Search
Notifications
Sign in
Post
Followers
@hgluka.net
Brian Demsky
@bdemsky.bsky.social
CS professor. PL/Model Checking/Concurrency.
Kristopher Micinski
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
