Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
l33t7332273
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
13 ms
·
61.
▲
by
l33t7332273
2y ago
We know the primes are rich in arithmetic progressions (and in fact, any set with positive “upper density” in the primes is also rich in arithmetic progressions). So we do know that there are 100,000,000,000! primes that are equidistant fro
62.
▲
by
l33t7332273
2y ago
Less than 100 years later, we stand waiting for nuclear bombs guided by GPS to be launched when the authorization cryptographic certificate is verified.
63.
▲
by
l33t7332273
2y ago
Luckily if you do enough math it becomes much easier to reason about such spaces
64.
▲
by
l33t7332273
2y ago
Amazon’s is also a smile. I think your logo looks good, but the last thing a new business needs is the suits coming in and shutting them down
65.
▲
by
l33t7332273
2y ago
> Researchers found the method Apple uses, standard deviation of normal-to-normal, or SDNN, is the most accurate. Other brands implement a system called root mean square standard deviation, RMSSD, which Tenan said produces a wider range
66.
▲
by
l33t7332273
2y ago
They’re not even talking much of the time, they’re texting (or worse, scrolling some social media)
67.
▲
by
l33t7332273
2y ago
This is why I think managing notifications is so important.
68.
▲
by
l33t7332273
2y ago
The research in this area has been hazy at best. It’s very difficult to quantify all of the factors. It’s a disservice to pretend that WFH > RTO is “settled science”
69.
▲
by
l33t7332273
2y ago
I thought attention was all you need
70.
▲
by
l33t7332273
2y ago
I think it’s GP’s own evaluation
71.
▲
by
l33t7332273
2y ago
Just wondering if you’ve actually hidden inventions you would actually consider to be great?
72.
▲
by
l33t7332273
2y ago
Can you elaborate who “we” is and why you think more such speech js good?
73.
▲
by
l33t7332273
2y ago
Do you think there is any speech that can be dangerous to democracy? Do you think such speech should be allowed to exist?
74.
▲
by
l33t7332273
2y ago
I second this blog. The comparison of (10 different!) MIP modeling techniques for piecewise linear functions is more complete than any I’ve seen.
75.
▲
by
l33t7332273
2y ago
There are lots of areas of math grad school that are well understood. Pretty much everything up to quals (and some beyond that) is well known and teaching methods are far from absent.
76.
▲
by
l33t7332273
2y ago
I was referring to section 4 of A Survey for Solving Mixed Integer Programming via Machine Learning(2024): https://arxiv.org/pdf/2401.03244 . I’ve heard (but not so much observed) that there is substantial difference be
77.
▲
by
l33t7332273
2y ago
I an also working in OR and I have had the complete opposite experience with respect to MILP optimization(and the research actually agrees; there was a big survey paper published earlier this year showing LLMs were mostly correct on textboo
78.
▲
by
l33t7332273
2y ago
There was that Windows IPv6 no click zero day within the last couple of weeks
79.
▲
by
l33t7332273
2y ago
Some things aren’t feasible to use another language for, but I see your point. My use case is MILP optimization. Constructing the model representation(the step necessary before calling some optimizer binary) is very slow in CPython, and Pyp
80.
▲
by
l33t7332273
2y ago
I’ve just started using pypy and it is night and day better. It’s truly incredible.
81.
▲
by
l33t7332273
2y ago
I’m struggling to see your point. My interpretation is that in each of those times, we used some math to talk about things we couldn’t observe until we were able to make experiments to observe them. Are you saying that one day we will be ab
82.
▲
by
l33t7332273
2y ago
I disagree. “Results” can pretty hard to quantify in athletics, especially in team athletics. Sure, there is a binary result for a win or loss, but are so many confounders that it can be pretty difficult to determine if a given strategy, di
83.
▲
by
l33t7332273
2y ago
My intro to systems course did something similar with shared memory calls if I recall correctly
84.
▲
by
l33t7332273
2y ago
My Go is a little rusty by now, but I thought they supported some type of dynamic linking(although if I recall correctly it comes with a number of free footguns)
85.
▲
by
l33t7332273
2y ago
Many people who do know what LLM stands for (and could implement the architecture themselves) are also skeptical about why anything today is going to be better than the last 20 years of snake oil “AI”.
86.
▲
by
l33t7332273
2y ago
What objectionable thing is 0x73571C23 supposed to be?
87.
▲
by
l33t7332273
2y ago
I’m trying to come up with an intuitive reason the model would do that and I’m seeing nothing. Deep neural networks are very strange beasts.
88.
▲
by
l33t7332273
2y ago
I think that especially in CS, since applications of which touch on nearly every possible field of knowledge, computer scientists often run into trouble of assuming they know more than we do.
89.
▲
by
l33t7332273
2y ago
We ran our code on our own accounts on the school’s system.
90.
▲
by
l33t7332273
2y ago
I think this is more of a failure on the software development side than the domain specific functionality side.
More ›