> 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 said car company is in terms of their…
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 according to the algo while (l < r) {…
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 other books for analysis, but this is a…
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 works well is to have the following: 1.…
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 that I've built a mental model that I can…
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++, I've found it does very mediocre at…
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 in a vector that was being modified)…
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 lost the context of what "slog" referred…
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 more space in these exurbs is "nice", but…
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 is usually a non-trivial clawback…
Very small TAM because most people who are DIY, ya know, like to do it themselves xD
> 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 said car company is in terms of their…
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 according to the algo while (l < r) {…
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 other books for analysis, but this is a…
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 works well is to have the following: 1.…
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 that I've built a mental model that I can…
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++, I've found it does very mediocre at…
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 in a vector that was being modified)…
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 lost the context of what "slog" referred…
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 more space in these exurbs is "nice", but…
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 is usually a non-trivial clawback…
Very small TAM because most people who are DIY, ya know, like to do it themselves xD