Viewing profile — elehack

Kraid is the shader compiler for Panfrost, the Mesa driver for Arm Mali GPUs: https://docs.mesa3d.org/drivers/panfrost.html

Yes. In little-endian, the difference between short and long at a specific address is how many bytes you read from that address. In big-endian, to cast a long to a short, you have …

Mamba is fast, and Pixi is also fast + sands a lot of the rough edges off the Conda experience (with project/environment binding and native lock files). Not perfect, but pretty goo…

And readability. data.table is very capable, but the incantations to use it are far less obvious (both for reading and writing) than dplyr. But you can have the best of both worlds…

Yep. With the solution discussed, as I understand it, the e-mail program just needs to be modified to request a focus token and send it along with the URL request to the browser or…

The article is about a mechanism for the OS to validate focus requests. The application with the link requests a focus token, and passes it to the browser along with the open-link …

Describing this as a limit on "CS programs" is a common, but erroneous, understanding of the proposal limit. This specific solicitation — CISE Core Programs — has a 2-proposal-per-…

I like this — JSX is a little annoying to work with outside the major implementations. If this existed, I might not have found the need to make my little Hyperstatic library ( http…

UUID v5 is quite useful if you want to deterministically convert external identifiers into UUIDS — define a namespace UUID for each potential identifier source (to keep them separa…

Disclaimer: I am a CS professor. I don't think AI advancements will cause a problem for the value of the degree (or rather, if they do, then it wasn't a very good MS degree). The v…

That workflow has changed in the last few years. - Brand new templates (introduced about 5 years ago, the LaTeX template has had multiple updates per year since then) - Workflow th…

I agree. I have no idea what IEEE is doing that costs that much. And while I don't take as hard a line against them as I do against Elsevier, I have never published with them and d…

There's a lot to critique in publishing and associated costs, but this tweet is unfortunately factually wrong. From the linked article, ACM's publication costs are $10.9M, not $33.…

Backblaze can back up arbitrarily large local drives, but does not allow you to set network drives as backup sources (for precisely this reason). It's fine with the local drive bei…

It isn't just a change of server, it's an entirely different back-end infrastructure. To Do is a modern UI on top of Exchange tasks.

Google did not create reCAPTCHA. They bought it; it was started by Luis von Ahn, who went on to create Duolingo. When reCAPTCHA was created, the alternative was CAPTCHA, which trie…

Yes. Bandits will often converge more quickly to the optimal strategy, but it is much more difficult to understand why that strategy is optimal and generalize from the bandit outco…

Simple, non-evil answer: because it would severely impede spam prevention. This extensive writeup has details: https://moderncrypto.org/mail-archive/messaging/2014/000780.... Long …

Yes, publisher profits - especially for places like Elsevier - are ridiculous, even for the costs involved. But it's easy to overlook important costs in the publication system. One…

If the machine (1) has soldered-on RAM (preventing cold boot attacks) and (2) the portions of the OS that run prior to user authentication are sufficiently secure, then it really d…

Only 3rd-party code I see in a GitHub is Google Analytics. There's a few loads from githubapp.com and githubusercontent.com. I also think the CI service, which GitHub doesn't provi…

There are a few weird incompatibilities around things that have been moved to modules that are disabled by default. This just bit me with the javax.annotation package (moved to a J…

Tuition + fees (possibly + books, but that is highly variable from term to term and generally substantially less than tuition) is the correct way to evaluate the cost of higher edu…

Technically, yes, but practically, no. THEOREMS (the language of correct proofs) is in P; given a correct proof (possibly restricted to being in first-order logic), it can be verif…

Moral: don't use users' contact lists to bootstrap or enhance social services. Barring strong differential privacy implementations, it will cause problems. Implementing a 'what fri…