<a href="https://lispy-gopher-show.itch.io/lispmoo2/devlog/1480416/simple-handlerrestart-basis-for-lispmoo2-take-2" target="_blank" rel="noopener noreferrer">https://lispy-gopher-show.itch.io/lispmoo2/devlog/1480416/simple-handlerrestart-basis-for-lispmoo2-take-2</a> 
<a href="https://www.cs.utexas.edu/~moore/acl2/" target="_blank" rel="noopener noreferrer">https://www.cs.utexas.edu/~moore/acl2/</a> 
<a href="https://gamerplus.org/@dougmerritt@mathstodon.xyz/116350524435416712" target="_blank" rel="noopener noreferrer">https://gamerplus.org/@dougmerritt@mathstodon.xyz/116350524435416712</a> 
!

https://lispy-gopher-show.itch.io/lispmoo2/devlog/1480416/simple-handlerrestart-basis-for-lispmoo2-take-2 https://www.cs.utexas.edu/~moore/acl2/ https://gamerplus.org/@dougmerritt@mathstodon.xyz/116350524435416712 !

<a href="https://lispy-gopher-show.itch.io/lispmoo2/devlog/1480416/simple-handlerrestart-basis-for-lispmoo2-take-2" rel="noopener noreferrer">https://lispy-gopher-show.itch.io/lispmoo2/devlog/1480416/simple-handlerrestart-basis-for-lispmoo2-take-2</a> 
<a href="https://www.cs.utexas.edu/~moore/acl2/" rel="noopener noreferrer">https://www.cs.utexas.edu/~moore/acl2/</a> 
<a href="https://gamerplus.org/@dougmerritt@mathstodon.xyz/116350524435416712" rel="noopener noreferrer">https://gamerplus.org/@dougmerritt@mathstodon.xyz/116350524435416712</a> 
!

My #commonLisp #lambdaMOO ing macro + #acl2 #firstOrderLogic guided tours- 4/5/2026, 8:00:37 AM

Who, What, How?The Outernational Music Syndicate.Established in 2010 as a pro-active reaction to everything that is broken in the music-industry. Basspistol is an endlessly evolving union for the Underground Artists of the third millenium carrying the values of the Creative Commons. We believe in Music. The underground is dead, Long Live the Underground! Together we are stronger.Combine your will-power with others' to take back the control of your expression. Artists should own their means of outreach. Your fanbase loves You because You are You, keep it that way! Foster a contagious precedent and inspire other Musicians to be the change they want to see. We help you help yourself.We provide the tools, the services and the braintrust to enable true independence for the rare musicians brave enough to stand up against the big-tech narrative. We are the invisible air under your wings, the maintainer of the Underground, your guide down into the decentralized rabbit-hole. Follow us on Fediverse.

Share My #commonLisp #lambdaMOO ing macro + #acl2 #firstOrderLogic guided tours- 4/5/2026, 8:00:37 AM

Sign up to save your podcasts

My #commonLisp #lambdaMOO ing macro + #acl2 #firstOrderLogic guided tours- 4/5/2026, 8:00:37 AM

My #commonLisp #lambdaMOO ing macro + #acl2 #firstOrderLogic guided tours- 4/5/2026, 8:00:37 AM