eatonphil

2026-03-10 9:33

Submitted: "TLA+ as a Design Accelerator: Lessons from the Industry"

6 points0 commentsmuratbuffalo.blogspot.com

After 15+ years of using TLA+, I now think of it is a design accelerator. One of the purest intellectual pleasures is finding a way to simpl...

2026-03-10 12:36

Commented: "Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy"

If you're curious to see what everyone else is doing, I did a survey of over 100 major source available projects and four of them banned AI assisted commits (NetBSD, GIMP, Zig, and qemu).

On the other hand projects with AI assisted commits you can easily find include Linux, curl, io_uring, MariaDB, DuckDB, Elasticsearch, and so on. Of the 112 projects surveyed, 70 of them had AI assisted commits already.

https://theconsensus.dev/p/2026/03/02/source-available-proje...

2026-03-10 12:49

Submitted: "Simulating Catalog and Table Conflicts in Iceberg"

1 points0 commentscdouglas.github.io

Simulating the Apache Iceberg single-table commit protocol to understand the upper bound on commit throughput.

2026-03-07 3:06

Submitted: "Rewriting Our Database in Rust"

1 points0 comments

2026-03-07 1:00

Commented: "The disappearing Form D (2018)"

I was looking up database startups in the SEC's EDGAR database and could not find filing info about most of them. I guess everyone stopped doing this.

https://www.sec.gov/edgar/search/#/

Hacker News

eatonphil

23515

2014-12-27

About Me

Recent Activity

Submitted: "TLA+ as a Design Accelerator: Lessons from the Industry"

Commented: "Redox OS has adopted a Certificate of Origin policy and a strict no-LLM policy"

Submitted: "Simulating Catalog and Table Conflicts in Iceberg"

Submitted: "Rewriting Our Database in Rust"

Commented: "The disappearing Form D (2018)"

HackerNews