Gonna just run all my code on my partner's new laptop instead of learning any formal verification tools 😎 checkmate, nerds

Β· Β· Tusky Β· 1 Β· 4 Β· 18

@yomimono phew, glad that I've dropped out of my masters' degree

Sign in to participate in the conversation
Wandering Shop

The Wandering Shop is a Mastodon instance initially geared for the science fiction and fantasy community but open to anyone. We want our 'local' timeline to have the feel of a coffee shop at a good convention: tables full of friendly conversation on a wide variety of topics. We welcome everyone who wants to participate, so long as you're willing to abide by our Code of Conduct.