• toothpaste_sandwich
    link
    fedilink
    arrow-up
    10
    ·
    5 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.)