mjb

7 ms·

31.
by mjb 1y ago
This doesn't work as cleanly for SQL-style transactions where there are tons of RW transactions, sadly.
32.
by mjb 1y ago
Best of all, /dev/null is also serializable (but not strict serializable) under many academic and textbook definitions. Specifically, these definitions require that transactions appear to execute in some serial order, and place
33.
by mjb 1y ago
That's much better results than mine! I notice a similar 'holographic' effect when coloring titanium a couple weeks back, and experimented with getting them dialed in along the same lines as this video. I didn't have nea
34.
by mjb 1y ago
I agree. Modern code models tend to do a great job advising in SQL, especially if you include the table definition and EXPLAIN output in the context. Alternatively, I've found that an EXPLAIN MCP tool works well.
35.
by mjb 1y ago
Yes. The spatial locality benefits drop off quite quickly. A hashed uuidv7-like scheme with a rotating salt, for example, would keep short term locality and it's performance benefits while not having long term locality and it's do
36.
by mjb 1y ago
Always nice to see folks talking about VM snapshots - they're an extremely powerful tool for building systems of all kinds. At AWS, we use snapshots in Lambda Snapstart (along with cloning, and snapshots are distributed across multiple
37.
by mjb 1y ago
DSQL does use distributed transactions to offer active-active alongside strong consistency and isolation guarantees. Here's how: https://brooker.co.za/blog/2024/12/05/inside-dsql-writes.htm...
38.
by mjb 1y ago
There are a large number of "toolchanger" printers out there, include Prusa's XL. They're pretty great: multiple nozzle sizes and types, multi-material and multi-color without a lot of waste, and even the ability to use
39.
by mjb 1y ago
Titanium fires sure are scary. But there's a good amount of chicken and egg here: expensive material limits demand, which limits progress on manufacturing techniques, which keeps part prices high. I would expect that significant manufa
40.
by mjb 1y ago
Runtime monitoring of system behavior against the spec is one way to close the gap. We wrote about our experiences with one tool for that (PObserve) here: https://cacm.acm.org/practice/systems-correctness-practices-...
41.
by mjb 1y ago
Doing distributed systems work in Lean is possible, but right now is much harder than something like TLA+ or P. It's possible that a richer library of systems primitives in Lean ('mathlib for systems') could make it easier. L
42.
by mjb 1y ago
Hey Will. I'm a huge fan of the work you all are doing, and of FoundationDB, but I don't believe it's accurate that DST was invented at FoundationDB (or, maybe it was, but was also used in other places around the same time or
43.
by mjb 1y ago
Runtime monitoring with something like PObserve is a semi-formal approach. Not just regular alarming and metrics.
44.
by mjb 1y ago
I (one of the authors) did some distributed systems work with Promela about a decade ago, but it never felt like the right fit in the domain. It's got some cool ideas, and may be worth revisiting at some point.
45.
by mjb 1y ago
Correct: https://docs.aws.amazon.com/aurora-dsql/latest/userguide/wor...
46.
by mjb 1y ago
Thanks. The team's working on both. For views, do you need updatable views, or are read-only views sufficient?
47.
by mjb 1y ago
> Maybe one can transform slow code from high level languages to low level language via LLMs in future. This is one of the areas I'm most excited for LLM developer tooling. Choosing a language, database, or framework is a really exp
48.
by mjb 1y ago
Which features would you like to see the team build first? Which limits would you like to see lifted first? Most of the limitations you can see in the documentation are things we haven't gotten to building yet, and it's super help
49.
by mjb 1y ago
This makes sense, especially with the move of OSDI to being annual, and NSDI accepting more and more general systems-y work (e.g. we published the Firecracker paper at NSDI, which wouldn't have made sense even 5 years earlier). ATC was
50.
by mjb 1y ago
This is great, really worth reading if you're interested in transactions. I liked it so much I wrote up how the model applies to Amazon Aurora DSQL at https://brooker.co.za/blog/2025/04/17/decomposin
51.
by mjb 1y ago
MySQL Serializable is pretty similar to serializable in other databases, in terms of the observable anomalies. There's a good set of tests here: https://github.com/ept/hermitage > So maybe I'm supposed to
52.
by mjb 1y ago
That's just not true, though. Stainless (e.g. AEB-L) is up to four times tougher than simple low-alloy carbon steel (e.g. 1095). See https://knifesteelnerds.com/2021/10/19/knife-steels-rated-by... for ex
53.
by mjb 2y ago
https://brooker.co.za/blog/2023/04/20/hobbies.html maybe
54.
by mjb 2y ago
Back in high school, my buddies and I snuck in to a few Saron Gas (their pre-Seether name) shows at Roxy's in Johannesburg. We were under age, and couldn't afford the R20 cover. They were really talented, and put on a great show (
55.
by mjb 2y ago
Horton Hears a Who (2008) does a really fun job combining different animation styles to get different effects. It works well in the silly Seuss universe.
56.
by mjb 2y ago
> Distributed algorithms require more coordination. Sometimes! There's a whole body of research about when distributed algorithms require coordination. One example is the CALM theorem ( https://arxiv.org/abs/1901
57.
Rust Foundation Collaborates with AWS to Verify Rust Standard Libraries(foundation.rust-lang.org)
7 points by mjb 2y ago|0 comments
58.
by mjb 2y ago
These problems in popular science communication seem to come down to a disconnect between what gets audiences excited (unexpected results! surprising data!) and what the process of science actually looks like (you need to take extra care wi
59.
by mjb 2y ago
I love this work. I might claim it (and some of its antecedents) is the most important distributed systems work of the last decade. Why? It addresses the central question in distributed (and multi-threaded!) system design: when do we need t
60.
by mjb 2y ago
I'd suggest starting with P ( https://github.com/p-org/P ), or picking up Hillel Wayne's TLA+ book to get started.

More ›