robryk @robryk@qoto.org

@b0rk It's not a Mastodon, but an ActivityPub API.

@b0rk

There's no fixed URL. The URL can be read from the `replies` field of the post itself: https://paste.sr.ht/~robryk/40f933d4009d3ee0ade413ae7c0163da5db74dc8

@b0rk

I'm surprised by this. Each post has a replies collection that you can fetch. Fetching collections is slightly annoying (because they're usually paginated and paginated collections in ActivityPub work by each page providing the link to the next page), but is not too bad.

Is this more annoying than I realize or does that simply not work?

@allenstenhaus @kiosk

> but I'm not confident in my Linux knowledge & abilities in their own right.

One thing that's great about inspectable systems is that you need to learn very little to start being able to discover how any part of the system works. On Linux, as soon as you learn about strace/attaching debuggers/places to get kernel stacks from/... you gain a universal way to tell how something that you can clearly see working works.

> When I latch onto a problem, I never give up until I've found a solution, even if the problem takes years to resolve.

Inspectable computing systems is a way to get to that approach that I'm particularly partial to, because of 9(?) year old me slowly figuring out that gpm and X trying to read from the same mouse is what made mouse unusable in my first installation of Linux over the course of weeks or months.

@royaards It's actually interesting to figure out what properties of snow matter for skiing.

@allenstenhaus @kiosk

But you _are_ doing it, instead of passively sitting by? That does require something that people often call confidence and it's the kind of confidence that usually beneficial.

@kornel You mean TRAPPIST-1e in particular or eyeball planets in general?

How sure are we that TRAPPIST-1e's predominant liquid (do we know there's one?) is water?

@kornel

With the winds going in both directions (unless there's an ocean there, in which case it might be the current that's going in the opposite direction).

@delroth That's surprising. TIL. Does the error explain anything past the inability?

@delroth Doesnt `DELETE .... LIMIT 1` also work?

@b0rk

Hm~ another way of looking at the "adding small and large numbers" problem.

It's not a problem by itself that large+small=the_same_large. The problem is that large+small+small+....+small=the_same_large!=large+(small+small+...+small).

So, the problem we have is that addition doesn't associate.

@b0rk

> problem: adding very small numbers to large numbers results in no change

Or, the ability to represent numbers that are too small to make a change when added to e.g. 1, but yet are nonzero. (The reason I want to point out this viewpoint is that the way we fix this by moving to fixed point is in large part by _removing the ability to represent those values_.)

> problem: +0 != -0

I don't think this is much of a problem; the problem usually is trying to use equality comparisons on FP values. It's sometimes possible to do that in a way that makes sense, but it's very fiddly (and if you use anything complicated enough (like trig functions) the guarantees library functions give you no longer uniquely identify the result).

> example: using NaN as a key in a hashmap (https://research.swtch.com/randhash)

The only case when I saw a FP-keyed hash{table,map} and it wasn't an obvious mistake was for memoizing a result of a function. I don't recall seeing any such H[TM] that wasn't serving as a cache that actually made sense.

I would say that lack of common data structures that represents mappings from FP values in a way that is close to the usecases is a more generic problem here.

@m0bi13

Wydaje mi się, że warto podzielić ten problem na dwa: czy teksty przetrwają w Internecie i czy możliwość dalszego użytkowania (dodawania komentarzy przez ActivityPub, dodawania tekstów przez użytkowników) przetrwa.

Co do pierwszego: if all else fails, wszystkie rzeczy, które znikają powoli, można dość łatwo zarchiwizować poprzez poproszenie web.archive.org, żeby to zrobiło (i archiwum to jest dość łatwo znajdowalne, jeśli znasz oryginalny URL). Nie martwiłbym się tym zbytnio.

Co do drugiego: w pewnym sensie wsparcie dla migracji w ActivityPub daje jakąś namiastkę tego. Poza tym to jest czysto społeczny problem, a moje intuicje dotyczące czegokolwiek społecznego są zwykle niepoprawne, więc nie mam tu chyba nic istotnego do powiedzenia.

@b0rk

I would phrase the money thing rather as "the exact correct answer _according to rules incompatible with ones for FP_".

I think there are very many problems that are instances of "implementing a numerical algorithm", even if people who don't think in these terms won't call them that. For example, computing a sum of a long sequence of numbers (where you can acquire errors by adding many numbers that are below the smallest representable difference in the sum accumulated so far).

@danluu Do you know of any country's equivalent of NTSB that would manage to learn about and investigate accidents where at first glance some safety feature failed to operate?

@b0rk

Ah, I forgot FP exists and that pow() accepts non-interger exponents. I wonder how much of the gain would remain if (1 << mj) was rather a loop (I would guess most of it on logscale).