Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
cheesecompiler
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
61.
▲
by
cheesecompiler
1y ago
The overarching point still stands: our formal systems are just models built to describe the patterns we observe. In that sense, math “just is.” The fact that some models aren’t compatible with others doesn’t undermine that—it just shows th
62.
▲
by
cheesecompiler
1y ago
The reverse is possible too: throwing massive compute at a problem can mask the existence of a simpler, more general solution. General-purpose methods tend to win out over time—but how can we be sure they’re truly the most general if we com