glaebhoerl @glaebhoerl@schelling.pt
Joined Dec 2022
glaebhoerl
boosted
glaebhoerl
boosted
relevant to my post last night that I'm going back and fixing up my 23 years of blog archives, and restoring broken links, it is *astounding* how much better a job the personal web does at keeping links alive and content online. Most personal blogs I linked to are either still around or redirect to a place where the content is easy to find. The vast majority of corporate content (including news) has been erased, with only imperfect Internet Archive copies available.
@julesjacobs Physical reality as a metatheory is itself consistent and not complete
glaebhoerl
boosted
It's so odd that the concept of "true or false" is named after some guy, and there's no other word for it
According to my investigations, it seems there is no mathematical concept called a "doodad"
glaebhoerl
boosted
"Cranelift's Instruction Selector DSL, ISLE: Term-Rewriting Made Practical"
@regehr Best single source for Ukraine news https://www.dailykos.com/groups/The%20Ukraine%20updates (yes, really!)
Great read about the tradeoffs of Mesa building its own GPU-focused compiler vs. using LLVM https://www.jlekstrand.net/jason/blog/2022/01/in-defense-of-nir/
There is a github issue about it: https://github.com/mastodon/mastodon/issues/19652 and apparently the behavior has been changed as of Mastodon 4.0, which is presumably what @kha had in mind in their earlier reply to me.
Update: I discovered that if you *left-click* on a thing in the timeline, it opens a view of it that's still on the same server, so interaction works. It's only middle click to open a new tab that goes to the originating server. The internet has thoroughly trained me out of ever left clicking anything on a website with infinite scroll.
glaebhoerl
boosted
LLVM's design for pattern matching in C++ is way more reasonable than the usual failed attempts at emulating functional programming languages. In my below examples I use explicit pointers for binders, which I think is clearer than the implicit references which LLVM uses.
Value x, y;
if (match(value, Add(&x, &y)) {
// x and y are bound
}
And it is nestable:
Value x;
int y;
if (match(value, Add(&x, Const(&y))) {
// x and y are bound
}
Apparently so.
Being not a security person or authentication-knower, couldn't they use... (OAuth? or another of these things I've vaguely heard of?)... to let you sign in on one server using your account from another? Even if I had to do this for 20 different servers, *once*, it'd still be a great improvement.
Obviously since they haven't, I'd guess they probably couldn't, but.
@kha Meaning the server the toot is on, rather than my own, right? mastodon.social is apparently v4.0.2, and it just throws up a popup letting me either sign in or copy the URL. :<
@pervognsen Any chance this could be relevant? https://github.com/llvm/llvm-project/issues/49344
So um. Sorry, I'm sure every new person asks this. But do I have it right that if I open some toots in tabs (and they're not coincidentally on my "home server"), and, upon reading, want to interact with them, then the only way is to copy the URL, go back to my home server, and paste the URL into the search bar? I'm not missing anything?
@pervognsen IIRC, Swift does: they have a rule that for sub-collections, the set of keys/indices must be a subset of the parent's, which they follow for slices as well.
@zwarich @graydon Drop in Rust piggybacks on the same syntax, but isn't really a type class -- you don't go around writing `T: Drop`, it's just assumed. You could do it the same way in an ML-like with some dedicated syntax for defining the destructor.
(If Rust *were* linearly typed then `T: Drop` would suddenly make a lot of sense. And I agree with Graydon that ML functors and linear types would go well together, basically choosing "do it manually" in both cases... but you don't *have* to.)
