mikorym

19 ms·

181.
by mikorym 6y ago
While I don't know much about phones and suppose you are correct there, I have been disappointed with the hardware that they pushed to their macs the last 5 or so years. For instance, why did they ship newer macs without upgrading to t
182.
by mikorym 6y ago
I actually had to explain this to people that listen to my music. I get ~$0 per month from Spotify and when I told this to one of my friends (who listens to my music) they were like: "But I pay $10 a month!". Then I had to explain
183.
by mikorym 6y ago
You take x seconds listened that month, and distribute to artists a , b and c . As a nice easter egg, I mean distributivity in the mathematical sense. y.x = y .(seconds(a) + seconds(b) + seconds(c)) = y .seconds(a) + y .seconds(b
184.
by mikorym 6y ago
It's weird how this reminds me of the last two years of the newest changes in UIs. I think it was Windows 10 that brought back minimalist borders (as opposed to Windows 7)? I am not sure whether I am imagining this.
185.
by mikorym 6y ago
I think there should be a music service that works exactly like Spotify / Apple Music / Google Music but with these differences: 1. No free tier 2. Your views determine which artists get your money. AFAIK all of the above mentione
186.
by mikorym 6y ago
Wait, how do you get from function spaces to the double-slit experiment? Or is it just for illustration of two moments... With regards to your message, I think it's impossible to say whether another person understands something well fr
187.
by mikorym 6y ago
I think that is why you should choose your Linux flavour well? Perhaps the argument is that developers (especially ones that deploy to production) should better choose theirs? I think being able to change anything and everything is a philos
188.
by mikorym 6y ago
There were other kinds of "anti" things in the USSR, like antisemitism. I think the whole of the Eastern block had a tendency to be better at mathematics since you only need your own mind and maybe a textbook and a mentor. South A
189.
by mikorym 6y ago
I don't think this about a lack of interest. There have been some lengthy discussions on HN about vertical search and how Google doesn't always buy up a small company; they litigate.
190.
by mikorym 6y ago
I think these programmers were forced to understand their subject matter much better than today. Say for (a silly) example you want the first 10 000 digits of Pi. It's pretty easy to just store that today. But back then you didn't
191.
by mikorym 6y ago
This makes sense to me for private or public companies where the owners are also employees or otherwise benefit. It doesn't necessarily make sense for me if you are a very small stakeholder.
192.
by mikorym 6y ago
> The world’s most powerful supercomputers include the Cray Y-MP C90, the Thinking Machines CM-5, the Hitachi S-820/80, the nCube, the Fujitsu parallel machine, the Kendall Square Research parallel machine, the nec SX-3, the Touchst
193.
by mikorym 6y ago
Why do a majority of publicly traded companies not pay dividends? I've noticed before that for many companies by identifier (ISIN, SEDOL, CUSIP, take your pick) that there are no dividend histories. The only example that I know the rea
194.
by mikorym 6y ago
So I am guessing that the reason why this doesn't look like a sattelite dish is because 1) the focal point is not in the centre and 2) the ball doesn't rebound in straight lines. Oh shoot, he does actually explain this exactly. He
195.
by mikorym 6y ago
You can always generate substructures with closure properties. The subobject structure comes from all the subobjects—so it is the default logic of the topos. Of course you can do the same thing here as you mentioned since it is a Heyting
196.
by mikorym 7y ago
You shouldn't be mapping propositions, you should be mapping theories. See my comment below on the internal logic of a topos. What you are referring to as a proposition is an element of the Heyting algebra or the Boolean algebra.
197.
by mikorym 7y ago
I think you are right about the comment about linear logic. I must be confusing A U A with A U ^A. I checked the paper that I was thinking about and the condition that I saw there is distributivity being dropped rather than double negation
198.
by mikorym 7y ago
When you separate internal and external logic, for example in topos theory, the external logic is still classical. For example, any topos has internal logic on subobjects of at least a Heyting algebra. In some cases you specialise to a Bool
199.
by mikorym 7y ago
Complex numbers have the same cardinality as the reals.
200.
by mikorym 7y ago
"Oats is the food of horses in England and men in Scotland. And where do you find finer horses and finer men?" —An old Scottish engineer who didn't like me because as a wee lad I used to ask him things like: "How do you
201.
by mikorym 7y ago
The reason why intuitionist mathematics is useful in QM is because it can be viewed as resource based logic. But remember that (as far as I know) you can do intuitionist mathematics in classical mathematics, but not the other way around.
202.
by mikorym 7y ago
They are necessary for the continuum. If you throw away real numbers, then you lose major things in physics. I think for example you lose the wave function in QM. It is not a question of whether they exist in nature, but rather whether they
203.
by mikorym 7y ago
The personal expression can get very far too, further than perhaps an advanced alien race may know. Supposing an alien race never discovered category theory, their mathematics could still be more advanced than ours, but perhaps more verbose
204.
by mikorym 7y ago
I can see why the author had difficulty publishing the article. If I didn't realise that he was talking about compactness I would have thought that he wasn't making sense. The target audience is a nontrivial subset of people and i
205.
by mikorym 7y ago
Not bounded means that if you give me a number x then there is some y that is bigger than x . So, in the context of the paper, if you thought that your computer always made a decision after a week, then there is some situation whereby
206.
by mikorym 7y ago
I find that even in the workplace, amongst people who are not billionaires, there is a clear tendency for people to be utterly disinterested in technical work. Everyone has a reason for the things they do, and I don't think the answe
207.
by mikorym 7y ago
Not OP, but have a look at sourcehut.com; it used to be sr.ht if the name is unfamiliar. The latter URL is still used internally for some parts of it.
208.
by mikorym 7y ago
I don't think that monoculture (or agriculture in 2020) is a problem in of itself. The problem is producing food, and science attempts to improves the efficiency. The methods that work so far are things like crop rotation, and anything
209.
by mikorym 7y ago
In your same reference: > Olive varieties. Speed things along by choosing the right cultivar. Olea europaea "Rubra" not only can begin producing fruit in its second year, but it also bears prolifically and is a relatively ear
210.
by mikorym 7y ago
I think the point is not that European production could not be seriously hampered, but that these threats happen more often than we tend to realise. As a side comment: Xylella fastidiosa is worse than Tuta absoluta in terms of the time

More ›