kccqzy

5 ms·

1.
Arm64e.x1: Apple's Checked Pointer Arithmetic Slice(blakecrosley.com)
2 points by kccqzy 2d ago|1 comments
2.
by kccqzy 3d ago
Plenty of intelligent humans also don’t have sufficient self-control to never cheat.
3.
by kccqzy 3d ago
Right. And the whole discussion boils down to, why can’t this function return type be polymorphic in the first place? This avoids the never type, the coercions from the never type, and all the issues caused by that described in the article.
4.
by kccqzy 3d ago
That doesn’t apply to plain old arrays, which were in the language before the designers actually collaborated with type theory experts.
5.
by kccqzy 3d ago
> so they chose the unit type as a relatively benign alternative in those contexts This is what the article defines as fallback. So the issue has everything to do with fallback.
6.
by kccqzy 3d ago
You still write `panic!()`. It type checks using polymorphism only, without any coercions.
7.
by kccqzy 4d ago
The operating system vendor can be bribed. AT&T for example asked Apple to show a 5GE icon when an “advanced” LTE network is in use.
8.
by kccqzy 4d ago
I don’t need to write examples because the article has plenty. All the fixes that Waffle needs to fix are precisely the code that behaves in a surprising way.
9.
by kccqzy 4d ago
No you don’t need coercion. You only need polymorphism. The type of `panic!()` could be an arbitrary U, which unifies just fine with the type T here. Generally languages with such polymorphism have a never type only because they don’t also
10.
by kccqzy 4d ago
> A is a subtype of B then `Vec<A>` is a subtype of `Vec<B>` That’s just not true. Java would permit it but then you get ArrayStoreException so this is unsound from a type system perspective. To make this sound, we need to cl
11.
by kccqzy 4d ago
No I’m not talking about runtime conversions. I’m talking about conversions that happen at type inference time. Rust is not a subtyping based language, except for traits and lifetimes. So statements like never being at the bottom of the typ
12.
by kccqzy 4d ago
The lesson here is that implicit conversions are bad. The never type itself having implicit conversions to other types is bad enough (even though such coercions are logically valid: “ex falso quodlibet” they should be explicit), but having
13.
by kccqzy 4d ago
In my opinion, WebAssembly just needs to be better than what it replaced (asm.js) to be called a success story. And it definitely is better than asm.js. Unlike HTML or CSS or JavaScript which are by definition large enabling technologies th
14.
by kccqzy 4d ago
That’s not sustainable as a career, only as a hobby. You’ll have to first make UBI happen before this can work.
15.
by kccqzy 5d ago
Being mere control flow is a good thing: some async/await implementations are just desugared into a state machine anyways, and it totally works on a single thread. Early async/await in Python was just a small generalization of its
16.
by kccqzy 5d ago
You can: emacs has a menu bar and you can quit emacs that way. If you write code in your .emacs.d to turn off the menu bar, then I think you can be trusted to use the keyboard to quit emacs.
17.
by kccqzy 5d ago
This kind of thinking just leads to an obvious analogy: alcohol. Alcohol is harmful to children and adults. Yet when the United States tried Prohibition it was rolled back. It turns out that people want to do things harmful to themselves.
18.
by kccqzy 5d ago
XEmacs has always been moribund. Use GNU Emacs.
19.
by kccqzy 5d ago
How many humans on earth have finished reading this 100+ page PDF and actually appreciate the beauty contained therein (or the lack of beauty)?
20.
by kccqzy 5d ago
Okay so you are saying the old incentive structure is outdated. What is the new incentive structure in the LLM era? What exactly makes people want to understand LLM-produced math?
21.
by kccqzy 5d ago
The usual incentives in academia: publishing papers. Consider the difference between publishing a paper that introduces a novel method to do X, versus publishing a paper that merely interprets Claude’s method to do X. The latter might not e
22.
by kccqzy 5d ago
What benefit is there if the machine has unlocked understanding but no human has? What incentives are there for humans to learn and gain such understanding from machines?
23.
by kccqzy 5d ago
And so does Emacs. I don’t think this person has really used them.
24.
by kccqzy 5d ago
As a child, I really enjoyed Logo. It appeared as a sidebar on a math textbook about angles and line segments. I studied it like I studied everything else in the textbook, but I didn’t immediately realize it was a programming language, a me
25.
by kccqzy 5d ago
Mine doesn’t. They don’t even issue work laptops; work is done on desktops only.
26.
by kccqzy 5d ago
From https://world-nuclear-news.org/articles/google-signs-up-for-... > Currently, about 80% of the projects required to extend the service life and investments of EUR700 million still lack an investment decision. Fo
27.
by kccqzy 6d ago
Sure you can choose not to adopt React’s reactive paradigm and manage state directly but using JavaScript. My understanding was that in RN, JavaScript code manipulates C++ objects in the C++ part of RN, which then calls host platform code t
28.
by kccqzy 6d ago
This is a case where the supply was about to be gone and Google provided funds to keep it operating (the original nuclear reactor began operation in 1977 and it now needed EUR 700M to extend the service life). And one can probably guess tha
29.
by kccqzy 6d ago
Doing so would require the app to have the business logic written in JavaScript. Apple only allows JIT’ing JavaScript using JSC.
30.
by kccqzy 6d ago
Yup. I’m actually quite curious how airlines are convinced to send such information to banks whereas other kinds of stores aren’t.

More ›