Sign in

David Moon

@dm0ney.bsky.social
516 followers 334 following 24 posts

PhD UMich • building tylr.fun hazel.org • dmoon.info

PostsRepliesMedia
Reposted by David Moon
andrew blinn @disconcision.com · 08/06/2026
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
317338
Reposted by David Moon
Michael Coblenz @mcoblenz.bsky.social · 05/06/2026
HATRA 2026 submissions are due on June 14! Looking forward to seeing all your papers. conf.researchr.org/home/splash-...
conf.researchr.org
HATRA 2026 - Human Aspects of Types and Reasoning Assistants (HATRA 2026) - SPLASH/ISSTA 2026
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...
061
Reposted by David Moon
a ton of crates @tonofcrates.bsky.social · 27/05/2026
a summer reading list for you sickos that still want to think together with the machine
cel.cs.brown.edu
CSCI 1377: Tools for Thought - S26
A course on the past, present, and future of software for augmenting intelligence at Brown University.
1253
Reposted by David Moon
ꭓle Ormsby 𓆙 @e-infinity.space · 30/04/2026
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 🧮
F₂ inside SO(3) ≅ ℝP³
Generators A = rotation by arccos(1/3) about x-axis, B = same about z-axis. Each reduced word w becomes a rotation in SO(3); we plot it as the point θn̂ in the ball of radius π, where θ ∈ [0, π] is the rotation angle and n̂ is its unit axis. Edges are true SO(3)-geodesics — some wrap through ∂B and reappear at the antipodal point (the ℝP³ identification).Now transformed into the standard 'tree' Cayley graph of F_2.
39033
Reposted by David Moon
pvh @pvh.ca · 12/03/2026
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?
2168
Reposted by David Moon
Alexander Bandukwala @bandukwala.me · 12/03/2026
just modding around
1214
Reposted by David Moon
Alexander Bandukwala @bandukwala.me · 27/02/2026
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! 🙏
1712
Reposted by David Moon
andrew blinn @disconcision.com · 12/02/2026
NaaN
1142
Reposted by David Moon
Roly Perera @dynamicaspects.org · 18/10/2025
Great evening with @dorchard.bsky.social, @dm0ney.bsky.social and @neurocy.bsky.social talking Hazel and Fluid!
032
Reposted by David Moon
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 16/10/2025
#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!?
0175
Reposted by David Moon
Michael Coblenz @mcoblenz.bsky.social · 26/06/2025
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...
conf.researchr.org
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...
071
Reposted by David Moon
Martin Kleppmann @martin.kleppmann.com · 25/06/2025
Nice post on costs and benefits of formal methods, by @m-dodds.bsky.social: www.galois.com/articles/wha...
galois.com
What Works (and Doesn't) Selling Formal Methods
0233
Reposted by David Moon
Emilie Yu @emxtyu.bsky.social · 01/06/2025
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
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
25020
Reposted by David Moon
Lu wilson @todepond.com · 21/05/2025
how to make a man with tldraw
3201
Reposted by David Moon
el @elliot.website · 29/04/2025
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 :)
59024
Reposted by David Moon
Pete Vilter @petevilter.me · 13/04/2025
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
3272
Reposted by David Moon
Finneganeganegan @finneganeganegan.bsky.social · 03/04/2025
Hello, Bluesky, I'm Finn and this is my plugin Droplets 💧 #musicproduction #generativeart #audiovisual #vst #vstplugin #generativemusic #musictech #midi
2276
Reposted by David Moon
pvh @pvh.ca · 05/04/2025
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...
inkandswitch.com
Universal Version Control
Industrial research lab working on digital tools for creativity and productivity
721947
Reposted by David Moon
Ben Shapiro (he/him) @benshapi.ro · 28/03/2025
(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?
21210
Reposted by David Moon
Zed @zed.dev · 26/03/2025
🚀 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-...
zed.dev
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.
2503
Reposted by David Moon
Jared Forsyth @jaredforsyth.com · 26/03/2025
slides for my talk at #EpicWebConf2025 docs.google.com/presentation...
4547
Reposted by David Moon
andrew blinn @disconcision.com · 17/03/2025
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...
1317
David Moon @dm0ney.bsky.social · 14/03/2025
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! 🙏
23424
Reposted by David Moon
Jonathan Edwards @jonathoda.bsky.social · 11/03/2025
The LIVE Programming Workshop will be held online this year. So no excuses - submit by July 21. liveprog.org
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.
0125
Reposted by David Moon
nikomatsakis @nikomatsakis.com · 09/03/2025
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.
0213
Reposted by David Moon
Rep. Zooey Zephyr @zoandbehold.bsky.social · 07/03/2025
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.
8560441109
Reposted by David Moon
Jonathan Edwards @jonathoda.bsky.social · 05/03/2025
The mess I’m in www.humprog.org/%7Estephen/b...
humprog.org
Rambles around computer science
052
Reposted by David Moon
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 03/03/2025
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
Cyrus Omar receives 1938E Award
He has been recognized for innovative teaching, mentorship, and dedication to undergraduate research.
10648
Reposted by David Moon
arxiv cs.PL @arxiv-cs-pl.bsky.social · 03/03/2025
Sam Caldwell (Northeastern University, USA), Tony Garnock-Jones (Maastricht University, Netherlands), Matthias Felleisen (Northeastern University, USA) Conversational Concurrency with Dataspaces and Facets arxiv.org/abs/2502.20542
021
Reposted by David Moon
Gregor Samosa @watwa.re · 25/02/2025
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
ħirba' - early prototype
YouTube video by Watware
7477
Reposted by David Moon
Yaron Minsky @yminsky.bsky.social · 23/02/2025
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
`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)
0181
Reposted by David Moon
Yaron Minsky @yminsky.bsky.social · 23/02/2025
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
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...
1183
Reposted by David Moon
ionchy @ionchy.ca · 23/02/2025
www.thedp.com/article/2025... UPenn is reducing grad admission too 😞
thedp.com
Penn to reduce graduate admissions, rescind acceptances amid federal research funding cuts
Penn notified department chairs that it will cut admissions across graduate programs — a decision faculty members say will force them to rescind offers from newly-accepted students.
051
Reposted by David Moon
Swarat Chaudhuri @swarat.bsky.social · 22/02/2025
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)
1215
Reposted by David Moon
Jeffrey P. Bigham @jeffreybigham.com · 22/02/2025
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...
post-gazette.com
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...
1113
Reposted by David Moon
🏔️ Riku Silvola 🏔️ @rikusilvola.com · 20/02/2025
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. 🚀
tarides.com
The First Wasm_of_ocaml Release is Out!
Discover what's new with the release of Js_of_ocaml 6.0.1 – including Wasm support!
083
Reposted by David Moon
Ocsigen @ocsigen.org · 20/02/2025
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!
02610
Reposted by David Moon
Jonathan Edwards @jonathoda.bsky.social · 19/02/2025
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...
2025.splashcon.org
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...
079
Reposted by David Moon
andrew blinn @disconcision.com · 16/02/2025
3295
David Moon @dm0ney.bsky.social · 13/02/2025
what's in a selection?
2275
Reposted by David Moon
andrew blinn @disconcision.com · 13/02/2025
new tylr feels very very good
081
David Moon @dm0ney.bsky.social · 12/02/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. (no language models were harmed in the making of this video)
2246
Reposted by David Moon
Corca @corca.io · 30/01/2025
13610
Reposted by David Moon
Trajan Hammonds @starlord37.bsky.social · 08/02/2025
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
501324490
Reposted by David Moon
Carl T. Bergstrom @carlbergstrom.com · 08/02/2025
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...
grants.nih.gov
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
25470014079
Reposted by David Moon
Fluid News @f.luid.org · 04/02/2025
@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...
youtube.com
January 2025 - Fluid: Data-Transparent Visualisations - Dr Roly Perera
YouTube video by Institute of Computing for Climate Science (ICCS)
063
Reposted by David Moon
Darby Saxbe @darbysaxbe.bsky.social · 04/02/2025
🚨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.
list of banned keywords
12652769415654
Reposted by David Moon
danah boyd @zephoria.bsky.social · 03/02/2025
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...
A commissioned image from artist Pawel Kuczynski depicting the American flag as a series of pipes leaking data with workers trying to repair it.
713440
Reposted by David Moon
Tomas Petricek @tomasp.net · 23/01/2025
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!
0158
Reposted by David Moon
Cyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 25/01/2025
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...
youtube.com
[POPL'25] Kick the Can - WITS (25th Jan)
YouTube video by ACM SIGPLAN
1134