tines

51 ms·

751.
by tines 6y ago
I'd say that a knowledge of mathematics is where the meaning of "let" will most often come from. I'm sure we've all read things like "Let x be the speed of a train..."
752.
by tines 6y ago
> if your macros only rely on non-exported symbols from your package and symbols in the CL package, then you are free from any hygiene problems that aren't caused by code that is clearly bad locally Not quite true, recursive macro i
753.
by tines 6y ago
What's S7? I've never heare of it.
754.
by tines 6y ago
Correct me if I'm wrong, but Lisp-2 vs. Lisp-1 has nothing to do with hygiene, it just splits Scheme's single problem (lexically binding values in macros) into two problems (lexically binding values in macros, and lexically bindin
755.
by tines 6y ago
The unhygeinic part isn't as important as the fact that CL's macros (and other macro systems) are not simple pattern matching and substitution. But the lack of hygiene completes the circle for the concept that the program is simpl
756.
by tines 6y ago
To me, the entire point of Lisp, the thing that sets it apart from other languages, is unhygeinic macros. Since that is my view, I can only recommend Common Lisp. CL is the opposite of modern, but just because something is modern doesn&#x27
757.
by tines 6y ago
> It seems to me that the way you're trying to distinguish between "faith" and "belief" and "assumption" has more to do with what a person is "assuming", "believing" or putting their
758.
by tines 6y ago
EDIT: There are too many places where "I think" should be placed in the following paragraphs, so just insert it wherever I make an assertion. I am exploring these things as well and I don't want to make it seem like I think I
759.
by tines 6y ago
I think this is a different line of reasoning from the one everyone else is on. Hume seems to be saying that there's no such thing as evidence at all, there's just a sequence of unrelated events. But faith (in the Christian sense,
760.
by tines 6y ago
Usually when an atheist says "there is no god" what they mean is "there is no reason to take seriously the claim that there is a god, because there is too little evidence". And by "too little" they mean the sam
761.
by tines 6y ago
Yeah, I think the crux is the conflation of "assumption" with "faith". We assume the speed of light in a vacuum is uniform across all of space and that is how we can estimate how far away stars are in "light-years&q
762.
by tines 6y ago
Of course. And the confession "Lord, I believe; help thou my unbelief" in Mark 9:24 was apparently good enough for Jesus.
763.
by tines 6y ago
Yes, even Richard Dawkins described himself as being "6 out of 7" sure that God doesn't exist (or something like that), but I think he should still be called an atheist.
764.
by tines 6y ago
> The only reason that faith and beliefs are examined at all is because folks routinely excuse abuse with professions of faith. That's a great point. I'm a Christian, and I think the reason why you have a lot of intellectual fi
765.
by tines 6y ago
Yes, great point. If you're not a Christian, then you're one more data point in my collection that shows that unbelievers understand Christianity better than most people who call themselves a Christian. Biblical Christianity looks
766.
by tines 6y ago
Yeah same here, just wondering.
767.
by tines 6y ago
There only has to be one objectively wrong answer to show that it's not all subjective, which is the point under discussion.
768.
by tines 6y ago
But isn't "determining the one true actual meaning of a thing" the entire point of hermeneutics? Or rather, hermeneutics is a technique for objectively determining what something does _not_ mean, which is incompatible with th
769.
by tines 6y ago
This seems really cool, but can someone who knows both Lean and Haskell (the former is probably just a subset of the latter, lol) explain how this is materially different from a Haskell implementation of the same algorithm? I don't kno
770.
by tines 6y ago
> The best any static type checking will let you do is “array[float]” I know this guy is smart and all, and I love Lisp as much as the next guy, but this article really reads like it was written by someone who hasn't used Haskell.
771.
by tines 6y ago
It depends on how sophisticated your type system is. For a pure HM type system, anything requiring rank-n types won't type check, but are theoretically sound in a type system that supports them.
772.
by tines 6y ago
> The stock went up wildly, reaching a high of 124. At this point the Exchange suspended further trading & postponed the short sellers' delivery deadline. This resulted in eventual bankruptcy for Saunders & he was finally fo
773.
by tines 6y ago
I mean, I think it's obvious that the OP meant "good ideas" when he said "ideas are cheap." His entire point was "novelty" and "many really clever ideas" are not worth anything without the execut
774.
by tines 6y ago
I know what you mean. But I don't think that disproves my point, it just shows that people like garbage. And that's ok. I love garbage sometimes, there is absolutely zero harm in garbage. But that doesn't make it anything oth
775.
by tines 6y ago
Strong disagree. Good ideas are rare, and nobody knows how to come up with them reliably. (For example, in the world of cinema, see how the writers of the subsequent Pirates of the Caribbean movies, and the people around them, had no idea w
776.
by tines 6y ago
Just for reference, the pair is spelled "yea or nay" rather than "ya or nay".
777.
by tines 6y ago
Nice! I've always been a proponent of thinking about C++ as "C with templates" rather than "C with classes," and once you realize that templates are just AST expanders, it becomes apparent that C++ is just a bad lis
778.
by tines 6y ago
No one defines journalism as "what a journalist does," so there is no cycle. If you ask Google to define "journalism," you get, "the activity or profession of writing for newspapers, magazines, or news websites or p
779.
by tines 6y ago
> be a journalist in order to write your first articles Says who? Writing an article is what makes you a journalist. You don't need to be a journalist to write. This whole "the definition is circular" argument is bizarre,
780.
by tines 6y ago
Not at all. That's like saying that "a boxer is someone who does boxing" is circular. It's only circular if you define boxing as "that which is done by a boxer", instead of "striking an opponent with such-

More ›