Home | Notifications | New Note | Local | Federated | Search | Logout

Kristopher Johnson@oldmankris@mastodon.xyz

Senior software developer and master's degree student. Used to be really smart. He/him

I have placed information vital to the survival of the rebellion into the memory systems of this R2 unit.

blog: https://undefinedvalue.com/
GitHub: https://github.com/kristopherjohnson/
Linktree: https://linktr.ee/KristopherJohnson
location: Georgia, USA
Joined: 2026-10-05 07:46:41
1 notes, 0 following, 0 followers

Kristopher Johnson@oldmankris@mastodon.xyz (2026-10-05 03:04:02)
If I need a crash course in formal software verification and testing, where should I start?

If it matters, the specific domains I’m interested in are mobile/edge computing and distributed systems.