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 🧮

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?

just modding around

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! 🙏

NaaN

Great evening with @dorchard.bsky.social, @dm0ney.bsky.social and @neurocy.bsky.social talking Hazel and Fluid!

#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!?

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...

Nice post on costs and benefits of formal methods, by @m-dodds.bsky.social: www.galois.com/articles/wha...

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

how to make a man with tldraw

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 :)

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

Hello, Bluesky, I'm Finn and this is my plugin Droplets 💧 #musicproduction #generativeart #audiovisual #vst #vstplugin #generativemusic #musictech #midi

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...

(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?

🚀 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-...

slides for my talk at #EpicWebConf2025 docs.google.com/presentation...

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! 🙏

The LIVE Programming Workshop will be held online this year. So no excuses - submit by July 21. liveprog.org

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.

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.

The mess I’m in www.humprog.org/%7Estephen/b...

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...

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

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

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...

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/...

www.thedp.com/article/2025... UPenn is reducing grad admission too 😞

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)

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...

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. 🚀

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!

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...

what's in a selection?

new tylr feels very very good

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)

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

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...

@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...

🚨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.

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...

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!

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...

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.

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

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...