Artifact Evaluation, Theory and Practice on ACM SIGOPS Blog by Roberta De Viti Solal Pirelli Vaastav Anand. The article discusses the gaps between the arguably idealistic AE theory and the reality of AE in practice and proposes an AE evolution (not revolution). sigops.org/2023/artifact-…

🧐 “Perfectly Reproducible, Verified Go Toolchains” by Russ Cox #golang go.dev/blog/rebuild

Okay #Apple now that we have multiple eSIMs... When can we get "stay logged-in on multiple App Store accounts simultaneously?" So annoying that apps don't update unless you switch accounts, and so annoying that some apps are restricted to a single App Store for no good reason.

The Factiverse Plugin is officially launched on ChatGPT! Access it to instantly get credible references to any of your conversations in ChatGPT!👇 check.factiverse.ai #chatgpt #ChatGPT4 #factiverse #AI #factcheck #verify

Fascinating work from Tiemo Bang. For cloud-scale optimization problems (e.g. storage placement) he builds an "oracle" offline, which precomputes *correct* answers to decision problems online! No AI-style prediction or hallucination, just convex optimization, cleverly done.

Exactly. Why didn’t they do a stagger rollout?

The SF Distributed Systems Meetup (now under the SF Systems Club umbrella) is back! Join us 8/29 at @Databricks SF for an exciting evening featuring talks by Ben Hindman (co-creator of Mesos) and community members! lu.ma/x17bg5fh

Missed the debate last night on ABC News between Vice President JD Vance and Donald J. Trump we got you covered see our analysis and fact-checks factiverse.ai/blog/live-fact…

Learn how Go excels at building LLM-powered applications, from managing concurrency to handling network services. Dive into it with examples using Gemini, LangChainGo, and Genkit in this new post by Eli Bendersky on the Go blog: go.dev/blog/llmpowered

So I tried to build a tech company from Norway and here’s what happened: 1. Two years of building without almost any money/funding, better part of a year without salary 2. Raise VC and become one of Norway’s first unicorns 3. Face unrealized gains wealth tax bill of many x my

Excited to share our ICDT 2025 paper on a theoretical framework to connect CRDTs and the CALM Theorem! We formalize the intuitions given in the Keep CALM and CRDT On work about the gap between CRDT guarantees and monotonic queries.

🧨 Go 1.24.0 is released! 📝 Release notes: go.dev/doc/go1.24 ⬇️ Download: go.dev/dl/#go1.24.0 #golang

I also enjoyed Casey’s talk. Recommended for all that teach object oriented programming. So many pitfalls for new students. I wonder how well LLMs are at avoiding those pitfalls. I haven’t tried since I do most of my work I Go these days.

🔁 RT if you think 🇳🇴 Jonas Abrahamsen is the Super-combative of the #TDF2025! 🔁 RT si vous pensez que 🇳🇴 Jonas Abrahamsen est le Super-combatif du #TDF2025 !

The term "Object Oriented Programming" should be retired. Even people who show up to my replies to argue with me about it invariably end up arguing amongst themselves about what it is. They can't even agree with each other long enough to have an argument with me:

The consumer/producer paradox. When students want to pursue a PhD with me, I used to ask them to tell me about the research papers they have read recently. I stopped bothering when I found out that they have usually never read a research paper. I was also told that it was unfair.

I always enjoy listening to Karpathy’s perspectives. Learned a lot, again. Highly recommend watching this.

✍️new blog post: on the consumption of AI-generated content at scale

What’s wrong with this picture? ⁦Elon Musk⁩ ⁦Tesla⁩