Joe Hellerstein

@joehellerstein.bsky.social

Computer things @Berkeley and music things elsewhere.

J
J

📄 New blog post! AI will soon write most distributed code. Distributed code is where our worst bugs —Heisenbugs— live. The real lever isn’t “test more,” it’s **aim better**: AI should target frameworks where correctness contracts are explicit and checkable. jhellerstein.github.io/blog/codegen...

Coding Agents Meet Distributed Reality

AI is about to write most of the code in the world. Most of the code in the world participates in a distributed system. And distributed code is where our worst…

jhellerstein.github.io

Let’s collaborate on democratizing insights from tabular data in Amsterdam! ✨ PhD directions: 1) fundamental techniques for tabular foundation models, 2) reliable mechanisms for AI-powered tabular data analysis. Sharing w/ friends appreciated! ⬇️

ELLIS@ellis.eu · last yr.

🏹 Job alert: 2 fully-funded PhD Positions at Table Representation Learning Lab - @ellisamsterdam.bsky.social‬ 📍 Amsterdam 🇳🇱 📅 Apply by June 30 🔗 More info: https://bit.ly/4519pj1

J

The last blog post in my miniseries on CRDTs is up! jhellerstein.github.io/blog/crdt-in... Mix of pragmatism and formalism. There's actually a small result in there that may be novel: Strong Eventual Consistency !=> Determinism. Curious to hear whether they've seen this result elsewhere.

CRDTs #4: Convergence, Determinism, Lower Bounds and Inflation

The CRDT literature sometimes leaves room for mathematical ambiguity. Maybe because the bulk of the work tends to be targeted at systems researchers and…

jhellerstein.github.io

J

(Catching up to my LI feed). Next blog post is out! This is the first real post in a short series on CRDTs, an idea that has some currency in the distributed programming community, but one that comes with a number of sharp edges. Be careful out there! jhellerstein.github.io/blog/crdt-tu...

CRDTs #1: Turtles All the Way Down

This is the 1st post in a series of 4 detailed posts I'm doing on CRDTs. Please see the intro post for context. Modern distributed systems often seem to rest on…

jhellerstein.github.io

J

Blog relaunch! Bbye wordpress, hello github. If you're into SW dev, cloud, databases, distributed systems, automatic codegen ... or data and CS in general... check it out. As a warmup, I'm starting with a series of posts on CRDTs. Intro post up now: jhellerstein.github.io/blog/crdt-in...

A Run of CRDT Posts

Over the next few days, I'm going to post a number of observations about CRDTs: Convergent Replicated Data Types. These are data structures that aspire to help…

jhellerstein.github.io

The SF Systems Meetup is back! On 2/27, we're excited to have headline talks from the creator of FizzBee and a research collaborator with Signal. This is going to be a super fun night diving deep into making distributed protocols work, hope you'll join us! lu.ma/vqjf30k3

SF Systems Meetup: Correctness and Security for Distributed Systems · Luma

The SF Systems Meetup is back for the new year! This meetup, our theme is correctness and security. It's easy to write a distributed protocol, but very hard to…

lu.ma

J

In some kind of sad watershed, today was the day as a professor when I live-ChatGPT'ed the answer to a question in a Zoom with my PhD student and his undergrad mentees. But hey, let's paint it in a positive light: this was a demonstration of using the right tool at the right time.

J

The legendary Phil Bernstein talking @BerkeleySky about his work in sw libraries for DPUs. Phil was paving the way for relational DBs and transactions in the 70s, and is still doing deep, detailed technical work. @Berkeley_EECS @BerkeleyDataSci

Phil Bernstein presenting a slide on DPU networking