Viewing profile — l0b0

You should try some good homemade lutefisk. No, not just lutefisk, that's like judging burgers by only eating the patty. Rather with all the accoutrements: fried bacon, pea stew, b…

"GOG GALAXY is a long-lived product with a large and complex C++ codebase." Also known as a shitshow. Hopefully the new engineer(s) will be encouraged to at least add some tests an…

Maybe it's time for some decently funded other organisation (not a teracorp) to take over Firefox specifically, then let Mozilla go its own way into the sunset. No idea how that co…

Just about every week I find "new" GitLab bugs which, after a quick search, turn out to be 5+ years old, with lots of community engagement, but seemingly zero movement from GitLab …

Pinboard (still decent, just don't expect your money back if you pay for the permanently broken PDF export feature) until I can self-host Linkding[1]. [1] https://github.com/NixOS/…

"May shrink on first washing" or something like it seems to be pretty common; you might've accidentally tried something on which had that labelling (or didn't, which would suck).

No mention of value engineering? Isn't that what every big company does to a successful product? Barely-noticeable quality decreases compound over years, and more noticeable ones a…

It's happening now , not in 950 years.

It's mostly just semantic drift. "REST" is less of a mouthful than "JSON over HTTP". Nobody ever realised the potential of discoverability.

"Not only is there no reward, nor can you ever expect a reward, for doing the right thing, it also often comes at a personal cost." That's too cynical. I take personal satisfaction…

Absolutely, although it never got as far as an actual job offer before the rejection. A couple of minutes of online searches should be enough to highlight any horrible behaviour be…

Nice find! As for the provider, since they missed this extremely basic step (don't trust the client!!) I would expect they have many more undiscovered vulnerabilities.

Thanks for the explanation, although I now have more questions : - Why the "graph" aspect of "e-graphs", when it seems all of the ones I've seen in your article and on Wikipedia ha…

What is the context? Is there tooling to use these to simplify programs? Are they meant only for formal verification? Something else?