Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
bitdizzy
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
121.
▲
by
bitdizzy
6y ago
I don't think the quote in the OP is talking about Plato's works or conduct, but how Plato figures into a modern person's, Geoffrey West's, relationship to history. In that context, I don't understand the relevance
122.
▲
by
bitdizzy
6y ago
Length of support is not my only concern, but even if it were, I would prefer to have a phone that works until its hardware is literally incompatible with the network, even if I have to keep it up to date myself.
123.
▲
by
bitdizzy
6y ago
Thank you for submitting this as it reminded me to check the support status of my phone and it turns out that support ended in March this year. I suppose now I have to get a new phone. I don't think I will be getting another Android or
124.
▲
by
bitdizzy
6y ago
I don't think coding theory is that esoteric. I would expect many, but perhaps not a majority, of people with a computer science or mathematics education to have studied its basics. Its prerequisites are not too steep and of course it
125.
▲
by
bitdizzy
6y ago
Do you want to count Democritus and indivisible constituents of matter?
126.
▲
by
bitdizzy
6y ago
Yeast and Lactobacillus are the best friends you never knew you had.
127.
▲
by
bitdizzy
6y ago
It depends on what you mean by right category. It is true that vector spaces identify certain constructs that linear logic distinguishes, but it doesn't identify everything so it still has some interesting content. Finding models that
128.
▲
by
bitdizzy
6y ago
The reasoning is sort of a technical analogy. Linear Logic was discovered by an analysis of the structure of Coherent Spaces, which are a model of Intuitionistic logic distilled from Scott domains. Jean-Yves Girard realized that function sp