<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom">
    <channel>
        <title>My #commonLisp #lambdaMOO ing macro + #acl2 #firstOrderLogic guided tours- 4/5/2026, 8:00:37 AM</title>
        <link>https://toobnix.org/videos/watch/001c96b1-111b-4d21-91f3-50d91702bec9</link>
        <description>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 !</description>
        <lastBuildDate>Sun, 05 Apr 2026 21:40:06 GMT</lastBuildDate>
        <docs>https://validator.w3.org/feed/docs/rss2.html</docs>
        <generator>PeerTube - https://toobnix.org</generator>
        <image>
            <title>My #commonLisp #lambdaMOO ing macro + #acl2 #firstOrderLogic guided tours- 4/5/2026, 8:00:37 AM</title>
            <url>https://toobnix.org/client/assets/images/icons/icon-96x96.png</url>
            <link>https://toobnix.org/videos/watch/001c96b1-111b-4d21-91f3-50d91702bec9</link>
        </image>
        <copyright>All rights reserved, unless otherwise specified in the terms specified at https://toobnix.org/about and potential licenses granted by each content's rightholder.</copyright>
        <atom:link href="https://toobnix.org/feeds/video-comments.xml?videoId=001c96b1-111b-4d21-91f3-50d91702bec9" rel="self" type="application/rss+xml"/>
    </channel>
</rss>