Will Crichton on Twitter: "I love it! The diagrammed equations are exactly what I was imagining. I'll definitely check out the CHI paper :-)… https://t.co/78vn326L8U"

Country	Code	For customers of
United States	40404	(any)
Canada	21212	(any)
United Kingdom	86444	Vodafone, Orange, 3, O2
Brazil	40404	Nextel, TIM
Haiti	40404	Digicel, Voila
Ireland	51210	Vodafone, O2
India	53000	Bharti Airtel, Videocon, Reliance
Indonesia	89887	AXIS, 3, Telkomsel, Indosat, XL Axiata
Italy	4880804	Wind
3424486444	Vodafone
» See SMS short codes for other countries

Nintendo .DS_Store‏ @sliminality Jun 28

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

$Annotations over a tutorial paper on Gibbs sampling for document labels. Important inline symbols are highlighted to acclimate me to their shapes. I use a pen to group together important terms in block-level derivations, e.g. separating the factors P(L|π) and P(π|γ_{π1}, γ_{π0}) in a product. Another group is circled and labeled "unnormalized beta dist.", "prob. dist. of ϴ given a document n", etc. There are also some smart-ass comments: "for notational simplicity" is double-underlined, with "my ass" scribbled in the margin.$

1 reply 1 retweet 20 likes

Show this thread

Nintendo .DS_Store‏ @sliminality Jun 28

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 likes

Show this thread

Nintendo .DS_Store‏ @sliminality Jun 28

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 likes

Show this thread

Will Crichton‏ @wcrichton Jun 28

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 @wcrichton

Trying 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/1GLH3eaDdf

Show this thread

1 reply 0 retweets 4 likes

Will Crichton‏ @wcrichton Jun 28

Replying to @wcrichton @sliminality

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)

1 reply 0 retweets 3 likes

Will Crichton‏ @wcrichton Jun 28

Replying to @wcrichton @sliminality @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

Will Crichton‏ @wcrichton Jun 28

Replying to @wcrichton @sliminality @drewmikehead

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

Andrew Head‏ @drewmikehead Jun 28

Replying to @wcrichton @sliminality

@wcrichton this sounds very useful. We are just starting to scratch the surface of this idea with our #ScholarPhi prototype, which envisions pervaisve linking of definitions and uses in scholarly papers (see Wizard-of-Oz UI here https://chi2021demo.scholarphi.org/ )

1 reply 0 retweets 3 likes

Andrew Head‏ @drewmikehead Jun 28

Replying to @drewmikehead @wcrichton @sliminality

Though I agree with you---I want to see more of these features you mentioned!

1 reply 0 retweets 0 likes

Andrew Head‏ @drewmikehead Jun 28

Replying to @drewmikehead @wcrichton @sliminality

These ideas would dovetail nicely with @mgrnbrg's proposal for an interactive PL journal. @mgrnbrg mentions establishing notational standards, which I think would go nicely with tools for explaining notation https://blog.sigplan.org/2021/04/13/making-pl-ideas-accessible-an-open-source-open-access-interactive-journal/ ….

1 reply 1 retweet 4 likes

Will Crichton‏ @wcrichton Jun 28

Replying to @drewmikehead @sliminality @mgrnbrg

I love it! The diagrammed equations are exactly what I was imagining. I'll definitely check out the CHI paper :-)

10:48 PM - 28 Jun 2021

1 Like

0 replies 0 retweets 1 like

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.

Tweets

Will Crichton

@wcrichton

Tweets

Loading seems to be taking a while.

false

Saved searches

Tweets

Will Crichton

@wcrichton

Tweets

Go to a person's profile

Saved searches

Promote this Tweet

Block

Tweet with a location

Your lists

Create a new list

Copy link to Tweet

Embed this Tweet

Embed this Video

Preview

Why you're seeing this ad

Log in to Twitter

Sign up for Twitter

Not on Twitter? Sign up, tune into the things you care about, and get updates as they happen.

Two-way (sending and receiving) short codes:

Confirmation

Welcome home!

Tweets not working for you?

Say a lot with a little

Spread the word

Join the conversation

Learn the latest

Get more of what you love

Find what's happening

Never miss a Moment

Loading seems to be taking a while.

Promoted Tweet

false