Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
sukilot
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
14 ms
·
91.
▲
by
sukilot
6y ago
It's hard to say that human math is unsound when it's not even well defined. Human math sits on a substantial foundation of faith, and always will.
92.
▲
by
sukilot
6y ago
"If computer scientists are ever able to program a kind of synthetic knitting machine, he says, it still won’t rival that of humans. " If computer scientists are ever able to program a kind of running, he says, it still won’t riva
93.
▲
by
sukilot
6y ago
That's great, but not relevant to mathematicians doing their jobs.
94.
▲
by
sukilot
6y ago
GPT-3 is approximate remixes of old text. How is that at all relevant to theorem proving, which is a search problem?
95.
▲
by
sukilot
6y ago
You are describing (some of) physics, not math. Most of math is already far beyond human physical senses, and theoretical physics largely is too.
96.
▲
by
sukilot
6y ago
That's simply not true. The kinds of statements that are unprovable aren't "intuitive". Gödel provided an algorithm for creating them!
97.
▲
by
sukilot
6y ago
"Taken to the cleaners" means "forced to maintain the same economic arrangement as during the marriage". The economic power of women is largely non-mothers and married mothers' husbands. A homemaking mother with 10+
98.
▲
by
sukilot
6y ago
Because those women haven't been arrested by the police and put to death by the state. They are free to move away, get almost any job man can, and remarry. If a husband tries to prevent her from that, she can get aid from friends and t
99.
▲
by
sukilot
6y ago
[deleted]
100.
▲
by
sukilot
6y ago
It's not freedom, but it's not slavery.
101.
▲
by
sukilot
6y ago
How is that legal? (Besides the boring answer of the fundamental corruption in the concept of the corporation.) I can't outsource all my debts to a zero-net-worth friend who then declares bankruptcy.
102.
▲
by
sukilot
6y ago
Call a friend at the newspaper. Be "interesting".
103.
▲
by
sukilot
6y ago
No. All kinds of batteries explode in recycling centers, not just faulty ones.
104.
▲
by
sukilot
6y ago
Required how?
105.
▲
by
sukilot
6y ago
Vicious cycle of consumption.
106.
▲
by
sukilot
6y ago
Are they required to recycle those batteries, or merely "accept" them?
107.
▲
by
sukilot
6y ago
For the tiny fraction of people who need to change battery, just do the labor. Everyone else can enjoy a better phone until the OS is obsolete and the device is physically degraded.
108.
▲
by
sukilot
6y ago
You had to put underwear on your head and drink alcohol until you got sick?
109.
▲
by
sukilot
6y ago
What about when someone creates a loan in your name or steals your tax refund or your real estate down payment?
110.
▲
by
sukilot
6y ago
How so? Ethereum requires a computer, and it's far cheaper to compute on your computer than compute has on your computer. Ethereum is an unstoppable world chat room (ledger), maybe.
111.
▲
by
sukilot
6y ago
Sure, well written software has no vulnerabilities.
112.
▲
by
sukilot
6y ago
This is very common on Craigslist. Scammers offer arbitrary vacant properties for rent and disappear after collecting deposit and first month's rent.
113.
▲
by
sukilot
6y ago
Most title companies send those warnings via email. "Don't trust email from anyone but me." It's insane.
114.
▲
by
sukilot
6y ago
Escrow is an option. They require wires. Checks can be uncleared long after they clear (another common scam, since checks have no security model), so nobody sane accepts checks from stranges for large numbers.
115.
▲
by
sukilot
6y ago
The receiving bank is in Russia or somewhere.
116.
▲
by
sukilot
6y ago
That requires the escrow companies hire people who understand technology instead of just sales. It's a principal-agemt problem. Real estate agents hire their friends to do escrow.
117.
▲
by
sukilot
6y ago
That doesn't help. The scammer will just imitate certified instead of the escrow company. And it's yet another party that can get hacked. The solution is for the parties to talk too each other to verify their relationships, instea
118.
▲
by
sukilot
6y ago
In 1994 the Internet became widely available, exposing you to attack from 6billion people.
119.
▲
by
sukilot
6y ago
It costs you more to do the work to recover your money than you get back. The government's contribution is only the general deterrence, which has no effect to attackers from hostile nations.
120.
▲
by
sukilot
6y ago
The scam relies on absolutely insane system of financial institutions sending critical key information over email, instead of any controlled channel.
More ›