Feels appropriate for bugs in a formal proof system:

> Beware of bugs in the above code; I have only proved it correct, not tried it.

-Knuth, 1977

Great concept for a horror film

I am very happy with my BenQ monitors, they are great value and high quality.

It's a proxy for reach, which is what GP is talking about.

It's kind of insane that such an obvious optimization can be patented, I have to imagine that it has been invented independently dozens if not hundreds of times.

that article sucks and doesnt describes real algorithm

I think this is inventors blog https://smalldatum.blogspot.com/2026/01/common-prefix-skippi...

Oh this is much more novel (comparatively), that makes a lot more sense. Kind of an amalgamation of a bunch of optimizations.

Thanks for sharing.

[+1] this was a good read

I drove on this for the first time yesterday, once from 405 S to 85th W, then back on 85th E and 405 N. Super easy, the lanes are fairly nicely signed and there is ample signage. No issues at all.

Have you done the I-90 <-> SR 18 interchange out by Preston yet?

I strongly prefer the original to your edit.

You don't need to be the gold standard to make obscene amounts of money. Product quality and financial success are only loosely correlated at best.

Tightly integrated sure, but I wouldn't say tightly coupled, their framework (GPUI) is available standalone and is being used to create other apps.

https://www.gpui.rs/

FWIW Slint was founded by a group of long time Qt alumni, so brings a lot of that know-how into the space.

I gave it a decent shot, and I wanted to like slint, but I don’t.

It’s not a rust ui system; it’s a declarative ui language that happens to have a rust binding via macros so you can write the custom DSL.

It also has bindings for other languages.

It feels like a bunch of qtquick people got together and implemented a new runtime for qtquick. That might be the direction qt has gone, at the expense of their c++ qtwigets system, but it just feels… “electron app” to me.

If I wanted an electron app, I would just use electron.

If I wanted a non-native ui look and feel, I would use flutter.

Slint has nothing to do with elecron. There is no browser under the hood so it is much more lightweight. Slint has native looking widgets. Slint DSL gets compiled to native code: no need for a runtime interpreter like in QtQuick