creata

75 ms·

901.
by creata 6y ago
It's probably a pun on the version control system "Git", since "git" also means "an unpleasant or contemptible person" and the article says that > Dolt is Git for Data.
902.
by creata 6y ago
The article being discussed paints a very incomplete picture of what Idris does, but Idris seems to be in agreement with pron's comment here: it allows functions that loop forever, but if you want to write a proof, you'll need to
903.
by creata 6y ago
But Pfhreak's point is that most people don't want to "build their own engine", they just want something that lets them make a game, and Unity and GameMaker are very good at giving you that running start, even if you k
904.
by creata 6y ago
I thought that was extremely easy, but only because the Pokemon didn't go past Generation 3. Flink sounds a whole lot like Klink, a Pokemon from Generation 5.
905.
by creata 6y ago
If people want Apple to treat them like children, why should we stop them? I'm not being sarcastic — there may be good reasons we don't want Apple to coddle the public, but I have yet to see them.
906.
by creata 6y ago
Letting the criminals talk in secret is the cost of letting everyone else talk in secret. Don't you think your daughter deserves secrecy in her life? And of course, there's the obvious question: why would you expect a criminal t
907.
Painting a simple eye ball with maths(youtube.com)
1 points by creata 6y ago|0 comments
908.
by creata 6y ago
Australia has ranked choice and we also have a 2-party system for all intents and purposes. I don't think ranked choice is the answer, but the voting system (mixed-member proportional) used in New Zealand and Germany seems to be doin
909.
by creata 6y ago
> So is the scientist giving the best information here? Whatever the case, the scientist is not "only paying lip service to the scientific method" in such a scenario. The scientist set out to answer a question, and they answere
910.
by creata 6y ago
The world of SIA and SDG is a very, very different world to that of classical analysis. If you think that they "should not produce different results", then (a) you're either wrong or incredibly optimistic regarding our abilit
911.
by creata 6y ago
Thank you for the real examples of GPL benefiting a project. Too much of the copyleft debate happens in the abstract.
912.
by creata 6y ago
> science only pays lip service to the scientific method… I'm happy to accept that most scientists are acting in good faith. Square these two sentences, because you can't accidentally "only pay lip service to the scient
913.
by creata 6y ago
> This person is applying the scientific method personally, and cautiously. How is she "applying the scientific method"? > science only pays lip service to the scientific method. Its only there to make money. This is a gross
914.
by creata 6y ago
It's not just vim, either — most command-line tools let you write "-" where you'd usually write a filename, which tells them to use stdin as the file.
915.
by creata 6y ago
> Agreed, I thought it was amusing that there's a comment saying, "wow this headline is perfect for HN" and yet so much negative talk in the other comments. Well, the headline is perfect for grabbing HN's attention, a
916.
by creata 6y ago
I never expected it to compete with real editors. I'm just disappointed by the flippant and very dismissive "comparison" section, which manages to perfectly miss what makes each editor so popular. asciimov's comment sums
917.
by creata 6y ago
Hah, I wish!
918.
by creata 6y ago
The first demo of the OpenAI API is a search plugin for Chrome, but I don't think it's actually published. https://beta.openai.com/
919.
by creata 6y ago
Isn't it still unable to actually make those aliasing optimizations because LLVM doesn't compile them correctly? https://github.com/rust-lang/rust/issues/54878
920.
by creata 6y ago
> Unpopular treatments of Calculus that only deal with computable numbers exist and produce the same results for physics. I'd really appreciate if you named them. I've seen synthetic differential geometry, which isn't near
921.
by creata 6y ago
I'm not disagreeing that the real numbers have no physical basis; that would be silly. I'm disagreeing with the absurd claim that "uncomputable numbers … in the guise of string theory obtained a death grip on fundamental phys
922.
by creata 6y ago
> those fantasies… in the guise of string theory obtained a death grip on fundamental physics What? The real numbers, with all the uncomputable reals included, are used in every corner of physics, not just in string theory. There is no t
923.
by creata 6y ago
It's nice that we have you to interpret the actions of our ancestors.
924.
by creata 6y ago
> This is why universities used to be small places with only highly interested intellectuals trained to handle that diversity. Which time period, and where? Universities used to be more exclusive, but I somehow doubt that exclusivity was
925.
by creata 6y ago
How do you suggest keeping up with all the primitives provided by C++? The language seems to have a major makeover every few years.
926.
by creata 6y ago
Please, learn C. It's very fast to learn (it's harder to write good code in it, though) and it's pretty much the lowest common denominator that all languages and platforms try to interface well with. It's also much mor
927.
by creata 6y ago
1. ZFC does everything you need it to do. It's a really hard set of axioms for me to justify compared to MLTT, and it's important to me how "obvious" some set of axioms is. MLTT also has the advantage that it's ve
928.
by creata 6y ago
On this subject, how do I know that the fact that I used these services (and other mental health services) won't ever be used against me? From data abuse, to hacks (as in this article), to the questionable act of involuntary confinemen
929.
by creata 6y ago
"Disingenuous" is a little mean. Maybe we just have different standards of compilation speed? You're right — Rust could be a totally different language and get compile time speeds like Go. But that doesn't change the fac
930.
by creata 6y ago
Is it really the case they "have already learned to scale down from threads"? I'm obviously not well-versed in browser internals, but here's the very first sentence of "Threading and Tasks in Chrome": > Chro

More ›