David Moon
@dm_0ney
PhD candidate @UMichCSE • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing
#tylr is live! tylr.fun (not mobile friendly yet!) how to play 🧵
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!
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.
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.
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.
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!)
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 🙏
Have you ever felt like spending six hours watching 17 amazing talks about live programming? If so... check out the video from LIVE 2024 last week! Everything from intuitive visual representations of program behavior to text editor integrations. youtube.com/watch?v=4GOeYy…
my OOPSLA talk yesterday on providing context for LLM code completion using typed holes: youtube.com/watch?v=-DYe8F…
Good to see a "big IDE" company take an interest in building "A next-generation IDE for OCaml". If you have an interest in this topic, please do chime in. discuss.ocaml.org/t/a-next-gener…