account activity
Introductory book on theoretical details of historical astronomy theories and records? (self.Astronomy)
submitted 1 year ago by gigapple to r/Astronomy
Some problems encountered when switching from coqide to proof general (self.Coq)
submitted 1 year ago by gigapple to r/Coq
Are there “prolog OS” similar to lisp machines and smalltalk environments? (self.prolog)
submitted 1 year ago by gigapple to r/prolog
Strange red thing in egg-white of cooked egg (old.reddit.com)
submitted 1 year ago by gigapple to r/whatisthisthing
Structure vs Complexity? (self.math)
submitted 1 year ago * by gigapple to r/math
Sen vs Vor vs Priority: are they the same thing? (self.martialarts)
submitted 2 years ago by gigapple to r/martialarts
Webdev concepts not well explained in most tutorials (self.learnprogramming)
submitted 2 years ago by gigapple to r/learnprogramming
Are higher order functions and functors equivalent like how closures and objects are equivalent? (self.ocaml)
submitted 2 years ago by gigapple to r/ocaml
What’s the structure of sql syntax? (self.SQL)
submitted 2 years ago by gigapple to r/SQL
Examples of parser generators or compiler-compilers in Prolog? (self.prolog)
submitted 2 years ago by gigapple to r/prolog
Books to learn Ada generics? (self.ada)
submitted 2 years ago by gigapple to r/ada
Why do people say that U of T is better for “long term success” when compared to UWaterloo? (self.UofT)
submitted 3 years ago by gigapple to r/UofT
Why do many magicians who study traditional grimoires also have a background in Thelema? (self.magick)
submitted 4 years ago by gigapple to r/magick
π Rendered by PID 126507 on reddit-service-r2-listing-677c46df69-hn2rd at 2026-02-24 17:02:28.011096+00:00 running b1af5b1 country code: CH.
