If I'm pulling out a term for additional analysis or explanation, it's usually easiest to draw a box around it so my brain can maximize structural sharing, instead of creating new values in-memory every time.
-
Show this thread
-
In a lecture, core theorems and proofs get written on the board, but usually not the speaker's color commentary about specific terms or steps. To me, this contextual chatter is usually more valuable than the actual proof. I try to capture these annotations in a separate color.pic.twitter.com/A6MifddsxR
1 reply 0 retweets 13 likesShow this thread -
As an aside, this is the main reason I haven't been able to switch to live-TeXing notes: my text editing workflow can't match the expressivity of freehand annotation in multiple colors.
1 reply 0 retweets 10 likesShow this thread -
I have a whole ensemble of thoughts around "grouping" expressions. It might be helpful to start with an analogy. As a native English reader, I don't sound out characters individually; each word is roughly an arrangement of pixels or lines that maps to a concept in my brain.
1 reply 0 retweets 5 likesShow this thread -
I've noticed that mathematics works similarly: a fluent user will read or write xᵀy or Σᵢ₌₁ xᵢyᵢ as "inner product", like a single word, without thinking about what each individual i or xᵢ represents. But a learner will try to interpret each individual symbol.
2 replies 1 retweet 19 likesShow this thread -
Unfortunately, mathematical expressions do not reliably separate conceptual "words" with whitespace, especially when the "words" are factors, so it can be difficultforlearnerstovisually gloss an expression at the correct level of granularity.
1 reply 0 retweets 7 likesShow this thread -
When I'm first learning a new set of notation, I always start by grouping symbols into "words" and learning their meaning. It's easy to get overwhelmed by an expression containing 12 different Greek letters, before you realize that there are only two conceptual atoms.pic.twitter.com/KlTdL0jxFU
1 reply 1 retweet 20 likesShow this thread -
As I become more familiar with a domain, I learn how to read the words and not the letters, and have less of a need to draw circles and boxes everywhere.
1 reply 0 retweets 5 likesShow this thread -
In conclusion, and in the spirit of becoming more comfortable with sharing messy thought, I will leave you with the unfiltered remarks of a harried undergraduate who never imagined this would be shared publicly:pic.twitter.com/Eh3YyYUTeD
2 replies 0 retweets 16 likesShow this thread -
Replying to @sliminality
Will Crichton Retweeted Will Crichton
In working on a POPL submission, I've run into pretty much all of these concerns, eg the QT. I'm interested in building out a web-based paper-reading environment focused initially on PLT.https://twitter.com/wcrichton/status/1408277739438628867 …
Will Crichton added,
Will Crichton @wcrichtonTrying to make a visual correspondence between informal and formal statements. Is colored underlines the best way to do that? Goal is to make the connections immediate (colors are preattentively distinct) but also not too obtrusive (eg I didn't highlight). pic.twitter.com/1GLH3eaDdfShow this thread1 reply 0 retweets 4 likes
As one such feature, I want a Tutorons (http://tutorons.com/ ) extension where I can highlight a sequence of math symbols and get back a natural language translation. (cc @drewmikehead)
-
-
I think a smart user study could show significant gains in comprehension for both novices and experts. Eg present PDF and web-based view, measure time to answer a question or find a bug in a proof.
1 reply 0 retweets 1 like -
I think the key bits are: * Pervasive linking between definitions / uses * Contextual explanations of combinations of concepts * Collapsible hierarchy to separate details from big picture, enable zooming-in when needed * Colors to distinguish languages, changes, etc
2 replies 0 retweets 6 likes - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
cognitive psychology. PhD