Viewing profile — scuol

> C++ can verify many things that are not verifiable in Rust, even though almost no one does. Do you have an example of this? I'm curious where C++ exceeds Rust in this regard.

The manufacturer obviously, but they can sell the car in the first place because this defect risk is quantifiable for their liability insurance provider, who can evaluate how risky…

The way I always remember leftmost and rightmost binary search (the C++ equivalents-ish of lower_bound and upper_bound) is to always have a "prior best" and then move the bounds ac…

If this sounds like you, I highly recommend reading "The Problem of the Puer Aeternus". You can definitely skip a lot of the tedious bits where the author essential copy-pastes oth…

I understand the sentiment, but disagree with the solution. PKMs can be overwhelming if someone nerdy enough to use one ends up using it ineffectively. The way I do it that I find …

It's basically like having N of the most prolific LoC producing colleagues who don't have a great mental model of how the language works that you have to carefully parse all of the…

At least for C++, I try to use copilot only for generating testing and writing ancillary scripts. tbh it's only through hard-won lessons and epic misunderstandings and screw-ups th…

Highly recommend you rename because of a name clash with an existing famous C++ framework: https://seastar.io/

Oh I agree it can be a multiplier for sure. I think it's not "AI will take your job" but rather "someone who uses AI well will take your job if you don't learn it". At least for C+…

Just this morning, I had Claude come up with a C++ solution that would have undefined behavior that even a mid-level C++ dev could have easily caught (assuming iterator stability i…

It still seems to have the problems most other LLMs suffer with except Gemini: it loses context so quickly. I asked it about a paper I was looking at (SLOG [0]) and it basically lo…

Well, as with many of Google's services, you pay with your data. Pay-as-you-go with Gemini does not snort your data for their own purposes (allegedly...).

Totally agree. I'm renting on the eastside at the moment, but places like Ballard and Magnolia are on my list of places to look to buy for the very reasons you mentioned. Having mo…

s/strategic/wealthy/ I agree there are places in Seattle one can do this, but boy one certainly needs the paper to do this.

This is a state thing, usually some N-year break an payroll taxes if they have M people working in the office. These deals are really about butts-in-seats unfortunately, and there …

Very small TAM because most people who are DIY, ya know, like to do it themselves xD