SwampertX

Re:Project Gutenberg – keeps getting better on Saturday May 16, 2026 @10:02AM (#48160348)

Firefox's reader mode works amazingly for these situations.

Rope in Dafny

Posted by SwampertX on Monday April 24, 2023 @05:16AM
from the github.com dept.

Re:Have an old iPad lying around? You might be able to make it run Lin... on Sunday June 05, 2022 @02:31PM (#31633607)

You probably meant a portable ARM Linux device; I think it is just difficult to get a team of Linux developers committed to fine-tuning the battery efficiency of the Linux (maybe a specific distro) for the tablet, so I am not hopeful about having an excellent battery life, as much as I would want it to happen.

Re:WebCompat – Bug Reporting for the Web on Thursday February 17, 2022 @09:17PM (#30381404)

The bot on github seems to be faulty and churning out empty issues. https://github.com/webcompat/web-bugs/issues/99778

Re:A new browsing experience arrives in Firefox for Android Nightly on Friday January 17, 2020 @04:37AM (#22073254)

For those complaining there is no adblocker, support for uBlock Origin is already implemented upstream. https://twitter.com/FirefoxPreview/status/121564800555626496...

Re:SpaceVim v1.1.0 released on Sunday April 07, 2019 @08:39PM (#19600991)

Seems like an opposite of spacemacs - thus vim with emacs key bindings?