News for hackers. Stuff that matters.
Re:Years in Common Lisp: 2022 in review by tmtvl on Tuesday January 10, 2023 @08:55AM (#34324849)
ACL2 gets mentioned in passing, but it may be worth noting that version 8.5 was released this year, with several new features and bug fixes: https://www.cs.utexas.edu/users/moore/acl2/v8-5/combined-man...
Re:Years in Common Lisp: 2022 in review by medo-bear on Tuesday January 10, 2023 @10:06AM (#34325911)
Maxima should also deserve a mention I think
Re:Years in Common Lisp: 2022 in review by vindarel on Tuesday January 10, 2023 @11:22AM (#34327203)
excellent point, thanks. It's added. I mostly prepared the post with the reddit history, that means someone missed the opportunity to inform the broader Lisp community there.

For Maxima, what could be added?

Re:Years in Common Lisp: 2022 in review by tmtvl on Tuesday January 10, 2023 @12:51PM (#34328659)
Maxima 5.46 came out (https://sourceforge.net/p/maxima/code/ci/master/tree/changel...) in April. It also had a number of bugfixes and some new features, personally I am fond of getting rid of the python dependency for building the documentation, but I suppose preventing gensyms from leaking and fixing limit going into an infinite loop may be considered more important by some.
Re:Years in Common Lisp: 2022 in review by vindarel on Wednesday January 11, 2023 @04:37AM (#34336729)
Thanks, added.