scuol

6 ms·

1.
by scuol 1y ago
> 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.
2.
by scuol 1y ago
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 manufacturing and how
3.
by scuol 1y ago
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) { /&#x2F
4.
by scuol 1y ago
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 very common p
5.
by scuol 1y ago
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. each day, have a jou
6.
by scuol 1y ago
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 their PRs. Honestly, I've seen too many fairly g
7.
by scuol 1y ago
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 use to che
8.
by scuol 1y ago
Highly recommend you rename because of a name clash with an existing famous C++ framework: https://seastar.io/
9.
by scuol 1y ago
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 ver
10.
by scuol 1y ago
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) just by reading the code
11.
by scuol 1y ago
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 to after
12.
by scuol 1y ago
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...).
13.
by scuol 1y ago
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 you p
14.
by scuol 1y ago
s/strategic/wealthy/ I agree there are places in Seattle one can do this, but boy one certainly needs the paper to do this.
15.
by scuol 1y ago
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 clause. Source: I was hire
16.
by scuol 1y ago
Very small TAM because most people who are DIY, ya know, like to do it themselves xD