PhD @UMichCSE • building https://xitter.cf/t.co/sEtPaejQKZ https://xitter.cf/t.co/GvG3Va4saO

Ann Arbor, MI
Joined November 2015
#tylr is live! tylr.fun (not mobile friendly yet!) how to play 🧵
13
117
48
588
what if the outline view was a fully bidirectional alternate editor?
14
39
5
547
21,735
all will become fidgetable
64
109
34
1,980
397,590
SDF and liquid glass enthusiasts! I bring you some exciting original research I did into shape-preserving smooth blending while working on Liquid DOM. Read on to learn why it matters, why it's hard, and how I managed to solve it. All the code is open.
15
36
5
586
53,921
We’re doing a user study to find out how adding always-on live values alongside code effects writing and debugging experiences for functional programming. See reply for sign-up details
9
63
7
620
43,500
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!
3
4
32
2,189
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! 🙏
1
9
15
1,936
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.
1
1
1
332
Impressive. Some fresh ideas for structure editing.
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.
1
2
11
1,139
what's in a selection?
3
1
6
621
new tylr feels so good. very clicky much structure
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.
2
8
787
new tylr feels amazing. what if structure editing were error correction with holes all along?
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.
1
9
703
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.
1
1
3
21
3,616
don't like where a completion appears? put it where you want. in the meantime, they'll ensure your code is well-formed and well-indented.
6
262
Replying to @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.ht… (best viewed on phone!)
3
1
17
1,155
we're looking for a couple more people for this
I'm seeking participants for a user study on a new code editor that completes your program text with syntactic obligations, which are virtual tokens that stand in for missing text. Details in thread. RTs appreciated 🙏
4
6
949
I'm seeking participants for a user study on a new code editor that completes your program text with syntactic obligations, which are virtual tokens that stand in for missing text. Details in thread. RTs appreciated 🙏
1
18
1
36
6,210
We're hoping to complete our study by Thursday (Nov 14) of next week. We're especially interested in folks with prior experience using expression-oriented languages like OCaml, Scala, Rust, Ruby, etc.
1
3
466
If you're interested, please fill out this form. Thanks for considering! forms.gle/yFrB99ymFh1fGvsU9
4
429