GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Matthew Garrett (mjg59@nondeterministic.computer)

  1. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Friday, 27-Feb-2026 22:58:35 JST Matthew Garrett Matthew Garrett

    Every single ACPI vs Device Tree argument needs to start with the observation that I can boot a modern Linux kernel on an arbitrary x86 board from 1998 and it will probably suspend and resume correctly, and I can't do that with an arbitrary Arm board from 2026

    In conversation about 16 days ago from nondeterministic.computer permalink
  2. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Thursday, 26-Feb-2026 11:00:54 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo what? The device provides an interface to update the software included in it, and it is intended that this occur after the user purchases the device. It's the extremely clear and plain reading of the language. The guideline doesn't say "It's fine if the user chooses not to do this".

    In conversation about 17 days ago from nondeterministic.computer permalink
  3. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Thursday, 26-Feb-2026 10:47:31 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo That's not what RYF says:

    "The exception applies to software delivered inside auxiliary and low-level processors and FPGAs, within which software installation is not intended after the user obtains the product"

    Hard drive firmware is intended to be installed after the user obtains the product. Vendors routinely ship bug fix and reliability updates and won't provide support unless you install it. Hard drives don't meet the RYF guidelines.

    In conversation about 17 days ago from nondeterministic.computer permalink
  4. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Thursday, 26-Feb-2026 10:47:27 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo It's intended that the software be updated and so the exception doesn't apply, and so it needs to be free software to meet RYF. It's not, so doesn't. Sorry, I didn't write the rules.

    In conversation about 17 days ago from nondeterministic.computer permalink
  5. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Thursday, 26-Feb-2026 08:13:07 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo the firmware in your WiFi card isn't doing your computing, but RYF insists that the program running there must either be in ROM or free. Why is it different to your hard drive?

    In conversation about 17 days ago from nondeterministic.computer permalink
  6. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Thursday, 26-Feb-2026 05:15:33 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo if you're willing to call them programs, why do the four freedoms not apply? At minimum, why do you not deserve the right to know what these programs are actually doing?

    In conversation about 17 days ago from nondeterministic.computer permalink
  7. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Thursday, 26-Feb-2026 05:15:32 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo (the program in your hard drive can, by the way, be updated by the vendor - but it's different to the microcode case because it's in mutable storage and never in ROM and so the update is permanent)

    In conversation about 17 days ago from nondeterministic.computer permalink
  8. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Thursday, 26-Feb-2026 04:48:58 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo yes, you have come up with an incorrect model in order to avoid admitting you're running non-free code.

    In conversation about 17 days ago from nondeterministic.computer permalink
  9. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Thursday, 26-Feb-2026 04:22:21 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo it makes no retroactive difference - it is software, it always was software, all the normal ethical considerations should apply. Now, in the same way that free software published in a book can't be modified in place, there may be practical considerations that would limit exercise if those freedoms - in which case we should argue that implementations that make their exercise easier are preferable to ones that don't

    In conversation about 17 days ago from nondeterministic.computer permalink
  10. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Thursday, 26-Feb-2026 04:07:19 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo yes, it's a fantastical example that's intended to demonstrate that your argument is non-sensical. Your position seems to be that if the box is closed then it's not software, but if someone were to figure out how to open it it would become software. That's clearly not how any of this works.

    In conversation about 17 days ago from nondeterministic.computer permalink
  11. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Thursday, 26-Feb-2026 03:10:06 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo except it's clearly *not* equivalent to a hardware circuit, that's just an assertion you've made. And in your repeated mentioning of replacing ROMs I'm becoming concerned that you don't actually know much about hardware.

    In conversation about 18 days ago from nondeterministic.computer permalink
  12. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Wednesday, 25-Feb-2026 19:25:19 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo I'm somewhat bewildered to have an FSF board member say that I should have no ethical expectation to be able to modify GPLed software running on something I own as long as the vendor does a good enough job of nailing the box shut.

    In conversation about 18 days ago from nondeterministic.computer permalink
  13. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Wednesday, 25-Feb-2026 19:20:14 JST Matthew Garrett Matthew Garrett
    in reply to
    • Wouter Verhelst
    • Alexandre Oliva

    @lxo @wouter you encourage users to buy hardware containing software they will never be able to free instead of buying hardware that a sufficiently driven user may be able to free. But even if it's never freed, it is easier in many cases to examine and audit that non-free software if it's loadable and very hard if not impossible if it's embedded in ROM in the device. I have personally done so for various devices I own, and have identified security issues that were rectified by the manufacturer.

    In conversation about 18 days ago from nondeterministic.computer permalink
  14. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Wednesday, 25-Feb-2026 19:16:27 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo does sticking a copy of Linux on a CD and locking the player and attached computer in a black box mean that the owner of that box should have no expectations of being able to modify what is very clearly code? From an external perspective the operation of the box may be indistinguishable from a hardcoded CPU, but if we *know* that it contains free software, why is it ethical to prevent the owner from performing any modifications they desire?

    In conversation about 18 days ago from nondeterministic.computer permalink
  15. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Wednesday, 25-Feb-2026 19:01:14 JST Matthew Garrett Matthew Garrett
    in reply to
    • Wouter Verhelst
    • Alexandre Oliva

    @lxo @wouter but you're happy to endorse hardware that contains code that can never be modified, even to the extent of promoting it over hardware that runs non-free code that *could* be freed. I accept this isn't the case for Intel microcode, but it's still an incoherent position.

    In conversation about 18 days ago from nondeterministic.computer permalink
  16. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Wednesday, 25-Feb-2026 18:41:51 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo putting non-free code on a read-only optical disk doesn't stop it being non-free code. Putting it in read-only memory doesn't stop it being non-free code. It's code. You've come up with an entirely arbitrary definition to stop having to care about it.

    In conversation about 18 days ago from nondeterministic.computer permalink
  17. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Wednesday, 25-Feb-2026 14:48:34 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo If I don't trust Intel to avoid introducing deliberate security backdoors via microcode updates, I should also not buy any new Intel CPUs - they might have introduced a backdoor. I shouldn't buy an old one either - the old one might have a backdoor that my current one doesn't. Either Intel is trustworthy, in which case the microcode updates are as safe as the microcode the CPU ships with, or they're not, in which case I should never trust any Intel CPUs at all.

    In conversation about 18 days ago from nondeterministic.computer permalink
  18. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Wednesday, 25-Feb-2026 14:38:06 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo Brings no benefit for you, brings significant benefit for others. And, clearly, the CPU is running non-free microcode whether an update is loaded or not - replacing one blob with another doesn't increase the number of blobs the running system depends on.

    But "fallacy"? Obviously it's removed. https://www.fsfla.org/ikiwiki/selibre/linux-libre/ uses the word "removed" several times. You removed the code that allowed someone to update the microcode. The fact that it can be added back doesn't mean it wasn't removed.

    In conversation about 18 days ago from nondeterministic.computer permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: www.fsfla.org
      ::[FSFLA]:: GNU Linux-libre project
  19. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Wednesday, 25-Feb-2026 14:03:37 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo and I completely understand you making the choice not to trust an opaque update! For a bunch of threat models it's probably the right choice. What I object to is you making that choice on behalf of all of your users, and not making it clear to them what the impact may be.

    In conversation about 18 days ago from nondeterministic.computer permalink
  20. Embed this notice
    Matthew Garrett (mjg59@nondeterministic.computer)'s status on Wednesday, 25-Feb-2026 13:58:07 JST Matthew Garrett Matthew Garrett
    in reply to
    • Alexandre Oliva

    @lxo the majority of the performance loss isn't in the microcode updates, it's in the OS making use of new functionality in those updates - if you pass mitigations=off you regain the performance even with the new microcode, and you can choose the set of mitigations applied to fit the particular threat model you have. By removing the ability to update it you remove the ability for users to make that choice, without reducing the quantity of non-free blobs the system depends on.

    In conversation about 18 days ago from nondeterministic.computer permalink
  • Before

User actions

    Matthew Garrett

    Matthew Garrett

    Former biologist. Actual PhD in genetics. Security at Nvidia, OS security teaching at https://www.ischool.berkeley.edu. Blog: https://mjg59.dreamwidth.org. He/him.

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          24727
          Member since
          12 Nov 2022
          Notices
          614
          Daily average
          1

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.