@=====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. |
|                                                                   |
+-------------------------------------------------------------------+

You are viewing proxied material from gopher.someodd.zip. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.