Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Maxatar
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
15 ms
·
301.
▲
by
Maxatar
1y ago
Live poker is significantly more popular now than ever. Every major tournament has seen record participants, Vegas has bigger poker rooms than ever before, and I'd say anecdotally local poker clubs are packed compared to anytime I can
302.
▲
by
Maxatar
1y ago
Just keep in mind, the kernel trick is a way to transform a data set so that "linear things work better"... although that's very vague I mean sure it's passable but it's also different from what was originally poste
303.
▲
by
Maxatar
1y ago
In my country, which is capitalist, artists of all kinds are basically very poor, yes. I don't see how this relates to South Korea, maybe it's the same maybe it's not. What familiarity with South Korea do you have to be able
304.
▲
by
Maxatar
1y ago
The kernel trick is a technique used in data classification that involves mapping the points into a higher dimensional space and then finding a linear separation in that higher dimension. It's not about finding a line of best fit or ma
305.
▲
by
Maxatar
1y ago
I am also not familiar with how it works in South Korea, do you have any insight?
306.
▲
by
Maxatar
1y ago
The license specifies that it must be the source code. Binaries are not sufficient.
307.
▲
by
Maxatar
1y ago
Yes that's true, if it's a non-public compiler, linker, operating system, or whatever... then the source code for all of those need to be provided.
308.
▲
by
Maxatar
1y ago
That's just it. In my company there are basically three sets of developers. The very experienced ones prefer vim/emacs. The experienced ones tend to like these more established IDEs, and the younger developers absolutely hate thes
309.
▲
by
Maxatar
1y ago
>at least object files and infrastructure so that i can relink my changed LGPL code to your application. This part is true but I'd like to emphasize that the infrastructure is on the user to acquire. The distributor of the applicati
310.
▲
by
Maxatar
1y ago
It's as easy as building the project in the first place. Anytime you build your application you also build the object files for it as well. As an end user having to take those object files and relink them can be difficult for sure, but
311.
▲
by
Maxatar
1y ago
The Sapir Whorf hypothesis has long been debunked: https://en.m.wikipedia.org/wiki/Linguistic_relativity
312.
▲
by
Maxatar
1y ago
Tell it not to write so many comments then. You have a great deal of flexibility in dictating the coding style and can even include that style in your system prompt or upload a coding style document and have Gemini use it.
313.
▲
by
Maxatar
1y ago
Yes it has: https://nvd.nist.gov/vuln/detail/cve-2021-3156
314.
▲
by
Maxatar
1y ago
There is no singular "it". I am responding to someone else who came to understand Hawking radiation through a thought experiment that Hawking himself described for pedagogical purposes. A brief description of that thought experime
315.
▲
by
Maxatar
1y ago
You didn't say anything dumb whatsoever. Your explanation of it comes from Hawking himself but it was more for illustrative purposes rather than a rigorous description of it. At any rate, even taking your description which certainly ha
316.
▲
by
Maxatar
1y ago
The radiation you talk about, Hawking radiation, does not come from inside of the black hole. It is caused by the black hole but it is formed from beyond its event horizon.
317.
▲
by
Maxatar
1y ago
No additional axioms are needed for the existence of these models. On the contrary additional axioms are needed in order to eliminate them, and even still no amount of axioms can eliminate all of these extensions without introducing an inco
318.
▲
by
Maxatar
1y ago
Interpretation under full second‑order logic is not intrinsic to the logic itself but is always supplied by a richer meta‑theory, usually set theory/ZF. The sentence "All subsets of N" has no standalone meaning in second-orde
319.
▲
by
Maxatar
1y ago
This isn't correct. While it's true that in second order logic the natural numbers admit categoricity, second order logic lacks axiomatic semantics. So yes, there is a single set which can be called the natural numbers in second o
320.
▲
by
Maxatar
1y ago
Yeah for sure. If a sentence S is undecidable from your axioms for the natural numbers then there are two models A and B satisfying those axioms where A satisfies S and B satisfies not S. So which one is the standard natural numbers, is it
321.
▲
by
Maxatar
1y ago
There's no shortage of blog posts on the topic, but here is one that is fairly rigorous but doesn't assume too much background knowledge: https://risingentropy.com/a-result-on-the-incompleteness-of-...
322.
▲
by
Maxatar
1y ago
I mean it's logically impossible to formally and specifically define the natural numbers without introducing a logical inconsistency. The best you can do is define a set that has all the properties of natural numbers but will also defi
323.
▲
by
Maxatar
1y ago
Correct, it's impossible to specifically and formally define the natural numbers so that addition and multiplication work. Any definition of the natural numbers will also define things that look very similar to natural numbers but are
324.
▲
by
Maxatar
1y ago
The statistics show that the 2% comes from breakage/slippage, micropores and manufacturing defects: https://www.contraceptionjournal.org/article/S0010-7824(04)0...
325.
▲
by
Maxatar
1y ago
The statistics are based on real world experience rather than theoretical best case. Not to pick on you but really surprised to hear people confidently express so much misinformation on this topic when it's not even particularly hard t
326.
▲
by
Maxatar
2y ago
He hasn't fundamentally changed his mind. What he's doing is taking what he fundamentally believes and finding more and more elaborate ways of justifying it.
327.
▲
by
Maxatar
2y ago
Of course an EO can undo it. The law gives the President the authority to grant a possible 90-day extension.
328.
▲
by
Maxatar
2y ago
>... has always struck me as somewhat of an odd complaint. On the contrary I'd argue that the idea that any arbitrary bug can have any arbitrary consequence whatsoever is odd. There's nothing odd about expecting that the extent
329.
▲
by
Maxatar
2y ago
From what I see, that book was published in 1988.
330.
▲
by
Maxatar
2y ago
I don't see where the article says that it will get rid of that. The article simple says: >UB optimizations also just create mysterious ordinary bugs, such as ... “time travel” optimizations that change code that precedes the point
More ›