@=====No. 43, 2025-03-19 05:51:34======@
#                                      #
# Lisp stream of consciousness         #
#                                      #
@======================================@

+-------------------No. 44, 2025-03-19 05:55:15--------------------+
|                                                                  |
| Thinking about writing a send-(call-next-method)-to-acl2 mixin   |
|                                                                  |
+------------------------------------------------------------------+

+--------------------No. 45, 2025-03-19 06:16:11--------------------+
|                                                                   |
| I guess one can imagine a method composition where method-on-obj-and symbol→stream→process→stream or something, where the process would be like (uiop:run-program "acl2" :input (call-next-method)) |
|                                                                   |
+-------------------------------------------------------------------+

+--------------------No. 54, 2025-03-20 01:31:20--------------------+
|                                                                   |
| Argh, dragging my feet (defclass acl2 () ()) (defmethod prove ((obj acl2)) (uiop:run-program "acl2" :input (call-next-method))) |
|                                                                   |
+-------------------------------------------------------------------+

+-----------------No. 57, 2025-03-20 13:50:16-----------------+
|                                                             |
| Oops.  These last two posts were meant to be in reply to    |
|                                                             |
+-------------------------------------------------------------+

+--------------------No. 86, 2025-03-24 03:34:15--------------------+
|                                                                   |
| https://toobnix.org/w/qAnmJAKv1mhuwem7jJ1cJz for everyone whom was waiting with bated breath. Graph animation peertoob video. Silent. Lisp. |
|                                                                   |
+-------------------------------------------------------------------+

+------No. 103, 2025-07-16 08:11:29------+
|                                        |
| Is this phorum still working for me?   |
|                                        |
+----------------------------------------+

+-------------------No. 104, 2025-07-16 08:14:48--------------------+
|                                                                   |
| Well I can't say that that prove method idea was pure gold, but what can ya do. |
|                                                                   |
+-------------------------------------------------------------------+