@dm_0ney

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

 Ann Arbor, MI
dmoon.info
Joined November 2015
  • Tweets747
  • Following1K
  • Followers1.4K
48Media
what if the outline view was a fully bidirectional alternate editor?
14
39
5
546
21,749
all will become fidgetable
64
109
34
1,980
397,592
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
Impressive. Some fresh ideas for structure editing.
David Moon@dm_0ney12 Feb 2025
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
new tylr feels so good. very clicky much structure
David Moon@dm_0ney12 Feb 2025
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?
David Moon@dm_0ney12 Feb 2025
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
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
2
1
12
1,446
we're looking for a couple more people for this
David Moon@dm_0ney6 Nov 2024
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
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=4GOeYylC…
5
17
108
7,225
my OOPSLA talk yesterday on providing context for LLM code completion using typed holes: youtube.com/watch?v=-DYe8Fi7…
1
10
2
46
3,393
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-g…

A next-generation IDE for OCaml

We at JetBrains are doing research aiming to design the next-generation software development stack, able to answer the challenges posed by the rapid advancement of AI. One of the ideas under consid...

discuss.ocaml.org
9
42
9
205
34,400
Great work by the @UsePenrose team building Bloom: a lightweight way to make interactive diagrams: penrose.cs.cmu.edu/blog/bloo… All coordinates are automatically figured out by the Penrose layout engine, and diagram specifications can be re-used for different content (like HTML/CSS).
8
195
5
1,328
107,692
Our work on debugging with GitHub Copilot Chat won Best Paper Award at VL/HCC! We introduce ROBIN, an “investigate & respond” agentic LLM workflow. As we approach a balance b/w automation vs. collaboration, we observe 3.5x greater bug fixes! 🤖 📜Paper: microsoft.com/en-us/research…

Let’s Fix this Together: Conversational Debugging with GitHub Copilot - Microsoft Research

Despite advancements in IDE tooling, code understanding, generation, and automated repair, debugging continues to present significant challenges. Existing debugging strategies available to developers...

microsoft.com
VL/HCC@vlhcc4 Sep 2024
🏆 Best Research Paper Award! 🏆 Huge congratulations to @imYbajpai and the team, from Microsoft for their award-winning paper: "Let's Fix This Together - Conventional Debugging with GitHub Copilot." 🤖💡 Well-deserved recognition! 🎉 #VLHCC2024 #BestPaperAward
4
9
52
6,500
New paper from @kevin_x_li, @JacobKim489493, @neurocy (and me!) appearing at OOPSLA2024. TL;DR: We use cursor-local type & binding info from the Hazel language server to shape codegen prompts & stem hallucination, with supporting experiments for TypeScript (more in thread)
2
14
3
56
4,257
here's a cool thing you can do with a structured editor: tables as first-class syntax primitives! lots of use cases beyond matrix definition (let bindings, record literals, match/switch forms) feels so seamless.
2
9
110
7,384
I've talked a lot about performance-related features we're working, e.g., unboxed types, locals. But that's not all we're working on! One feature I'm excited about is parameterized libraries. It's an evolution of a feature I've wanted for 22 years! inbox.vuxu.org/caml-list/101…
3
8
84
8,223
David Moon retweeted
cwervo@cwervo27 Jul 2024
this @FolkComputer shader is like a little window you can move to find the red ellipse … a scavenger hunt in screen space
3
4
1
32
5,039
Load more