Reposted by David Moonandrew blinn @ oopsla @disconcision.com · 08/06/2026We’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 MoonMichael Coblenz @mcoblenz.bsky.social · 05/06/2026HATRA 2026 submissions are due on June 14! Looking forward to seeing all your papers. conf.researchr.org/home/splash-...conf.researchr.orgHATRA 2026 - Human Aspects of Types and Reasoning Assistants (HATRA 2026) - SPLASH/ISSTA 2026Programming 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 Moona ton of crates @tonofcrates.bsky.social · 27/05/2026a summer reading list for you sickos that still want to think together with the machinecel.cs.brown.eduCSCI 1377: Tools for Thought - S26A 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/2026You 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 🧮 38933
Reposted by David Moonpvh @pvh.ca · 12/03/2026Local-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 MoonAlexander Bandukwala @ SPLASH @bandukwala.me · 12/03/2026just modding around 1214
Reposted by David MoonAlexander Bandukwala @ SPLASH @bandukwala.me · 27/02/2026I’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 MoonRoly Perera @dynamicaspects.org · 18/10/2025Great evening with @dorchard.bsky.social, @dm0ney.bsky.social and @neurocy.bsky.social talking Hazel and Fluid! 032
Reposted by David MoonCyrus 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 MoonMichael Coblenz @mcoblenz.bsky.social · 26/06/2025Reminder 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.orgHATRA 2025 - ICFP/SPLASH 2025Programming 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 MoonMartin Kleppmann @martin.kleppmann.com · 25/06/2025Nice post on costs and benefits of formal methods, by @m-dodds.bsky.social: www.galois.com/articles/wha...galois.comWhat Works (and Doesn't) Selling Formal Methods 0233
Reposted by David MoonEmilie Yu @emxtyu.bsky.social · 01/06/2025Ever 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 25020
Reposted by David Moonel @elliot.website · 29/04/2025Here'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
David Moon @dm0ney.bsky.social · 15/04/2025I’ve always been happy with the output but my experience is limited to borrowing a friend’s a few times and recording outdoors in bright sunlight (not sure about screens in an office). X4 can get you ~2k at 30fps or ~1080p at 60fps in final output 020
David Moon @dm0ney.bsky.social · 15/04/2025have you considered getting an Insta360 X instead? omnidirectional camera with a slick editing software for picking key frames to interpolate between in final video. lets you totally relax about camera angles during recording. 120
Reposted by David MoonPete Vilter @petevilter.me · 13/04/2025It'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 MoonFinneganeganegan @finneganeganegan.bsky.social · 03/04/2025Hello, Bluesky, I'm Finn and this is my plugin Droplets 💧 #musicproduction #generativeart #audiovisual #vst #vstplugin #generativemusic #musictech #midi 2276
Reposted by David Moonpvh @pvh.ca · 05/04/2025Our 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.comUniversal Version ControlIndustrial research lab working on digital tools for creativity and productivity 721947
Reposted by David MoonBen 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 MoonZed @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.devOut-of-your-face AI - Zed BlogFrom the Zed Blog: Making Zed's edit predictions appear only when holding a modifier key, instead of as you type. 2503
Reposted by David MoonJared Forsyth @jaredforsyth.com · 26/03/2025slides for my talk at #EpicWebConf2025 docs.google.com/presentation... 4547
Reposted by David Moonandrew blinn @ oopsla @disconcision.com · 17/03/2025merged 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/2025We're hoping to complete our study by Mar 23 (Sunday). If you're interested, please fill out this form. Thanks for considering! forms.gle/hEJmsY2LCbdZ...forms.gletylr user study: interest formThe aim of this research study is to evaluate the usability of a code editor that completes your program text with virtual placeholders standing in for missing required tokens. Completing this survey ... 150
David Moon @dm0ney.bsky.social · 14/03/2025Your participation will involve using the editor to perform small editing tasks in an OCaml-like language. We're esp interested in folks with prior experience using expression-oriented languages like OCaml, Haskell, Scala, Rust, etc. You'll receive a $25 Amazon gift card for 60 minutes of your time. 150
David Moon @dm0ney.bsky.social · 14/03/2025I 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 MoonJonathan Edwards @jonathoda.bsky.social · 11/03/2025The LIVE Programming Workshop will be held online this year. So no excuses - submit by July 21. liveprog.orgliveprog.orgWorkshop 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 Moonnikomatsakis @nikomatsakis.com · 09/03/2025This 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 MoonRep. Zooey Zephyr @zoandbehold.bsky.social · 07/03/2025I'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. 8560401108
Reposted by David MoonJonathan Edwards @jonathoda.bsky.social · 05/03/2025The mess I’m in www.humprog.org/%7Estephen/b...humprog.orgRambles around computer science 052
Reposted by David MoonCyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 03/03/2025I'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.eduCyrus Omar receives 1938E AwardHe has been recognized for innovative teaching, mentorship, and dedication to undergraduate research. 10658
Reposted by David Moonarxiv cs.PL @arxiv-cs-pl.bsky.social · 03/03/2025Sam 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 MoonGregor Samosa @watwa.re · 25/02/2025I'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/AziAhVuiU3Qyoutu.beħirba' - early prototypeYouTube video by Watware 7477
Reposted by David MoonYaron Minsky @yminsky.bsky.social · 23/02/2025Another 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/RFCsThis 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 MoonYaron Minsky @yminsky.bsky.social · 23/02/2025It'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.comLabeled tuples by ccasin · Pull Request #13498 · ocaml/ocamlThis 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 Moonionchy @ionchy.ca · 23/02/2025www.thedp.com/article/2025... UPenn is reducing grad admission too 😞thedp.comPenn to reduce graduate admissions, rescind acceptances amid federal research funding cutsPenn 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 MoonSwarat Chaudhuri @swarat.bsky.social · 22/02/2025Excited 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 MoonJeffrey P. Bigham @jeffreybigham.com · 22/02/2025Pitt 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.comAmid funding uncertainty, Pitt pauses doctoral admissionsThe 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/2025With 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.comThe 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 MoonOcsigen @ocsigen.org · 20/02/2025Wasm_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 MoonJonathan Edwards @jonathoda.bsky.social · 19/02/2025Please 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.orgSPLASH 2025 - Onward! Papers - SPLASH 2025Onward! 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
David Moon @dm0ney.bsky.social · 16/02/2025unpopular opinion but I think og roam is great. I continue to use despite wanting obsidian’s local-first design. scrollable daily notes, infinite-scroll highly customizable sidebar, nice breadcrumbs / context expansion for nested bullet points in sidebar, good plugins, these all keep me using it 020
David Moon @dm0ney.bsky.social · 13/02/2025I like the syntax, in particular the standardization around curly braces, semicolons, type constructors, etc. I miss space for fn app. agree with alex, worst part is tooling. error recovery is v bad (freq big angry squiggles), rescript split community. choosing again I’d prob stick w ocaml 140
![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).](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:ysaiuavm2f7d4th42c4valhw/bafkreie35fe4sayrokpquj7jpiaqegh6o6af7lm6fbmf5kvnx6b3jewsse)
![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)
