David Moon
@dm0ney.bsky.social
📤 506
📥 332
📝 24
PhD UMich • building
http://tylr.fun
http://hazel.org
• dmoon.info
pinned post!
what's in a selection?
loading . . .
over 1 year ago
2
29
5
reposted by
David Moon
ꭓle Ormsby 𓆙
22 days ago
You may have heard that the Banach-Tarski paradox is a consequence of the group of spatial rotations SO(3) having a subgroup that is free on two generators. But what does that look like? Answer: Roughly like this!
kyleormsby.github.io/F2-in-SO3/
1/n 🧮
3
90
38
reposted by
David Moon
pvh
2 months ago
Local-First Conf 2026 is back, and I want to hear what everyone's been doing this year. What have you built? What have you learned? How about interesting challenges we need to overcome?
add a skeleton here at some point
2
16
8
reposted by
David Moon
Alexander Bandukwala
2 months ago
just modding around
loading . . .
1
21
4
reposted by
David Moon
Alexander Bandukwala
3 months ago
I’m looking for participants for a paid user study on a prototype system for tabular programming (programming with tables / data frames). 2 hours • $50 Visa prepaid card Hoping to finish sessions by March 13. Details + sign up in 🧵 Reposts appreciated! 🙏
1
7
12
reposted by
David Moon
andrew blinn
3 months ago
NaaN
add a skeleton here at some point
1
14
2
reposted by
David Moon
Roly Perera
7 months ago
Great evening with
@dorchard.bsky.social
,
@dm0ney.bsky.social
and
@neurocy.bsky.social
talking Hazel and Fluid!
0
3
2
reposted by
David Moon
Cyrus Omar
7 months ago
#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!?
0
17
5
reposted by
David Moon
Michael Coblenz
11 months ago
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...
loading . . .
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...
https://conf.researchr.org/home/icfp-splash-2025/hatra-2025
0
7
1
reposted by
David Moon
Martin Kleppmann
11 months ago
Nice post on costs and benefits of formal methods, by
@m-dodds.bsky.social
:
www.galois.com/articles/wha...
loading . . .
What Works (and Doesn't) Selling Formal Methods
https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods
0
24
4
reposted by
David Moon
Emilie Yu
12 months ago
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
2
50
21
reposted by
David Moon
Lu wilson
about 1 year ago
how to make a man with tldraw
loading . . .
3
21
1
reposted by
David Moon
el
about 1 year ago
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 :)
loading . . .
5
91
26
reposted by
David Moon
Pete Vilter
about 1 year ago
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
loading . . .
3
27
2
reposted by
David Moon
Finneganeganegan
about 1 year ago
Hello, Bluesky, I'm Finn and this is my plugin Droplets 💧
#musicproduction
#generativeart
#audiovisual
#vst
#vstplugin
#generativemusic
#musictech
#midi
loading . . .
2
27
8
reposted by
David Moon
pvh
about 1 year ago
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...
loading . . .
Universal Version Control
Industrial research lab working on digital tools for creativity and productivity
https://www.inkandswitch.com/universal-version-control/
7
221
52
reposted by
David Moon
Ben Shapiro (he/him)
about 1 year ago
(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?
2
13
13
reposted by
David Moon
Zed
about 1 year ago
🚀 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-...
loading . . .
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.
https://zed.dev/blog/out-of-your-face-ai?x=49
2
50
4
reposted by
David Moon
Jared Forsyth
about 1 year ago
slides for my talk at
#EpicWebConf2025
docs.google.com/presentation...
4
54
9
reposted by
David Moon
andrew blinn
about 1 year ago
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...
1
31
7
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! 🙏
loading . . .
about 1 year ago
2
34
25
reposted by
David Moon
Jonathan Edwards
about 1 year ago
The LIVE Programming Workshop will be held online this year. So no excuses - submit by July 21.
liveprog.org
loading . . .
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.
https://liveprog.org
0
12
6
reposted by
David Moon
nikomatsakis
about 1 year ago
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.
add a skeleton here at some point
0
21
3
reposted by
David Moon
Rep. Zooey Zephyr
about 1 year ago
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.
add a skeleton here at some point
86
6069
1159
reposted by
David Moon
Jonathan Edwards
about 1 year ago
The mess I’m in
www.humprog.org/%7Estephen/b...
loading . . .
Rambles around computer science
https://www.humprog.org/%7Estephen/blog/highered/the-mess-im-in.html
0
6
2
reposted by
David Moon
Cyrus Omar
about 1 year ago
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...
loading . . .
Cyrus Omar receives 1938E Award
He has been recognized for innovative teaching, mentorship, and dedication to undergraduate research.
https://cse.engin.umich.edu/stories/cyrus-omar-receives-1938e-award
11
66
8
reposted by
David Moon
arxiv cs.PL
about 1 year ago
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
0
2
1
reposted by
David Moon
Gregor Samosa
about 1 year ago
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
loading . . .
ħirba' - early prototype
YouTube video by Watware
https://youtu.be/AziAhVuiU3Q
7
46
7
reposted by
David Moon
Yaron Minsky
about 1 year ago
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...
loading . . .
`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)
https://github.com/ocaml/RFCs/pull/43
0
18
1
reposted by
David Moon
Yaron Minsky
about 1 year ago
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/...
loading . . .
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...
https://github.com/ocaml/ocaml/pull/13498
1
18
3
reposted by
David Moon
ionchy
about 1 year ago
www.thedp.com/article/2025...
UPenn is reducing grad admission too 😞
add a skeleton here at some point
0
5
1
reposted by
David Moon
Swarat Chaudhuri
over 1 year ago
Excited about Proofwala,
@amitayush.bsky.social
's new framework for ML-aided theorem-proving. * Paper:
arxiv.org/abs/2502.04671
* Code:
github.com/trishullab/p...
Proofwala allows the collection of proof-step data from multiple proof assistants (Coq and Lean) and multilingual training. (1/3)
1
21
6
reposted by
David Moon
Jeffrey P. Bigham
over 1 year ago
Pitt pauses grad school admissions while waiting for judge to decide if Trump administration's chaotic attempt to abruptly reduce medical research funding that was already promised is legal
www.post-gazette.com/business/hea...
loading . . .
Amid funding uncertainty, Pitt pauses doctoral admissions
The University of Pittsburgh has paused admissions to doctoral programs amid federal funding uncertainty as a judge in Massachusetts considers whether...
https://www.post-gazette.com/business/healthcare-business/2025/02/21/university-pittsburgh-national-institutes-health-grant-funding-cuts/stories/202502220033
1
11
3
reposted by
David Moon
🏔️ Riku Silvola 🏔️
over 1 year ago
With 2x - 8x performance improvements on real-world applications!
tarides.com/blog/2025-02...
JSOO 6.0.1 comes with `--effects=double-translation` further improving performance of programs taking advantage of effect handlers. 🚀
add a skeleton here at some point
0
8
3
reposted by
David Moon
Ocsigen
over 1 year ago
Wasm_of_ocaml is out! Making OCaml one of the first languages to compile to Wasm. Thanks to Jane Street and
@tarides.com
for that work!
0
26
11
reposted by
David Moon
Jonathan Edwards
over 1 year ago
Please submit to Onward! papers and essays. One of the best places to publish ambitious non-mainstream ideas on programming.
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
loading . . .
SPLASH 2025 - Onward! Papers - SPLASH 2025
Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities and applications. Onward! is more radi...
https://2025.splashcon.org/track/splash-2025-Onward-papers#Call-for-Papers
0
8
9
reposted by
David Moon
andrew blinn
over 1 year ago
3
29
5
what's in a selection?
loading . . .
over 1 year ago
2
29
5
reposted by
David Moon
andrew blinn
over 1 year ago
new tylr feels very very good
add a skeleton here at some point
0
8
1
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. (no language models were harmed in the making of this video)
loading . . .
over 1 year ago
2
24
7
reposted by
David Moon
Corca
over 1 year ago
loading . . .
1
36
13
reposted by
David Moon
Trajan Hammonds
over 1 year ago
Last night I found out that the NSF math postdoctoral fellowship I applied for is being deleted because it does not comply with Trump’s executive orders on DEI in the federal government. I’m going to answer some FAQs and share some thoughts about this ordeal in this thread 1/n
50
1325
544
reposted by
David Moon
Carl T. Bergstrom
over 1 year ago
1. Today the NIH director issued a new directive slashing overhead rates to 15%. I want to provide some context on what that means and why it matters.
grants.nih.gov/grants/guide...
loading . . .
NOT-OD-25-068: Supplemental Guidance to the 2024 NIH Grants Policy Statement: Indirect Cost Rates
NIH Funding Opportunities and Notices in the NIH Guide for Grants and Contracts: Supplemental Guidance to the 2024 NIH Grants Policy Statement: Indirect Cost Rates NOT-OD-25-068. OD
https://grants.nih.gov/grants/guide/notice-files/NOT-OD-25-068.html
257
7013
4997
reposted by
David Moon
Fluid News
over 1 year ago
@dynamicaspects.org
presented Fluid at last week’s Virtual Earth System Research Institute journal club. Talk available at
www.youtube.com/watch?v=5KUW...
www.schmidtsciences.org/virtual-eart...
loading . . .
January 2025 - Fluid: Data-Transparent Visualisations - Dr Roly Perera
YouTube video by Institute of Computing for Climate Science (ICCS)
https://www.youtube.com/watch?v=5KUWqQ0pkrg
0
6
3
reposted by
David Moon
Darby Saxbe
over 1 year ago
🚨BREAKING. From a program officer at the National Science Foundation, a list of keywords that can cause a grant to be pulled. I will be sharing screenshots of these keywords along with a decision tree. Please share widely. This is a crisis for academic freedom & science.
1270
27774
19353
reposted by
David Moon
danah boyd
over 1 year ago
Many of us are aghast at the unprecedented dismantlement of the US administrative state. All around me, people are trying to connect what’s happening to historical events. Here's my attempt to offer a few possible frames for sense-making right now:
www.zephoria.org/thoughts/arc...
7
134
48
reposted by
David Moon
Tomas Petricek
over 1 year ago
Please Welcome
@programming-conf.bsky.social
We now also have a full list of papers to be presented in the main conference track. Join us on 2.-6. June in Prague!
0
15
9
reposted by
David Moon
Cyrus Omar
over 1 year ago
My student Thomas Porter will be presenting our collaborative, in-progress work on "Incremental Bidirectional Typing with Order Maintenance" at the WITS workshop at POPL today at 3pm MT! Stream / recording will be here, check it out:
www.youtube.com/live/HT8nLo6...
loading . . .
[POPL'25] Kick the Can - WITS (25th Jan)
YouTube video by ACM SIGPLAN
https://www.youtube.com/live/HT8nLo6DTao?si=-nAWiA8y-APWV2Ad
1
13
4
reposted by
David Moon
Cyrus Omar
over 1 year ago
I'll be presenting our
#POPL
paper "Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus" at 11:20am CT / 1:20pm ET! The paper presents a foundational IR for collaborative coding where every edit action *commutes*. Grove resolves pernicious problems with code relocation conflicts.
loading . . .
[POPL'25] Peek A Boo - POPL I (23rd Jan)
YouTube video by ACM SIGPLAN
https://www.youtube.com/watch?v=Jff0pIbj8PM
2
24
10
reposted by
David Moon
andrew blinn
over 1 year ago
current state of live value probe projectors in hazel. projectors placed on applications now get a telescope icon, indicating that selecting their closures allows you to see into their corresponding function execution
loading . . .
0
18
6
reposted by
David Moon
char stiles
over 1 year ago
I wrote a bit about IDEs, and about how lots of creative coding languages/IDEs assume the user doesn't want to code (which is essential to get people into programming! But I ask what happens next?) and some silly experiments I have been doing!
www.media.mit.edu/projects/exp...
loading . . .
Project Overview ‹ Explorations in IDEs – MIT Media Lab
A series of explorations in integrated development environments (IDEs) for graphical creative coding.
https://www.media.mit.edu/projects/explorations-in-ides/overview/
7
57
13
Load more
feeds!
log in