Live data from Hacker News

Minix development has been abandoned?

git.minix3.org

101–110 of 116 posts

Re: Minix development has been abandoned?

#101
post #80

Earlier quoted context omitted.

> No known bugs This is the part that I doubt will ever be achieved by any system or structure of moderate complexity or above. Everything that exists in the real world has problems with it. If it's a building or a machine, then it's done once it's built unless there are major safety issues. The cost of fixing non-critical issues in a physical product is too high to justify. The problem with software is that the marg…

TeX and METAFONT are designed to be "done" when Knuth dies: > At the time of my death, it is my intention that the then-current versions of TEX and METAFONT be forever left unchanged, except that the final version numbers to be reported in the “banner” lines of the programs should become TeX, Version $\pi$ and METAFONT, Version $e$ respectively. From that moment on, all “bugs” will be permanent “features.”

Hah, that's a pretty reasonable way to define done.

Re: Minix development has been abandoned?

#103
post #62

Earlier quoted context omitted.

I definitely notice a speed improvement with Dash. Most shell scripts are too small to notice a difference, but it made a big difference back before the switch to systemd, back when init was a bunch of clunky shell scripts.

Check your locale before benchmarking; setting it to "C" negates a lot of the dash performance advantage.

Why would I want to set my locale to “C”? My actual preferences are en_US, and it sounds to me like you’re asking me to misconfigure my shell.

Re: Minix development has been abandoned?

#106
post #80

Earlier quoted context omitted.

TeX and METAFONT are designed to be "done" when Knuth dies: > At the time of my death, it is my intention that the then-current versions of TEX and METAFONT be forever left unchanged, except that the final version numbers to be reported in the “banner” lines of the programs should become TeX, Version $\pi$ and METAFONT, Version $e$ respectively. From that moment on, all “bugs” will be permanent “features.”

Hah, that's a pretty reasonable way to define done.

Considering the last list of bugs: https://tug.org/texmfbug/tuneup21bugs.html

I think he's getting pretty close to perfection - his report on it https://tug.org/TUGboat/tb42-1/tb130knuth-tuneup21.pdf and hopefully he'll live to do the next one in 2029.

His dedication to the unchanging format is important, I can compile ancient TeX documents that are almost older than I am with no changes, and I can compile LaTeX documents almost as easily.

Re: Minix development has been abandoned?

#107
post #62

Earlier quoted context omitted.

Check your locale before benchmarking; setting it to "C" negates a lot of the dash performance advantage.

Why would I want to set my locale to “C”? My actual preferences are en_US, and it sounds to me like you’re asking me to misconfigure my shell.

Bash does more work for non C locales. Dash does not. You can configure bash without locale support when compiling it, or just set the locale to C to get a more apples-to-apples comparison.

Re: Minix development has been abandoned?

#108
post #67
post #62

Earlier quoted context omitted.

Check your locale before benchmarking; setting it to "C" negates a lot of the dash performance advantage.

Dunno, the linked article looks like a conclusive performance advantage to me. Bash's own manual page concludes that "it's too big and too slow" in the BUGS section. https://www.baeldung.com/linux/dash-vs-bash-performance

FWIW on My Machine(tm) bash goes from ~4 times slower to ~70% slower on the simple startup test just by changing the locale:

    $ time for i in $(seq 1 1000); do bash -c ":" ; done

    real 0m4.475s
    user 0m3.234s
    sys 0m1.287s

    $ time for i in $(seq 1 1000); do dash -c ":" ; done

    real 0m1.067s
    user 0m0.408s
    sys 0m0.704s

    $ (export LC_ALL=C; time for i in $(seq 1 1000); do dash -c ":" ; done)

    real 0m1.043s
    user 0m0.409s
    sys 0m0.679s

    $ (export LC_ALL=C; time for i in $(seq 1 1000); do bash -c ":" ; done)

    real 0m1.721s
    user 0m0.783s
    sys 0m0.986s

Re: Minix development has been abandoned?

#110

Earlier quoted context omitted.

Why would I want to set my locale to “C”? My actual preferences are en_US, and it sounds to me like you’re asking me to misconfigure my shell.

Bash does more work for non C locales. Dash does not. You can configure bash without locale support when compiling it, or just set the locale to C to get a more apples-to-apples comparison.

Isn’t C the wrong locale, though? Why would I want to use something which is incorrect as the basis for comparison?
Post reply on HN