Re:The Incredible Proof Machine (2016)
by abecedarius on Sunday March 31, 2019 @09:32PM
(#19539707)
My natural inclination in the first problem (A->A) was to drag the output A onto the input A (or vice versa), and when nothing then happened I couldn't see how to fix things. Reading the info link didn't clear that up; I had to read the journal paper and skim for a completed example there.
(Just trying to help; I like the idea.)
That actually what I did first too (well, drag output to input), and was really irritated that they didn't line up. But next step was to click. Took a few tries to realize I could drag.
For example my natural inclination is to click the output of one logic block and click the input of the next. As opposed to dragging the output to the input. Luckily I have a mouse, but this would be annoying on a laptop. The single click doesn't make sense to me because you're not redirecting output to output, which is what happens when you just click (can be hard to delete line)
What I _DO_ like is that they start with easy examples and do a good job of working you into more complex ones. Makes things really intuitive and I think this is a good tool for teaching people.