2022-03-15 00:54:33 <KipIngram   > Oh, hmmm - I see ligtning and hear thunder off to the south of me as well now.
2022-03-15 00:55:03 <dave0       > maw KipIngram
2022-03-15 00:55:15 <KipIngram   > maw dave0
2022-03-15 08:46:45 <veltas      > I think FORTH might have been the first high-level programming language in space
2022-03-15 08:47:50 <veltas      > https://space.stackexchange.com/questions/21765/what-was-the-first-programming-language-in-space
2022-03-15 08:48:01 <veltas      > https://www.hq.nasa.gov/office/pao/History/computers/Ch6-3.html CTRL+F for FORTH
2022-03-15 10:36:15 <KipIngram   > That wouldn't surprise me at all.  I knew it'd been used in the space program.
2022-03-15 10:44:41 <veltas      > Big if true
2022-03-15 12:18:10 <siraben     > remexre: yes we talked about separation logic before
2022-03-15 12:18:19 <siraben     > in the context of program verification