About Taus
Knots, puzzles, and origami. I make a living by writing programs in first-order logic.
Lists
{username} has no public lists
Timeline
{username} has no activity yet
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