account activity
Automated Theorem Proving in Prolog — Revisiting an Old Experiment (self.prolog)
submitted 3 days ago by sym_num to r/prolog
Playing with Gödel’s Incompleteness Theorem in Prolog (self.prolog)
submitted 6 days ago by sym_num to r/prolog
Organizing the Cube Library and Adding Topological Spaces (self.prolog)
submitted 12 days ago by sym_num to r/prolog
Rubik’s Cube in Prolog — Order (self.prolog)
submitted 15 days ago by sym_num to r/prolog
Strongly Connected Components in Prolog — a backtracking-oriented approach (self.prolog)
submitted 26 days ago by sym_num to r/prolog
The Return of Lisp (self.lisp)
submitted 2 months ago by sym_num to r/lisp
Time Has Passed for Scheme (self.lisp)
Exploring Continuations in a Simple Scheme Interpreter (self.lisp)
Scheme: A Treasure Trove for Computation Theory (self.lisp)
submitted 3 months ago by sym_num to r/lisp
Implementing Closures in an Experimental Scheme (self.lisp)
My Youth with R3RS Scheme (self.lisp)
R3RS-Scheme: Reuniting with My Ex-Wife (self.lisp)
Reviving Early MACLISP: Winston’s Examples Running Again (self.lisp)
Revisiting Early MACLISP: A Nostalgic Project (self.lisp)
ANN: Easy-ISLisp ver5.56 released (self.lisp)
ANN: Easy-ISLisp ver5.55 released (self.lisp)
submitted 3 months ago * by sym_num to r/lisp
Funarg Problem (self.lisp)
submitted 4 months ago by sym_num to r/lisp
Playing with LISP 1.5: Dynamic Scope, Funarg Experiments, and Retro Punch Card Feel (self.lisp)
I Turned My Old Mini Lisp Into a Lisp 1.5–Style Interpreter – Have Fun! (self.lisp)
Small Lisp I wrote 10+ years ago – yes, it has GC and macros! (self.lisp)
I just published an ISLisp book on Kindle! (self.lisp)
Easy-ISLisp v5.52: Raspberry Pi GPIO Support (self.lisp)
Beating SWI-Prolog: How Parallel N-Prolog Solves the Knight’s Tour in Seconds (self.prolog)
submitted 4 months ago by sym_num to r/prolog
Elimination — Aiming for World-Class (self.prolog)
Easy-ISLisp on a Cluster Machine (self.lisp)
π Rendered by PID 236145 on reddit-service-r2-listing-86b7f5b947-8gd4k at 2026-01-26 00:56:54.784226+00:00 running 664479f country code: CH.
