Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
qbit42
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
31.
▲
by
qbit42
6mo ago
What? Why is that a false choice? The only way you got caught here is if you literally gave an LLM the PDF and used its response verbatim. And they didn't give a permanent ban or anything, these authors can just resubmit to another con
32.
▲
by
qbit42
6mo ago
Banned for life is a stretch but the actual response is completely fine. They can just resubmit to the next conference. Words mean something, if you promise to uphold a contract and break it, there are consequences. The reviewers were free
33.
▲
by
qbit42
8mo ago
Loads of researchers have only used LaTeX via Overleaf and even more primarily edit LaTeX using Overleaf, for better or worse. It really simplifies collaborative editing and the version history is good enough (not git level, but most people
34.
▲
by
qbit42
8mo ago
Our democracy is clearly disfunctional. I believe corporate money has played a big role to make it worse.
35.
▲
by
qbit42
8mo ago
https://noambrown.github.io/papers/22-Science-Diplomacy-TR.p...
36.
▲
by
qbit42
9mo ago
I see. You seem quite sure that Iran is not doing this - do you have some local source of information? My friends there said the government does shut down the internet at times (but I am not currently in communication with them...)
37.
▲
by
qbit42
9mo ago
They did shut down the Internet. I cannot communicate with some Iranian friends right now.
38.
▲
by
qbit42
9mo ago
You think many are built without any assistance for coding? My impression was that people were mostly concerned about game assets like graphics and music
39.
▲
by
qbit42
9mo ago
It is nicer to state theorems that hold for all vector spaces, so mathematicians like to invoke AoC. However, in any applications that are practically relevant, you can obtain a basis without invoking AoC.
40.
▲
by
qbit42
10mo ago
Netflix wasn't buying CNN.
41.
▲
by
qbit42
10mo ago
I don’t think many researchers take peer review alone as a strong signal, unless it is a venue known for having serious reviewing (e.g. in CS theory, STOC and FOCS have a very high bar). But it acts as a basic filter that gets rid of obviou
42.
▲
by
qbit42
10mo ago
That is a fair assessment. By and large it is used for the former. It is super handy in the exploratory phase of certain kinds of mathematical research.
43.
▲
by
qbit42
10mo ago
I don't want to have to create an account to view the full context.
44.
▲
by
qbit42
11mo ago
Sometimes statistical rates for empirical risk minimization can be related to the intrinsic dimension of the data manifold (and noise level if present). In such cases, you are running the same algorithm but getting a performance guarantee t
45.
▲
by
qbit42
11mo ago
Why? They're providing food for stray cats.
46.
▲
by
qbit42
1y ago
Is this falsifiable? I would be hesitant to claim that this is unique to humans. I'd probably agree with dogs, but the line is much blurrier with primates, for example.
47.
▲
by
qbit42
1y ago
I know lots of people annoyed by ads, but I also have family that buy things advertised on Instagram all the time.
48.
▲
by
qbit42
1y ago
Typst seems like an improvement in many respects, but I definitely prefer LaTeX when working with detailed math equations (most of my use of LaTeX). I think there is a lot of inertia for anything to replace LaTeX for mathematical research.
49.
▲
by
qbit42
1y ago
Is this true on Mac? Usually I am notified when programs request access outside the normal sandboxed or temp folders. Not sure how that works in any detail though.
50.
▲
by
qbit42
1y ago
Who is interning for free as a software engineer?
51.
▲
by
qbit42
1y ago
I think formal systems like Lean are still extremely interesting. And I would imagine that, if these machines get good at standard "informal" proofs, that the overhead of formalization would be a lot less painful for them than hum
52.
▲
by
qbit42
1y ago
Why was it disbanded?
53.
▲
by
qbit42
1y ago
I'm all for high quality captions, and turn them on occasionally when dialog is hard to hear (or in another language, usually prefer to dubbing). I also don't doubt that they improve comprehension. But on average I find them distr
54.
▲
by
qbit42
1y ago
Yeah in context I somewhat agree, though the utility for graphics applications probably comes down to some more empirical aspects that I won't conjecture about. I imagine there is some stuff you could do in this setting by incorporatin
55.
▲
by
qbit42
1y ago
If a function is Lipschitz, then it is differentiable almost everywhere by Radamacher's theorem. Moreover, if you want to prove things about Lipschitz functions, you can often (though not always) prove things about continuously differe
56.
▲
by
qbit42
1y ago
Any reasonable statistical explanation of deep learning requires there to be some sort of low dimensional latent structure in the data. Otherwise, we would not have enough training data to learn good models, given how high the ambient dimen
57.
▲
by
qbit42
1y ago
Loss landscapes can be viewed as manifolds. Adagrad/ADAM adjust SGD to better fit the local geometry and are widely used in practice.
58.
▲
by
qbit42
1y ago
So much funding is being paused and cut though, who's to say if your field of study will still have federal funding in 1,2,4 years? This lack of funding stability is making US academia way less appealing.
59.
▲
by
qbit42
2y ago
Let's hope they're not correlated.
60.
▲
by
qbit42
2y ago
Quiver exports to tikz-cd for what it’s worth. Not sure how readable the code tends to be though
More ›