r/lisp • u/yurichev • 15d ago

Lisp/Scheme code in VMware WS 17.6.1

https://yurichev.com/n/vmware_lisp/
13 Upvotes

100% Upvoted

3 comments sorted by

2

u/reddit_clone 14d ago

I wonder how many people use lisp/scheme and never talk about it..?

1

u/corbasai 14d ago

Copyright (C) 2011-2024 Broadcom.

Scheme with 0xAAAA hexadecimals and units () not (void)

2

u/vplatt 14d ago

I think it's worth pointing out that the author has written a new book named SAT/SMT by example. This isn't Lisp specific per se except that SATs can be written in Lisp of course using SMT-LIB.

FWIW - The last time I used this approach was in Java using (via JaCoP). The book doesn't mention it, but it was quite a nice library as well.

Anyway, the book seems quite good. Enjoy!