skysight-inc/HackerNews huggingface dataset:
But that's not how "math," as taught to and perceived by middle schoolers, works; as far as they've likely ever seen, a math problem is a question for which there exists an answer in the form of a sequence of arithmetical operations and a final number or equality. I doubt these students even recognized the concept of a "proof" in this situation- at best, they simply "saw" that it was impossible. But that "seeing" is simply a piece of everyday human reasoning, not the wholly different things that they associate with math classes and happy math teachers, so of course they feel like something is missing.

It does sound like the teacher had a good idea- probably it was precisely to get students out of this notion that every math problem has the simple kind of answer they're used to. But it also sounds like the lesson wasn't taught with attention commensurate with its profundity- its easy to forget that these ideas which are so fundamental for us are still alien to most grade-schoolers (or for that matter, many high-school graduates.)
Simply becauase the sensibilities and perspective that would make it one came into being after WWII.
Software is supposed to be done "with a door". Somewhere in the past 20 years (e.g. at Microsoft 20 years ago everyone had a door -- lots of studies published showing clearly doors produce a meaningful productivity benefit), we lost the battle and so we have the open office and headphones. Obviously open offices are cheaper.
I believe porting LLVM to esoteric Unix platforms would be easier than a C backend. Less fun though.
Clustered CA systems can exist and they corrupt data (maybe silently) when a partition happens. In most discussions it is taken for granted that people don't tolerate data corruption.

Single-node "CA" systems are "available" under CAP's definition but not available under the common sense definition. A single hardware failure will take out the entire system (but in theory everything will be in perfect order after you restore from backups).
Neat! Did you have any problems putting the bag through x-ray machines at airports?
Power Up Soft Exosuit Helps You Lift Heavy Loads
One thing the article ignores about a bubble popping, saying it's "mostly people who can afford to lose money" and "rich people" is that...rich people, much like everyone don't like to lose money. So in order to preserve capital, they are going to pull their money out of big gainers in the public market to offset any loss from the private market.

Not only that but this private equity bubble has made housing prices in some cities absolutely explode. Those will go down too, and many people will be underwater on their $300K studio condos in mid-size cities, or $1M studio condos in larger cities. Then of course you have massive building projects that projected those prices to remain steady flooding the market with supply...who knows when this will hit the fan, but we can all see it coming. But let's face it, there is dumb money in real estate too. I don't think "smart money" is effected by FOMO.

When this all happens it certainly hurts the retail investors, pension plans etc. The private market can absolutely act as a contagion to the public markets. I don't think private equity will be the first to go, usually there is some sort of contraction in credit (high yield anyone?) that begins to effect the other markets and it dominoes from there.
Written language? The wheel? Irrigation?
Why is there a slight lag between native apps and “desktop” apps?
So I'm not really sure how to explain this but I will try my best.

I created a jsfiddle: https://jsfiddle.net/xghar755/2/

As you quickly hover over each text, you can see that the background color changes. This is just a simple div with a css hover property. Here is the kicker though, go to your address bar and type in any letter and you get a drop down of items, like so.

http://i.stack.imgur.com/dgbaC.png

Now, quickly hover your mouse over the items in the dropdown. And then go back to the jsfiddle and hover your mouse over its items. You can tell that the chrome versions` background color feels more responsive. It's rarely noticable, but I can tell. Why is that?

Is this because Chrome's a Native application that doesn't rely on CSS and the DOM? If so, does this mean that native apps are generally more responsive in user interface applications? Thanks ~
Everyone has an agenda.
I want to work for Jarvis
I read it and thought it was just a commentary on things that are wrong. With a slight sarcastic and reverse psychology spin.
The gfx-rs library for Rust is actually targeting exactly that, although they aren't there yet.
> Coded in Java, a general-­purpose programming language that emphasizes speed and lightness over the grand capabilities of more powerful tools

I stumbled a bit while reading that. There is a comment to be made about notch's use of java, both good and bad, but I don't think speed and lightness when I think java, especially in the realm of 3D games.

I do think it was a good choice for cross platform play and modding though.
When it results in the installation of someone who is just as corrupt, then it invites questioning on the efficacy, and true goal, of the process.

The story's sub-thread on the power of a tightly controlled media is also noteworthy.
Programming itself has changed. It used to be more about logic and design. Now, it's more about gluing together an ever-proliferating bunch of open source libraries, frameworks, and tools.

It's no wonder devs need to keep Google at the ready.
Both things you say are true, but here you've got 700 plaintiffs. How much damages did they have? $500 each? Then you're talking about a fee award of $100k, which isn't a lot to battle class-certification issues with Google.

I'm not sure if this happened at any other universities. If so, a class action would make more sense.
The problem is that usually not very human readable C comes out of it; to use something instead of your company's language of choice, unless you are the CTO or something else high up the ladder, would need to compile to the company's language and do it in a human readable way. Some Javascript 'transpilers' do that (I think Coffeescript?) but usually it really acts as a compiler and the idea is that no-one should need to read / use the source code that is emitted besides for running it.
All strings have encodings. It is not possible to represent a string which is a series of bytes except with encodings. I guess you probably mean default encoding or no encoding support... which implies ASCII, better known as US-ASCII.
That was fun. And I think I may actually have learned something.
One of the things is that before everybody became a "full-stack devops" you didn't have to be an expert at all those technologies.

* The Sysadmins knew Linux, bash, logstash, kuberneties
* The programmers knew python, java, regular expressions, flask,
* The DBAs knew mongodb, postgresql
* The network guys knew haproxy, firewalls, switches, etc

Everybody knew just enough of the other other platforms to get along and sure it was great if one of the Sysadmins was a python expert or the programmers were great at tuning redis but you were only expected to be an expert at some of it.
The teacher misstated the problem. The problem should have asked find a solution or show that there can be no solution. Or prove or disprove.

Now the student knows that, really, all problems in math are of the form prove or disprove unless the statement is to prove in which case it is misleading to have the claim false. But, in texts, there can be errors, and a student needs to know that.

In college, I was reading a book on group theory and could not confirm a statement in the book. Some hours went by, and I couldn't get it. Eventually we found a counterexample and concluded that the book had an error. Actually, it was just an error in typography, a typo.

Later, on a Ph.D. qualifying exam, I struggled too long with a problem and got a failing grade. Yup, the problem asked for a proof, but the claim was false. There was a typo. I appealed, got an oral makeup exam in front of several profs, some angry, and ended with a "High Pass".

IIRC, Halmos, Finite Dimensional Vector Spaces just states that all the exercises are of the form prove or disprove. He goes on to say, "then discuss such changes in the hypotheses and/or conclusions that will make the true ones false and the false ones true".

At one point one course, for some early homework, my submission was that nearly all the exercises were false -- I'd found that the claims failed on the empty set! Given that the course started out with such sloppy work, I dropped it.

Net, really, in general in practice in math, all the statements, due to errors, typos, or whatever, have to be regarded as of the form prove or disprove.
> When the NYT starts talking about it you know the structure of the bubble is weak.

The NYT (together with all media) has been saying there's a bubble for years. They've written nearly 200 articles about this bubble between 2008 and 2015.

For example: http://dealbook.nytimes.com/2010/12/03/a-silicon-bubble-show...

There will always be naysayers. Plenty of people thought the notion of Facebook being worth even $50bn was ludicrous.

Bubbles exist, but so does growth. It's all but impossible to differentiate the two until after the fact.

That being said, we probably are in something of a bubble.
Actuary is a great cozy career (less exciting in both good and bad ways). I recommend it if you like it. The only downside is limited geographic range.

But for me, software is a calling.
sounds like you work at either the most or least productive office in the world :-D
This is the 'extended' syntax. It's not supported out of the box in Javascript, but it's not hard to add: http://blog.mackerron.com/2010/08/08/extended-multi-line-js-...
The amount of name reuse in software in recent years really frustrates. It makes it so much harder to find the information you are looking for.

Besides that I really don't get why perforce are renaming their version control system yo Helix. Perforce is a well-known name, it seems weird to just drop a strong brand.
organizations which design systems ... are constrained to produce designs which are copies of the communication structures of these organizations

— M. Conway
Just like a virus that kills their hosts quickly is a shitty virus, killing the company outright may not be the best way of sabotage, especially today, when companies are dime a dozen.

Instead, a good sabotage will make the company extremely unproductive but still alive - which leads them to suck a lot more money in than they'd otherwise need, waste most of it, and then turn out subpar products being sold by the power of marketing itself, and otherwise a waste of energy, fuel, materials and man-hours...

... oh wait, we're talking about sabotage, and here I am describing most of the consumer electronics.
Kernighan on “Hack Princeton” (2013)
Glad I wasn't alone in thinking Speed and lightness seemed odd especially when talking Java
There's a typo in the title, it's Wasserman, 2 's' only. Can someone fix it?
I would assume that they were lied to or deceived about the hours that they had to work given the monthly wage that was quoted in the article. I'm also guessing that since most of these workers came on visas, they probably thought that they could seek better work once they were in the US.
I believe you are exactly correct.
You are able to delete items from this log; this is no different than your browser's search history. You simply cannot have this both ways though; you can either be ephermal, or you can be auditable.

I personally find the log to be very useful and interesting (as well as a free annotation source for my own projects).

I guess the main take away from this thread is that some people are just going to be creeped out by this sort of technology. And that's okay.
It wasn't too hard. The pi was disconnected and put in my camera bag in the black case, so to the average person - it was just some sort of camera gadget :P

No issues with the ribbon cable embedded in my bag either!
The Clever Way Ford’s Self-Driving Cars Navigate in Snow
Context in code is everything, and links provide the context far better than comments can most of the time. I find it surprising that you're so surprised at the idea of links in code!
Just as one example of a commonality, aneuploidy is reported for nearly all cancers:
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2917070/

That is clearly something that can be targeted in principle (and not the only thing). Whether the "causes" are different is irrelevant. Whether the treatments are different is a choice made by people, and also irrelevant.
This is what 21 Inc. uses for their market.
I think Neil Young said something along the lines of "I look at radio as gone … Piracy is the new radio, that’s how music gets around."

He uses the word piracy which doesn't apply here, but I think what he says is relevant in this context: a lot of people hear music for free, like it, and then buy it. Maybe they hear it for free on the radio, through torrenting, or through youtube. Although the radio and torrenting does generate revenue as well as promotion whereas torrenting only does promotion.
> When it results in the installation of someone who is just as corrupt, then it invites questioning on the efficacy, and true goal, of the process.

Actually, it doesn't.

The judicial process goes on, and if (or when) the next-in-line is caught in the dragnet then the same fate awaits him.

This is the main thing about Dilma Roussef's partisans that leaves everyone dumbfounded. Their argument essentially boils down to "this is somehow a coup because although my guy is corrupt as hell, so is the next-in-line, therefore we should keep my corrupt guy and all their cronies immune to any accountability and impervious to the democratic process because that suits my fancy".

But this line of reasoning only further worsens Brazil's corruption problem.
Astrophysics Source Code Library
4(c). Make sure to include company@ in the BCC field of every email you send, just in case your email affects someone you don't know.
A little more here:

http://blogs.loc.gov/digitalpreservation/2016/04/the-astroph...
Apple doesnt need to make cars .Right?
Wikipedia's longest featured articles
If you guys are interested in languages that compile to C, the best programming language I know of compiles to C and it is called Nim.
>Turbo Pascal (mentioned by many in this thread).

I'll third or fourth or n'th Turbo Pascal and Turbo C (and a few other Borland products over time). (I know about their corporate issues and pivots, yes.)

TP 3.x: Under 40 KB .COM size (not MB, not .EXE). Blazingly fast WordStar compatible editor and true compiler (created .COM files) in that size.

Had a lot of fun working on it, and created one of my first freelance projects using it (started, somewhat unusually, as a freelancer, and then went on to jobs).
https://it.wikipedia.org/wiki/Cazzo

Look for "Puglia". Looks like what I said is true for Taranto, but my ex girlfriend was from Brindisi and she was the one who told me about this.

Might depend on whether you actually speak dialect, methinks.
Thanks! I had a course at uni named Probability and Statistics, but since it was first (and only) course in EE curriculum it was oriented toward probability, and Statistics was an afterthought (I only remember simple linear and multilinear regression). That is probably the main reason I only see curve fitting everywhere :)
I'm not sure. I don't program in C++ because I want it to have performance comparable to other languages.
Great list.

Some general commentary: companies don't get this way because people are stupid. They get this way because people hyper-optimize for their own self-interests. Everything on this list is a way to show off, suck up, or CYA, all of which occurs because people want to stay employed and get promoted, and they implicitly optimize for more immediate, local rewards like positive social feedback from the colleagues they see on a daily basis.

Abstract and macro-level concepts are difficult to grasp and people have soft, differing opinions on them. However, people who work with you daily will come to "know" that you're a super hard worker if you're sending out emails at 4am. Including the company's Controller in a database schema design meeting not only gives you a chance to demonstrate your know-how to someone else in the organization, but also wins points for being careful, considerate, and cautious.

When promotion time comes, the less-visible heads-down coder who's been working hard and churning out bugfixes gets a lot less credit than his more boisterous, gregarious counterpart, who's been more focused on grooming personal biases in his favor than actually plugging in commits.

In theory a good corporate leader is supposed to make sure this kind of stuff doesn't happen, but they're only human, so really 99% of people operate this way.

What it translates to is that if you want to be a successful employee, remember ABC: Always Be Campaigning. Your primary job duty is popularity.
Perhaps you need to find the appropriate employer? I work remotely as often as I'm in the office and our office has many devs who are permanent remote (does require more coming into HQ regularly for sync ups - less for frequent travelers like consultants or salespeople).
I wonder if there are companies who pick CEOs randomly from new MBA graduates, and pay them an extremely high salary with no stock options or other incentives. Or pick CEOs randomly from resumes submitted and trains them to be professional CEOs.
What else should we pardon the great God, Elon Musk, for? HN is full of fanboys like you.

If I said Elon Musk had nothing to do with the SpaceX landings, where is your "he can't pay attention to all detail" comment now?
> but it is not my primiary source of information and I just don't think it is a substitute for knowledge, is it ?

I think this is the real problem of the "just google it!" culture in programming. Expertise is devalued, even seen as wasteful. But ultimately you'll never create anything genuinely new if you don't have a strong base of knowledge to work from. Googling the details is great, but you have to have an idea of what to google if you're doing anything beyond the most basic development.
Amazon to Expand Private-Label Offerings–From Food to Diapers
"could we have the iphone/macbook without apple? ibm? intel? "

I am starting to wonder if we would have better tech if Apple (or Microsoft before that and IBM before that) weren't as dominant. It seems big companies do something new and push the envelope for a while but then they suppress other innovation.
Not a Winograd Schema, but I once read an example where adding the word "the" to an English sentence inverted the meaning:

"The criminals were in the possession of the police."

"The criminals were in possession of the police."

One of the odder quirks of English.
And Sortix:

https://gitlab.com/sortix/sortix/commit/2e03bd94d311781d5a47...
s/Minecraft/Stardew\ Valley/ and you get the 2016 version.
I am a fan of Google (and I worked there as a contractor), so I don't intend to be negative, but:

I am happy to be a paying customer of Google; for example: Play Music, Youtube Red, Google Drive, etc.

I less happy with their making money from me indirectly via selling and using data associated with me. I would like to pay a yearly fee for search and gmail, in a privacy mode. I am surprised that this is not something that they do as an option.

I think that Microsoft has hit a sweet spot with a yearly fee for Office 365 (I don't think that Microsoft scans OneDrive files, etc. and makes money from that) and I would like Google to copy that business model.
The problem with "regex" is that it left the pure computer science realm of true regular expressions, and thus lost many of the mathematical properties of regular expressions.

Regex's are then further abused to do things far beyond what true regular expressions can do, which results in cryptic regex expressions whose behaviors are implementation dependent instead of bounded by computer science principles.

Lua creator Roberto Ierusalimschy resurfaced and explored the idea of PEGs (Parsing Expression Grammars) as a better way to do the things that people have abused regex to do, while keeping it grounded in pure CS principles, allowing better syntax making things easier to express, more powerful behavior, mathematically grounded complexity (for performance), and more clarity in what can and cannot be accomplished.

This video presentation from the Lua Workshop explains all of this and more about why PEGs.
https://vimeo.com/1485123
Unearthing the Secrets of New York’s Mass Graves
EaaS: Errors-as-a-Service
honest question here. What is a animal vs a rodent vs a insect vs a pest?

I am all for this, but what are the edge cases? I couldn't find it anywhere in that article.
really wish this was more common, as language choices on embedded platforms are often VERY limited. ie, C.

Though on embedded systems you'd also want more constraints for the backend, like do not use dynamic memory, perhaps being able to specify the output code is MISRA compliant.
It's also insanely easy to generate code for. In addition to this, you don't have to build an entire toolchain of LLVM stuff to get it to work on your system -- LLVM is a nightmare to setup on Windows.
If those 20.000 files are not on 20.000 separate disks the performance gained is marginal over max one process per core because the 20.000 threads are mostly waiting for input to be read from storage.

I'd love to see a benchmark on the same machine and the same data that simply uses "find [...] -type f -exec grep -q ^23$ {} \; -print" - I'm pretty sure it would take much less time.
Because you can't wear a photo of video. The photo of video is simply an ad for the product, but for music it is the product
Swisscoin может повторить Bitcoin как зара
How about rewording that to "markets in which there are only 1-2 possible good providers are not, in fact markets at all", and try to figure out what you do with things that are not markets?
I live in Australia and imported an Echo.

AFAIK Amazon only sells the Echo in the US, and a lot of the functionality is locked to the US, this makes it unusable for certain tasks (like dealing with time, dates, calendars and alarms).

The Echo won't let you change it's timezone to an Australian one (hacks like setting a timezone to one of the US military bases around the world no longer work).

So with the Echo assuming I'm living somewhere in the US, what do I use it for?

- Telling the time. Having said all the above, I do use it for telling the time, but I need to say "Alexa, what's the time in Sydney Australia?"

- Finding out the weather "Alexa, What's the weather like in
Sydney Australia?"

- Controlling the Lights. "Alexa turn on the lights?"

- Reporting Revenue from Shopify (I've built a custom app) "Alexa, ask Shopify what were the sales?"

I'd love to hear more from others outside the US as to how they use their Echo!
Haha keep trying.
What are they saying then? Because to me it really looks like he is saying that CIA did something wrong by interfering and what happened afterwards just followed necessarily from that. And that all blame lies with the CIA.
Regular expressions you can read: A new visual syntax (and UI)
I don't even know what "neoliberal" is supposed to mean. It sounds like a catch-all term, with no specific definition, used to malign anyone that doesn't support socialist ideals.

I wish Greenwald, who has done amazing work publicizing the Snowden revelations, wouldn't use it.
Excuse my misbehavior, I became angry.
EDIT0:
It appears I was wrong, for some reason I was under the impression DMD produced C code. Ignore this comment! :)

Another language that is widely used by hobbyists and in production is D which, as far as I know, produces C code too.

EDIT: I should say there are a few D compilers, DMD, LDC, and some other one by GNU(?).

I think that DMD is the main compiler, but I could be wrong. LDC generates LLVM code.