@tausbn@social.wub.site
Joined: 22/01/2023
38
Followers
47
Following
Knots, puzzles, and origami. I make a living by writing programs in first-order logic.
{username} has no public lists
{username} has no activity yet