Profile avatar
seanmk.bsky.social
Space, Cats, Mennonites, Mariners Baseball, Dodgeball, Computers, Pedagogy. Assistant Professor at Queen's University with research in Runtime Verification.
19 posts 6 followers 21 following
Getting Started
Conversation Starter
Posts 6 Comments 13

@marcnormandin.bsky.social My city (Kingston, ON) has just announced plans to build a multi-use stadium in a park near my home with some degree of private financing from a professional soccer team. What should I be asking them at the public consultation session? truenorthfoot.ca/article/ther...

submitted 55 days ago • 1 comment

Thanks to the folks at Smith Engineering Marketing and Communications for their kind write-up! smithengineering.queensu.ca/news/2023/11...

submitted 465 days ago • 0 comments

Upon hearing of the upcoming documentary "A Disturbance in the Force" I immediately thought of the article I return to every year around this this time by @jonbois.bsky.social www.google.com/amp/s/www.sb...

submitted 472 days ago • 0 comments

The students who live in the dorms next door are laughing uproariously building snow men at 9:00 pm on Halloween and it is adorable.

submitted 489 days ago • 0 comments

Don't dance, drink, smoke, chew, or date those who do!

submitted 538 days ago • 0 comments

If you like esoteric programming languages developed for analyzing spacecraft logs *AND* you like complexity proofs, check out my new article in the Science of Computer Programming: authors.elsevier.com/sd/article/S...

submitted 545 days ago • 0 comments