News for hackers. Stuff that matters.

SkySkimmer

Re:Incident with Github.com on Monday August 17, 2026 @02:39PM (#49335677)
Github is a social network, not a cloud service.

(only 5% /s)

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: yes (17.4), mobile safari: no". So it's not like Apple is fully against at least some of these APIs.
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 earlier, and ended in 2019.

Re:Making Firefox's right-click not suck with about:config on Wednesday March 04, 2026 @03:30PM (#47253366)
>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 wikipedia image AFAICT)

>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.

Re:ACM Is Now Open Access on Thursday January 01, 2026 @10:52AM (#46455005)
>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

Re:Why Today's Humanoids Won't Learn Dexterity on Thursday October 02, 2025 @04:55AM (#45447554)
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 that have announced their impending recognition of Palestine (Australia, France, Malta, and San Marino)

but Australia is dark green in the current image (France still light green and I can't be bothered zooming to see the small ones)

Re:Show HN: Formalizing Principia Mathematica using Lean on Saturday April 26, 2025 @04:42PM (#43807018)
>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.

Re:Is 1 Prime, and Does It Matter? on Monday April 21, 2025 @04:27PM (#43756105)
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.
Re:I'm daily driving Jujutsu, and maybe you should too on Thursday December 12, 2024 @11:07AM (#42400346)
>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 indentation

`git rebase -X theirs` seems like it should be close, but commit B will only override conflicting chunks (so a change from A which doesn't conflict with B will persist, this shouldn't be a problem for your use case)

If there's no owner what stops the games from being distributed? Shouldn't it mean there's noone who can sue the distributor?
Re:Flambda2 Ep. 2: Loopifying Tail-Recursive Functions on Sunday June 23, 2024 @07:03AM (#40766505)
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 transformation will rewrite those calls but not the other ones. This may result in better code but it's hard to be sure in advance. In such cases (and cases where functions become purely tail-recursive only after inlining), users can force the transformation by using the [@@loop] attribute

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/month.
>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/JORFDOLE000...) says

>Par ses modalités, ce dispositif est à rapprocher du dispositif de filtrage prévu au 1° de l’article L. 521-3-1 du code de la consommation, permettant aux agents de la DGCCRF d’ordonner, selon des conditions et modalités particulières, aux opérateurs de plateformes en ligne, aux fournisseurs d’accès à internet ainsi qu’aux exploitants de navigateurs internet d’afficher un message avertissant les consommateurs du risque de préjudice encouru s’ils accèdent au contenu manifestement illicite, et au b du 2° du même article, qui leur permet d’ordonner à ces mêmes opérateurs et aux hébergeurs de prendre toute mesure utile destinée à limiter l’accès à ces contenus.

Article L. 521-3-1 du code de la consommation: https://www.legifrance.gouv.fr/codes/article_lc/LEGIARTI0000...

But it does have javascript, it's used for image lazy loading and possibly other stuff (I didn't investigate deeply).
Re:Coping with nontermination: some thoughts on stopping loops on Tuesday February 14, 2023 @10:13AM (#34790416)
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...
Re:Flashpoint – A Flash Game Preservation Project on Sunday December 25, 2022 @04:23PM (#34131455)
This got mentioned recently in https://news.ycombinator.com/item?id=34082509 Time to spent a few hours learning to fly
Re:Meta Myths on Monday October 31, 2022 @06:25PM (#33414181)
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).
Re:Okular – Universal document viewer on Sunday May 08, 2022 @03:05AM (#31301945)
> Okular works nicely for .cbz files (zip files of images.) Oddly, it won't open the same files named with a .zip extension. Not a terrible inconvenience, just a little odd.

This can be made to work if you tell mime that zip is an alias for cbz: put

    <?xml version="1.0"?>
    <mime-info xmlns='http://www.freedesktop.org/standards/shared-mime-info'>
    
      <mime-type type="application/zip">
        <alias type="application/x-cbz"/>
      </mime-type>
    
    </mime-info>
in ~/.local/share/mime/packages/some-name.xml then run "update-mime-database ~/.local/share/mime"

I've had this for 2 years and 2 days and haven't noticed any issues.

Re:My essential Firefox fixes in 2022 on Sunday March 13, 2022 @03:22PM (#30664798)
Disable clickselectsall in address bar based on https://superuser.com/questions/540851/go-back-to-not-select..., but wrapped in a .deb using triggers so I don't have to do it manually everytime firefox updates. https://gist.github.com/SkySkimmer/ae3038a20b68c0c85155c5d23...

When the web extension change was new and people were complaining I wondered if this sort of patch would replace some extensions, but it seems that hasn't happened. I guess distribution is too painful?

Re:uBlock Origin 1.41 on Thursday February 10, 2022 @05:14PM (#30293443)
I've blocked so many fixed position headers with this thing. Although tbh I should learn the filter syntax to make them position: absolute instead.
>Since March 31, 2021, when the deadline set for websites and mobile applications to comply with the new rules on cookies expired, the CNIL has adopted nearly 100 corrective measures (orders and sanctions) related to non-compliance with the legislation on cookies.

I didn't realize there was that delay, I thought the rule was supposed to be enforced years ago.

Older »