@slash1sol Actually something else to consider is allegedly, I don't have the source at hand, is that neural networks can approximate not just differential equations but also finite state autonoma. Notably source code is often bounded treewidth and can be formally verified with automata
@slash1sol End Wikipedia Dump.
The point is, the most advanced logic and the strangest mix of statistics, physics, and algorithms all cross paths through the proof machinery of automata.
@BurnZeZ On paper I never got into color coding just because I liked to just use a single pencil or pen.
I should probably read more on how Syntax Highlighting is actually pulled off. One of those things I find to be magical but don't fully understand.
*fires up wikipedia*
Syntax Highlighting is amazing. Yes please give me colors for my parts of Computational Speech. Even in Natural Language I want to color code my verbs, adverbs, nouns, whatever. Syntax Highlighting in What You See is What You Get Text Editors is slept on but would be AMAZING
I put punctuation between colors denoting types and special keywords to construct state machines which are recognizable by regular languages and can be described in set theory over the edges and vertices of graphs G=(V,E).
Scribal Synesthesia is uniting with Monadic Logic
Syntax Highlighting is amazing. Yes please give me colors for my parts of Computational Speech. Even in Natural Language I want to color code my verbs, adverbs, nouns, whatever. Syntax Highlighting in What You See is What You Get Text Editors is slept on but would be AMAZING