ummonk

11 ms·

151.
by ummonk 1y ago
The fundamental problem is that we decided to reuse a teleprinter command data format as a format for storing textual data.
152.
by ummonk 1y ago
I guess at this point it's okay to deprecate Mac OS 9 files?
153.
by ummonk 1y ago
Right, but there is a very clear term for that which they should be using: ASI
154.
by ummonk 1y ago
"Being able to solve ARC problems is probably a pre-requisite to AGI." - is it? Humans have general intelligence and most can't solve the harder ARC problems.
155.
by ummonk 1y ago
I’ve only ever seen it used in magic the gathering
156.
by ummonk 1y ago
Now they gotta run to the semiconductor lab and get them to fabricate the CPU instead of configuring an FPGA to run it.
157.
by ummonk 1y ago
"In fact there are documented and blessed ways to break memory safety in Zig" - just as there are in Rust... even the Rust standard library makes liberal use of them (thereby making any program which invokes those parts of the sta
158.
by ummonk 1y ago
The goalposts haven't moved. The goalposts were always "the current compiler is the language". If there is a proposed fix to the soundness hole that wouldn't reject some existing sound Rust code, please link to it; none
159.
by ummonk 1y ago
Go is more memory unsafe than Java or Rust. Data races in concurrent Go code can cause memory corruption, unlike in concurrent Java code. Safe Rust is designed to avoid data races altogether using static analysis.
160.
by ummonk 1y ago
No, I don't agree. A compiler bug is something that gets fixed in a patch release after it's reported, or perhaps some platform-specific regression that gets fixed in the next release after it's reported. What we're disc
161.
by ummonk 1y ago
Ferrocene is intended to document the behavior of the current version of the rustc compiler, so it's just an effort to formalize "the compiler is the language". Yes, the soundness hole itself is low impact and doesn't ne
162.
by ummonk 1y ago
It's a 10 year old bug which will eventually be fixed but may require changes to how Rust handles type variance. Until you guys write an actual formal specification, the compiler is the language.
163.
by ummonk 1y ago
Safe Rust is demonstrably not memory-safe: https://github.com/Speykious/cve-rs/tree/main
164.
by ummonk 1y ago
Zig is less memory safe than Rust, but more than C/C++. Neither Zig nor Rust is fundamentally memory safe.
165.
by ummonk 1y ago
This is an amusing argument to make in favor of Rust, since it's exactly the kind of dismissive statement that Ada proponents make about other languages including Rust.
166.
by ummonk 1y ago
Is there really a community of volunteer contributors that could fork it if that happened? Typically with a corporate-backed project like this, the corporate development tends to crowd out the formation of a volunteer community of contribut
167.
History of the browser user-agent string (2010)(webaim.org)
1 points by ummonk 1y ago|0 comments
168.
by ummonk 1y ago
There isn't peace in the West Bank - Israel is actively conducting military operations there.
169.
by ummonk 1y ago
Ah I see what you mean. Yes they don’t have the birth rate (or the suicidal fanaticism) to sustain a decades long attritional war against an occupation like Afghanistan or Yemen can. But given the size of the existing Iranian population and
170.
by ummonk 1y ago
Quite the contrary, the religious populace is more likely to fall in line and decide the government knows best; it’s the secular populace that is demanding retaliation and critical of the government for not pursuing nuclearization already.
171.
by ummonk 1y ago
Don't make an argument based on survivorship bias then...
172.
by ummonk 1y ago
I take it you think the survivorship bias principle and the anthropic principle are also stupid?
173.
by ummonk 1y ago
> but you can really boil it down to "let smart, wealthy parents homeschool their kids without social media scorn" The whole reason smart people are engaging in this debate in the first place is that professional educators keep
174.
by ummonk 1y ago
It's also reasonable as a Pascal's wager type of thing. If you can't affect the outcome, just prepare for the eventuality that it will work out because if it doesn't you'll be dead anyway.
175.
by ummonk 1y ago
Rationalists have always rubbed me the wrong way too but your argument against AI doomerism is weird. If you care about first principles, how about the precautionary principle? "Maybe it's actually benign" is not a good argum
176.
by ummonk 1y ago
Rather ironic it relies on UB given the extent to which Clang + LLVM insists on interpreting UB in the most creative way possible to optimize code…
177.
by ummonk 1y ago
I'm more saying that points 1 and 2 get subsumed under point 5 - to the extent that existing algorithms / logical systems for solving such problems are written by humans, an AGI wouldn't need to match the performance of those
178.
by ummonk 1y ago
Most of the objections and their counterarguments seem like either poor objections (e.g. ad hominem against the first listed author) or seem to be subsumed under point 5. It’s annoying that most of this post focuses so much effort on discu
179.
by ummonk 1y ago
> I think the issue I keep coming back to with type safety is how do you make sure a value in meters is not mistakenly used as feet without some kind of translation. Nominal typing - you declare meter and float to be separate types. Ada
180.
by ummonk 1y ago
And only AdaCore / GNAT will ever support Ada 202x. The language has left the legacy vendors behind.

More ›