skysight-inc/HackerNews huggingface dataset:
As a mathematician, as someone who teaches K-14 math to math-phobic adults in a semester, and as a staff member at a Sudbury school, my biased, anecdotal answer is that mathematical education is designed to tell most students that they can't do mathematics. They take that to heart and wear this mark of shame both proudly and deeply troubled by it. It is quite a tragedy.

When I teach courses that I have no control over, I see over and over again tricky questions that have no relevance to actual mathematical understanding or use. At the same time, the majesty, wonder, and beauty of mathematics is expressly avoided as being "too much for students to handle".

In essence, we treat students as if they are computers learning rules to apply. But mathematics is about artistry and creativity. Being cold and harsh, being factory like, deprives one of the part of the brain necessary to do real mathematics.

Adults routinely tell me "I did well in mathematics until...and then I stopped understanding. I stopped enjoying, I struggled with my grades, and I can't do math."

Bottom line, people get labeled as bad at mathematics and they accept it. And it is only getting worse with common core tests.

We might also even see future generation being bad at reading, etc. Already I hear first graders saying "I'm not a reader because I do poorly on the reading tests."

It is sad because mathematics is one of the great gifts to humanity. It is breathtaking when used and done properly.
Why would a constructor be confused with a type constructor? I guess I just don't have any experience with this particular approach to "sums". Untagged variants?
I run a business and regularly withdraw > $10k per month as salary. The bank reports these routine transactions to the government every month? And if I decide in the future that things aren't going so well and need to cut my pay down to $9k or so, I might get charged with structuring, despite the fact that I am not using the money in any illegal way?
And a good classic car does not depreciate in the same way a bmw 7 series does.

And for the cost of a fully loaded BMW you can get a very nice classic. and probably buy a cheap ford for daily runabout even the gt500 super snake is fairly cheap.
Super Samurai: Robot beats Japanese master swordsman
Unless they cared about preserving the state of the moon for future scientists without leaving human corpses lying around.
Yeah when they made the film How to Marry a Millionaire in 1953 with Marilyn Monroe, a million really meant something.
Thunderbolt Meets USB (At Last)
The thesis of this article is that a frugal lifestyle may lead to relative wealth that permits occasional splurges.

I regard the article as inspiring to someone who wants to become successful later in life due to their wealth, despite a modest job history.
> Meanwhile gamers will be happy to hear that Intel is finally moving forward on external graphics via Thunderbolt, and after more than a few false starts, external GPUs now have the company’s blessing and support. While Thunderbolt has in theory always been able of supporting external graphics (it’s just a PCIe bus), the biggest hold-up has always been handling what to do about GPU hot-plugging and the so-called “surprise removal” scenario. Intel tells us that they have since solved that problem, and are now able to move forward with external graphics. The company is initially partnering with AMD on this endeavor – though nothing excludes NVIDIA in the long-run – with concepts being floated for both a full power external Thunderbolt card chassis, and a smaller “graphics dock” which contains a smaller, cooler (but still more powerful than an iGPU) mobile discrete GPU.
8 Ways for Logical Business Thinkers to Get Creative
Exercise is great and all, but diet is faaaaaar more important for weight loss.
You need to plan it I spent a month for work in Edinburgh once and didn't come back so I had 4 weekend breaks staying in the Balmoral (most expensive hotel in town).

Unfortunately my plan to do the same for the Edinburgh fringe did not work out
> For example, ZFC is fine for calculus (most of engineering), but completely inadequate for computer science. For CS you have to allow self-reference and that is expressly verboten in ZFC.

I assume you are referring to the axiom of foundation which implies, for example, that you cannot find three sets A, B and C such that A ∈ B, B ∈ C, C ∈ A. This is not an obstacle to talking about self-reference, recursion or cyclic graphs, etc. The axiom of foundation keeps the membership relation from having cycles, but it doesn't keep you from talking about other relations that might have cycles! Indeed, defining functions recursively is completely standard practice in mathematics, and is formalizable in ZFC with no problem. Also, the most common definition of graph is explicitly in terms of set (a graph is an ordered pair (V,E) where E is a set whose elements are pairs of elements of V)and easily formalizable in ZFC. That you can't have ∈-cycles never comes up in, say, the study of cycles in graphs or of recursively defined functions.
> Since when was compile time an interesting aspect to judge a programming language?

Since compilers were dog slow.

When using irb or lisp or smalltalk, my productivity is off the charts compared with C++, in no small part to the compile time.
Reading your links, the known footprint between these governments seems quite different. Russia seems unique in its usage of these media. Faking a chemical disaster in the US, attempting to incite discord by faking a police shooting video, turning their own special LOIC on a NYT reporter...in comparison, the writeups on other nations' efforts (that we know about) leave a lot of room for this to be a false moral equivalence at this point. This NYT story is a pretty big deal in terms of providing evidence to that effect.
>> The nominal one million signatures from EU citizens was achieved in just two months; at the time of writing, over 1.7 million Europeans have signed the unofficial ECI—a stunning rebuke to the European Commission for refusing to allow this to proceed officially. Resistance isn’t limited to the digital world, either. Recently, a global day of action against TTIP and CETA saw 750 events organised around the world, with many tens of thousands of people taking to the streets to show their engagement and concerns.

--> they are now at a 1.9 Mio votes against TTIP. If you're in the EU vote against it here: https://stop-ttip.org/
It's not a fing gallop poll to massage toward some political end. It's what I suggest you* ask people because it's the goddamn consequence of total surveillance. Do you doubt that it is? Yeah and nobody wants it.

You're not just trusting this generation of police and this government public servants and elected but you are trusting all possible future governments, all possible future police, all possible future public servants who get the keys to it. And not just trusting them to be good people but trusting them in that they are awesomely competent and that they keep all that information completely secure.

The opinion is whether you have that level of trust or not. I don't know anyone who does. Not one. But i respect that someone may well hold that opinion and that's where opinion ENTERS this. Prime them with all the "Think of the childeren war on terror" you like just as long as you make that FACT clear that this is the trust they have to have.

And here's the thing, you can Still support the authorities without supporting such things which most people actually do when they understand and work out those consequences. It's the same as:

"I support the FBI catching criminals but they probably shouldn't have a medieval torture dungeon and their own meth labs and distribution network."

You'd be hard pressed to find 1 person in 10 who thinks they should have a medieval torture dungeon and that be a legal thing. You'd be hard pressed to find 1 in 10 in the FBI who thought so or at least you'd fucking hope that's the case otherwise they need to start the firing and replacing them with humans beings.

But tech savvy you can explain further to any random people that when everything is recorded it becomes the motherlode for anyone who is going to gain by blackmailing. That data is now a target for organised crime, hostile foreign powers, and everyone you hate and wishes you harm. If they get it, eg because someone who has access to that info but also has a gambling problem, or their big brother likes little boys or whatever is their weakness given they're all obviously good, proper and righteous americans, those enemies of america will use the information and that probably won't be a positive thing for freedom, democracy, america or even for any random three letter agency.

It's not a fucking popularity poll commissioned by a news service pushing an agenda.

You ask 10 people if they want everything they say and do on a permanent record to be accessed by all current and all future possible governments forever or whether that is a step too far and watch the unity across the political and socio-economic spectrum.

Phrase it like that because it's ACCURATE. If you think it's inaccurate - make that case.

And fuck anyone who doesn't want me to mention the downvotes too. No really, fuck them. Downvotes are for opinions you want hidden because they are off-colour and lack legitimacy in a civilized discussion.
Regarding insurance, a tactic of the frugal is to forgo insurance if you can withstand the loss. For example, my household does not purchase collision insurance on our vehicles.

Likewise we can withstand high deductibles and as a result obtain lower premiums on other sorts of insurance.
>the advertising business is essentially funding all their other ventures, which have the potential to replace the ad business and continue the cycle.

I'd never make a bet on any corporation being willing to branch out into something new that will cannibalize its core business. It just doesn't happen. Ever.
So, where are unions on countering the corporate influence over the USTR? There are still some big unions in the U.S., with plenty of money and influence. Aren't they the natural counterparty in these things?
Pretty sure that one's for userspace programming. In which case, I'd recommend The Linux Programming Interface instead, which is written by the same person who maintains the Linux man-pages.

There isn't much of a central source on kernel hacking that isn't outdated by now, though some reasonably good books on device drivers are still out there and relevant. Beyond that, reading the kernel's Documentation directory, LWN articles and the recent "Linux Insides" series being posted here is your best bet, along with stalking the LKML, of course.
mm tried to run a business with out access to capital.

Your being very naïve.
I'll be honest: "the alter of pedantic technical accuracy" made me snigger a little.
"I don't think it's really useful to question people's motives, rather than just considering their arguments."

In an ideal world the argument should stand alone, but I find people's motives to be worth considering. Not for the usual you'll find in the media like looking for the corrupt or using those motives to dismiss their arguments. I find how people come to their beliefs to be really interesting. I can learn from the path they took even if I find the result to be broken. The danger is admiring the path and supporting the broken argument.

As to the politics. Two people interacting means that you will have politics. Humans have conflicts from the battlefield to the soapbox to the pulpit to the lecture hall.
For what it's worth, this letter can also be found in The Proud Highway, also known as The Fear and Loathing Letters, Volume I, which is a collection of Thompson's correspondence.
I know, that why I said that the big boys can't seem to fight it, but maybe Mozilla would try, whereas a startup would just get immediately rolled over by the justice department.

But couldn't an alternative be something encrypted which Mozilla has no access to?
You make a good point regarding Russia, although I think we both know that the US's record regarding covert operations and legality has been spotty.
A few more years from now, people are going to ask about web pages from 2015: "why did everybody's blog have light grey text on a white background everywhere? They must have had excellent visual acuity back in 2015"
depends for Western companies those sent overseas can have some very nice perks.

I remember looking at this in Malaysia and one of the thing that put me off was the "servant" issue - the idea of having a servant was just creepy to me.
It sounds like it's not viable at this moment, but later down the line you could use a PEO (professional employment organization) for your startup. This would give you health insurance in addition to a bunch of other benefits and services.

Professional organizations (like IEEE) offer insurance plans. Another possibility are shopping clubs like Costco. I haven't used either, but include them as possibilities in case you weren't aware.
do you support the local police? Yes. Do you support the local police having tactical nuclear weapons?

Yeah it's about that simple. Maybe you need to explain what a nuclear weapon is to someone who hasn't heard of them - and that's about where we're at.

You can support the local police all you like and most people do and they still don't want total surveillance.

This is not a how to massage "opinion polls" discussion like it's news to everyone as it was when we were second year of highschool or whenever that was.

Lay out the pros of total surveillance, lay out the consequences. Do it as impartially and arbitrarily as you like and you'll get a wonderful unity of opinion about it.
On one hand, you're very frugal about buying a 300k car. On the other hand, that car has to be in pristine condition for you to drive it (or without hyper paranoia). What's up with that? I'd have thought frugal people would stick to their car purchases for a long time. I'm pretty sure that ferrari could be made to last 10-20 years. Yeah the maintenance is expensive, but that just means it's not really a 300k car.
Humps Spec for Managing (OCaml) Dependencies
This is the worse advice I have ever seen.
This kind of 'doctoring' ends up with "take this pill, if it doesn't work come back'. (lets change that for loop to start with 1 instead of 0. problem still there ? hmm could be that equation is wrong...)
How about this ?
Take an X-Ray. See what is broken. Cut into the body, see what is broken.
Same with software. The 'symptoms' are very diffuse and do not map 1 to 1 with the 'disease'.
Use the debugger. Capture outputs at intermediate steps and evaluate them. Dig into the system to identify the actual problem, then fix that.
The legal issues with this technology have now been resolved and the first units are being sold in the open market[1].

A 10-20x cheaper energy storage solution than current battery technologies and it is available right now, and not years away from being implemented like other technologies.

[1]http://www.vaughncorp.com/downloads/press/grid-enabled%20wat...
In the UK: I'd imagine some people from Cheltenham are having tea with some senior civil servants and a couple of dons in an Oxford college somewhere while chatting about the need to keep our end up.

And so it goes...
If you don't mention that you have to trust all possible future governments, public servants and have absolute faith in their perfect competence your poll is shockingly biased because that is the actual thing we're holding opinions on.

And nobody I know does have that level of trust and I'll lay dollars to donuts you don't either.
This is a confusing area. Here is the official Health and Human Services page about the subject, but this page is not very comprehensive.

http://www.hhs.gov/healthcare/rights/limits/

Take the case of cancer. Look at the list of essential services.

https://www.healthcare.gov/coverage/what-marketplace-plans-c...

I'm not sure where cancer is on that list, so I gather that cancer is not covered by the bare minimum essential services plans. From this, I believe it is incorrect to say ACA (aka Obamacare) requires coverage of unlimited cancer treatment.

Also, see this article:

http://khn.org/news/obamacare-lightens-load-for-cancer-patie...

It points out the key loophole in planning for unexpected catastrophic medical expenses is prescription medication, regardless of lifetime cap issues. Even if you can afford the annual copays and deductibles for the numerous office visits, the medication budget for treating cancer can easily blow out your budget planning by either not being covered at all, or only covered at a 50% level.

What makes this aspect especially hard to plan for is you currently have no way to find out in advance what these medications cost under specific plans. So if for example, you have a family predisposition to a certain type of cancer, then you have no way to find out how to financially plan for the possibility you might also get it, and have to start the medication for it.

In the US at least, I still firmly believe that prudently planning for severe medical conditions is simply not feasible, even with "catastrophic coverage", for families with less than $10M in liquid assets, and $40M in total assets.
And they really think the government should have a store of everything they say and do they keep forever? Really?
They're doing a terrible job misinforming about fake terrorist attacks and so on.

However,Western media and forums end up becoming quite biased in their own PC. Different points of views are often ignored or nonexistent(strong herd mentality).

If Russians limited their actions to showing another side of the story, I don't think it'd be a bad thing.
The trend was started long ago. The whole notion of "globalization" is a development to disempower the single nations. Before the globalization was known in Germany, it was a nation that could stand against the big corporations and say "we have our own rules in this country" (e.g. worker rights, environmental, ...).

And we had a state where wealth was rather evenly divided and with many people that did well. Also we had rather low crime and view people had to worry that they could be poor when they are old.

Than came globalization and the notion that the "free market" will be always right and will make things (automatically) perfect. (That was promoted by Mrs. Thatcher and Mr. Reagan, to name two early adopters). Than the governments in Germany and all over the world started to bend. "It is the free market, we can not do anything against it" was said by them. "We have to bend our laws to comply with the free market".

So it was going all over the world.

What do we have today: All over the world, people get richer ... 1% of the people. The others get gradually poorer and the lowest part of the people are really poor, because in Germany it is already clear, that a big part of the people working today, will not be able to live from the pensions they will get.

So the "free market" took over and the "free nations" are enslaved by one economic theory, that nobody has ever proved.

We are all at the mercy of "unlimited growth". Our economic systems are only stable, when growth is guaranteed. In biology, unlimited growth is called cancer.
From personal experience, and this was some years ago, I've found that on a high carb, high fat diet e.g. breakfast: beans, bacon, eggs, toast. lunch: sandwich with deli meat, cheese, mayo. supper: bread, veg, and meat, plus a few cups of coffee and a beer thrown in caused pretty rapid weight gain (30lbs.) with what I would call a normal amount of activity, walking a reasonable distance to and from work, intentional exercise 2 - 3 times per week, some activity on the weekends but the rest of the time spent at a desk or on a couch.

After taking a summer job doing manual labour that involved constant, intense activity (lots of shovelling, sweeping, lifting, walking, pushing and pulling) from 8 AM to 1 PM every day I saw a complete reversal in weight while maintaining the same diet.

So from my own experience, it is absolutely possible to eat a fairly heavy diet and lose weight. It all depends on balancing your intake with the amount of energy you consume during the day. The only problem is that it takes a lot of heavy physical work to use those calories and the exercise regimen that most people assume comes no where near to what it takes to use up the amount they take in.

As far as quitting before you actually really start exercising, there was a good quote by Muhammad Ali circulating the other day [1] "I don't count my sit-ups. I only start counting when it starts hurting. That is when I start counting, because then it really counts. That's what makes you a champion."

[1] https://i.imgur.com/ylOAYnR.jpg
4 Things I Wish I Knew Before I Became a Tech Lead
A tiny observation here: we don't do "null pointer analysis". We do this kind of analysis for every type: if you invoke a method on a type and that method doesn't exist, you get a compile error. In the case of a type union, all types must respond to that method. "Nil | T" is just one particular type union, but you can also have "Int32 | String", etc.
Soylent is much cheaper if you make it yourself. It's only expensive if you buy it pre-made.
I don't think you could ever really compete with a senior UI/UX designer unless you were committed to it full-time.

However, I do think that you can hack something together that would be sufficient. I second that you should look at designs that you like & try to imitate them.

This is a good reference, particularly for Android:
http://pttrns.com/

Also, Material Design:
http://www.google.com/design/spec/material-design/introducti...
https://dribbble.com/search?q=material+design
Any argument at this point will require a level of speculation that makes me uncomfortable. I'm against the TTIP on principle, simply because I cannot read it. That's the only information I need to be against it, nothing else is germane to my stance.

Given that, I feel little need to read up on it, or learn about how it might be terrible. Until I can read it, I don't want to hear speculation about what might be in it.
>And for a long time, they had rules banning professional participation, in an attempt to avoid the sort of problem's we're discussing, and protect the sport's role within society.

I have never heard of any rules against professionalism in soccer, or even norms about it. Boxing has always been a sport where the very best were pros. The gentleman's code bit was in the rules against biting, eye gouging or using your legs. Even rugby is at best half true. Rugby split into union and league over professionalism. I believe union in France akways had sh shamateurs as well. I don't know enough about American Football to comment but what I do know about American sports culture does not incline me to believe there was ever a ban on pro play.

Insofar as I'm familiar with a sport you're wrong on all counts except rugby union.
I have been wondering why all this madness hasn't resulted in more violent uprisings by ideologically radicalised groups or individuals. History in Europe has seen lesser triggers to call for (or act out) the expulsion of similar individuals like Karel de Gucht.

https://en.wikipedia.org/wiki/Red_Army_Faction

If anything, the high unemployment in the EU over the past decade would have been a fertile breeding ground for such ideas. I'd say we're doing pretty well so far as a society by not engaging in more drastic measures given how much our rights are trampled on.
You're assuming it's easy to measure "calories out."