thomashabets2

9 ms·

91.
by thomashabets2 5mo ago
> "Just don't do that" is the correct approach to errors We have 54 years of empirical data that literally nobody can follow this approach and reach UB-freeness. To stick to the plan is more like the in-debt gambler who ju
92.
by thomashabets2 5mo ago
Are you talking about creating a pointer (more than one item) past an array, or dereferencing that pointer? Both are currently UB. For the former, I kinda get it. It may need to be there for cases like with segmented address space where p+1
93.
by thomashabets2 5mo ago
> It's honestly not that difficult to be rigorous. Ok, let's try it. I pointed GPT 5.5 at the smallest part of cosmopolitan as I could find in two seconds, net/finger. 299 lines. describesyn.c:66: q + 13 constructs a point
94.
by thomashabets2 5mo ago
Author here. > It barely scratches the surface. I agree. The point of the post is not to enumerate and explain the implications of all 283 uses of the word "undefined" in the standard. Nor enumerate all the things that are unde
95.
by thomashabets2 5mo ago
Author here. > A pointer to an object type may be converted to a pointer to a different object type. If the resulting pointer is not correctly aligned71) for the referenced type, the behavior is undefined. C23 6.3.2.3p7.
96.
by thomashabets2 5mo ago
That is a typo, that I think I introduced when I went back to clarify that it applies to C++ too. Will fix it.
97.
by thomashabets2 5mo ago
Author here. In the context of UB discussion, the arguments apply equally to C and C++. How would you write that? I entirely agree with all your points that C and C++ are completely different languages at this point. And yet I wanted to wri
98.
by thomashabets2 5mo ago
Author here. I touched on this in the "it's not about optimizations" section. It's not the compiler is out to get you. It's that you told it to do something it cannot express. It's like if you slipped in a word
99.
by thomashabets2 5mo ago
Author here > The part about hardware is wrong BTW Could you be more specific? I think by "wrong" you may mean "not actually relevant to UB", and you're right about that. If that's what you mean then that pa
100.
by thomashabets2 5mo ago
Author here. > The article suggests using LLMs to identify and fix UB. However as per the above, I think the issue is that we need more expert humans. Yup. But the point of the article is that even expert humans cannot do this alone. And
101.
by thomashabets2 5mo ago
Author here. As I stated: > The following is not an attempt at enumerating all the UB in the world. It’s merely making the case that UB is everywhere, and if nobody can do it right, how is it even fair to blame the programmer? My point i
102.
by thomashabets2 5mo ago
Author here. So I see your counter points are all "so just don't do that, then". And the point of my post is that this particular "just don't do that, then" has never been achieved by humans. If if there's
103.
by thomashabets2 5mo ago
Author here. > -Acceptance: "Just dont write UB." The point of my article is that this is not possible. This cannot be our end state, as long as humans are the ones writing the code. No human can avoid writing UB in C/C++.
104.
by thomashabets2 5mo ago
Author here. > an unaligned pointer in itself is UB Yup. Per the "Actually, it was UB even before that" section in the post. > UB is not on the HW, it has nothing to do with crashes or faults Yeah. I tried to convey this too
105.
by thomashabets2 5mo ago
I know. I'm saying you don't even need Mythos to find bugs in OpenBSD. GPT 5.5 is SO much better than humans at finding these things. The fact that we don't even need Mythos, or $20k (I just pay $24/month and this was on
106.
by thomashabets2 5mo ago
I pointed plain old gpt 5.5 at openbsd and found plenty of bugs. Sent patches for two just in "find". Openbsd, like all other projects, needs a large scale LLM powered bug squash effort. My recent experience: https://bl
107.
VPN provider OVPN has stopped publishing transparency reports(ovpn.com)
3 points by thomashabets2 6mo ago|1 comments
108.
by thomashabets2 6mo ago
They are also providing inconsistent information on ownership, both saying it's owned by two guys ( https://www.ovpn.com/en/press ) and that they were acquired in 2023 ( https://www.ovpn.com/en/p
109.
by thomashabets2 6mo ago
Leaving Iran and DPRK aside, the frequency range, power levels, and everything else depends of course on the operating country. > Amateur Radio (Technician+) to operate This is not even true. You can operate within the ISM band without a
110.
by thomashabets2 6mo ago
I'm sorry, I thought it was very obvious that I was talking about ITAR export controls, not about destination country domestic regulation. This is a clue from their webpage: "Not intended for radar applications. Core functionality
111.
by thomashabets2 6mo ago
I'm pretty sure the "country restrictions" are about ITAR, not the destination country regulation. When the page says "uh… do not use this to build a phased array radar… even though you could. And if you do, then in no w
112.
by thomashabets2 6mo ago
No, amateur radio does not cover ITAR. Which is why I ask. I'm not a lawyer, but there could be a general dual use ban, but with some other regulation that exempts e.g. UK.
113.
by thomashabets2 6mo ago
"Country restrictions apply". Which countries?
114.
by thomashabets2 6mo ago
To me, the importance of crewed spaceflight like this cannot be overstated. I think my way of thinking was best phrased by Eddie Izzard: "When we landed on the moon, that was the point where god should have come up and said hello. Beca
115.
by thomashabets2 6mo ago
It's not for the reason that the parent commenter said, and it's not the moon (yet), but you can't take photos like this with probes alone: https://www.theguardian.com/artanddesign/gallery/2026/
116.
by thomashabets2 6mo ago
I agree that this is the big problem with Rust's async story. But like I said, in my opinion this compares with Go not having an async story at all.
117.
by thomashabets2 6mo ago
Well if you think Java doesn't have a sufficiently good type system, then surely Go is even further from one? Not saying those are the only two GC languages, just circling back to the post spawning these comments.
118.
by thomashabets2 6mo ago
No doubt a chatbot would be built faster if using a less strict language. It wasn't until I started working on larger Python codebases (written by good programmers) that I went "oh no, now I see how this is not an appropriate lang
119.
by thomashabets2 6mo ago
Does Go actually have an async story? I know that question risks starting a semantic debate, so let me be more specific. Go allows creating lightweight threads to the point where it's a good pattern to just spin off goroutines left a
120.
by thomashabets2 6mo ago
I've chatted a bit with the author, but not actually tried the language. It looks very interesting, and a clear improvement. I'm not particularly quiet about not liking Go[1]. I do think there may be a limit to how far it can be i

More ›