ChrysaLisp - https://news.ycombinator.com/item?id=25779930 - Jan 2021 (6 comments)

ChrysaLisp - https://news.ycombinator.com/item?id=22019594 - Jan 2020 (61 comments)

ChrysaLisp - https://news.ycombinator.com/item?id=18897817 - Jan 2019 (19 comments)

ChrysaLisp – A 64-bit Lisp OS with GUI - https://news.ycombinator.com/item?id=15466124 - Oct 2017 (121 comments)

Chris sometimes comments here:

https://news.ycombinator.com/threads?id=vygr

Also related:

The Taos Operating System (1991) - https://news.ycombinator.com/item?id=16727565 - April 2018 (9 comments)

TAOS Operating System - https://news.ycombinator.com/item?id=15527936 - Oct 2017 (21 comments)

The Taos Operating System (1991) - https://news.ycombinator.com/item?id=9806607 - June 2015 (93 comments)