Lightnews — Scholar-powered news

Reposted by David Moon

Michael Coblenz @mcoblenz.bsky.social · Jun 26

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

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

conf.researchr.org

1 6

Reposted by David Moon

Martin Kleppmann @martin.kleppmann.com · Jun 25

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

What Works (and Doesn't) Selling Formal Methods

www.galois.com

4 25

Reposted by David Moon

Emilie Yu @emxtyu.bsky.social · Jun 1

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

2 20 52

Reposted by David Moon

Lu wilson @todepond.com · May 21

how to make a man with tldraw

3 1 22

Reposted by David Moon

el @elliot.website · Apr 29

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

5 24 91

David Moon @dm0ney.bsky.social · Apr 15

I’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

2

David Moon @dm0ney.bsky.social · Apr 15

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

1 2

Reposted by David Moon

Pete Vilter @petevilter.me · Apr 13

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

3 2 28

David Moon @dm0ney.bsky.social · Apr 11

congrats!!

1

Reposted by David Moon

Finneganeganegan @finneganeganegan.bsky.social · Apr 3

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

2 6 29

Reposted by David Moon

pvh @pvh.ca · Apr 4

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

Universal Version Control

Industrial research lab working on digital tools for creativity and productivity

www.inkandswitch.com

7 47 220

Reposted by David Moon

Ben Shapiro (he/him) @benshapi.ro · Mar 28

(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 10 13

Reposted by David Moon

Zed @zed.dev · Mar 26

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

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.

zed.dev

2 3 53

Reposted by David Moon

Jared Forsyth @jaredforsyth.com · Mar 26

slides for my talk at #EpicWebConf2025

docs.google.com/presentation...

4 7 54

David Moon @dm0ney.bsky.social · Mar 21

so fun 🤩

1

Reposted by David Moon

andrew blinn @disconcision.com · Mar 17

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

David Moon @dm0ney.bsky.social · Mar 14

thanks! appreciate the kind words

2

David Moon @dm0ney.bsky.social · Mar 14

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

tylr user study: interest form

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

forms.gle

1 5

David Moon @dm0ney.bsky.social · Mar 14

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

1 5

David Moon @dm0ney.bsky.social · Mar 14

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

2 24 33

Reposted by David Moon

Jonathan Edwards @jonathoda.bsky.social · Mar 11

The LIVE Programming Workshop will be held online this year. So no excuses - submit by July 21. 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.

liveprog.org

5 12

Reposted by David Moon

nikomatsakis @nikomatsakis.com · Mar 9

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.

nikomatsakis @nikomatsakis.com · Mar 9

This new rustdoc feature to scrape examples from the repository is AWESOME. Hats off to whoever implemented it. When can we get it enabled by default? =) Example: docs.rs/ratatui/late...

ListItem in ratatui::widgets - Rust

A single item in a `List`

docs.rs

3 21

Reposted by David Moon

Rep. Zooey Zephyr @zoandbehold.bsky.social · Mar 7

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.

87 1.1K 6.1K

Reposted by David Moon

Jonathan Edwards @jonathoda.bsky.social · Mar 5

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

Rambles around computer science

www.humprog.org

2 6

Reposted by David Moon

Cyrus Omar @neurocy.bsky.social · Mar 3

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

Cyrus Omar receives 1938E Award

He has been recognized for innovative teaching, mentorship, and dedication to undergraduate research.

cse.engin.umich.edu

11 8 66