Hacker News: SwampertX

New comment by SwampertX in "Project Gutenberg – keeps getting better"

SwampertX — Sat, 16 May 2026 14:02:16 +0000

Firefox's reader mode works amazingly for these situations.

Rope in Dafny

SwampertX — Mon, 24 Apr 2023 09:16:30 +0000

Article URL: https://github.com/SwampertX/dafny-rope

Comments URL: https://news.ycombinator.com/item?id=35685307

Points: 2

# Comments: 0

New comment by SwampertX in "Have an old iPad lying around? You might be able to make it run Linux soon"

SwampertX — Sun, 05 Jun 2022 18:31:02 +0000

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.

New comment by SwampertX in "WebCompat – Bug Reporting for the Web"

SwampertX — Fri, 18 Feb 2022 02:17:20 +0000

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

New comment by SwampertX in "A new browsing experience arrives in Firefox for Android Nightly"

SwampertX — Fri, 17 Jan 2020 09:37:39 +0000

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

New comment by SwampertX in "SpaceVim v1.1.0 released"

SwampertX — Mon, 08 Apr 2019 00:39:27 +0000

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