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...
[ Parent
| on HN ]
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?
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.