HN user

cwhy

93 karma
Posts4
Comments45
View on HN

I am quite interested in the difference between people's intuition about things. The more complex a system is, the less I tend to think about it being designed.. It is just too beautiful to be a crafted artifact.

This is rather a math-specific operation (type conversion on math operators), not the scope of general purpose language. A lot of dependent typed language can achieve this naturally and most languages with ADT can simulate this.

Can I Email? 5 years ago

A commercial project aims for profit, not public service. The previous post explains why they are popular demands. And it is natural for commercial project to satisfy popular demands.

I was thinking of the exact same thing when writing my new project in Python, and implemented a poor-man's version using typing.NamedTuple. But my idea was mainly from the extensive records from Elm. Although Elm also have Maybe, but the idioms of "making impossible things unrepresentative" eliminates a lot of unwanted usage.

Bit of advice to you: I know you what to share your thoughts on this particular package. But this kind of post just looks like an ad and insincere.

(edit) PS: Make sure it is to scale when you enlarge images.

Dislike is not usually the best measurement.

Next time try this kind of voting questions:

I use systemd and like it

I use upstart and like it

I use launchd and like it

I use traditional init daemon and and like it

30% of like should be quite impressive

Yes. Now I regret I upgraded my Ubuntu to 15.04 Since there is no support for cuda from NVIDIA, so is the Intel graphic driver. If you are using an OS without third party applications, I think it should be fine, but that is not the most case.

Other people have given very good suggestions. But just mention that there is not any first principles for mathematics, that is an active area for research for pure math.

There are a lot of layers of mathematics, the deeper you get, the more difficult it becomes. But for normal applications (like antenna design, machine learning, electromagnetism, cryptography etc), you don't need to get to the deepest level, which are mostly proofs for a formulation of the whole mathematics framework.

I am from China and I can't agree more. The mass-examination system seems to promote equality, yet the ignorance of individual differences led to the failure of discovering specialized talents, who are potential leaders and innovators of the future.

Bertrand Russell already pointed this problem 90 years ago(http://www.gutenberg.org/ebooks/13940), but the problem still remains till now.

And you really cannot tell if the people there are less happy than people live in the US.

People now have much higher living condition the people in the past (say 18 century), but you really can't tell if you are happier than them.