David Moon
@dm0ney.bsky.social
PhD candidate @ UMich • building http://tylr.fun http://hazel.org • thinking about parsing and structure editing • dmoon.info
Pinned
Reposted by David Moon
Great evening with @dorchard.bsky.social, @dm0ney.bsky.social and @neurocy.bsky.social talking Hazel and Fluid!
October 18, 2025 at 2:20 PM
Great evening with @dorchard.bsky.social, @dm0ney.bsky.social and @neurocy.bsky.social talking Hazel and Fluid!
Reposted by David Moon
#SPLASH folks, check out our Distinguished Paper (!) talk this afternoon at 14:15 on "Incremental Bidirectional Typing via Order Maintenance". Thomas will tell you how to efficiently update type information (including error marks) in response to local edit actions. A small step *static* semantics!?
October 16, 2025 at 3:58 AM
#SPLASH folks, check out our Distinguished Paper (!) talk this afternoon at 14:15 on "Incremental Bidirectional Typing via Order Maintenance". Thomas will tell you how to efficiently update type information (including error marks) in response to local edit actions. A small step *static* semantics!?
Reposted by David Moon
Reminder about the upcoming HATRA deadline, if you're interested in making fancy type systems and reasoning assistants more effective for people! conf.researchr.org/home/icfp-sp...
HATRA 2025 - ICFP/SPLASH 2025
Programming language designers seek to provide strong tools to help developers reason about their programs. For example, the formal methods community seeks to enable developers to prove correctness pr...
conf.researchr.org
June 26, 2025 at 7:49 PM
Reminder about the upcoming HATRA deadline, if you're interested in making fancy type systems and reasoning assistants more effective for people! conf.researchr.org/home/icfp-sp...
Reposted by David Moon
Nice post on costs and benefits of formal methods, by @m-dodds.bsky.social: www.galois.com/articles/wha...
What Works (and Doesn't) Selling Formal Methods
www.galois.com
June 25, 2025 at 9:01 PM
Nice post on costs and benefits of formal methods, by @m-dodds.bsky.social: www.galois.com/articles/wha...
Reposted by David Moon
Ever wondered how badly we're all addicted to buying new GPUs in graphics labs?
Come see our talk at #SIGGRAPH2025 to discuss how we can collectively move "Towards a sustainable use of GPUs in Graphics Research"
with @elie-michel.bsky.social @axelparis.bsky.social Octave Crespel and Felix Hähnlein
Come see our talk at #SIGGRAPH2025 to discuss how we can collectively move "Towards a sustainable use of GPUs in Graphics Research"
with @elie-michel.bsky.social @axelparis.bsky.social Octave Crespel and Felix Hähnlein
![MOTIVATION
Graphical Processing Units (GPUs) are at the core of Computer Graphics research. These chips are critical for rendering images, processing geometric data, and training machine learning models. Yet, the production and disposal of GPUs emits CO2 and results in toxic e-waste [1].
METHOD
We surveyed 888 papers presented at SIGGRAPH (premier conference for computer graphics research), from 2018 to 2024, and systematically gathered GPU models cited in the text.
We then contextualize the hardware reported in papers with publicly available data of consumers’ hardware [2, 3].
REFERENCES
[1] CRAWFORD, KATE. The Atlas of AI: Power, Politics, and the Planetary Costs of Artificial Intelligence. Yale University Press, 2021.
[2] STEAM. Steam Hardware Survey. https://store.steampowered.com/hwsurvey
[3] BLENDER. Blender Open Data. https://opendata.blender.org](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:gpta66q3ots5ia23kvfzpu5r/bafkreidqnyftshkcmtpzqlxsknnvcn34xszafururgdixddtcuzrmwloqq@jpeg)
June 1, 2025 at 2:12 AM
Ever wondered how badly we're all addicted to buying new GPUs in graphics labs?
Come see our talk at #SIGGRAPH2025 to discuss how we can collectively move "Towards a sustainable use of GPUs in Graphics Research"
with @elie-michel.bsky.social @axelparis.bsky.social Octave Crespel and Felix Hähnlein
Come see our talk at #SIGGRAPH2025 to discuss how we can collectively move "Towards a sustainable use of GPUs in Graphics Research"
with @elie-michel.bsky.social @axelparis.bsky.social Octave Crespel and Felix Hähnlein
Reposted by David Moon
how to make a man with tldraw
May 21, 2025 at 12:57 PM
how to make a man with tldraw
Reposted by David Moon
Here's a cut of some of my interactive and visual work from the past year.
I'm looking for work! I'm looking for remote work developing, prototyping and/or researching on editors, custom interactive things, or visualizations. I mostly work in JS/TS. Let me know if you know something pls ty :)
I'm looking for work! I'm looking for remote work developing, prototyping and/or researching on editors, custom interactive things, or visualizations. I mostly work in JS/TS. Let me know if you know something pls ty :)
April 29, 2025 at 5:16 PM
Here's a cut of some of my interactive and visual work from the past year.
I'm looking for work! I'm looking for remote work developing, prototyping and/or researching on editors, custom interactive things, or visualizations. I mostly work in JS/TS. Let me know if you know something pls ty :)
I'm looking for work! I'm looking for remote work developing, prototyping and/or researching on editors, custom interactive things, or visualizations. I mostly work in JS/TS. Let me know if you know something pls ty :)
Reposted by David Moon
It's hard to wrap your head around all the failure modes of a distributed system.
What if you could play with the sequence diagram of a run to see how it responds, and see if you can get it into a failure state?
dist-sys-simulator.netlify.app
What if you could play with the sequence diagram of a run to see how it responds, and see if you can get it into a failure state?
dist-sys-simulator.netlify.app
April 13, 2025 at 5:19 PM
It's hard to wrap your head around all the failure modes of a distributed system.
What if you could play with the sequence diagram of a run to see how it responds, and see if you can get it into a failure state?
dist-sys-simulator.netlify.app
What if you could play with the sequence diagram of a run to see how it responds, and see if you can get it into a failure state?
dist-sys-simulator.netlify.app
Reposted by David Moon
Hello, Bluesky, I'm Finn and this is my plugin Droplets 💧
#musicproduction #generativeart #audiovisual #vst #vstplugin #generativemusic #musictech #midi
#musicproduction #generativeart #audiovisual #vst #vstplugin #generativemusic #musictech #midi
April 3, 2025 at 7:27 AM
Hello, Bluesky, I'm Finn and this is my plugin Droplets 💧
#musicproduction #generativeart #audiovisual #vst #vstplugin #generativemusic #musictech #midi
#musicproduction #generativeart #audiovisual #vst #vstplugin #generativemusic #musictech #midi
Reposted by David Moon
Our new research track is called Universal Version Control and it's about exploring how to bring the power of version control to every person, on every kind of document and every kind of collaboration.
www.inkandswitch.com/universal-ve...
www.inkandswitch.com/universal-ve...
Universal Version Control
Industrial research lab working on digital tools for creativity and productivity
www.inkandswitch.com
April 4, 2025 at 11:59 PM
Our new research track is called Universal Version Control and it's about exploring how to bring the power of version control to every person, on every kind of document and every kind of collaboration.
www.inkandswitch.com/universal-ve...
www.inkandswitch.com/universal-ve...
Reposted by David Moon
(Please re-skeet for visibility) Did you use HyperCard back in the day? What was your experience with it? What did you make? How did it change the way you think about yourself?
March 28, 2025 at 5:34 PM
(Please re-skeet for visibility) Did you use HyperCard back in the day? What was your experience with it? What did you make? How did it change the way you think about yourself?
Reposted by David Moon
🚀 Zed v0.179 is out!
In today's release, we've introduced a new display mode for Edit Prediction called subtle, which makes predicted text hidden by default and only visible when you're holding a modifier key. Check the blog post for more details:
zed.dev/blog/out-of-...
In today's release, we've introduced a new display mode for Edit Prediction called subtle, which makes predicted text hidden by default and only visible when you're holding a modifier key. Check the blog post for more details:
zed.dev/blog/out-of-...
Out-of-your-face AI - Zed Blog
From the Zed Blog: Making Zed's edit predictions appear only when holding a modifier key, instead of as you type.
zed.dev
March 26, 2025 at 7:35 PM
🚀 Zed v0.179 is out!
In today's release, we've introduced a new display mode for Edit Prediction called subtle, which makes predicted text hidden by default and only visible when you're holding a modifier key. Check the blog post for more details:
zed.dev/blog/out-of-...
In today's release, we've introduced a new display mode for Edit Prediction called subtle, which makes predicted text hidden by default and only visible when you're holding a modifier key. Check the blog post for more details:
zed.dev/blog/out-of-...
Reposted by David Moon
March 26, 2025 at 7:35 PM
Reposted by David Moon
merged a sizeable PR to hazel dev today including stuff shown here on inline evaluation and playing cards. also: caret animation. you can play with these here: hazel.org/build/dev/; see Probes, Cards, and Projectors slides in docs. PR notes here: github.com/hazelgrove/h...
March 17, 2025 at 1:14 AM
merged a sizeable PR to hazel dev today including stuff shown here on inline evaluation and playing cards. also: caret animation. you can play with these here: hazel.org/build/dev/; see Probes, Cards, and Projectors slides in docs. PR notes here: github.com/hazelgrove/h...
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's a short video of me motivating the editor and study.
Details in thread. Reskeets appreciated! 🙏
Details in thread. Reskeets appreciated! 🙏
March 14, 2025 at 7:26 PM
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's a short video of me motivating the editor and study.
Details in thread. Reskeets appreciated! 🙏
Details in thread. Reskeets appreciated! 🙏
Reposted by David Moon
The LIVE Programming Workshop will be held online this year. So no excuses - submit by July 21. liveprog.org
Workshop on Live Programming (LIVE)
The 11th Workshop on Live Programming (LIVE 2025) will take place online. LIVE invites submissions of ideas for improving the immediacy, usability, and learnability of programming.
liveprog.org
March 11, 2025 at 12:46 PM
The LIVE Programming Workshop will be held online this year. So no excuses - submit by July 21. liveprog.org
Reposted by David Moon
This is a cool example of research in action and the power of accessibility. @tonofcrates.bsky.social observed that experienced Rust users gravitate towards the examples to learn how to use a crate and wanted to help new users do the same. But the end result is EVERYONE can find examples faster.
This new rustdoc feature to scrape examples from the repository is AWESOME. Hats off to whoever implemented it. When can we get it enabled by default? =) Example: docs.rs/ratatui/late...
ListItem in ratatui::widgets - Rust
A single item in a `List`
docs.rs
March 9, 2025 at 1:44 PM
This is a cool example of research in action and the power of accessibility. @tonofcrates.bsky.social observed that experienced Rust users gravitate towards the examples to learn how to use a crate and wanted to help new users do the same. But the end result is EVERYONE can find examples faster.
Reposted by David Moon
I'm a proud mother. Whether I'm walking my son to school or reading him a bedtime story, I do everything to make sure he grows up loved and cared for.
And for the sponsor of the drag ban to say that my existence is a fetish is false & cruel.
I'm glad we were able to defeat this hateful bill today.
And for the sponsor of the drag ban to say that my existence is a fetish is false & cruel.
I'm glad we were able to defeat this hateful bill today.
March 7, 2025 at 5:39 AM
I'm a proud mother. Whether I'm walking my son to school or reading him a bedtime story, I do everything to make sure he grows up loved and cared for.
And for the sponsor of the drag ban to say that my existence is a fetish is false & cruel.
I'm glad we were able to defeat this hateful bill today.
And for the sponsor of the drag ban to say that my existence is a fetish is false & cruel.
I'm glad we were able to defeat this hateful bill today.
Reposted by David Moon
The mess I’m in
www.humprog.org/%7Estephen/b...
www.humprog.org/%7Estephen/b...
Rambles around computer science
www.humprog.org
March 5, 2025 at 12:37 AM
The mess I’m in
www.humprog.org/%7Estephen/b...
www.humprog.org/%7Estephen/b...
Reposted by David Moon
I'm honored to receive the 1938E Award, which honors "outstanding young faculty members who demonstrate excellence in teaching, mentoring, and contributing to the educational growth of the College". Working with budding PL nerds is a highlight of my job!
cse.engin.umich.edu/stories/cyru...
cse.engin.umich.edu/stories/cyru...
Cyrus Omar receives 1938E Award
He has been recognized for innovative teaching, mentorship, and dedication to undergraduate research.
cse.engin.umich.edu
March 3, 2025 at 6:28 PM
I'm honored to receive the 1938E Award, which honors "outstanding young faculty members who demonstrate excellence in teaching, mentoring, and contributing to the educational growth of the College". Working with budding PL nerds is a highlight of my job!
cse.engin.umich.edu/stories/cyru...
cse.engin.umich.edu/stories/cyru...
Reposted by David Moon
Sam Caldwell (Northeastern University, USA), Tony Garnock-Jones (Maastricht University, Netherlands), Matthias Felleisen (Northeastern University, USA)
Conversational Concurrency with Dataspaces and Facets
https://arxiv.org/abs/2502.20542
Conversational Concurrency with Dataspaces and Facets
https://arxiv.org/abs/2502.20542
March 3, 2025 at 5:30 AM
Sam Caldwell (Northeastern University, USA), Tony Garnock-Jones (Maastricht University, Netherlands), Matthias Felleisen (Northeastern University, USA)
Conversational Concurrency with Dataspaces and Facets
https://arxiv.org/abs/2502.20542
Conversational Concurrency with Dataspaces and Facets
https://arxiv.org/abs/2502.20542
Reposted by David Moon
I've put my foot in mouth to say a few words about a programming environment prototype I'm currently working on (that I'm quite excited about). More to come!
youtu.be/AziAhVuiU3Q
youtu.be/AziAhVuiU3Q
ħirba' - early prototype
YouTube video by Watware
youtu.be
February 25, 2025 at 8:30 PM
I've put my foot in mouth to say a few words about a programming environment prototype I'm currently working on (that I'm quite excited about). More to come!
youtu.be/AziAhVuiU3Q
youtu.be/AziAhVuiU3Q
Reposted by David Moon
Another great feature that still seems stuck is "include functor". It's also been hugely popular internally. I see it showing up 43k times in our internal repo! I'd love to see that get in as well.
github.com/ocaml/RFCs/p...
github.com/ocaml/RFCs/p...
`include functor` by ccasin · Pull Request #43 · ocaml/RFCs
This is a proposal for a new structure and signature item form, include functor.
Rendered version
(Thanks to @OlivierNicole and @goldfirere for help preparing this RFC)
github.com
February 23, 2025 at 2:11 PM
Another great feature that still seems stuck is "include functor". It's also been hugely popular internally. I see it showing up 43k times in our internal repo! I'd love to see that get in as well.
github.com/ocaml/RFCs/p...
github.com/ocaml/RFCs/p...
Reposted by David Moon
It's also been nice to see some increased upstreaming of some of our extensions to OCaml. Recent ones include labeled tuples, which is a great feature, more or less the dual of labeled arguments. It's been incredibly popular internally.
github.com/ocaml/ocaml/...
github.com/ocaml/ocaml/...
Labeled tuples by ccasin · Pull Request #13498 · ocaml/ocaml
This adds a new language feature: Labeled tuples, making tuple fields optionally labeled. It is joint work with @rtjoa.
Motivating example
The labeled tuples extension allows the programmer to lab...
github.com
February 23, 2025 at 2:08 PM
It's also been nice to see some increased upstreaming of some of our extensions to OCaml. Recent ones include labeled tuples, which is a great feature, more or less the dual of labeled arguments. It's been incredibly popular internally.
github.com/ocaml/ocaml/...
github.com/ocaml/ocaml/...
Reposted by David Moon
www.thedp.com/article/2025...
UPenn is reducing grad admission too 😞
UPenn is reducing grad admission too 😞
February 23, 2025 at 3:13 AM
www.thedp.com/article/2025...
UPenn is reducing grad admission too 😞
UPenn is reducing grad admission too 😞