Reposted by David Moonandrew blinn @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 🧮 39033
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 @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
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 @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/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. 8560441109
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. 10648
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 · 12/02/2025new 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 MoonTrajan Hammonds @starlord37.bsky.social · 08/02/2025Last 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 MoonCarl T. Bergstrom @carlbergstrom.com · 08/02/20251. 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.govNOT-OD-25-068: Supplemental Guidance to the 2024 NIH Grants Policy Statement: Indirect Cost RatesNIH 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 MoonFluid 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.comJanuary 2025 - Fluid: Data-Transparent Visualisations - Dr Roly PereraYouTube video by Institute of Computing for Climate Science (ICCS) 063
Reposted by David MoonDarby 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. 12652769415654
Reposted by David Moondanah boyd @zephoria.bsky.social · 03/02/2025Many 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... 713440
Reposted by David MoonTomas Petricek @tomasp.net · 23/01/2025Please 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 MoonCyrus Omar on sabbatical in Cambridge @neurocy.bsky.social · 25/01/2025My 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
![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)
