skysight-inc/HackerNews huggingface dataset:
The challenge is how they'll be able to teach folks computer science, when they fail to teach them basic reading and math.

The AP Computer Science class I took was close enough to first year coursework that they let me pass out of it. The biggest benefit was having a very serious teacher whose goal in life was that class. (He taught others, but his main focus as a teacher was the top 2-3% of programmers in the student body) It was a course that's both rigorous and useful.
>I would argue that the "anything goes" dynamic procedural languages ( like Ruby, Python ) are far more anti-human,

Is it anti-human to be able to interact with the code, and explore what it actually does? A run-time type error is one that has real example data.

The assumption we can write perfect code immediately and easily, or that a type analysis can just guide us through, is not the case. And it's breaks down even worse, when 99% of your code is interacting with systems outside of the scope of the typing system. (database servers, client-side browsers, network connections, file-systems). Dynamically typed language are good fits, when the code is mostly glue-code between multiple systems outside of the scope of any type analysis.

But let's not equate functional programming with static typing.

>in languages that provide a strong theoretic framework for reasoning about code.

You act like many of us are ever writing complicated algorithms. We're not. We're writing simple algorithms that deal with complex structures of information. And in the few cases where the algorithms get so complicated you want your invariants to be formally proven, anything less than a full blown theory prover, will be insuffient anyway.
Personally, ASAP or at the latest, when I find a replacement job if I was in your position if thats what you're looking for.
Note: Published December 5, 2010.
Ask HN: Where/how can I release writing anonymously? 
Title is self-explanatory for the most part... Where can I ensure that no name is associated with my writing?
WSUS: More then just a Microsoft Update Platform
How Dr. Seuss would explain the Halting Problem
I'm not sure exactly what you're looking for, but here's a random sampler: http://www.ironicsans.com/2007/06/the_best_and_worst_of_the_...
What a good news ! Automated backup check made simple. The Python code is clean and fully tested, good job dude !
As usual, you can't take new technology and expect to instantly engineer it into a mass-market solution, and it certainly won't work if you then do a half-assed job. That, frankly, has been GM and others approach to electric cars.

Tesla is eating up a large part of the global lithium production and is contracting with Panasonic and others to source massive numbers of custom batteries. Panasonic then goes and builds factories, a supply chain, etc. The massive scale here is what will drive cost reductions across the board. Some estimates are that Tesla is already only paying 100$/kWh of raw battery capacity.
Haskell: other languages make making mistakes too easy.

This article came up about a year ago[1], so I'm just reusing my comment :P. Now I'd also add:

Go: C is the prefect language, except it's too low-level.

Ermine[2]: Scala is not functional (enough).

[1]: https://news.ycombinator.com/item?id=4954663

[2]: https://github.com/ermine-language/ermine
The Rapid Packing Container invention
'Dark history'? Aggressive business practices for sure, but it's not like he was dumping toxic chemicals in the water supply or something. How many people were killed as a result of Gates 'sociopathy'? I'm afraid that slowing the popularity of Linux and the open web doesn't strike me as particularly impressive in the Evil Genius stakes.
I would dispute the description of Python, at least as an 'origin story'. The actual impetus was 'ABC doesn't have libraries or exceptions': http://docs.python.org/2/faq/general#why-was-python-created-...

If we're going for why Python appealed to its early adopters as opposed to the actual motivations for creating it in the first place, something more like 'other languages are all hard to read' would be fair. You could even reintroduce the Perl rivalry in the form 'Perl is too hard to read', if you insist. But it really wasn't Perl's kludgeyness per-se.
This is a nice article, but I disagree with the statement that "most of the time", users are accessing the mobile web via cellular (not WiFi) networks. The data that I have seen on this is that the vast majority of mobile web usage is via WiFi - more than 70-80% of mobile pageloads occur on WiFi networks. (Context: I run the mobile web performance team at Google, part of Chrome.) This is in part because web usage is higher on tablets than on phones, but even on phones we see WiFi being the most commonly used network by far. This is not to say that cellular performance isn't important, but this skew might be somewhat surprising to people working in this area.
Why the f%ck do you care if he is doing it to be remembered? Since when was the value of charitable works derived from the motive?
UK could be Europe's 'largest' economy by 2030
A sane module system was a big part of it, according to the SPLASH talk.
It's still a bit like taking with one hand and giving with the other, if you know what I mean? Where the money comes from does matter. So it's not quite as disconnected as the examples you cited, IHMO. Kinda like drug barons who help kids and poor people in their communities; sure it's great for those they help, but it doesn't make you forget the dead bodies they are also responsible for. Not just the companies ripped to pieces, consider all the FUD about open source - haven't heard that stuff in a while, huh? But imagine if that would actually have taken root; and it wasn't for lack of trying, that's for sure. Did Microsoft cost the world more than it gives back? How would the world look if what they wanted, they would have gotten? Hard to tell.

I do think Gates is aging well, and getting cooler as he does; but it would help if he at least could say "in hindsight, some Microsoft tactics and claims were kinda low, oh well", instead of going on about how everything is so wonderful and smart and clean, and the past full of hard work and friendly ribbing and nothing else. But to be fair, that seems to be the norm of the industry, and he seems to be less full of it than most. So yeah, good for him, but still let's not confuse him with people who spend all their life doing good, or saints. If I give someone 5$, my generosity is not measured by how poor that person is, but by how much 5$ are for me. That sometimes gets forgotten in all the money porn.
Is 2013 really a lost year in tech?
>make sure you get him on that, record with your cell phone - hidden - or something

Be incredibly careful: this could be a violation of state privacy/wiretapping laws.
>Most of the people on HN will never quit the game, and will keep trying to make more money until they have one foot in the grave.

That's because, as was already stated, most of them won't have billions of dollars. If they did, they would probably at some point start thinking about something besides personal wealth.

>Anyone who has a good exit has sufficient resources to no longer work and could make a similar choice, even if they won't have the same net impact as Gates.

Getting a good exit is only slightly more likely than winning the lottery. You make it sound like most of us here at HN will be millionaires. That's just ridiculous.
For me it was completely the other way around: I was "taught" calculus using the infinitesimal approach but without any rigour. Statements like "As dx gets really really small x+dx/x becomes 1" drove me crazy! Why was it sometimes ok to replace dx with 0!? The idea of an "infinitely" small number to me was always vague and suspect. So while I could do the calculations I never trusted the results.

This meant that maths stopped having the same appeal to me as computer programming.

It was only years later when I revisited the epsilon delta arguments that it finally made sense. It was a revelation to me that you could explain all of calculus without ever talking about "infinite".

I wish it had been taught to me rigorously the first time around: I would have been much better off.
Of course, but I would say UIC is very good as well.
>But when people wanted to think clearly, they invented math,

No, they didn't. They invented a syntax two milleniums ago, optimized for use-cases of those ages, using alphabets of those times. Thinking in greek symbols is not helping anyone think clearly. It's just more confusion, because now suddenly, i can't type or phrase a relevant question out loud, until i get a greek keyboard and learn the proper pronounciations of the greek alphabet.

The notion we should just stick to a notation and conventions optimized for a different era, a different culture, a different alphabet and a different writing tool (paper), is ridiculous. Do NASA scientists calculate speed using knots? Or power using horse power? They do not.

Math is to computer science, what classical music is to pop music. A historical relic that stopped having economic and cultural value beyond being a mere status symbol.

>of which FP is nearly the computational manifestation.

No, it's not. One could argue the same thing for logic programming. Computation is not the manifestation of math. It's a strategy to answer a mathametical question. The original strategy was to just 'try things and explore' and when you found (guessed?) the answer, you would prove it to be sure.

Functional programming, in the religious Haskell sense, is just a term rewriter. That's not the manifestation of computation. It's just one way to specify a strategy. In the case of Haskell, which is a term rewriter with a bible full of fine print and exceptions, a very sado-machistic one.

>But computers are primarily about information, and we think about information in terms of relationships

No, that would be Prolog. A different default strategy. Less fine print, but not the cure-all either.

>That's exactly what FP is about: expressing computation in terms of relationships.

Nope. A relationship doesn't have a computational direction. In math, all these statements express the same relationship:

double( x ) / x = x
double( x ) = x * x
x * x = double( x )

In Haskell, only one of them happens to be legal. Because you are not writing a mathematical equation. You are specifying a computation. The fact that isn't even obvious, makes matters worse.

> But computers are primarily about information, and we think about information in terms of relationships

Yes, and the biggest challenge, the pain everyone tries to lessen, is managing the coordination and standardisation of changes (mutations) to that information. Wrapping every computation with the same type of state-monad actually helps a lot with this, and has been the most popular strategy to deal with this problem in the last 20 years.
Yes.

It's actually a pretty thoroughly regulated system. You could theoretically start a company like that overseas but you'd be doing it with secondhand data, since none of the state agencies would deal with you. It wouldn't work very well, you wouldn't attract any customers, and you'd end up fielding lawsuits from the state governments whose data you were borrowing. There'd be no profit in it.
That was interesting - not so much the trick itself, but the number of times I had to watch it before I finally got it. In the end, it seems so obvious - but human perception can be fooled easily it seems, so we're back on topic. Nice reference!
As a fellow Scandinavian I agree. Not rehabilitating prisoners is insane from an economical standpoint and for protecting the innocent. This is true no matter if you believe in harsh or lax punishments.
War will not happen between the US and China (2 economies which are inexorably intertwined) for no other reason than it will be exceedingly bad for business.
IMHO real numbers are anything but. I believe there isn't a single thing in the universe that is represented by real number. Any physical law that involves pi should be considered as statistical in nature. There are no perfect circles. Only the things that are really well approximated by them.
If you're looking for distribution, I would suggest just creating pen name accounts and writing under that.
Code cowboys realizing they're not going to be able to coast to an early retirement.
Most empires end through overreach. The tiny nuggets at the center of the Roman, Mongol, Ottoman, British, Austrian, Spanish, Portuguese, Dutch, German and Japanese empires couldn't maintain the many nationalities they lorded over. So they collapsed. The Soviets lasted a long time, despite their worthless, murderous government, simply because the Russians had a huge core in the center.

The American empire received its death blow in 1965. The barbarians were not at the gates. There were no gates. The barbarians were invited, by the millions and millions, from hundreds or thousands of miles away, at the bequest of the American elites, to conquer a continent at no risk to themselves. That is what historians--probably Chinese historians--will write about decades from now about America...in mystified, contemptuous marvel at American stupidity.
Isn't that how Kevin Mitnick described his stay in a federal prison?
Hostels.
pg: php?
Rust: Other languages have boundary issues -- action-at-a-distance is evil.
Testifying? God no.

I have never worked for the CIA in any capacity.
I lived in China for a couple of years, and it was generally accepted among the technologically savvy people I knew that most large web/software companies (Baidu, Tencent, Sina) spied on their users for the Chinese government.
And some countries, like the Scandinavian ones, have managed to move the focus closer to harm reduction than to punishment. So I believe there is hope for the US too. But I do not think we will ever get rid of outrage in the press about the government not being though on crime, with the right spin that will always get you readers.
I was under the impression that the name Dong-Pyou Han was of Korean origin?
Baidu has a switch which apparently allows users to stop sending data, but it doesn't do anything:

> Although this automatic data transmitting function is switched off in the default setting, Sugiura found that Baidu IME secretly sends users’ information even when the function is turned off.
Valid points. There's a lot of hard work that would need to be done to make a really accurate data set. Sorry for the performance issues. The sites a little overwhelmed wih traffic right now.
Per person per year it doesn't seem like that works out to all that large a number.
> so I asked on #emacs on Freenode and got nothing but abuse.

I checked my logs. It was one guy that was abusive. Everyone else was friendly and helpful.

So you doom the whole Emacs community because of one user on #emacs the one time you were there?
Search for "legal conclusion of obviousness" in the Wikipedia page http://en.wikipedia.org/wiki/Inventive_step_and_non-obviousn...
While I cant say whether this it right or wrong, I find these are articles to be extremely rigid in their determining facts. Just like in the professional world there is a massive difference between becoming an industry player and an extremely dominant company. Through a tech lense, just because snapchat is growing faster than facebook, does not make snapchat Facebook in 2020. The underscoring of the civil growing pains of wealth inequity, western influence amongst consumption, civil unrest and basic quality of life problems (India and China) are never taken into account. Its always, their economy is expanding so given enough time they will win.

In a worse case scenario I see a melding of eastern and western ideals set up against a terrible widening of the wealth inequity. The big sharp edge of a connected economy is that people with power and information asyemtry can now use global communication to economically conquer areas much larger than their immediate reach (list it used to be). The more likely scenario here is a world reset, than a post-American future.
I support PayPal, Amazon Payments and Stripe. The original blog post it a bit outdated as it's form when I originally launched.
It's Sun Tzu 101: information is power. Massive, pre-emptive data warehousing is a weapon of unprecedented scale, which tilts the balance of power between 
government
 institutions and citizens.
No one can predict the future, and this is sensationalism and speculation, not reasoned journalism.

Let's talk about the "fall" of the UK. The British have universal healthcare and London is a leading global city. The biggest things that can be said for bad about the UK are (1) that London is extremely expensive, and (2) that the weather sucks. (1) is true but hardly seems to have anything to do with global decline; (2) is easy enough to deal with when you have $50 airfares to Spain and Italy and 5 weeks of vacation required by law.

So... is that what "decline" looks like? It doesn't sound so bad.

The UK certainly did have a period of economic privation that was longer than ours. Ours fit neatly between a stock market crash (1929) and the end of a war (1945) while theirs lingered on for about 15 years longer. That wasn't because the British Empire fell. That was because Britain got thoroughly devastated by Nazi bombing, while we lost one military base in Hawaii. Even the countries that "won" World Wars I and II mostly lost, economically speaking.

Sure, the American Empire is toast. It's already fading in importance, and the economic and cultural malaise that OP argues come along with imperial collapse are already happening. In fact, the pattern of ignominious military misadventure didn't start in 2003 with Iraq; the war in Vietnam was worse. Does this mean that we're headed for economic collapse or World War III? No. Sure, those things could happen. I don't see them as especially likely.

The American Empire is unwinding because nation-states themselves are becoming less relevant. The global elite (which includes many highly wealthy Americans, but has no allegiance to any specific country or ideology) has pushed aside the national elites. They don't matter anymore, except for ceremonial purposes. The rise of the global elite (the WEF fuckheads) isn't a good thing. For all of its flaws, the WASP aristocracy was a hell of a lot more virtuous and pro-democratic (and, more to the point, it gave a shit what happened to the U.S.) than the new elite of Russian blatnoy-oligarchs and the oil sheikhs from countries where it's legal to fuck a 9-year-old (if you're married to her). Where this global elite is headed, and what the rest of us in the 99.99% will have to do with or to them is another discussion, and I don't care to have it...

This idea that the U.S. is destined for economic ruin, however, has no basis. Sure, there are some nasty problems we're going to face, nationally and globally. But there has never been a time in history when that wasn't the case.
The linux button is not visible on the top if your resolution is too narrow, It's the least clicked button so I chop it off first. As for whether this is a good idea probably not.
Regarding brain size, there is a very nice TED talk:

http://www.ted.com/talks/suzana_herculano_houzel_what_is_so_...

The speaker argues that while there are animals with brains bigger than ours, their neuron density is lower; overall, humans have the highest number of neurons. She goes on by noting that the energy that the brain consumes depends only on the number of neurons, not the size, thus making humans the species that has the most energy-hungry brain. This leads to some interesting theories on how the evolution of our brain is related to our nutrition habits, which I found quite mindblowing.
APL: Errors increase in proportion to the amount of code typed; therefore, decrease amount of code typed while keeping expressiveness and power unchanged.

Alternatively:

APL: Programming should be more like math.
How technology is changing our minds for the better
It's relevant for most jobs. In America it's considered bad to hire a felon. It's really bad. IMO everyone deserves a second chance if they make the effort to better themselves. However, my in laws and parents do not agree with this. Once damned, you are damned forever.

Though I want to know about those who were former felons in the US and leave the country and pick up citizenship else where. I'd really like to hear those stories.
the sad thing is that you have such weak confidence in U.S.A.'s capability to assimilating immigrants.

Of course I admit it is harder to assimilate Muslims. But East Asians? East Asians are probably more white than white in accepting U.S.A value system.
Justified, because they are very amusing to watch.
I lived in a big communal house for over a year, it's great and I'd recommend it to anyone. You get less distraction looking after things as there are scale advantages (eg only one person manages the cleaner), you share meals, you meet more new people and you get more stimulated with new ideas spread from conversation and peoples friends.
Really brings to the fore the dynamics that have led to AirBnB's success despite our society's focus on single-serve autonomy.
Perl: PHP is a kludge.
War will not happen between the US and China (2 economies which are inexorably intertwined) for no other reason than it will be exceedingly bad for business.

One could have said this about the U.S. and Germany in 1927.

I don't think war between the U.S. and China is likely, and I certainly hope it would never happen because no one would win that, but I don't think that argument has historic validity.
K: APL (and J) is too verbose.
bulding some feautures into mitmproxy!

http://github.com/mitmproxy/mitmproxy
I don't necessarily disagree. The broader point that I was trying to make was that idols shouldn't be idolized, nor should demons be demonized. People may or may not be the sum of their actions, but even if you just mugged somebody an hour ago, you giving that $5 to a poor person is still an act of good. Not quite as benevolent, but still, preferable to having spent that $5 on crack cocaine.

Robin Hood he isn't (though I'd argue that people's view of Robin Hood is also very skewed -- he did not steal from the rich and give to the poor, as the nutshell synopsis goes), but nor is he Satan. In real life, we're very few of us saints. In regards to 'credit', it's worth noting (forgive me if you already knew this) that I just learned not too long ago that Mother Teresa, often pedestooled as the archetype of things saintly, was not only not very Saintly, but depending on how you read it, quite the horrid cunt, whose good deeds were mostly a marketing ploy that she used to amass wealth.

All totaled though, yes, it'd be fantastic if Bill Gates came out and decried the actions of his 'former self'. But that doesn't mean that his current contributions don't massively benefit society.
Having gone through this, I would immediately read through your operating agreement, and any other operating documents. I went through same process, having numerous well documented discussions with cofounder.

If you wait to long, and your cofounder feels a threat, they may beat you to the punch.

After doing more than a million in revenue in our first 3 quarters and hiring a team of 15+, I was fired. A clause in our operating agreement allowed for this to happen, even with equal equity.

I encourage you to act quickly and very accurately in order to alleviate any risk of your partner taking action against you.

Good luck. I sincerely wish you the best. As messy as it gets, stay honest, stick to the points, and don't overreact in your defense. It will all work out as long as you diligently work to resolve the issue.
I would be more interested in they can work for self sufficiency. They seem to be more interested in bringing big business to every corner of the world then making corners of the world self sufficient. Instead they want to push GMOs along with the purchase of those seeds.
Army Corps won’t colaborate with DNR on GTAC mine