Sign in

Heather Miller

@heathermiller.bsky.social
1.6K followers 181 following 221 posts

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

PostsRepliesMedia
Reposted by Heather Miller
SwiftOnSecurity @swiftonsecurity.com · 26/08/2025
281349240
Reposted by Heather Miller
Simon Willison @simonwillison.net · 03/07/2025
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.
63880157
Reposted by Heather Miller
Local-First Conf @localfirstconf.com · 12/06/2025
Watch @mweidner.bsky.social talk about collaborative text editing without CRDTs or OT. youtu.be/5CFrpd0sG-g?...
drive.google.com
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...
0124
Reposted by Heather Miller
Kristopher Micinski @krismicinski.bsky.social · 23/05/2025
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
4408
Reposted by Heather Miller
Science Magazine @science.org · 09/05/2025
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.
scim.ag
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
15320891520
Reposted by Heather Miller
Matt Butcher @technosophos.bsky.social · 07/05/2025
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 Native Apps With WebAssembly
Edge computing is transforming as more powerful runtimes like WebAssembly enable developers to build entire applications at the distributed edge.
14372
Reposted by Heather Miller
derek guy @dieworkwear.bsky.social · 29/04/2025
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
9405495811534
Reposted by Heather Miller
Kristopher Micinski @krismicinski.bsky.social · 24/04/2025
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
live.lean-lang.org
Lean 4 Web
5152
Reposted by Heather Miller
Shadaj Laddad @shadaj.me · 27/02/2025
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.
shadaj.me
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,...
3268
Reposted by Heather Miller
Johan Janssens @johanjanssens.bsky.social · 26/02/2025
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!
gamma.app
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.
175
Reposted by Heather Miller
Omar Khattab @lateinteraction.bsky.social · 26/02/2025
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
041
Reposted by Heather Miller
Omar Khattab @lateinteraction.bsky.social · 26/02/2025
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
181
Reposted by Heather Miller
wellecks.bsky.social @wellecks.bsky.social · 27/02/2025
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
021
Reposted by Heather Miller
Shepherd @neolithicsheep.bsky.social · 21/02/2025
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.
424722
Heather Miller @heathermiller.bsky.social · 13/02/2025
Distributed Programming autocorrect of the day: Disturbed Programming Still not wrong
0263
Heather Miller @heathermiller.bsky.social · 10/02/2025
my german husband just referred to the red team as KFC, totally earnestly
170
Heather Miller @heathermiller.bsky.social · 26/01/2025
I feel seen
0100
Heather Miller @heathermiller.bsky.social · 22/01/2025
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...
180
Reposted by Heather Miller
David Shiffman, Ph.D. 🦈 @whysharksmatter.bsky.social · 19/01/2025
Just making sure that everyone is aware of this crab that NOAA scientists found
Photo of a small crab from NOAA’s social media. It’s covered in spikes
2073615588898
Reposted by Heather Miller
Yoav Goldberg @yoavgo.bsky.social · 29/12/2024
"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.
2186
Reposted by Heather Miller
Michael Zimmer @michaelzimmer.bsky.social · 19/11/2024
I'd like to thank that one student in the corner who nodded along with me all semester. You make it all possible.
421928
Reposted by Heather Miller
Drew Breunig @dbreunig.bsky.social · 12/12/2024
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...
dbreunig.com
Pipelines & Prompt Optimization with DSPy
Writing about technology, culture, media, data, and all the ways they interact.
1237
Reposted by Heather Miller
Paul Chiusano @pchiusano.bsky.social · 05/12/2024
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.
share.unison-lang.org
@pchiusano/arcella | Unison Share
Append-only data structures atop object storage.
184
Reposted by Heather Miller
Golan Levin @golan.bsky.social · 02/12/2024
#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/#...
art.cmu.edu
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.
16026
Reposted by Heather Miller
Chris Potts @cgpotts.bsky.social · 30/11/2024
Compound AI Systems, Inference-time Compute Meetup @ NeurIPS 2024, with many AI luminaries as panelists. Poster submissions are open: lu.ma/q5r8b67t
lu.ma
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,…
0145
Heather Miller @heathermiller.bsky.social · 28/08/2024
This is surprising to no one, but, just saying it again for anyone who forgets– Maternity leave is INCREDIBLY disruptive (Note: parental leave is disruptive too, but maternity leave is another level.)
000
Heather Miller @heathermiller.bsky.social · 06/05/2024
Kick-ass-engineer-about-to-be-available alert! 🚨 @MatthewWeidner3 is on the market for jobs post-PhD In his PhD, Matthew has rethought many aspects of CRDTs, proposed new CRDT designs and frameworks for reasoning about and using CRDTs. He's rethought collaboration in the
000
Heather Miller @heathermiller.bsky.social · 17/01/2024
In case you found the Guide to LLM Abstractions helpful… a +1 is always nice! news.ycombinator.com/item?id=390326…
000
Heather Miller @heathermiller.bsky.social · 16/01/2024
A new thing I’ve been up to lately, along with Peter Zhong, Haoze He, @lateinteraction, @ChrisGPotts, & @matei_zaharia… A Guide to LLM Abstractions it’s one thing to call the OpenAI APIs from a webapp… it’s entirely another to build crazy rich
100
Heather Miller @heathermiller.bsky.social · 08/12/2023
I'm just going to post this, because @TitzerBL hasn't and should... @TitzerBL (and I, but more Ben) are looking for PhD students at CMU interested in WebAssembly! Deadline: Dec 13 We're also looking for a research engineer! RT for reach plz?♥️ If interested in a
000
Heather Miller @heathermiller.bsky.social · 08/12/2023
I'm just going to post this here, because @TitzerBL hasn't and should... @TitzerBL (and I, but more Ben) are looking for PhD students interested in WebAssembly! Deadline: Dec 13 We're also looking for a research engineer to help build crazy new wasm tools! RT for reach plz?♥️
000
Heather Miller @heathermiller.bsky.social · 17/10/2023
Twitter seems to have gone the way of Facebook in like 2008– everybody's parents are using it, but everyone below some age threshold has long ago moved on to other social pastures
100
Heather Miller @heathermiller.bsky.social · 11/10/2023
Hey @jlazaroff, first off, thank you for the awesome AWESOME interactive CRDT demos. It’s such a great idea to have the network on/off switch and two windows side by side. That’s how we demo stuff to people in person, and I don’t know why we never thought to do this in blogs too
100
Heather Miller @heathermiller.bsky.social · 14/09/2023
Hi friends, question for the interwebs: Does anybody know how to force Google docs into HTML (i.e., no canvas) mode? We need it to understand editor performance I presume folks who do accessibility research might know tricks to achieve this? cc/ @jeffbigham & others?
000
Heather Miller @heathermiller.bsky.social · 22/07/2023
Name an American PNW city with a snowcapped volcano to its southeast, and a city called Vancouver to its north
000
Heather Miller @heathermiller.bsky.social · 09/06/2023
Why is there so much shame in academia?
000
Heather Miller @heathermiller.bsky.social · 06/06/2023
I gotta say, it’s been really refreshing to (1) attend a conference not in my immediate field, and (2) not have to give a talk/organize/etc Out of the two, I think (1) is the bigger contributor to how refreshing/exciting the experience is Faculty should do this more often
100
Heather Miller @heathermiller.bsky.social · 06/06/2023
Is anybody I know actively using Bluesky? I recently got an invite and am exploring it, but so far it seems like a slower/buggier version of Mastodon Is there something I'm missing?
000
Heather Miller @heathermiller.bsky.social · 05/06/2023
Welp, I suppose I’ll start using the tweet horn again First order of business: I’m headed to the first conference in YEARS that I’m going to *just attend* and not speak at, not organize, etc It’s a weird feeling If I know folks attending @MLSysConf this year, hit me up ☺️
100
Heather Miller @heathermiller.bsky.social · 23/02/2023
If people in Congress were generally young enough to have daycare-aged children, the whole national daycare shitshow would be fixed in a day Change my mind
000
Heather Miller @heathermiller.bsky.social · 19/01/2023
New year, new ways to organize life and work Anybody have pointers to organization/management of a research group? I recently stumbled upon @michael_w_hicks (& @lambda_calculus & @LeoLambro's?) way of managing @plumlab – do you guys still do this? Any other pointers out there?
100
Heather Miller @heathermiller.bsky.social · 19/01/2023
Excellent new autocorrect fail: Breast, Heater
100
Heather Miller @heathermiller.bsky.social · 18/01/2023
I just love assisting professors
000
Heather Miller @heathermiller.bsky.social · 05/01/2023
Man, the pandemic really messed with a lot of peoples' lives and careers up and it's weird that it's not really acknowledged
100
Heather Miller @heathermiller.bsky.social · 19/12/2022
Welp, cookie-eating season is here Let the accidental sugar overdoses before noon begin 😓 PS I'm heather@discuss.systems 🙄 since it seems you can't put this in your public name now
000
Heather Miller @heathermiller.bsky.social · 19/12/2022
The exodus is real
000
Heather Miller @heathermiller.bsky.social · 16/12/2022
Hi, I'm sitting in a @SCSatCMU meeting, and the problem of women having no community is being discussed This is a Real Problem The one single thing that we have to help this is a weekly "empowering women" lunch BUT THE PROBLEM IS THAT THERE IS NOT FUNDING FOR THIS WTF
100
Heather Miller @heathermiller.bsky.social · 14/12/2022
Ok, giving mastodon a real try now heather@discuss.systems if you want to find me there ☺️
000
Heather Miller @heathermiller.bsky.social · 07/12/2022
I remain baffled by apps, especially airline apps, that insist on turning on push notifications only to spam multiple times per day with sales/promotions/whatev Airlines– do you want it to be more difficult to contact passengers when there are delays/issues?
000
Heather Miller @heathermiller.bsky.social · 10/11/2022
Ahhh @cmeik in his element, enjoying food and beer and hot having to worry about gluten ☺️ cc/ @DebMeiklejohn
000