• toothpaste_sandwich
    link
    fedilink
    arrow-up
    11
    ·
    2 months 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.)