Heather Miller
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Reposted by Heather Miller
Reposted by Heather Miller
Quitting programming as a career right now because of LLMs would be like quitting carpentry as a career thanks to the invention of the table saw.
July 3, 2025 at 2:36 PM
Quitting programming as a career right now because of LLMs would be like quitting carpentry as a career thanks to the invention of the table saw.
Reposted by Heather Miller
Watch @mweidner.bsky.social talk about collaborative text editing without CRDTs or OT. youtu.be/5CFrpd0sG-g?...
Matthew Weidner.mp4
Whether your app is local-first or more traditional, collaborative text editing is a tricky problem that requires advanced algorithms. Or does it? In this ta...
drive.google.com
June 12, 2025 at 7:01 AM
Watch @mweidner.bsky.social talk about collaborative text editing without CRDTs or OT. youtu.be/5CFrpd0sG-g?...
Reposted by Heather Miller
It just occurred to me that open source software—the original spirit of OSS—could be ripe for a renaissance as all commercial software is being loaded full of LLM slop
May 23, 2025 at 4:46 AM
It just occurred to me that open source software—the original spirit of OSS—could be ripe for a renaissance as all commercial software is being loaded full of LLM slop
Reposted by Heather Miller
Exclusive: National Science Foundation staff were told today that the agency’s 37 divisions—across all eight directorates—are being abolished and the number of programs within those divisions will be drastically reduced.
Exclusive: NSF faces radical shake-up as officials abolish its 37 divisions
Changes seen as a response to presidential directives on what research to fund
scim.ag
May 8, 2025 at 11:35 PM
Exclusive: National Science Foundation staff were told today that the agency’s 37 divisions—across all eight directorates—are being abolished and the number of programs within those divisions will be drastically reduced.
Reposted by Heather Miller
I wrote an article at @thenewstack.io about how Wasm is proving to be the best compute platform for edge computing.
thenewstack.io/build-edge-n...
thenewstack.io/build-edge-n...
Build Edge Native Apps With WebAssembly
Edge computing is transforming as more powerful runtimes like WebAssembly enable developers to build entire applications at the distributed edge.
thenewstack.io
May 7, 2025 at 3:37 PM
I wrote an article at @thenewstack.io about how Wasm is proving to be the best compute platform for edge computing.
thenewstack.io/build-edge-n...
thenewstack.io/build-edge-n...
Reposted by Heather Miller
personally would like to see every store show what part of the price increase is due to tariffs bc if these tariffs ever come down, i need to see that price go right back down
April 29, 2025 at 6:48 PM
personally would like to see every store show what part of the price increase is due to tariffs bc if these tariffs ever come down, i need to see that price go right back down
Reposted by Heather Miller
Very psyched to see that lean can run in the browser--I *believe* this is *all in wasm* (based on the network tab in chrome devtools). If so, this is extremely impressive: I used it to check a 400-line file live.lean-lang.org
Lean 4 Web
live.lean-lang.org
April 24, 2025 at 4:47 AM
Very psyched to see that lean can run in the browser--I *believe* this is *all in wasm* (based on the network tab in chrome devtools). If so, this is extremely impressive: I used it to check a 400-line file live.lean-lang.org
Reposted by Heather Miller
New Blog Post! www.shadaj.me/writing/dist... I argue that we’re *still* lacking a programming model that’s native to distributed systems, and outline what’s missing.
Distributed Systems Programming Has Stalled
Over the last decade, we’ve seen great advancements in distributed systems, but the way we program them has seen few fundamental improvements. While we can sometimes abstract away distribution (Spark,...
www.shadaj.me
February 27, 2025 at 6:30 PM
New Blog Post! www.shadaj.me/writing/dist... I argue that we’re *still* lacking a programming model that’s native to distributed systems, and outline what’s missing.
Reposted by Heather Miller
Slides from my talk "WebAssembly, Extend Anything with Everything, Everywhere! " at #confoo are online. gamma.app/docs/Extism-...
Showed how to extend #frankenphp with an @extism.bsky.social / #wasi markdown middleware plugin, generating html at 3k req/s. Kudos to @dunglas.dev, FrankenPHP rocks!
Showed how to extend #frankenphp with an @extism.bsky.social / #wasi markdown middleware plugin, generating html at 3k req/s. Kudos to @dunglas.dev, FrankenPHP rocks!
Extism - Make all software programmable | Confoo 2025
Extism is a cross-language plugin framework for building with WebAssembly. It's goal is to make all software programmable.
gamma.app
February 26, 2025 at 7:45 PM
Slides from my talk "WebAssembly, Extend Anything with Everything, Everywhere! " at #confoo are online. gamma.app/docs/Extism-...
Showed how to extend #frankenphp with an @extism.bsky.social / #wasi markdown middleware plugin, generating html at 3k req/s. Kudos to @dunglas.dev, FrankenPHP rocks!
Showed how to extend #frankenphp with an @extism.bsky.social / #wasi markdown middleware plugin, generating html at 3k req/s. Kudos to @dunglas.dev, FrankenPHP rocks!
Reposted by Heather Miller
It doesn't help that the we in ML often only design abstractions leak all kinds of implementation details. Folks often define ML itself in terms of techniques, not problems!
But it's prematurely abstracting that leads to the bitterness of wasted effort, and not "modularity doesn't work for AI". 2/2
But it's prematurely abstracting that leads to the bitterness of wasted effort, and not "modularity doesn't work for AI". 2/2
February 26, 2025 at 10:00 PM
It doesn't help that the we in ML often only design abstractions leak all kinds of implementation details. Folks often define ML itself in terms of techniques, not problems!
But it's prematurely abstracting that leads to the bitterness of wasted effort, and not "modularity doesn't work for AI". 2/2
But it's prematurely abstracting that leads to the bitterness of wasted effort, and not "modularity doesn't work for AI". 2/2
Reposted by Heather Miller
Composition & abstraction are the foundations of CS, but are clearly absent in modern ML.
It's not that they're not crucial for intelligent software. But it takes building many half-working systems to abstract successfully, and it takes good abstractions to have primitives worth composing.
🧵1/2
It's not that they're not crucial for intelligent software. But it takes building many half-working systems to abstract successfully, and it takes good abstractions to have primitives worth composing.
🧵1/2
February 26, 2025 at 10:00 PM
Composition & abstraction are the foundations of CS, but are clearly absent in modern ML.
It's not that they're not crucial for intelligent software. But it takes building many half-working systems to abstract successfully, and it takes good abstractions to have primitives worth composing.
🧵1/2
It's not that they're not crucial for intelligent software. But it takes building many half-working systems to abstract successfully, and it takes good abstractions to have primitives worth composing.
🧵1/2
Reposted by Heather Miller
Will future SWE agents be computer-use agents?
We explore this shift in Programming with Pixels: an agent environment where agents interact with VS Code to perform a wide variety of software engineering tasks
Code/agent environment: github.com/Programmingw...
Homepage: programmingwithpixels.com
We explore this shift in Programming with Pixels: an agent environment where agents interact with VS Code to perform a wide variety of software engineering tasks
Code/agent environment: github.com/Programmingw...
Homepage: programmingwithpixels.com
What if AI agents did software engineering like humans—seeing the screen & using any developer tool?
Introducing Programming with Pixels: an SWE environment where agents control VSCode via screen perception, typing & clicking to tackle diverse tasks.
programmingwithpixels.com
🧵
Introducing Programming with Pixels: an SWE environment where agents control VSCode via screen perception, typing & clicking to tackle diverse tasks.
programmingwithpixels.com
🧵
February 27, 2025 at 1:10 AM
Will future SWE agents be computer-use agents?
We explore this shift in Programming with Pixels: an agent environment where agents interact with VS Code to perform a wide variety of software engineering tasks
Code/agent environment: github.com/Programmingw...
Homepage: programmingwithpixels.com
We explore this shift in Programming with Pixels: an agent environment where agents interact with VS Code to perform a wide variety of software engineering tasks
Code/agent environment: github.com/Programmingw...
Homepage: programmingwithpixels.com
Reposted by Heather Miller
I JUST WANT TO GENERALLY APOLOGIZE TO MATH TEACHERS AT LARGE FOR BEING A LITTLE SHIT AT 15 WHO WAS EXTREMELY SURE OF THE COURSE MY LIFE WOULD TAKE AND DECLARING I DID NOT NEED TO LEARN TO SOLVE FOR X. I'M SO SORRY. I DEFINITELY DID NEED TO LEARN THAT.
February 21, 2025 at 5:52 PM
I JUST WANT TO GENERALLY APOLOGIZE TO MATH TEACHERS AT LARGE FOR BEING A LITTLE SHIT AT 15 WHO WAS EXTREMELY SURE OF THE COURSE MY LIFE WOULD TAKE AND DECLARING I DID NOT NEED TO LEARN TO SOLVE FOR X. I'M SO SORRY. I DEFINITELY DID NEED TO LEARN THAT.
Distributed Programming autocorrect of the day:
Disturbed Programming
Still not wrong
Disturbed Programming
Still not wrong
February 13, 2025 at 7:46 PM
Distributed Programming autocorrect of the day:
Disturbed Programming
Still not wrong
Disturbed Programming
Still not wrong
my german husband just referred to the red team as KFC, totally earnestly
February 10, 2025 at 2:15 AM
my german husband just referred to the red team as KFC, totally earnestly
What happened to industry conferences that were truly cross-industry/-platform/-technology?
Now it seems like every company has their own conference that masquerades as a general AI/SE conference, but is really a gimmick to promote their products/platforms & to own entire communities...
Now it seems like every company has their own conference that masquerades as a general AI/SE conference, but is really a gimmick to promote their products/platforms & to own entire communities...
January 22, 2025 at 9:11 PM
What happened to industry conferences that were truly cross-industry/-platform/-technology?
Now it seems like every company has their own conference that masquerades as a general AI/SE conference, but is really a gimmick to promote their products/platforms & to own entire communities...
Now it seems like every company has their own conference that masquerades as a general AI/SE conference, but is really a gimmick to promote their products/platforms & to own entire communities...
Reposted by Heather Miller
Just making sure that everyone is aware of this crab that NOAA scientists found
January 19, 2025 at 1:39 PM
Just making sure that everyone is aware of this crab that NOAA scientists found
Reposted by Heather Miller
"prompt engineering" is much more about effective processes for creating good prompts for your data, than it is about specific techniques. which is to a large extent why platforms like dspy work: they kinda force you into a processes, while attempting to automate the techniques.
December 29, 2024 at 3:06 PM
"prompt engineering" is much more about effective processes for creating good prompts for your data, than it is about specific techniques. which is to a large extent why platforms like dspy work: they kinda force you into a processes, while attempting to automate the techniques.
Reposted by Heather Miller
I'd like to thank that one student in the corner who nodded along with me all semester. You make it all possible.
November 19, 2024 at 8:49 PM
I'd like to thank that one student in the corner who nodded along with me all semester. You make it all possible.
Reposted by Heather Miller
Really enjoy DSPy’s workflow for LLM work. Handing off the specifics of prompt generation and engineering back to the LLM makes a lot of sense: www.dbreunig.com/2024/12/12/p...
Pipelines & Prompt Optimization with DSPy
Writing about technology, culture, media, data, and all the ways they interact.
www.dbreunig.com
December 12, 2024 at 10:42 PM
Really enjoy DSPy’s workflow for LLM work. Handing off the specifics of prompt generation and engineering back to the LLM makes a lot of sense: www.dbreunig.com/2024/12/12/p...
Reposted by Heather Miller
share.unison-lang.org/@pchiusano/a...
Just getting started on this @unison-lang.org library for highly scalable append-only distributed data structures atop object storage. It's an absolute delight writing stuff like this in @unison-lang.org.
Just getting started on this @unison-lang.org library for highly scalable append-only distributed data structures atop object storage. It's an absolute delight writing stuff like this in @unison-lang.org.
@pchiusano/arcella | Unison Share
Append-only data structures atop object storage.
share.unison-lang.org
December 5, 2024 at 12:37 AM
share.unison-lang.org/@pchiusano/a...
Just getting started on this @unison-lang.org library for highly scalable append-only distributed data structures atop object storage. It's an absolute delight writing stuff like this in @unison-lang.org.
Just getting started on this @unison-lang.org library for highly scalable append-only distributed data structures atop object storage. It's an absolute delight writing stuff like this in @unison-lang.org.
Reposted by Heather Miller
#JobAlert! Come join me at Carnegie Mellon's School of Art— we're hiring an open-rank tenure-track professor in "Experimental Animation and Emerging Media Practices"! Deadline is Jan 5: art.cmu.edu/employment/#...
Employment - School of Art | Carnegie Mellon University
The School of Art seeks professional artists, educators and administrators with an interest in interdisciplinary practice and expanding what it means to be a school in the 21st Century.
art.cmu.edu
December 2, 2024 at 4:01 AM
#JobAlert! Come join me at Carnegie Mellon's School of Art— we're hiring an open-rank tenure-track professor in "Experimental Animation and Emerging Media Practices"! Deadline is Jan 5: art.cmu.edu/employment/#...
Reposted by Heather Miller
Compound AI Systems, Inference-time Compute Meetup @ NeurIPS 2024, with many AI luminaries as panelists. Poster submissions are open: lu.ma/q5r8b67t
Compound AI Systems, Inference-time Compute Meetup @ NeurIPS 2024 · Luma
Meetup for practitioners and researchers working on and interested in compound AI systems, inference-time strategies and scaling laws, networks of networks,…
lu.ma
November 30, 2024 at 6:11 PM
Compound AI Systems, Inference-time Compute Meetup @ NeurIPS 2024, with many AI luminaries as panelists. Poster submissions are open: lu.ma/q5r8b67t