181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanoriๆ่ฟๆธใใฆใใใคใใใใใใฎ่ถฃๅณใงไปใฎ CLOG ใฎไพใๆขใใฆๆ ใใใฎใ ACL2 ใงใชใใใใใฎใๆฉใพใใใจใใใ
Common Lisp ใฎ CLOG ใง YouTube ใฎใใฌใคใชในใๆฉ่ฝใๅฎ่ฃ
ใใฆใฟใ
https://diary.tojo.tokyo/posts/2022-09-03-youtube-local-playlist-gomibako.html