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.

Watch @mweidner.bsky.social talk about collaborative text editing without CRDTs or OT. youtu.be/5CFrpd0sG-g?...

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

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.

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

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

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

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.

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!

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

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

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

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

my german husband just referred to the red team as KFC, totally earnestly

I feel seen

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

Just making sure that everyone is aware of this crab that NOAA scientists found

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

I'd like to thank that one student in the corner who nodded along with me all semester. You make it all possible.

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

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.

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

Compound AI Systems, Inference-time Compute Meetup @ NeurIPS 2024, with many AI luminaries as panelists. Poster submissions are open: lu.ma/q5r8b67t

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

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

In case you found the Guide to LLM Abstractions helpful… a +1 is always nice! https://news.ycombinator.com/item?id=39032697

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

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

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?♥️

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

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

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?

Name an American PNW city with a snowcapped volcano to its southeast, and a city called Vancouver to its north

Why is there so much shame in academia?

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

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?

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 ☺️

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

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?

Excellent new autocorrect fail: Breast, Heater

I just love assisting professors

Man, the pandemic really messed with a lot of peoples' lives and careers up and it's weird that it's not really acknowledged

Welp, cookie-eating season is here Let the accidental sugar overdoses before noon begin 😓 PS I'm [email protected] 🙄 since it seems you can't put this in your public name now

The exodus is real

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

Ok, giving mastodon a real try now [email protected] if you want to find me there ☺️

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?

Ahhh @cmeik in his element, enjoying food and beer and hot having to worry about gluten ☺️ cc/ @DebMeiklejohn