59nadir

12 ms·

211.
by 59nadir 1y ago
I am personally somewhere in-between these two places. I've used ChatGPT to get unstuck a few times this past week because I was at the end of my rope with regards to some GPU crashes that I couldn't make heads or tails of. I then
212.
by 59nadir 1y ago
On average the developers overestimated how long tasks would take when not using AI; they undershot their estimates on average. The opposite happened with AI-assisted tasks. The conclusion isn't that "estimates are hard" (the
213.
by 59nadir 1y ago
> "The Dunning–Kruger effect is a cognitive bias in which people with limited competence in a particular domain overestimate their abilities." No, they underestimated their own abilities for the most part; the estimates for AI-
214.
by 59nadir 1y ago
I think it's a common problem to officially have mids who are really just juniors with a modicum of time in the industry and the same goes for seniors who are really just mids.
215.
by 59nadir 1y ago
I like some of their choices, but I wouldn't say that releasing your product for a minority operating system only, then following up with yet another minority operating system much later, then stuffing AI features in there when you don
216.
by 59nadir 1y ago
> See again here, you're implying that I or my code is disappointing somehow, but with no explanation for how except that it was LLM-assisted. I assert that the code is basically as good as if I'd written it by hand, and if you
217.
by 59nadir 1y ago
It's possible kiitos has (or had?) a higher standard in mind for what should constitute a senior/"lead engineer" at Cloudflare and how much they should be constrained by typing as part of implementation. Out of interest:
218.
by 59nadir 1y ago
> The best agents can, more or less, crank out working code after a few iterations, but it's brittle, and riddled with bad decisions. You're right, I'm very likely overestimating the output even though I'm on the skep
219.
by 59nadir 1y ago
This is in line with "Programming As Theory Building"[0] (Peter Naur, 1985) that puts forward the idea that when one is building a system one builds a "theory" (in a sense a mapping of what, where and why) of that system
220.
by 59nadir 1y ago
Honestly, the one through line that I've seen with regards to the success of AI in programming is that it'll work very well for trivial, mass-produced bullshit and anyone who was already doing that for work will feel like it can d
221.
by 59nadir 1y ago
Or the equally unhelpful amateur sleuth who's given everything they know to an LLM and thinks the output is of any use to police.
222.
by 59nadir 1y ago
I use Speechify for this. For this particular page it actually can't detect the text automatically (on most pages it can, so you just click "Play" on the text and it will read from there on) but marking/selecting it and
223.
by 59nadir 1y ago
I ran into this particular problem specifically because I wrote a ton of Racket that had this exact pattern and didn't see why Python should be any different. It really is a head scratcher in many ways the first time you run into it, I
224.
by 59nadir 1y ago
Eh, I think he brings up a pretty good point but I wouldn't say HN is any better. People here think that MacOS has high usage numbers and iPhones are the most used phone, when that's not the case. There are also a few very, very m
225.
by 59nadir 1y ago
> There's a third, and I think more common group: folks who know all that's involved with reinventing the wheel, and how to do it, and know the juice of doing it isn't worth the squeeze, and there's no value in doing
226.
by 59nadir 1y ago
I can have an engine ready for you that allows you to render arbitrary 2D sprites, levels of them, etc. or whatever in a day. People gamejam more interesting and advanced stuff than you're talking about. The mechanics of just shoving t
227.
by 59nadir 1y ago
About 1.5-2 years ago I was using GitHub Copilot to write code, mostly as a boilerplate completer, really, because eventually I realized I spent too much time reading the suggestions and/or fixing the end result when I should've j
228.
by 59nadir 1y ago
I'm sorry, how is this a "senior engineer"? Is this a "they worked in the industry for 6 years and are now senior" type situation or are they an actual senior engineer? Because it seems like they're lacking the
229.
by 59nadir 1y ago
I make custom 3D engines and I can tell you that it would not be a net benefit for us to use Rust. That's why I added "for certain problems" as a qualifier; there are use cases where Rust would be a net negative. There are al
230.
by 59nadir 1y ago
> You seem to want rust to decide for itself whether to borrow or own the contents, but that way lies madness… Most of what Rust does already feels like madness, like the concept of implicit moves, etc., but I understand your point. I do
231.
by 59nadir 1y ago
Yes, I'm suggesting it should do the right thing for the code the loop is actually trying to execute. I personally think this is exactly what Rust and its users have signed up for. I might be mistaken about that, but I think it's
232.
by 59nadir 1y ago
Ok, so we've established that the loop can be verified as not changing the container in any way, what makes you believe this shouldn't be obvious to the Rust compiler? When code that modifies the container is added, it should be u
233.
by 59nadir 1y ago
In bulk, i.e. not one-by-one as is implied and most used with RAII. RAII works best for a one-by-one use case and in well designed, performant systems the one-by-one use case is either irrelevant, rare or an anti-pattern.
234.
by 59nadir 1y ago
> In the Rust snippet vector is moved into the loop, and thus freed. Do you see any code in the snippet that requires it to be? This could be a simple read-only borrow because the actual logic of the program requires only that, and the v
235.
by 59nadir 1y ago
> For instance in 59nadir's example, what if the vector is a vector of heap-allocated objects, and the loop frees them? But the loop doesn't free them. This is trivial for us to see and honestly shouldn't be difficult for
236.
by 59nadir 1y ago
And why do you think that bug is relevant in the case of a loop that prints the elements of a container? We can all see and verify at a glance that the code is valid, it's just not provably valid by the Rust compiler. I feel like these
237.
by 59nadir 1y ago
The compiler isn't protecting them from anything in this particular example, we can all see this is valid code. It's provably valid code, just not provable by the Rust compiler.
238.
by 59nadir 1y ago
No, GP can just not use Rust , they don't have to use GC languages to have something that makes sense and doesn't force you to always have a debate with the compiler about even simple things. If they used Odin (or Zig) they could
239.
by 59nadir 1y ago
Right, but people using LLMs aren't actually getting the mental equivalent of a healthy and good looking physique if they let LLMs do stuff for them.
240.
by 59nadir 1y ago
> Every year since chatGPT has seen incredible advancements Advancements in what exact areas? My time using GitHub Copilot years ago was more successful for the simple act of coding than my more recent one trying out Cursor with Claude S

More ›