Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Kranar
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
56 ms
·
601.
▲
by
Kranar
4y ago
>This crime defrauded actual patients. It is somewhat worth pointing out that she was found not guilty of defrauding patients. She was tried on that count but found not guilty and one of the jurors has come out to say that they actually
602.
▲
by
Kranar
4y ago
Fair point, but there are also a lot of people, me included, who don't care too much about the fact that she's not a danger to society and instead want to see a punishment that would deter future corporate executives from thinking
603.
▲
by
Kranar
4y ago
The reason some languages use "let name: type" instead of "type name" is to eliminate various ambiguities, for example C++'s most vexing parse, or the classic C typedef ambiguity where a statement like "X * Y&q
604.
▲
by
Kranar
4y ago
Yep absolutely, almost all of them are more powerful than PDAs and in fact Perl's are Turing complete.
605.
▲
by
Kranar
4y ago
The complaint in the article says that Meta is required to consider the impact of its actions on the diversified portfolios held by its shareholders. The plaintiff asserts that it's not about having a detrimental impact on a generic di
606.
▲
by
Kranar
4y ago
Sure we can go over both cases: Case 1: Growth factor of 2 and an initial size of 10 bytes. Start with an initial allocation of 10 bytes of memory. On growth allocate 20 bytes and release the 10 bytes, leaving a hole 10 bytes. On growth all
607.
▲
by
Kranar
4y ago
I know I should interpret every comment in good faith, but it really is hard to understand how you can read my comment and make such a reply. It feels like you didn't actually take the time to understand what I said or even read the ar
608.
▲
by
Kranar
4y ago
The optimal growth factor is the golden ratio (1.6), in practice many vectors use a growth factor of 1.5. The reason for not going above the golden ratio is that it prevents any previously allocated memory from ever being reused. If you are
609.
▲
by
Kranar
4y ago
I don't think this lawsuit has much merit, but the lawsuit is arguing against damages to an overall portfolio. If a diversified portfolio consisting of Coca Cola and Pepsi was on the whole damaged due to the actions of Coca Cola agains
610.
▲
by
Kranar
4y ago
I think you should stop trying to justify racism on pseudoscientific grounds and just making up silly unfounded excuses for such behavior.
611.
▲
by
Kranar
4y ago
Ooooooh not at all. MSVC does "support" most features but they are full of issues. MSVC's development seems focused mostly on ticking off boxes, whereas GCC is focused on actually implementing things properly and not releasin
612.
▲
by
Kranar
4y ago
Spotty is an understatement, concepts and coroutines are still very buggy and inconsistent between compilers as well. GCC and MSVC released an initial version of concepts two years ago that was far from complete. It's much better today
613.
▲
by
Kranar
4y ago
Stand up in court? Sometimes I wonder if people genuinely stop and listen to themselves before they hit the reply button.
614.
▲
by
Kranar
4y ago
No this is also wrong. You would not be able to add an axiom like 'BB(8000) is 6' or just any arbitrary value without introducing an inconsistency. The reason for the independence of BB(8000) from ZFC is precisely because there is
615.
▲
by
Kranar
4y ago
No, what you will have is a proof that ZFC is sound but that proof will not be within ZFC. That proof will rely on additional axioms that are extensions to ZFC.
616.
▲
by
Kranar
4y ago
What a sad excuse of a reply. Just have the decency to admit you have no source, maybe you misheard something, instead of doubling down on your ignorance. It's unbelievably pathetic otherwise.
617.
▲
by
Kranar
4y ago
No you can't conclude this and in fact the more general principle is that being able to prove P(0), P(1), P(2), etc... does not mean that it's also possible to prove P(n) for all n. The property of a formal system for which this d
618.
▲
by
Kranar
4y ago
I feel like even after I point out the subtlety, people just read right past it and still don't recognize it. Nothing in your source contradicts anything I've said.
619.
▲
by
Kranar
4y ago
I love that article but that does not state what you are claiming it does. What that states is that there exists a k (whose upper bound is 8000) whose solution is independent of ZFC. That does not mean it can't be computed. In the very
620.
▲
by
Kranar
4y ago
Fair enough, one misconception I always hear from people learning about Godel's incompleteness theorem or the halting problem is that it means there exist algorithms where we can never know if it halts or not. Like there's some li
621.
▲
by
Kranar
4y ago
If you recall from predicate logic, these two statements are not the same: 1) For all Turing Machines A, there exists a Turing Machine M such M can compute whether A halts. 2) There exists a Turing Machine M such that for all Turing Machine
622.
▲
by
Kranar
4y ago
Don't think this article is correct when it says that Omega can't be computed to arbitrary precision, it certainly can be. While it's true that there is no algorithm that can compute BB(n) for all n, it is always possible to
623.
▲
by
Kranar
4y ago
I'm not the one making a point in this thread, I'm refuting the laughably false point that the other person made that the NES, Gameboy, and Playstation were mismanaged and ended up costing their respective companies significant su
624.
▲
by
Kranar
4y ago
That sounds about right, as someone who started and runs their own company. Having a decent idea for a product, being able to learn and having experience are good skills to have but they are not important towards the building of a company a
625.
▲
by
Kranar
4y ago
Can you please link to a Youtube video or article indicating that Nintendo management thought the Gameboy or NES would be a failure or that Sony thought that the Playstation would be a failure. I am looking at some quick sources that I can
626.
▲
by
Kranar
4y ago
The first NES and Playstation were MASSIVE successes for their respective companies, as was the Gameboy. In fact, the NES is credited with single handedly putting an end to the video game crash of 1983. The Gameboy sold out in a matter of w
627.
▲
by
Kranar
4y ago
XBox is a great example of horrible mismanagement that cost Microsoft many billions of dollars, was almost abandoned, and went through a very rocky path to get to where it is today which is still frankly not that great of a position (it lag
628.
▲
by
Kranar
4y ago
Windows 98 used a gradient for its title bar [1]: https://microsoft.fandom.com/wiki/Windows_98?file=W98-2.png
629.
▲
by
Kranar
4y ago
>Why isn't every candidate in front of you a competent software developer? If every candidate in front of me were competent enough to fulfill the role, I wouldn't need an interview process period. For some hires there's no
630.
▲
by
Kranar
4y ago
When discussing legal matters, please avoid making statements like this: "What I gave is pragmatic advise for a normal person in general situations." Avoid purporting to give people legal advice if you are not a subject matter exp
More ›