David Moon

PhD @UMichCSE • building

[David Moon @dm_0ney]

#tylr is live! https://t.co/7CPtFL6VW0 (not mobile friendly yet!)

how to play 🧵

[andrew blinn @disconcision]

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!

[David Moon @dm_0ney]

We're hoping to complete our study by Mar 23 (Sunday).

If you're interested, please fill out this form. Thanks for considering! https://t.co/dv8ayXhtgU

[David Moon @dm_0ney]

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! 🙏

[David Moon @dm_0ney]

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.

[David Moon @dm_0ney]

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

[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.

[David Moon @dm_0ney]

@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).

[David Moon @dm_0ney]

@jonathoda yup!

[Jonathan Edwards @jonathoda]

Impressive. Some fresh ideas for structure editing.

[David Moon @dm_0ney]

what's in a selection?

[andrew blinn @disconcision]

new tylr feels so good. very clicky much structure

[Cyrus Omar (now mainly on bsky) @neurocy]

new tylr feels amazing. what if structure editing were error correction with holes all along?

[David Moon @dm_0ney]

@krismicinski the remaining problem is then how to assign these molds and this is the subject of my current wip paper

[David Moon @dm_0ney]

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

[Andy Matuschak @andy_matuschak]

@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 https://t.co/8E28Up4Vmp (best viewed on phone!)