Viewing profile — SkySkimmer

This table could stand to have a desktop safari column. For instance folliwing the "shortcuts" link https://developer.mozilla.org/en-US/docs/Web/Progressive_web... says "safari: ye…

For some time this was the default in pulseaudio on linux https://200ok.ch/posts/2019-05-20_disable_flatvolume_for_pul... The debian bug linked there implies it started 2012 or ear…

>right-clicking an image while some text on the page is highlighted (to show as many buttons as possible) Actually an image which is also a link for extra buttons (typical wikipedi…

>I only know of a single bank using this. If it's not Crédit Mutuel then you now know of a second bank using this method.

and at the same time paywalled metadata https://www.ipetitions.com/petition/restore-fully-free-and-o...

>if in forall A, B A is of type _i and B is of type _j, forall A, B is of type type *_(max(i, j) + 1). Minor correction: no +1 in forall

https://generalrobots.substack.com/p/benjies-humanoid-olympi... "Use a key", about halfway down

https://oxcaml.org/documentation/stack-allocation/intro/ ?

When you look at an old version of a wikipedia article it still displays the current version of images. That's why in your link the image legend has eg >[light green] Countries tha…

>Lean is also a lot faster. What do you base that on? I don't think I've seen a performance comparison but I'm not great at internet searches.

Since 2 is prime 1, wouldn't it be more symmetric if 1 was prime 2?

This is what I would call const correctness, because it is correct.

>What I really want is to for git to treat each commit as a repository state, so that removing indentation from the state at commit A means that the patch for commit B adds all the…

If there's no owner what stops the games from being distributed? Shouldn't it mean there's noone who can sue the distributor?

If you search for @@loop in TFA the last occurrence is in this paragraph: >if a function is not purely tail-recursive, but contains some tail-recursive calls then the transformatio…

Self driving trashcan, brings your trash to the landfill while you sleep so you don't have to pay for garbage pickup. Enable the automatic trash sorting attachment for only $999/mo…

>It would set a dangerous precedent This seems to be false as the precedent already exists. sources: Étude d'impact (PDF linked in https://www.legifrance.gouv.fr/dossierlegislatif/…

But it does have javascript, it's used for image lazy loading and possibly other stuff (I didn't investigate deeply).

Did HN eat the delay symbol? I don't think a regular "data" would work for this. https://agda.readthedocs.io/en/v2.6.3/language/coinduction.h...

This got mentioned recently in https://news.ycombinator.com/item?id=34082509 Time to spent a few hours learning to fly

I thought this would be myths about myths, but it's actually facebook gossip. Does anyone know any interesting myths about myths?

Note that the desmume version packaged by debian and ubuntu is pretty ancient (2015).