skysight-inc/HackerNews huggingface dataset:
> And if I wanted to prevent people from writing "the most disastrous code in the whole universe", teaching C instead of JS would be much, much lower in the list than teaching how to split code into modules/libraries, write testable code, etc.

And for me that would be much much lower than teaching how to keeps things simple. The whole modern web has a bad case of over engineering, everything is modules of modules of modules, with so many tools associated you get a headache trying to install a simple JavaScript library (what is wrong with a download link and I drop the lib on my page, nothing that is what).

I'm all for modern approaches but I can't help but feel many developers have lost touch with what writing clean code is, it's not making module, libraries or even tests, it's making sure what you are doing is as simple as it can be and efficient at it. Sadly most modern web stack fail at that. All hidden in mumbo jumbo of modules and dependencies no-one really needed or asked for, often created by people who never questioned the purpose of what they were doing, or if the whole internet needed it (because you are at Google and have found a neat way to deal with your huge JS stack doesn't mean the whole web needed it too, and that you needed to spent a whole lot of effort making people adopt it).

As much as you make fun of C, learning and writing C will teach you to keep you programs simple and efficient, because the language requires it. And that's coming from someone who started programming with Perl, then PHP, and only learned C later on.

Makes thing simple not simpler should be the cardinal rule of programming, not modularize and test everything, those are situational, the former applies all the time.
Japanese graphic design from the 1920s-30s
When Facebook forces a user to opt-out it's acceptable to denounce their actions. How is the Pocket example different?

One of my biggest, if not my biggest, complaint about the OSS community it the lack of sympathy toward non technical users. If I was a point-and-click, non-technical user do you think I'd have any clue what you meant by 'mailing list'? Not likely.

And if I was that user what are the chances that I understand that the Pocket application was a third-party application and that my data was not staying with Mozilla? Would I understand that removing the icon did not remove the code for my install?

Bigger picture here, and the point I was trying to convey in my original comment, is that this is another instance in a string of instances that, when each taken on its own might not be a huge deal, together paint a picture. The writing is on the wall, as they say.

I'm not a Mozilla hater. But before I am a Mozilla user, I'm a citizen of the Internet. So when a participant of the Internet begins to lose their way, I figure I should do what good partners do, which is to plainly speak my mind in a manner that is respectful and open to listening. I think Mozilla is great, and I think they'd value others being constructively honest with them.
Python (ST) vs. Java (Eclipse, IntelliJ)? I really don't know. I'm just speculating based on what I've read about both languages.
Games, not school, are teaching kids to think
Look again...Affinity is vector-based with the ability to work on a pixel level as well.
Version 2.0 of C++ Format, a safe formatting library for C++, has been released
Researchers have discovered a surprising reason we smile in photos
There's scenario 3: a news site took a mail on a project mailing list, and wrote a misleading article with a clickbaity headline. So far so common.

To their credit, they did include the full text of the mail, and it simply doesn't support the "Mozilla about to stop Thunderbird maintenance" subject this is being titled with. And the title here on HN looks nothing like the title of the actual article either (though that might have been edited later, of course).
Very good question... Daniel Ellsberg wrote about a related story that was front page "London's Sunday Times" [1] and various foreign press. But searching Google for 2008-2010 there is zero mainstream American news coverage of that story or the 2009 deposition. Yet they covered her earlier whistleblowing heavily between 2002-2004.

[1] http://www.huffingtonpost.com/daniel-ellsberg/covering-up-th...

Edit: upon further reading it appears to not be an allegation against the FBI but rather Turkish agents which makes this much less news-worthy:

> Turkish agents started gathering information on her, and they found out that she was bisexual. So a Turkish agent struck up a relationship with her. [ ... ] I don’t know if Congresswoman Schakowsky ever was actually blackmailed or did anything for the Turkish woman. http://www.bradblog.com/?p=7429
DreamCheaper.com | http://www.dreamcheaper.com | Berlin, Germany | Competitive salary | ONSITE | FULLTIME

Senior PHP Symfony Developer

TechCrunch dubbed us "the most hated startup in the hotel booking market". Help us give the power back to the people and join our experienced CTO in building & leading our local and remote development teams. We're well-funded by major European VCs and industry veterans so you can get to know the exciting world of fast growth and work with experts in their fields.

We're friends that value learning and growth and we work hard to enable anyone to do their best work!

Interested?

Awesome! Check out https://drive.google.com/a/dreamcheaper.com/file/d/0B-uaRfPL... and https://careers.stackoverflow.com/company/dreamcheaper/ to know more and get in touch via jobs@dreamcheaper.com.

We're looking forward to getting to know you!
Still bitter about killing off the 3.5" floppy, huh? I for one would like a thinner iPhone eventually. It's ridiculous to think that the thickness of the legacy headphone jack is such a sacred cow that it should limit all future hardware designs.
People aren't just scared of being forbidden from making racist jokes. People are scared of being forbidden to express opinions.

Like, here's someone who was fired for saying someone else shouldn't have been fired: http://www.gamerevolution.com/manifesto/turtle-rock-communit...

And it makes me pretty uncomfortable when people express "fear of being attacked for doing something that's okay", and other people turn that into "fear of being attacked for doing something that's not okay", and attack them for it.
Relevant article:
https://news.ycombinator.com/item?id=10599513
Pretty good anti-spam system to also take down their Facebook page. I would go with intentional over automated.
The original Rust compiler was written in… OCaml.

Nowadays it's self-hosting.
I don't know much about Rust but the Wikipedia page says the original Rust compiler was written in OCaml, and that the new compiler is self-hosted and written in the Rust language itself.
> brought by the mobile phone

Brought by the iPhone. You can install whatever you want on Android, and multiple stores exist.
"Free speech" and "freedom of acting like a little bitch" are two different things though.
While i sympathize with suffering, suffering is not a heritable condition. Only a small percentage of old people in the americas correlates black with slavery, and another small fraction of the US/northern europe has a beef with jews. For a large majority of humans who don't hate, these are things that baffle you when you read history books .

In any case i don't see how 'safe spaces' are helping. In dealing with an enemy you first have to know your enemy. I 'd rather have someone telling me they hate me openly so i can do something about it, rather than keep it in hiding and be ambushed.
problem with (h)top is that it doesn't catch short-lived processes, and it displays only the most basics stats. For more detailed perf analysis you will likely be better with something like atop
Putin says to keep cooperating with U.S.- led coalition over Syria
this place is essentially a "safe-space" for Christians

Well it's an evangelical college. It is what it says on the tin. They disapprove of certain behaviors they consider immoral, but if you don't know that going in, you didn't do your research.
And under the same amendment, my associates and I are free to shun you for your speech. You seem to be under the mistaken impression that the US constitution applies to private citizens. It does not. It specifies what the US government is allowed to do. I'm not an agent of any US government, so it does not apply to me.
Programmer creates new XCOM game – in Excel
My point wasn't that they are a silver bullet. My point was simply to say that while something is obviously lost (performance, native integration, etc...), something else is gained. And that is massive portability.
I don't disagree, but curious - is Santa Claus considered religion?
Those were the days ;)

I was under the impression that it's now no longer possible to upload an APK that has been built in Debug Mode to Google Play. I don't know if other app stores (i.e. Amazon App store) are enforcing this.
I may not fully grok your argument at this time but I will come back and read this again later so that I can respond better. I do appreciate your feedback because this topic is of great interest to me.
Only if literally the only thing you're looking for is security.

A big deal breaker for me is being able to use it without a phone number, and from desktop/sim-free devices, as well as from multiple devices simultaniously
Ignoring everything else about this article, its context, and my personal feelings about Christian "education," I can't help but feel like the author is not terribly professional.

Universities frequently forget that their instructors and their students have entered into a business transaction with them. Students expect to receive a useful education, and instructors expect to have their research and publication subsidized, and the university expects to receive payment from the former and quality of service from the latter.

Anything that disrupts that transaction - such as university presidents getting huffy that "kids these days are too sensitive" - tends to cause a failure of the end result of all three components: education itself.

I wish more tertiary-institution administrators realized that they're operating a business, not some kind of wisdom dispensary that students should feel grateful for being allowed to attend.
Steam all day, especially after this disaster of expired certificates this year [0]. I had a copy of a game from 2007 that will probably never be touched by the developers again, which leaves me $20 in the hole with a broken game. I bought it again from Steam, works better than the App Store version ever did.

[0]: http://www.macrumors.com/2015/11/17/apple-responds-mac-app-s...
I don't work with Android, but java code is usually visible after decompilation. Unless there is specific obfuscation tech being used, you should assume all your java code can be seen by others.
Aren't the bugs the consequence? Or it not working correctly? The framerate being to low? I taught myself WebGL by making planet sized spherical terrains. There were consequences just about every single moment I was doing this.
Now that China's commodity supercycle has ended, and commodity prices remain soft, this is a good time for India to focus on infrastructure. They haven't produced the Alibabas or Weibos but they have an amazingly solid IT work force and we've seen more and more VC in India. This could be the start of a real break out for India.
C also doesn't have low level access to the hardware. The interesting bits of the OS are written in assembly.
There is an Offline mode in Steam
In reality we have no practical way to take the DOJ's data table to find the number of black on white crimes?

Let me introduce you to data science. First I'll read the numnbers in row 2 column 2 and row 2 column 5. Then I'll plug them into ipython:

$ ipython
...
In [4]: 4091971*0.137
Out[4]: 560600.027

Do the same for row 3 col 2 and row 3 col 4:

In [6]: 955800 * 0.104
Out[6]: 99403.2

Looks like the article was right after all.

Whew, that was hard. Took all the skills I learned in my math Ph.D. to finish the job. Just lucky I didn't have to break out Hadoop. If I wasn't a professional statistician I wouldn't have had a prayer.
Very nice. https://github.com/nicolargo/glances/

I like how there are configurable alerts for each datapoint, that's a start for analyzing what's wrong.
Connexity - Camarillo, CA (Los Angeles area) | on-site | http://connexity.com

Are you a web developer eager to gain some serious experience with big data (~10 billion transactions per day)? Help us build the web tools to wrangle billions of transactions every day.

#About Connexity

Our team is sharp and works well together. We enjoy perks such as daily paid lunch, a 9/80 schedule (to get every other Friday off) and unconstrained vacation (don't worry about having to build up enough vacation days for the family reunion); the culture of our team recognizes and respects the importance of your non-work life. Also, Ventura county is a pretty nice place to live/work (unless you hate temperate coastal weather). If you've got Rails or other relevant web app experience, that's a good start. More importantly, you'll be eager to learn display advertising (banner ads, RTB) inside and out. Attitude, ambition and sound judgement trump experience with a specific set of tools. We're a small team within a medium-sized organization, and we work hard to keep the small-team vibe while availing ourselves of the best bits from the mother ship in Santa Monica.

#Position: Rails + exposure to Scala, Hbase & Kafka

We need someone to contribute to our Ruby on Rails app. It's used to administer hundreds of advertising campaigns across hundreds of publisher sites. It's not just boring CRUD. It provides a ton of control and insight to the team that operates our clients' campaigns; it's truly the heart of our display advertising business. The business folks will know you, and you'll find that excellence will stir up a tremendous amount of appreciation for your work. This role is a great way to learn advertising tech at scale as well as other tools. In addition to Rails work, you'd get hands on experience with Redis, Hbase, PostgreSQL, R and Scala. Several on the current team started in the Rails app and have moved into other areas of development (low-latency RTB bidder written in C, sophisticated reporting pipelines or novel optimization algorithms); so it's a great position if you want to develop broader technical skills while really taking advantage of your growing knowledge of our vertical.

-- Unless you prefer to start with a HR-oriented chat, you can reach me (a lead engineer on the team) at david.larsen@connexity.com.
>No one besides you is discussing a cultural experience.

Oh sorry, is that a trigger word for you? Let me instead say you are mistakenly claiming that the dangers faced by straight while christian males is of equivalent or greater danger than those faced by minorities.

>The blog doesn't claim this, nor does the DOJ data table which it reproduces.

No, but you are using that blog entry as evidence to support that claim.

Heres how the conversation went:

maaku said:

> The concern is not feelings getting hurt, but rather physical security as a person of minority status.

>This is something that a white heterosexual middle-class male (such as myself) can probably never fully appreciate, but I try to sympathize.

To which you responded:

>Actually white heterosexual middle class males can totally appreciate these things.

Using the source you linked as your evidence for that fact that straight white males have the same concern for physical security as minorities. You further explained that whites, asians, and christians are in a position to be equally fearful for their safety as blacks, women, and other minorities.

Using this evidence, you closed your argument by saying:

>I'm sure most of us agree that his feelings are completely irrational and entirely his problem. So why aren't the irrational fears held by various student groups treated the same way?

A dismissal of the complaints of minorities which you have written off by attempting to make an argument that straight white males have it just as bad as minorities, and thus if straight white males arent complaining, minorities have nothing more to complain about and should therefore shut up.

If you have a different argument to make, i would love to hear it.

EDIT: I see you instead decided to downvote each of these comments, so i'll just assume you indeed did not have a different argument to make. Thanks for the discussion anyways, have a good one!
Except that it stops working as soon as the phone enters sleep mode or (if you're roaming or something) has no reliable data connection.
What about private equity? The recent M&A activity I've been aware of is by PE firms that are filling out their portfolio with firms in the same space as an earlier acquisition (consolidating the market).
Code Kingdoms | Full-Stack JavaScript Developer | London, UK | Full-Time | ONSITE

Over 1000 schools use Code Kingdoms. As partners on the BBC micro:bit project, 1 million school children in the UK will access the Code Kingdoms editor. Now we’re expanding into the home market so kids can learn to code the things they already love with Code Kingdoms.

Code Kingdoms are looking for a full-stack JS developer who can help build and scale our products to be used by millions of kids worldwide. We're seeking an entrepreneurial and highly driven developer with a track record of creating successful, high quality software. We’re built on a JavaScript stack and make extensive use of ES6, NodeJS and other modern, productive technologies.

Read more and apply: https://goo.gl/UMxhK2
No, but he is directly associated with a (or the) major Christian holiday.
Tautological Place-Names: River River's and Hill-Hill Hill's Around the World
Agreed. There is a certain irony in the online outrage about "safe spaces" coming from so many people who live in bubbles of their own. How many of these people are raging from the comfort of their homes and are only exposed to ideas and opinions from news sources of which they approve? I confess that Hackernews has become my bubble, but I appreciate the challenges to my thinking I find here.
Wolt | http://wolt.com | Helsinki, Finland | ONSITE, REMOTE

We are working on making the food industry digital one meal at a time. Wolt helps people order restaurant food, takeaway or delivered. We are a small team of 25+ people expanding rapidly across Europe and there are already well over 300 Wolt venues. Wired chose Wolt as one of the hottest startups in Europe 2015.

We're looking for full-time engineers of all sorts! Check out https://woltapp.com/careers/.

Tell them Kenneth sent you ;).
The Ideological Turing Test is inteinteresting. I wonder how applying it to the content of The Colbert Report, and the character Colbert played on the show, would result. IIRC, someone had done some impromptu, unscientific person-on-the-street interviews to determine his political affiliation, and he came off as sincere to those who self-identified as conservative and mocking conservatives to self-identified liberals.
The consequence is your toy project won't work, and you'll have to find a solution. In doing so, you probably won't make the same mistake again, hopefully having learned something.
> TLA+ is not a model checker. It's a specification and proof language. There is a model checker that can check TLA+ specs, just as there is a proof assistant that can check TLA+ proofs.

For the third (!) time, modus operandi matters.

Coq's huge library of tactics and proofs of facts that TLA+ might just throw at a model checker are, in my experience, very useful starting points for things that can't be model checked.

Ostentibly TLA+ could build up an equivalent library of tactics and proofs.

> Why low opinion?

Even supposing type theory is "more obscure", it's pretty hard to believe that someone could study it for 30 years and not understand it better (in some sense) than ZF. That's a pretty extraordinary claim.

> basic set theory -- the one that barely scrapes the definition -- is all that's required to specify real-world programs.

Not really -- you often need non-trivial constructions when proving properties about rewrite systems within set theory. Those constructions are much harder to understand than induction on algebraic datatypes, which is why type theoretic approaches have dominated in formalization of programming languages.

>Unless I'm missing something...

I'm disinclined the dismiss separation logic just because you can code up some of its ideas in another logic (in a way that counts as a novel contribution worthy of publication, no less).

The clarity with which separation logic presents the idea and use of the separating conjunction has obviously influenced the paper you cited. I would think this is reason enough to summarily dismiss these "everything's a TM"-style arguments you're making here. The authors of the paper you cited are only not using separation logic in a kind of meaningless sense IMO.

> So far, I don't see why I should.

This sentiment kind of reminds me of people who have never typeset mathematics complaining that LaTeX is useless... which is to say, perhaps you simply aren't interested in and so don't care about the use cases where Coq shines? Lots of people -- including me -- have already pointed out a lot of these use-cases in this comment section.

But really, based on the arc of this conversation, I would be enormously surprised if you chose to use Coq to prove X, even if there were a proveX tactic already written in Coq and the TLA+ implementation would take all day ;-)
this is great but at the same time terrifying. India thus far has committed to power its growth using coal-fired plants. We in the west have definitely committed our sins in this regard, however India is particularly vulnerable to the changes caused by global warming
According to [1], they collected half a million photos from instagram, selected 20,000-30,000 photos from each city from that, then filtered the set down by using Mechanical Turk.

[1] http://selfiecity.net/#dataset
That's an interesting take seeing as he wrote this
(I guess I'm saying the problem with The War On Drugs as a policy wass that it didnt go far enough). The thing is drugs can be fun and useful if taken responsibly, I'm not certain where you stand but I'm guessing you and I are not aligned. Have a good day sir
I got that, I was nitpicking about the formula, but not too much. I still have a point to make (and did communicate it badly).

What I don't get is any relation between "point of idea quality" and "point of execution quality" that could survive a second of thought. This is too much like mixing different unities, that are ok to multiply but not to compare at face value.

I don't see how "execution is worth more than idea", or the other way around, or anything in between could ever make sense.
Feedly hits 60,000 paying subscribers