Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
joshcohen
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
joshcohen
10y ago
Thank goodness you shared your opinion.
2.
▲
by
joshcohen
10y ago
Do you know why share count decreased? I was under the impression that new shares have been continuously issued.
3.
▲
by
joshcohen
10y ago
Why is it OK to burden one group of people (visitors) but not another (residents)? There's something missing in your argument.
4.
▲
by
joshcohen
10y ago
I'm curious why you desire 12 month leases over, say, 4 month leases. What's the major difference from an owner's perspective?
5.
▲
by
joshcohen
10y ago
Indeed!
6.
▲
by
joshcohen
10y ago
When I visited NY recently I found that hotel pricing was competitive with AirBnB. Some people prefer AirBnB so they can feel like they live in the cities they're visiting, this certainly sucks for them.
7.
▲
by
joshcohen
10y ago
Why?
8.
▲
by
joshcohen
10y ago
One candidate has repeatedly been dishonest and suspected of corruption while in government previously (and honestly, the list goes on and on). If people don't take a stand against this type of thing, it is a tacit acceptance. No it is
9.
▲
by
joshcohen
10y ago
Although P_n can't be computed in anything like n steps.
10.
▲
by
joshcohen
10y ago
I'm not an author but this property with respect to a universal 'semimeasure' holds in the limit as time goes to infinity, as do most stated properties of logical inductors. The fact that they're computable is academic.
11.
▲
by
joshcohen
10y ago
In this setting we're using discrete probabilities so we don't have to worry:)
12.
▲
by
joshcohen
10y ago
It's not clear if there are any practical applications to automated theorem proving (and that's not the goal of the work). This is primarily motivated by very "theoretical" decision theory.
13.
▲
by
joshcohen
10y ago
Solomonoff induction is useful because without it there's no model of induction with infinite computational resources. "Logical induction" is not useful in the same way because without it we already have such a model: simply