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

Follow

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

Sign in to participate in the conversation
birb site

This is a tiny, friendly fedi server!