ristos

9 ms·

61.
by ristos 3y ago
These issues get mentioned a lot, you just haven't noticed I guess. Sourceforge is also an issue with some C libraries too, I'm guessing because it was done a long time ago? not sure. I use ECL because it has really good C interop
62.
by ristos 3y ago
This does keep coming up, and it's a few years old now. I think Quicklisp can easily still support https while supporting the older packages that are tar+http, which could easily be mirrored in a git repo. Quicklisp has unfortunately t
63.
Ask HN: Where you do buy DRM-free, watermarked content?
2 points by ristos 4y ago|3 comments
64.
by ristos 6y ago
This looks so awesome! It's got the best parts of a lot of languages. This is what sticks out to me: - Really simple lisp like scheme, but reminds me of lua (and not bloated like CL) - Has resumable fibers, no callcc like scheme - Not
65.
by ristos 6y ago
Afaict all of these rely on the axiom of Archimedes which is what I'm talking about, some of the proofs explicitly stating it and others implicitly. Unless I missed something.
66.
by ristos 6y ago
Why is your proof for every natural number n and not infinity (ω)? also isn't the law of excluded middle axiomatic?
67.
by ristos 6y ago
That's the point I'm trying to make actually. 1/infinity is an infinite series, which would be a computation that takes infinite time to compute. Saying that 0.9999...=1 is saying that the infinite series is the same as that
68.
by ristos 6y ago
I don't think that 0.999... = 1 is actually provable. I think this and all of calculus is actually axiomatic, which has the following axiom: Given ε = 1/∞ then: ε = 0 Am I wrong in thinking this way? It seems as though there'
69.
by ristos 7y ago
Is it possible to add more specificity to the guidelines for REMOTE? ie: US only, EU only, x-y timezones only, US/EU citizen, etc Otherwise there ends up being a lot of back and forth and wasted time over something that's solved i
70.
by ristos 7y ago
Yeah you can do optional static typing in common lisp: https://medium.com/@MartinCracauer/static-type-checking-in-t... The typing discipline in strong. I think it also has type inference but I'm not 100% sure