About KludgeShySir

Interest in algebra, category theory, logic, computer science, formal methods, machine learning, and especially anywhere they overlap.

Lists

Timeline

KludgeShySir has no activity yet