Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
oh_my_goodness
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
61.
▲
by
oh_my_goodness
7mo ago
Absolutely. The fact that they know your app better than you do, and that they can revoke your ability to develop it at any moment, those are just details. Those things won't change the game at all.
62.
▲
by
oh_my_goodness
7mo ago
Yeah, and the big guys can't steal your customers. What a crazy idea.
63.
▲
by
oh_my_goodness
7mo ago
I don't know how many. I do it, because otherwise I'm overpowered by the urge to strangle the little suck-up.
64.
▲
by
oh_my_goodness
7mo ago
Very clear intro to this notoriously slippery area.
65.
▲
by
oh_my_goodness
7mo ago
It's not just a thought experiment. You can google how to do this and it works pretty well.
66.
▲
by
oh_my_goodness
7mo ago
Sky found to be blue
67.
▲
by
oh_my_goodness
7mo ago
Examples in TFA and at least one in the thread. Or say 4-quadrant atan might be simpler or less simple than 2-quadrant atan, depending on what you're doing next. Lots of stuff like that. Is a factored polynomial simpler than unfactored
68.
▲
by
oh_my_goodness
7mo ago
Employees are not victims. Sounds like a universal principle.
69.
▲
by
oh_my_goodness
7mo ago
Exactly. You have to manifest at a high vibrational frequency.
70.
▲
by
oh_my_goodness
7mo ago
"aren't you part of the problem?" Yes? In the same way any victim of shoddy practices is "part of the problem"?
71.
▲
by
oh_my_goodness
7mo ago
Not in general. As people have pointed out elsewhere, it's true if x is real. That isn't always a helpful assumption. (When x is real you can plug that assumption into Mathematica. Then Mathematica should agree with you.) But cons
72.
▲
by
oh_my_goodness
7mo ago
This is sometimes helpful. But more often it has very little overlap with what I need when I "simplify" some math. "Simplify" is a very old term (>50y) in computer algebra. Its meaning has become kind of layered in th
73.
▲
by
oh_my_goodness
7mo ago
It doesn't, because we might consider different outputs "simple" depending on what we're going to do next.
74.
▲
by
oh_my_goodness
7mo ago
Possibly you might be missing the point. Unless maybe this comment is subtle humor?
75.
▲
by
oh_my_goodness
7mo ago
Yeah, hiding the recipes for how the math is really done would make the whole system kinda guess-and-hope for serious users.
76.
▲
by
oh_my_goodness
8mo ago
His rebuttal? His critics' rebuttal?
77.
▲
by
oh_my_goodness
8mo ago
What's your take on TFA then?
78.
▲
by
oh_my_goodness
8mo ago
If the first example was "monkey wrench" instead of "boiling water", we'd never have seen the article.
79.
▲
by
oh_my_goodness
8mo ago
What a weird, bitchy article. Knuth might be wrong but I gave up.
80.
▲
by
oh_my_goodness
8mo ago
FDIC limits are very clearly spelled out. Ignoring them is known by high-school kids to be risky behavior.
81.
▲
by
oh_my_goodness
8mo ago
Of course it's not secret, but they do. Read almost any other comment here.
82.
▲
by
oh_my_goodness
8mo ago
I said something very specific. You can refuse to compare 2kB to the size of the human brain, but that has nothing to do with me.
83.
▲
by
oh_my_goodness
8mo ago
TFA describes a 2kB program can play a human game against humans, and sometimes win.
84.
▲
by
oh_my_goodness
8mo ago
Not really. You have to see it for yourself. (Partial answer, 2kB is a very small fraction of what we'd like to think counts as human.)
85.
▲
by
oh_my_goodness
8mo ago
If you ever spent much time at a chess club, you've seen why 2kB is a really disturbing number.
86.
▲
by
oh_my_goodness
8mo ago
The idea that the US operates under a system of laws is now too controversial for HN.
87.
▲
by
oh_my_goodness
9mo ago
A little reward for anyone who was affected by the outage?
88.
▲
by
oh_my_goodness
9mo ago
I think it's reasonable to ask whether LLMs formalize theorems correctly. And I'm not sure that saying "this one is easy" answers that question.
89.
▲
by
oh_my_goodness
9mo ago
"Are you an expert?" is a perfectly respectful question.
90.
▲
by
oh_my_goodness
9mo ago
Everyone has a different perspective, based on their math background. From the OP's perspective, the formalization of this problem statement was apparently worth talking about. On the other hand, for you it's just a homework probl
More ›