Maxatar

37 ms·

541.
by Maxatar 2y ago
No I really just mean the plain and simple scenario. Imagine you knew nothing about escape velocity or black holes, then you would not be confused at all by the idea that an object can move away from the Earth at any speed whatsoever, so lo
542.
by Maxatar 2y ago
>Saying "one of these functions is correct" is not a decision procedure. You actually need to decide which one of them is correct. That's precisely what a decision procedure is, it's an algorithm that takes as input t
543.
by Maxatar 2y ago
The escape velocity is a nice pedagogical argument but it's completely incorrect and almost trivial to see why. You certainly don't need to actually be moving at an escape velocity in order to move against the gravitational field
544.
by Maxatar 2y ago
To be fair the blog is from the author of the paper.
545.
by Maxatar 2y ago
I went into this hoping for a mathematical thought experiment, but rather this is merely a historical thought experiment in the sense of "Wouldn't it be nice of mathematicians accepted CH early on?". It seems the big selling
546.
by Maxatar 2y ago
You certainly can and I know there are several JSON libraries that do it. The gist of it is to write a struct and overload the conversion operator for the set of return types you want to support, for example overload the conversion operator
547.
by Maxatar 2y ago
It is never undecidable to determine whether a single particular program halts or not. For any single program, one of these two functions will correctly output whether it halts or not. bool always_true(TuringMachine M) { return
548.
by Maxatar 2y ago
That is still polymorphic, but as I mentioned C++ does not do the kind of type deduction that Haskell supports so you do have to explicitly instantiate the template. However, you can instantiate it based on context, for example using declty
549.
by Maxatar 2y ago
C++ has both return type polymorphism and inheritance. What it doesn't have is the kind of type inference that Haskell has. Its type inference is very limited.
550.
by Maxatar 2y ago
The UK parliament is not subject to judicial review. Judicial review in the UK only applies to crown corporations or specific public institutions. Such a position would be considered repulsive to the vast majority of Americans.
551.
by Maxatar 2y ago
That is the specific bound. The little o is a function that aproaches 0 as n approaches infinity, referred to as asymptotically negligible.
552.
by Maxatar 2y ago
Your post is a good example of how backwards iteration is so error prone and fragile. Your reverse iteration would result in an out of bounds access as well as unsigned integer overflow which results in an infinite loop.
553.
by Maxatar 2y ago
Preact is an excellent alternative to React that keeps things minimal, understandable, and fast.
554.
by Maxatar 2y ago
>Do you think those tariffs makes Tesla prices go up or down? It would certainly make the price of a Tesla go up. >Why do retailers offer coupons? The decrease in price results in an increase in demand for the product. This is very be
555.
by Maxatar 2y ago
But that argument also doesn't hold since Tesla makes a significantly higher profit per vehicle than Toyota. Tesla's profit margins are about 12%, whereas Toyota's are about 5-7%. If what you're claiming were true you&#x
556.
by Maxatar 2y ago
If a manufacturer would maximize profits by selling a vehicle for X dollars, then they will sell their vehicle for X dollars regardless of a subsidy. Certainly a subsidy makes a product more affordable and hence increases demand for that pr
557.
by Maxatar 2y ago
It's not at all fair, because even to this day the total subsidies given the gas powered vehicles is SIGNIFICANTLY higher than those given to electric vehicles. The main difference is that the subsidies and expenditures on gas are give
558.
by Maxatar 2y ago
And that's only true if you capture by value. If you capture by reference they remain mutable.
559.
by Maxatar 2y ago
I mean it's kind of pedantic but yes hash maps do have guaranteed performance characteristics. They are not guaranteed to be O(1), but they will never be something like O(2^N) either. You can give guarantees about their performance if
560.
by Maxatar 2y ago
That it's significantly cheaper to deal with the failures than it is to prevent them.
561.
by Maxatar 2y ago
If you're a corporate customer, then you take that risk when you sign up for a month to month contract. Now usually a month to month works very well for you, but it is a risk you accept. A lot of corporate customers will seek longer te
562.
by Maxatar 2y ago
There was a trend in the late 90s and early 2000s to call everything in computing "modern", and nowadays one way you can identify that a technology is likely outdated is if it calls itself modern. While much of what's in this
563.
by Maxatar 2y ago
I don't see the significance of your statement or how it's relevant to the point. As you once again just said, you eventually , after emitting multiple electrons see the wave like properties emerge.
564.
by Maxatar 2y ago
It's not observable in just one electron, as you pointed out it takes multiple particles to be emitted before the wave like properties are observable.
565.
by Maxatar 2y ago
Technically the formula for force is F = dp/dt, or the derivative of momentum with respect to time. For particles with mass the momentum of such a particle is p = mv, and so you can use that to yield F = ma. However for a massless part
566.
by Maxatar 2y ago
I think this needs to be qualified a bit. You can make numerous observations of a single electron over a period of time and see a wave like pattern emerge, or you can take a single observation of numerous electrons and see a wave like patte
567.
by Maxatar 2y ago
Lying is a very difficult burden to prove and requires meeting several criteria: 1. Intent to deceive, so it can't just be that the statement is false but that it was intentionally false as opposed to what is likely a mistake made by a
568.
by Maxatar 2y ago
Experience in software development isn't linear so depending on which path your experience has taken it could be very insightful and useful, or it could be stuff you already know. I'd say for the vast majority of developers, exper
569.
by Maxatar 2y ago
This is untrue and creates a false dichotomy. The Supreme Court does resolve cases, and the manner in which they do so is by resolving legal questions.
570.
by Maxatar 2y ago
Step 1 is: cmake . make make install

More ›