HN user

nnamtr

76 karma
Posts0
Comments30
View on HN
No posts found.

Fortunately, they'll never happen. How are you supposed to get your connecting regional train if it doesn't stop at the same station? And it's often a huge advantage of rail that your journey starts and ends near the city center.

I once wrote a brainfuck interpreter in Haskell which executes even incomplete programs as far as possible. It was really easy thanks to streaming ByteStrings and lazyness in general.

All formulas and statements are expressed in first-order logic. It has no such phrase as "pick". But picking (in the axiom of choice) means: Finding a function that maps every set to an element of this set.

What is a function: It's a set of tuples where every tuple (x, y) means: x is mapped to y. Of course there must be exactly one tuple for every "x".

(Tuples btw are usually a short notion for {{x}, {x,y}}. They exist always by the axiom of pairing. By the axiom of extensionalty, they fulfill the universal property of pairs, i.e. (x, y) = (z, w) iff x = z and y = w.)

Assume x is a single nonempty set. Picking means: Finding a function {x} -> x. But this is easy: ∃y(yϵx) because x is nonempty, and then we can build our function, which consists just of the single tuple (x, y).

It also works for finite sets of sets since you can do it manually n times, the formula just gets longer.

New Kind of Paper 5 years ago

Bad handwriting causes data loss since 5000 years probably. Whether it's an AI or a human reading it, handwriting is sometimes impossible to decipher. To avoid data loss, don't use handwriting or write very neat.

I suspect a part of the left dislike is also around the progressive anti-billionaire/anti-capitalist sentiment, it makes Elon an easy “enemy”.

He IS an easy enemy in this regard, not only to the left. All his (mis)behaviour, naming his child like that, manipulating currency rates through tweets, that's not exactly what average people could afford. If he didn't fit this stereotype of billionaire, I'm sure he would be liked more.

I'm living in Europe, and the situation seems better over here. While going by car is cheaper and faster in most cases, train is not much worse.

At least Biden seems to be a supporter of the railway. But it could go faster if you'd build tracks instead of tunnels with Teslas.

We were never talking about costs, we were talking about how visionary Elon Musk is. However, while it's great if money is saved, again: is it really the achievement of Elon Musk, or would any private company be able to hold down costs?

Those rockets impress me, but Elon Musk did not construct them. The NASA (and also the soviet union) managed to do equally great things without someone like him in past.

Tesla cars -- truly helping humanity move from fossil fuels

It would be much more effective to use bicycle and trains wherever possible, and drive small cars otherwise. But wait ... that's not luxurious enough. Saving the world is just an excuse for cool cars.

and now StarLink

... to make the last corner of the world addicted to the internet and pay money to Musk.

It's obvious, but no one seems to notice it: These are not two lists. The list of dreaded programming languages is the list of loved languages reversed. Since the list has only 25 items, 5 languages belong to the top 15 in both directions.