0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
–
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
–
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
/
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
/
0
1
2
3
4
5
6
7
8
9
0
1
2
3
4
5
6
7
8
9
ANNO·TRICESIMO·DIE·QVINTODECIMO·VITÆ·POVYA
Revisiting My Digit Sequence Extraction Formula with Nota Language
There are things we have in modern software environments that both help us do things “Right” and help shape our own abilities. Good examples of these technologies are the grammar checking and the IDEs for programming.
What we could have this much realtime feedback and help in any environment. And imagine about the educational possibilities. The system would have suggested fact checking fixes to the mathematical structures; … And much of our problems with seeking feedback and checking and mentoring would have been solved.
Day's Context
Videos Watched