arf

11 ms·

1.
by arf 8y ago
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 and for some reason made my 4GHz quad-core i7 with 64Gb memo
2.
by arf 8y ago
From the author: https://www.reddit.com/r/Common_Lisp/comments/8f6wez/petalis...
3.
Petalisp: A DSL in CL intended for high performance array-based computing(github.com)
1 points by arf 8y ago|1 comments
4.
by arf 8y ago
> 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 (axiomatically) derived exclusively from a completely ex
5.
by arf 8y ago
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, axiomatic}) just defines a limit i.e. S is justi
6.
by arf 8y ago
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 start with doing data science or web dev (and related subjects
7.
by arf 8y ago
Have you tried other Lisps like Racket? If so, what's your take on them and how do you compare them with CL?
8.
by arf 8y ago
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) -> <schools-of-thought-in-meta-epistemology> to map some subs