Viewing profile — 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 pow…

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/20…

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 t…

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 …