aw1621107

4 ms·

1.
by aw1621107 13d ago
Fair. I suppose that even in such a scenario you shouldn't need truly global analysis to prove safety - in principle an analysis of A should reveal the soundness precondition on a safe API - though that's probably easier said than
2.
by aw1621107 14d ago
As I responded to your similar comment elsewhere [0], the UI layout doesn't seem to match actual Minecraft. Did you upload the right screenshot? [0]: https://news.ycombinator.com/item?id=49780872
3.
by aw1621107 14d ago
That still doesn't seem right? The UI doesn't match any version of Minecraft I can recall, at least, and from a brief search it seems a closer fit to Minetest's UI.
4.
by aw1621107 14d ago
Hrm, I had assumed that A was providing a safe API, in which case I think A would be considered "at fault".
5.
by aw1621107 15d ago
> this is very different from Rust, which requires unsafe even for things like benign write/write races, which are fairly common, and various basic data structures I know this paper [0] is quite old at this point, but the mention of
6.
by aw1621107 15d ago
> In particular, you could have unsafe code in crate A, whose data are then used by crate B. Is this backwards? If B consumes data from A then to me that does not imply that A depends on anything from B; for a more concrete example that
7.
by aw1621107 15d ago
> Also, Zig's spatial and memory safety is as good as Rust's Is there a word missing before "memory"? Seems odd to specifically call out spatial memory safety when memory safety subsumes it.
8.
by aw1621107 16d ago
"broke" is arguably an overstatement. C++20 deprecated some (most?) operations on volatile variables [0] in part because they can misleadingly imply an atomic operation: > volatile external modifications are only truly meaningf
9.
by aw1621107 16d ago
> See zero initializing variables by default Strictly speaking the standard only requires some pattern that is not tied to program state. Zero works for that, but so do other static patterns like 0xABAB... or the like. > (WHY?) The mo
10.
by aw1621107 16d ago
> It's not literal UB it's well known what it compiles down to, every time. (.loop: jmp .loop) ...Uh, the example shown at the literal top of the blog demonstrates precisely the opposite?
11.
by aw1621107 16d ago
> Is it hidden if it's explained in the standard? In the context of that particular complaint, yes. From what I understand the gist of it is basically that you should be able to tell what is going on by looking at the code locally
12.
by aw1621107 19d ago
Gotcha, that bit makes more sense now. That's quite the statistic!
13.
by aw1621107 19d ago
> Time and again we see Rust or C++ programs spend 30-50% on memory management. 30-50% of what?
14.
by aw1621107 23d ago
> vs. filling out a bunch of historical constraints Do you mind elaborating on this? I don't understand what you're trying to get at.
15.
by aw1621107 24d ago
> Java's HashMap also has O(log(N)) complexity on hash collision Only for keys that implement Comparable.
16.
The State of Allocators in 2026 – 6 Months Later(cetra3.github.io)
17 points by aw1621107 25d ago|0 comments
17.
by aw1621107 26d ago
> note the differences in the generated assembly, especially that which cannot be explained merely by -O0 code generation Do you mind elaborating for those of us who aren't familiar with what to expect from the compiler?
18.
Portal Speedrunners Discover "Singularity Warp" After 18 Years [video](youtube.com)
1 points by aw1621107 28d ago|1 comments
19.
by aw1621107 28d ago
tl;dw: On older versions of Portal, setting mouse sensitivity to INF and using the strafe key to make mouse movement change position instead of look angle when the player is near a portal triggers a failsafe that sets the player coordinates
20.
by aw1621107 1mo ago
(2022)
21.
by aw1621107 1mo ago
To add on top this, the author wrote multiple blog posts on their setup [0, 1, 2]. The project itself is hosted at https://github.com/dbalsom/arduinoX86 [0]: https://martypc.blogspot.com/2023/06&#x
22.
by aw1621107 1mo ago
> Only the small and unimpressive programs can be checked exhaustively. Even if you assume that statement is true, there are techniques other than exhaustive checking/model checking. Proof assistants/theorem provers/etc. l
23.
by aw1621107 2mo ago
> claims that some issues were made worse in practice in his experience by Rust edition 2024. That begs the question of exactly what "some issues" encompasses. To me, the poster was clearly complaining about the increased use o
24.
by aw1621107 2mo ago
Interesting, thanks for the links! I'm curious as to how many of the apparent issues are attributable to lifetime extension specifically as opposed to something else like async-related deadlocks as mentioned in the parent to the first
25.
by aw1621107 2mo ago
> still a widespread issue in 2026 Is it "widespread"? The article you link is from 2022 and none of the discussion I saw on said article gave me the impression that it was particularly common issue back then, let alone now.
26.
by aw1621107 2mo ago
> Why would Canonical even be an expert in this? Does it matter? The announcement is that they're funding a PhD project. I don't think it's that unusual to fund a project whose outcome you are interested in even if you d
27.
by aw1621107 2mo ago
> Same people who keep the whole rust project going, a lot of those are volunteers aren't they? Sure, but from my understanding the Rust project is generally "bottom-up" in that volunteers generally work on what they want
28.
by aw1621107 2mo ago
> Why does it matter if setting -std29 or whatever breaks ABI when -fno-rtti does the same? I think it's the distinction between can and must . Right now you can preserve ABI across compiler versions if you want to (and that is
29.
by aw1621107 2mo ago
> Well, Carbon would have been better off if they just made "C with `match` and sane error handling" instead of whatever it is they are building there over at Google. Perhaps that might be a better language in a different conte
30.
by aw1621107 2mo ago
> and the compiler implementers I know have been kvetching about how problematic reflection is, to the point that it may never be turned on by default. Out of curiosity, would you be able to elaborate on (or link to?) what makes reflecti

More ›