• toothpaste_sandwich@feddit.nl
    link
    fedilink
    arrow-up
    9
    ·
    1 month 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.)