tines

51 ms·

721.
by tines 5y ago
No problem. I'm interested to hear though why you think unrestricted macros make the type system unsound. Can you explain? The code generated by macros would be type-checked in the scheme I described, and type-unsafe code can't be
722.
by tines 5y ago
For the same reason that it wouldn't be a normal function in any Lisp. The difference is that the macro expander keeps a list of macros (separate from the set of normal functions in the program), so that when it sees a list with a symb
723.
by tines 5y ago
> I always feel that for lisp-like languages it's just not a good idea to make them statically typed. Their power is derived from macros and the fact that code is data and the other way around. I completely agree with the idea that
724.
by tines 5y ago
Since the point of s-expression syntax/homoiconicity is macros, I'm surprised to not see any mention of them in the feature list linked here. Does BLisp support macros? If so, what kind? Also, is there an example of the type infer
725.
by tines 5y ago
I think there's a bug, at least in Firefox. When you drag to remove an element from the currently active set, the "sample output" only updates after making _another_ change. So if you drag to remove two elements one-at-a-time
726.
by tines 5y ago
Before the Typographic Man became the Graphic Man. Daniel Boorstin talks about this very thing in The Image, which is a fascinating read.
727.
by tines 5y ago
Ah, interesting. Even within that dichotomy, I'd think that if references aren't invalidated on mutation, then dereferencing iterators would be valid, but incrementing them would not be.
728.
by tines 5y ago
> Yeah I learned that the hard way when I found out that std::vector apparently feels free to move your objects around in memory for you In standard terminology, this is described as "invalidating iterators". There are a bunch
729.
by tines 5y ago
You're using a different definition than the article. It's developed a negative connotation, but originally it referred to any dissemination of information made to influence public opinion. It refers to the motivation, not the con
730.
by tines 5y ago
> Amazon is obviously one of the most productive companies to have ever existed. Strictly speaking, I don't think this is a counterfactual. A counterfactual is a figure of speech that considers a situation wherein the facts are diff
731.
by tines 5y ago
How does this compare to the Cat language, which is also pure and statically typed? Also, what "ring of complexity" does Stabel's type system live in, i.e. does it support rank-n polymorphism?
732.
by tines 5y ago
How many years of resources does the earth have stored in it though?
733.
by tines 5y ago
Too bad silence and violence almost rhyme, otherwise no one would have thought up this stupid phrase.
734.
by tines 5y ago
Link to the paper "On a contextual model refuting Bell's theorem": https://iopscience.iop.org/article/10.1209/0295-5075/134/100... This is amazing if it's real. Can an expert shed any
735.
by tines 5y ago
The criterion was "familiar", which is nothing if not Javascript -- nobody said anything about intuitive or sane :)
736.
by tines 5y ago
I guess I meant that the core of what makes the games fun is building.
737.
by tines 5y ago
Sometimes a cigar is just a cigar. I may be running afoul of Poe's law here, but I'm going to take this essay at face value. The premise of the essay, from what I can tell, is that games like Animal Crossing: New Horizons are play
738.
by tines 5y ago
"Don't worry, that willcipriano guy we experimented on and murdered was a known serial killer. Never mind that he was a political dissident or whatever."
739.
by tines 6y ago
If this ever happened/happens anywhere, a great pastime would be to start sending streams of random data to people across the internet. Since random data is indistinguishable (theoretically) from encrypted data, I'm sure you'
740.
by tines 6y ago
C++ programmer learning Rust here: Is this just Rust starting to catch up to C++ in this area?
741.
by tines 6y ago
Mere Christianity I believe.
742.
by tines 6y ago
Not a direct comment on the article, and I don't want to be a Debbie Downer here, but aren't neural interfaces like Neuralink and other things the absolute perfection of means for societal control? No doubt they are unimaginably u
743.
by tines 6y ago
Not all these issues are specific to Linux though; I can't even alt-tab out of Skyrim on Windows 10 without it crashing.
744.
by tines 6y ago
> There is no way to do this that I can find documentation of on the public internet. And you used Google search to look for it, right? ... (Kidding.)
745.
by tines 6y ago
That's an amazing idea. I wonder how long a player would have to play before you could train a neural net to play like them. In a single-player game you could also create an enemy NPC that uses that same neural net, for sort of a &quot
746.
by tines 6y ago
I didn't interpret either one literally and was being equally nitpicky.
747.
by tines 6y ago
> You can learn everything about the entire universe from the head of a pin This is just not true haha.
748.
by tines 6y ago
Sure, I'm not saying that other activities don't have value, I was commenting only on your phrase "just as much." George Martin wrote, "A reader lives a thousand lives before he dies, and the one who doesn't re
749.
by tines 6y ago
> But ultimately you could learn just as much about yourself and the world by doing pottery, woodworking, kayaking, knitting or whatever else you like to do with your spare time. I agree with the rest of your post, but this sentence is a
750.
by tines 6y ago
> Well, C++ might be “low latency” when it comes to executing code, but it’s definitely not low latency when it comes to rolling out new features or even finding devs who can write it. Yikes, this article is terrible.

More ›