Tweet Disematkan
English
David Moon
743 posts
David Moon
@dm_0ney
PhD @UMichCSE • building https://t.co/sEtPaejQKZ https://t.co/GvG3Va4saO
Ann Arbor, MI Bergabung Kasım 2015
1K Mengikuti1.4K Pengikut
David Moon me-retweet
given that everyone is doing token-by-token and/or line-by-line partial completion acceptance now, i'm surprised i haven't seen any that just recapitulate selection mechanics (i.e. shift-left/right for token, shift-up/down for line). we have incremental acceptance at home!
English
We're hoping to complete our study by Mar 23 (Sunday).
If you're interested, please fill out this form. Thanks for considering! forms.gle/4WihdnB4bLYqYc…
English
Your participation will involve using the editor to perform editing tasks in an OCaml-like lang. We're esp interested in folks with prior experience using expression-oriented langs like OCaml, Haskell, Scala, etc. You'll receive a $25 Amazon gift card for 60 minutes of your time.
English
I am once more seeking participants for a user study. We'll be evaluating a prototype code editor that completes your text with placeholders for missing tokens expected by the language. Here are a couple vids motivating the editor+study.
Details in thread. RTs appreciated! 🙏
English
@krismicinski for example, the structures shown in each selection here are determined simply by parsing the selected range of (molded) tokens, without inspecting any context beyond the immediate token neighbors
David Moon@dm_0ney
what's in a selection?
English
@krismicinski ...meaning you can maximally parse any segment of code knowing only its token bounds. the problem with OP parsing traditionally is that it has really limited grammar expressivity, you can't reuse the same token in different ways (eg - for negation and subtraction).
English
new tylr featuring inline obligations. press tab to jump to the next obligation, either a hole or a token-completion, or to accept the current completion.
English
@dm_0ney Seems like you've had a burst of new ideas. Are you planning a new demo sometime?
English
David Moon me-retweet
Impressive. Some fresh ideas for structure editing.
David Moon@dm_0ney
new tylr featuring inline obligations. press tab to jump to the next obligation, either a hole or a token-completion, or to accept the current completion.
English
David Moon me-retweet
new tylr feels so good. very clicky much structure
David Moon@dm_0ney
new tylr featuring inline obligations. press tab to jump to the next obligation, either a hole or a token-completion, or to accept the current completion.
English
David Moon me-retweet
new tylr feels amazing. what if structure editing were error correction with holes all along?
David Moon@dm_0ney
new tylr featuring inline obligations. press tab to jump to the next obligation, either a hole or a token-completion, or to accept the current completion.
English
@krismicinski the remaining problem is then how to assign these molds and this is the subject of my current wip paper
English
@krismicinski I'm working around that limitation by tagging tokens with their grammar contexts, what I'm calling molds. once molded, tokens can be OP parsed, and this helps especially with organizing the edit state into various regions of interest while maintaining structure.
English
David Moon me-retweet
@Wattenberger Lots of fun old related infoviz literature here (keywords: focus+context, distortion-oriented presentation). But as far as gratuitous animation, I bet you'd enjoy ianhenderson.org/hypernav.html (best viewed on phone!)
English
David Moon me-retweet
