Helpful script, except it prints the same line regardless of the version found.

If I’m remembering correctly, the original script he found had different emoji in the two lines (red X vs. green checkmark), but since HN comments strip emoji, pasting it here made them equivalent.

HN nerfed the script. Here you go: https://gist.github.com/tkafka/e3eb63a5ec448e9be6701bfd1f1b1...

Tom M. Apostol's Project Mathematics videos circa 1988-2000 are wonderful:

https://en.wikipedia.org/wiki/Project_Mathematics!

https://www.youtube.com/watch?v=vpxWyJg4_1A&list=PL8_xPU5epJ...

I remember seeing these videos on youtube long time ago, but couldn't remember the sources. Thanks for sharing!

This is true. For example, the following shebang/uv header works on both macOS and Linux:

  #!/usr/bin/env -S uv --quiet run --script
  # /// script
  # requires-python = ">=3.13"
  # dependencies = [
  #     "python-dateutil",
  # ]
  # ///
  #
  # [python script that needs dateutil]

Very informative. Thank you!

I'm pretty sure that's a Link MC5 terminal, which emulates DEC VT220 by default, but that font doesn't seem very VT220ish. https://vt100.net/dec/vt220/glyphs

emulating DEC VT's generally meant the full featureset of DEC ANSI escape sequences for cursor positioning, saving, colors, bold, etc. It would not include emulating fonts.

i googled and found this picture of a Link MC5 screen, though it's monochrome, don't know if they would have changed that.

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg...

That was Space Travel: https://en.wikipedia.org/wiki/Space_Travel_(video_game)

Ha, thanks for the correction, I've been giving the wrong name to Ken Thompson's game for years!

Also, it was ported (rewritten) to a PDP-7.

A recent thread with some good ideas: https://lobste.rs/s/d5qwzs/what_is_your_mac_os_setup

That interview, by Game Thinking TV, June 29, 2023: https://www.youtube.com/watch?v=lfXxzAVtdpU

And the Do Not Go Gentle novels by Mark Millstorm.

> A thing I've never been clear on is whether the Extropian Mike Perry was the FIG F-83 Mike Perry or the Tor Mike Perry.

Neither, he's the Alcor Mike Perry:

https://www.alcor.org/library/alcor-member-profiles/michael-...

Thanks! His active years as a programmer coincide with the FIG F-83 Mike Perry, which was a time when there weren't very many programmers. So it's quite a coincidence!