kccqzy

4 ms·

31.
by kccqzy 25d ago
Sure I feel that the Apple bundled apps are better, the design is better, but frankly Golden Gate broke more third-party apps than Tahoe did, including some third-party apps where I had an old perpetual license and had not updated for man
32.
by kccqzy 25d ago
Prewar is such a big range. The surviving tenement-style apartment homes on the Lower East Side are certainly less beautiful than say The Dakota on the Upper West Side.
33.
by kccqzy 25d ago
That’s fine. Linux upstream won’t take his code but you can for your own purposes.
34.
by kccqzy 26d ago
A lot of that is coding style. I’ve also seen a lot of hard-to-debug issues in Python caused by reflection, weird decorators that muck around with name-mangled symbols, and bytecode manipulation. You can even manipulate the traceback object
35.
by kccqzy 26d ago
Alfred is wonderful for launching applications and custom actions, but it’s actually worse than Spotlight search for searching for files and folders. It finds a lot of results but inexplicably it likes to rank partial matches ahead of exact
36.
by kccqzy 26d ago
I first encountered this when the machine auto-upgraded Xcode command line tools and broke the C compiler. Searching for arm64e.x1 led to this interesting article about the new architecture (from the perspective of the compiler and the link
37.
Arm64e.x1: Apple's Checked Pointer Arithmetic Slice(blakecrosley.com)
2 points by kccqzy 26d ago|1 comments
38.
by kccqzy 27d ago
In my experience, people who didn’t make it in the H-1B lottery go to Canada, try the L-1 and come back to the United States. It’s good for Canada to offer a work permit so quickly, but I’m just not seeing people willing to obtain permanent
39.
by kccqzy 27d ago
Google doesn’t underpay H-1B holders. In my experience any difference in actual pay is more likely caused by the H-1B people having worse salary negotiation skills than native born people.
40.
by kccqzy 27d ago
I think depending on your perspective it might be even better to eschew PyTorch and implement with pure NumPy. Sure it will be slow, but perhaps as a pedagogical exercise it is more worthwhile.
41.
by kccqzy 27d ago
I reluctantly switched from MacPorts to Homebrew around 2014. At that time Homebrew had that yuck factor by recommending it be installed into /usr/local rather than /opt. But still, I switched because there were more formulae
42.
by kccqzy 27d ago
Plenty of intelligent humans also don’t have sufficient self-control to never cheat.
43.
by kccqzy 28d 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.
44.
by kccqzy 28d ago
That doesn’t apply to plain old arrays, which were in the language before the designers actually collaborated with type theory experts.
45.
by kccqzy 28d 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.
46.
by kccqzy 28d ago
You still write `panic!()`. It type checks using polymorphism only, without any coercions.
47.
by kccqzy 28d 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.
48.
by kccqzy 28d 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.
49.
by kccqzy 28d 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
50.
by kccqzy 28d 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
51.
by kccqzy 28d 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
52.
by kccqzy 28d 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
53.
by kccqzy 29d 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
54.
by kccqzy 29d ago
That’s not sustainable as a career, only as a hobby. You’ll have to first make UBI happen before this can work.
55.
by kccqzy 29d 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
56.
by kccqzy 29d 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.
57.
by kccqzy 29d 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.
58.
by kccqzy 29d ago
XEmacs has always been moribund. Use GNU Emacs.
59.
by kccqzy 29d 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)?
60.
by kccqzy 29d 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?

More ›