brson

I'll take this opportunity to report on my Framework Laptop 13 experience. I've had it for over a year.

The case is warped in multiple places. One USB C module doesn't accept a power charge reliably. It can overheat and shutdown. If the case flexes a little the trackpad stops responding - it needs to be on a flat surface. Power brick died.

On the plus side, my partner had one and when she threw it away she gave me her parts and I was able to swap some out. That was cool.

I felt similar about the book. The premise was thrilling, but as it went on it seemed to succumb to typical genre tropes, ending didn't deliver.

Quite a lot of type system modeling has gone into Dada so far, though I don't know the details. Some of that work is here: https://github.com/dada-lang/dada-model

Rust borrow checker author's new language designs.

Follow up posts:

https://smallcultfollowing.com/babysteps/blog/2026/02/09/hel...

https://smallcultfollowing.com/babysteps/blog/2026/02/10/dad...

https://smallcultfollowing.com/babysteps/blog/2026/02/14/sha...

RIP

Miri is so good. Thank you Ralf for dedicating yourself to this project for so long.

When I have Rust projects with subsystems that must be unsafe, I will design them around Miri testability. This mostly means writing small unit-testable units and isolating I/O as much as possible. I almost always find I have made mistakes that Miri catches.

I also clicked through a few times trying to get a clear description of what this is with no success.

This is a surprisingly wide-ranging video about robots and AI in context of Disney's theme parks.

I wanted to love this so much but my eyeballs were screaming trying to read the text over the crawling dither pattern.

Congrats to the servo team. It's been a long road and it's amazing they kept it alive.

I've been using slint for a desktop project recently and having a lot of fun with it - it's pretty simple and the design has an interesting and fairly clean separation between the UI language and the backing application code (in Rust in my case). Recaptured a bit of my lost love for desktop apps.

The TigerBeetle database docs have a page on financial accounting that is just a really good overview of double-entry accounting.