Because I have poor self control, I made a thing to avoid looking at those increasingly terrible ACM Digital Library pages. Introducing Analog Library: https://al.radbox.org

So, Soylent was just infant formula for big boys, right?

In this amazing multidisciplinary collaboration, we report our early experience with the @openclaw-x.bsky.social ->

Custom safety sticker on my car has race car vibes.

It is funny for now to be flamed by an agent: t.co/twmUhy7Imp But, if GitHub doesn't get a hang of this, and I don't envy them, people will stop using it.

AFAIK there is no C compiler in Rust. This would have been an achievement even if the model had direct access to GCC source code, but it didn’t. This is an ambitious, wierd research project done for curiosity that is honest about its limitations. Code literally says “do not use”.

The Claude C Compiler is extraordinary research result. However, most reactions read either like university press releases or Reviewer B.

I’m surprised this dent, which I could barely see and almost forgot about, required full door replacement and the other guy’s insurance more than 5K. Excellent job nevertheless.

Introducing SlopOS: a new vibe-coded, operating system for safety-critical applications. SlopOS leapfrogs existing OS designs with first-class support for a new memory managed, object-capability based programming language for the userland and core kernel routines. (1/3)

Great article, and matches my experience exactly. I'm not quite sure what it takes to get a novice programmer to the point where they can use these tools like a master, while continuing to develop skills that I sharpened over decades.

There are these stupid “<advanced topic> for babies” books. Which are at best a joke for parents. Where is abstract algebra for babies?

My Dagstuhl ballpoint pen has been missing for weeks. It's possible some poser stole it.

How many times to have I have to click this?

With "claude $HOME", there is no longer an excuse to not use Mutt as your email client.

Slopcoder is a web-based frontend to Claude Code, Codex, etc. that run on your local server. If you secure access to your server, you get the benefits of web-based access to agents, without the headache of configuring isolated environments on third-party infrastructure. github.com/arjunguha/sl...

In the early 1990s, my grandfather purchased an original IBM PC with an aftermarket HDD. I first learned to program using that PC and reading the IBM/Microsoft Basic manual. Using the Spark for the last 2 days reminds me of that experience.

At Gimme! Coffee -- my favorite New York State coffee chain!

1850’s baseball.

The recent *Your Brain on ChatGPT* paper seems cool. When a ugrad approaches me to do research, I still have them read a prefix of PLAI (1st ed.) and demonstrate that they understand it. I wonder what would happen if I asked them to self-study with an LLM exclusively. Has anyone tried this?

Now that I've written more Python than I care to admit, I'm getting tired of duplicating abstractions: one for sync code and another for async. Effect polymorphism wanted.

Looking forward to this.

In this episode of HUB History, Elena Palladino discusses the creation of the Quabbin Reservoir, the four towns that were sacrificed for its construction, and her book Lost Towns of the Swift River Valley. Listen now! www.hubhistory.com/episodes/wat...

There seems to be a fundamental misunderstanding here. I don't think PhD students complete assigned tasks. arstechnica.com/ai/2025/03/w...

Photo taken today at @browncsdept.bsky.social. I'm glad to see that the PhD students (@genevievemp.bsky.social), furniture, and faculty seem to have not changed in 10+ years.

Congrats to Andy and Rich. A well-deserved recognition of their work and reinforcement learning in general! awards.acm.org/about/2024-t...

The real lesson from DeepSeek is the importance of good old-fashioned computer science. Every day this week, they've been doing open source releases. The latest is their in-house distributed file system. github.com/deepseek-ai/...

Please help amplify ARBOR, a fantastic new research opportunity! If you’d like to start contributing, NDIF is now hosting DeepSeek R1 8B and 70B, open for all researchers to experiment on via our API. Sign up for API access here: login.ndif.us

O1, R1, etc. are so good that we evaluate them on “PhD-level” benchmarks. But, these benchmarks are so hard that most people can’t even understand what they are testing. We’ve built a benchmark with problems that are hard to solve but easy to verify: for both humans and models.

Last one: there are a LOT of people to blame for this one. I think @jasvir.bsky.social is to blame for this problem in "Humanity's Last Exam".

Ugh, who did this? @joepolitz.bsky.social ? Wait, was it @dbp.bsky.social ? Someone else from @shriram.bsky.social's group? Also from "Humanity's Last Exam".

OK, who is responsible for this? Is it @natefoster.bsky.social? Source: "Humanity's Last Exam" www.nytimes.com/2025/01/23/t...

It was fun to be a part of this. We analyze a dataset of student-LLM interactions on programming tasks and ask: what do students get wrong when prompting?

Counterintuitively, this shows the power of GC. IIRC I've heard of similar tricks used for high-performance OCaml at Jane Street.

Last week we had the last-ever lecture by Steven P. Reiss, extraordinary creator of extraordinary programming environments. As a tribute, a bunch of faculty and staff showed up and sang this song. Here's the video: www.youtube.com/watch?v=N4Pu...

I found this surprising and had to test it myself (works with clang -std=c99): lemon.rip/w/c99-vla-tr...

since more people are joining bluesky, time for a re-intro! i work on programming languages and compilers for hardware design and will be starting at MIT next year where i will lead the Foundations of Languages and Machines Lab (flame.csail.mit.edu). if the ideas excites you, reach out to me!