alanbernstein
Joined 10 years ago
Karma
3,144
Submissions
1,366
Member since
Apr 1
Joined 10 years ago
Obviously I'd prefer to ask specific questions to my expert human friend sitting at the next desk over, but sadly they don't exist.
I just hope there is a future where this tech exists without such big downsides.
Another suggestion: more feedback when two pieces click together - I'm currently dragging it around to check if they're connected. For example, they could lose the outline that separates them, or change outline color to be the same.
It's also a funny historical mirror to an earlier phase of math proof culture: in a previous era, cryptic result dumps were quite common.