Kranar

7 ms·

61.
by Kranar 1y ago
A computable real number is a real number for which a Turing Machine exists that can compute it to any arbitrary precision. So yes sqrt(2) is computable. Every BB(n) is computable since every every natutal number can be computed. It's
62.
by Kranar 1y ago
There is no black hole that is a perfect sphere. That would, at a minimum, require a body with absolutely no angular momentum which isn't in anyway feasible. Any rotating/spinning black hole will no longer be a perfect sphere.
63.
by Kranar 1y ago
You don't need the full set of real numbers to do physics, only the computable subset of the real numbers. Using the full reals is mostly done out of simplicity.
64.
by Kranar 1y ago
Yeah this is a fairly poor article by an otherwise amazing blogger. With that said the point stands that the likelihood of sending bitcoin to an unintended address due to a typo is very small. It's not as small as the article suggests,
65.
by Kranar 1y ago
If you see "i++" in code and you don't have any context about what "i" is, then what difference does it make if "i" is a member variable, global variable, parameter, etc etc... If all you see in code is a
66.
by Kranar 1y ago
The objection, which I agree with, is to the statement "Any method that works for some programs will fail for others, and in some cases, no method will work." There is no case where no method whatsoever will work. It's true t
67.
by Kranar 1y ago
Options exist with no expiration date, but they are not commonly traded. There's nothing in principle unusual about them, at least not more so than most other derivatives.
68.
by Kranar 1y ago
Perpetual options are a thing, although not mainstream.
69.
by Kranar 1y ago
No being honest does not mean that and had you said that I'd have no basis upon which to object to your comment. You refuted an argument about being honest about accepting an award on the basis that the award pays a lot of money and gr
70.
by Kranar 1y ago
It's not at all obvious, as the article points out it was assumed for 40 years that backpropagation was not an efficient approach for training neural networks.
71.
by Kranar 1y ago
The argument had to do with honesty while your justification is that money and popularity are worth more than being honest. Now perhaps Hinton does deserve the award, but certainly it should not be because of the reasons you cite: money and
72.
by Kranar 1y ago
The government gets billions back in savings from SpaceX.
73.
by Kranar 1y ago
The definitions provided appear as though they are constructive, but they are not actually constructive, they are set-theoretic existence claims that quantify over all sequences, in particular over undefinable sets. Specifically, the descri
74.
by Kranar 1y ago
>When your reviews get removed because the company paid them, you’re just being shown what the company wants you to see. Glassdoor does not remove reviews for payment.
75.
by Kranar 1y ago
I think it's the other way around. Tail recursion is a special case of loops. All tail recursive functions can be rewritten as a loop but there exist loops that can not be rewritten as a tail recursive function.
76.
by Kranar 1y ago
I won't elaborate too much, but consider a situation where the vast majority of of participants just bought a basket of diversified index funds and what the effect would be on the stock market... it would effectively entrench existing
77.
by Kranar 1y ago
There are good public resources but they are expensive. One of the best resources for learning in depth quantitative techniques that is actually legit as opposed to Youtubers telling you how to squint to see patterns in a bar chart is the A
78.
by Kranar 1y ago
None of those names have a ligature. Infact Renées is a "deligatured" spelling of Renæes which would be incredibly rare.
79.
by Kranar 1y ago
You just accept raw strings without doing any kind of validation? The step that performs validation should encode that step in the form of a type.
80.
by Kranar 1y ago
It's nice that you feel that having one LLM that generates entirely incorrect statements is equally as functional as an LLM that does not, but reality in terms of what LLMs people will actually use in real life and not for the sake o
81.
by Kranar 1y ago
Being accurate is a feature and it is a bug that can be fixed though. Given various models, one that always produces statements that are false and another that only sometimes produces false statements, the latter model is preferable and the
82.
by Kranar 1y ago
Millions of people don't use Go either.
83.
by Kranar 1y ago
Erlang does not implement CSP, and if you review the very Wikipedia link you presented it should be clear. Erlang implements the Actor model, which is more flexible for distributed, fault-tolerant systems, but lacks CSP's strict formal
84.
by Kranar 1y ago
I can't substantiate your claim about Erlang or weird syntax, is that either a proper quote or some kind of paraphrasing because nothing remotely close to it comes up. There are numerous interviews with Rob Pike about the design of Go
85.
by Kranar 1y ago
What are they building?
86.
by Kranar 1y ago
SQLite is a great database for organizing data in desktop applications, including both productivity software and even video games. It's certainly not at all unreasonable for those use cases to have files that are in the low GB and I wo
87.
by Kranar 1y ago
Yes that's true the terms are confusing but nevertheless it's important. For example having read through some of this book it's still not clear if this book involves parallelism, especially since the book compares itself to P
88.
by Kranar 1y ago
Yes that's true and I was wrong to say otherwise. A data race can happen with preemptive multithreading on data whose size exceeds what the platform guarantees to access atomically, typically the word size. A more accurate statement wo
89.
by Kranar 1y ago
Data races are not possible on a single core system.
90.
by Kranar 1y ago
Parallelism introduces additional hazards such as data races, which are not present in concurrent code that lacks parallelism.

More ›