• @[email protected]
    link
    fedilink
    105 hours ago

    it takes about 4.76 days for the Linux kernel to boot.

    This seems like saying, “it cost about €4,32.” I.e. just the exact amount. (Though I suppose technically he could have stated it in seconds for a more precise number.)