Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Kranar
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
42 ms
·
511.
▲
by
Kranar
4y ago
Casinos do not now nor have they ever pumped oxygen into their buildings. It's nothing more than a myth.
512.
▲
by
Kranar
4y ago
Can you name them? Even the academic/research ones or the barebones embedded kernels I'm familiar with use extensions to get things like context switching/multitasking/threading to work.
513.
▲
by
Kranar
4y ago
I don't think they're saying it crashes. They're suggesting that they have buffers of data that fill up during periods of high load, and when those buffers get full they have to drop any new incoming requests until the buffer
514.
▲
by
Kranar
4y ago
You got it, absolutely. So yes there are models where as far as the model is concerned there is a set that satisfies the axioms of real numbers, and furthermore all elements of that set are actually definable (but not definable from within
515.
▲
by
Kranar
4y ago
Depends what you mean by without AOC. If you just mean whether Banach-Tarski can be proven in ZF the answer is no. But you also don't need the full power of AOC to prove Banach-Tarski.
516.
▲
by
Kranar
4y ago
We need to be careful with the language here. It's not true that there are models of ZFC where the real numbers are actually definable. What's true is there are models of ZFC where what is considered a "real number" from
517.
▲
by
Kranar
4y ago
LLVM? Yes. Clang? No. The front-end compiler and standard library are written from scratch, but it uses LLVM as the backend. The standard library is not yet complete, but it's amazing how it uses Circle's unique features to implem
518.
▲
by
Kranar
4y ago
You might mean something like if you restrict the set of all valid inputs to N characters then the language is regular, but that's a much stronger condition than requiring the input to be finite. Furthermore, such a restriction makes t
519.
▲
by
Kranar
4y ago
The author of that comment was incorrect though. Page 18 of the PDF shows that it was an arbitrarily hardcoded number encoded in a BigDecimal, has nothing to do with 16 bit integers. Furthermore the limit was 65*3*55... whereas the max 16-b
520.
▲
by
Kranar
4y ago
My position is to remain highly skeptical of this story. The single source of this entire anecdote comes from a book written by A&W's owner at the time (Alfred Taubman) that is left almost intentionally vague and has a clear confli
521.
▲
by
Kranar
4y ago
It was A&W and it's almost certainly BS. The only source for this was a single restaurant that hired a marketing firm to identify the reason for the failure. The marketing firm conducted a single focus study, whose methodology rema
522.
▲
by
Kranar
4y ago
>What in the world counts as "serious" to some of you people? For a programming language? Would be good to know what projects have used it. Most languages people develop are done as either a hobby or to serve some kind of resea
523.
▲
by
Kranar
4y ago
There are way more trades than those conducted on NYSE, or even the other lit markets. You have a multitude of dark pools that count for approximately 13% of all consolidated trading volume as well as internal matching that counts for 18% o
524.
▲
by
Kranar
4y ago
> But are they really putting $70b down in cash for Activision? Yes it's all cash. https://news.microsoft.com/2022/01/18/microsoft-to-acquire-a...
525.
▲
by
Kranar
4y ago
Can you cite a source to a claim that multiplication tables are racist? All I managed to find was one book called "Multiplication is for White People." but it's not actually about multiplication tables or even math specifical
526.
▲
by
Kranar
4y ago
The question was not about the general claim regarding childhood education and the multitude of ways that children can learn mathematics. A specific claim was made that matrix multiplication is racist. Children don't learn about matric
527.
▲
by
Kranar
4y ago
I did just that and none of the search results on the first page include the word matrix anywhere.
528.
▲
by
Kranar
4y ago
Boost had a type-safe printf function dating back to October 10th, 2002: https://www.boost.org/doc/libs/1_31_0/libs/format/
529.
▲
by
Kranar
4y ago
For anyone else reading this, do not ever get into a conversation about family during an interview. That is just straight up making yourself a target for engaging in discriminatory hiring practices.
530.
▲
by
Kranar
4y ago
The world-wide-web back in the 90s was a very weird place and tons of people thought it would amount to nothing more than a fad, including a Nobel Prize winning economist: https://i.redd.it/tcwp3xnsewo21.jpg Back then, it w
531.
▲
by
Kranar
4y ago
In Ontario, Canada, you can absolutely reduce someone's pay and/or demote them without cause, but you must do so with notice. That is you can't immediately reduce someone's pay on the spot but instead have to inform them
532.
▲
by
Kranar
4y ago
Get-AppXPackage *WindowsStore* -AllUsers | Foreach {Add-AppxPackage -DisableDevelopmentMode -Register "$($_.InstallLocation)\AppXManifest.xml"}
533.
▲
by
Kranar
4y ago
Never take what people on this site say at face value. If someone is unwilling to provide sources, it's usually a sign they are hiding something and you should put in some effort to independently verify their claims with reputable sour
534.
▲
by
Kranar
4y ago
The EPA does a good job of debunking the persistent myth you're spreading about the manufacturing process of electric cars. https://www.epa.gov/greenvehicles/electric-vehicle-myths#Myt...
535.
▲
by
Kranar
4y ago
Not everyone is a serial liar, don't assume people can't give real reasons for deficiencies in their resume.
536.
▲
by
Kranar
4y ago
Makes it behave very similarly to GPL. LGPL requires any derivative to allow a user of that derivative to substitute the LGPL'd portion with a modified version. It's very difficult to perform such a substitution without providing
537.
▲
by
Kranar
4y ago
Makes writing lock free data structures a heck of a lot easier. Entirely eliminates the ABA problem.
538.
▲
by
Kranar
4y ago
Ignoring the abhorrent treatment of women in Iran, using the current protest as a measure of popularity would be as faulty as using the Occupy Wall Street protests as a measure of popularity, or in Canada, the Convoy Protests. Unfortunately
539.
▲
by
Kranar
4y ago
Yep, exactly what I thought you'd say. Too embarrassed to just admit you were an intern or worked there for a year or less.
540.
▲
by
Kranar
4y ago
Figures you won't reply. You're whole "I'm not sure what you're confused about..." was nothing more than a way for you to save face about sprouting BS and exaggerating what you know.
More ›