Viewing profile — arf

I did give it a try. I used it like I use Chrome. Many tabs open and keeping them open for a couple of days. I did that a couple of times. It, of course, crashed every single time …

From the author: https://www.reddit.com/r/Common_Lisp/comments/8f6wez/petalis...

> the only requirement being that these statements are non-contradictory. > That makes mathematics just a subdivision in philosophy, in which statements about statements must be (a…

On J({regressive, axiomatic}): Well, the regular formulation of "Infinitism" is that S is justified to believe P_1 on the basis of P_2 and P_n on the basis of P_n+1. J({regressive,…

Is there a way to find well-maintained non-broken preferably-actively-maintained libraries or those that the community considers to be the de facto solution? Like where would I sta…

Have you tried other Lisps like Racket? If so, what's your take on them and how do you compare them with CL?

Let the set M = {circular, regressive, axiomatic} to be the set of "unsatisfying" arguments that may be used to prove any truth. Let the mapping J: powerset(M) -> to map some subse…