skysight-inc/HackerNews huggingface dataset:
If you want to improve the quality of Firefox, there is a simple way to do it, just download Firefox Beta for Android and Firefox Beta for your computer, it's helping them to improve the quality of the stable releases.

It's a really easy step to help Mozilla without changing anything to your habits.
The only thing better than unification is semi-unification. The fact that semi-unification is a lot harder than unification has meant that imperative OO languages get the shaft with poorer type inference support: both assignment and subtyping are inequalities! What Scala has done with least-upper bounds is absolutely heroic in that context even if it does work better for its functional parts.
Actually I might be wrong: http://blogs.msdn.com/b/jennifer/archive/2013/03/12/keep-the...

But from using the Store, the overwhelming majority of crap appears to be distinctly from not the US. Having dealt with local MS subsidiaries, I'd be surprised if they didn't do similar stuff. The ones I've seen are quite eager to promote and can get cash from Redmond.

Or, seeing as how MS regularly publishes stuff that's a total fake, even when the publisher claims to be Microsoft itself, I wouldn't be surprised if they didn't validate US residency here.

Or I might just be biased and the publishers just have terrible English and uncommon names for North America. But some of them used the letters "pvt ltd" in their fake company names, which is not common in the US.

Email me if you want some more details. I've got screenshots of lots of the junk, but I'm on my phone and don't have the links handy.

Being paid is common enough, and I've heard of companies getting 5-6 figures from MS to port stuff. But I think getting paid per app, like the link above shows, is the only explanation for some of the broken shovelware that's dumped on the store. Maybe advertising, but there doesn't seem to be any install volume. (Paid scams are a different story, like fake Netflix or WinRAR.)
Hotel Marketing Solutions – Video Marketing Stuttgart
Ooh, I can write signum in three instructions on PowerPC:

divw r4,r3,r3
srawi r3,r3,31
or r3,r3,r4

The equivalent in C:

int signum(int x) { return (x / x) | (x >> 31); }

This uses the hilariously fun fact that integer division by zero silently gives you zero on PPC.
This sounds interesting, could you list some of these conveniences?
CAcert: Modernising the Web Front End
Not including the Dragon 2's pad-abort test, which is ostensibly next week. That may slip, though.
Ikea's new furniture can charge your phone, no wires necessary
Hey. I'm in charge of Developer Relations at PAYMILL. I'm sorry to read that you are having difficulties with the service.

What do you mean with "Requests for updates are ignored"?

The current documentation has been around for a while and is currently being entirely updated. I would be happy to hear your thoughts to ensure the new version will be satisfying for our users.

Feel free to contact me, I'll help you with that.

yann.irbah[at]paymill.com
Tic-tac-toe - it isn't in the list. The only winning move is not to play.
You already can on a few places. OKCoin seems to be most popular, and up to 20X leverage on their futures, http://okcoin.com/
Blogilates – Workout and Get Fit – Chrome Extension App
Why isn't the right pedal on bikes reverse-threaded?
I do. All 3 of them.
Here Are 21 Food Tricks That Totally Change Everything
English major here. I'm currently learning how to code as part of a bootcamp called (surprise surprise) "Coding is the New Literacy".

One of the things this program hammers in early is fundamental programming principles like OOP. A lot of MOOCs skirt around these topics, forcing you to 'build' non-functional apps first. I've taken those courses and learned nothing of real value.

This program, where I've been forced to learn algorithms, OOP, etc. has been of much higher value. It's been harder, but I feel like I'm actually learning the fundamental principles of programming.

I'll echo your sentiments: to learn how to program is to learn how to model systems.
It takes an engineer to solve that challenge? Anyone with a bit of CS background and HTTP knowledge could do this.
Big Doctor Is Watching
Any tips or links you can share for getting your Open C to FxOS 3.0? Did you have to first upgrade the base image from JellyBean to KitKat? Were you able to shallow flash a nightly image or did you have to build everything yourself? I have an Open C and am on 2.1, but haven't yet tried to move past that. Thanks!
No that part was easy, it's the next that troubles me ahah
Be careful with the phrase "feed the world", lest someone get the impression that the world includes people outside American tech companies.
Can you tell us what's the nature of this part?

IMHO NXPs datasheets were usually ok (for common parts, of course)
2 days ago: https://news.ycombinator.com/item?id=9119364
Yeah, -O2 was my wild guess and in the reality the figure may vary a lot. I think that it is quite great anyway.
True. Trying to predict candidate's performance in such complex activity like programming by using a single source of info (competition results) is as effective as predicting if someone will be a good football player just by looking how fast he can run. Sure, it will affect the performance but it's not the only competence required. And not the most important either.

That's why multi-angle approach is a must. Not to mention well defined competencies the company is looking for, which is often also a big problem.
See, for example:

https://en.wikipedia.org/wiki/Wiles%27_proof_of_Fermat%27s_L...

http://rsta.royalsocietypublishing.org/content/roypta/363/18...
One alternative to consider is Mercurial (which command-line wise is more similar to Subversion) with subrepos (which have better usability): http://www.selenic.com/hg/help/subrepos
San Francisco, CA – Telecommute

Haskell Test Software Engineer – Scientific Simulation

FP Complete is looking for creative software engineers to build our test and delivery capabilities. You will be working as a member of the development team (with those brilliant people listed above). Your mission is to innovate on the test infrastructure enabling and implementing automated tests and test suites across multiple product components.

More details here
https://www.fpcomplete.com/business/software-engineer-test/
It is true that there might be errors in anything.

However, this is mitigated by having only a very small core that checks the proofs. Basically if there if a wrong proof goes through, there must be an error in the core (which was checked by many people and is very small).
That was basically Google Buzz (which of course was basically FriendFeed) - and far from "taking off like wildfire" it struggled tremendously, despite the huge benefit of being directly integrated into GMail.

The problem with that model was that publishers tended to dump their feed onto Buzz, and then engage with people via Twitter.

Of course, it's possible to ignore the lack of engagement, with the hope it will come later, and instead concentrate on the information consumer (call it "consumer-centric").

The problem with the consumer-centric model is that on its own it doesn't drive traffic, either to the app itself (GReader/Buzz/FriendFeed) or to the publisher.

That makes it a hard sell. It's difficult to know what could be done differently to fix this problem.
Hope this isn't pedantic, but I think you meant "1/1000th the blood". A 0.1% improvement isn't nearly as impressive as what you all have accomplished ;)
iMedicare - Cluj-Napoca, Romania / REMOTE / $24K - $48K / 0.0% - 1.0%

https://angel.co/imedicare

iMedicare services over 3,500 pharmacies across the US, helping them efficiently retain and manage their Medicare patients. The company aims to help small-time business owners retain their customers and adapt to and utilize new technologies in order to stay successful.

We are looking for an experienced Python developer to help us build our new version of the product and automate our existing operations. Experienced generalists are encouraged to apply!

Skills we are looking for: Python, PostgreSQL/Redshift, DevOps, Amazon Web Services, RESTFul APIs, TDD, SaltStack.

We offer a competitive salary and equity options. We have a great office in downtown Cluj-Napoca, but you are free to work from home if you want. Most of our team is distributed.

To apply, email me at stas@imedicare.com or ping me on twitter: @Suscov

P.S.: Sorry for the AngelList profile, but our team page is still WIP.
Not sure why you were downvoted.
I never saw dogs or cats hiding to screw. Fact.
Probably best to stick to assembly for that, since the C version has lots of undefined behavior (division by zero is UB, as is bitwise shift of a negative number) an optimizing compiler can do what it want with that code. :)

I'm not trying to be annoying, but I think there's value in not publishing broken code without at least noting that it is broken. I realize that the code still communicates to humans how to compute signum(), but it's meaningless if compiled which is kind of important sometimes too.
Vienna - Lead Developer, Product Manager, Startup CTO - Full time / Not remote - Java, REST, C#, Full Stack

We at Tablet Solutions are planning to develop a new mobile SaaS-Solution(tablet based) for the engineering and construction industry.

German is a an advantage.

To find out more go to (german): http://www.tabletsolutions.at/join-the-team/
San Francisco, CA – Telecommute

Software Test Engineer – Scientific Medical Simulation

FP Complete is looking for creative software test engineers to work on our scientific medical SaaS product. You will be working as a member of an international product team and you will be expected to provide direct input on product implementation, testing, and quality. Your mission is to represent the customer. You will learn the system from top to bottom validating the product and making sure it delivers what the customer needs.

More details here https://www.fpcomplete.com/business/test-engineer-software/
I'd love to know, too! FBI agents were flipped for $100,000, just cause they needed the cash. Escaped detection for decades. CIA agents were turned, too.

While I'd not be surprised to see corporate security better than the FBI's stuff[1], I find it hard to believe you can't just get agents on the inside for the amount of money involved. So secrecy seems so unlikely to be useful against the companies that can really benefit from that knowledge.

It reminds me of Nikon not documenting their white balance settings in their RAW format. Just stupidity all around.

1: A long time ago, I saw Microsoft Internal Affairs in action. They were fast and setup a sting, complete with their own undercover agents/turned insiders, in a matter of weeks from first tip-off. I'd imagine companies like pharma or chips, would have even more severe response. Whereas in the FBI, one multi-decade mole was actually caught once or twice, but talked his way out. At one point, he even led the investigation against himself.
Om Malik Visiting Iceland for Startup Iceland
The proof is written in Coq, an automatic proof checker.

Of course, Coq itself could have bugs, but it has a small trusted kernel and it produces proof objects that can be checked, so what you get is much, much more reliable than the typical published proof in mathematics.
good hear from you Martin. I am glad you like it and i hope we can get the chance to work together again
Index of Legal Startups
Need some inspiration? Everything you need in this overview
Sounds stupid. Steganography + Vernam cipher makes it impossible to detect and decrypt. Why would you artificially weaken it?
Yeah, I though of artist-mode immediately!

Check this out with M-x org-mode and DITAA...

http://orgmode.org/worg/org-contrib/babel/languages/ob-doc-d...

Also org-mode gives you kick-ass ASCII tables.
Jetwonder.com - Latest startup - One amazing trip every month
Interesting they are using it without optimisations. The compilers is used far more with optimisations, so those code paths are actually far better tested. I have heard of cases where bugs only appear in unoptimised code.
Although there seem to have been parts of it that hadn't been formally verified:

"Using Csmith, we found previously unknown bugs in unproved parts of CompCert—bugs that cause this compiler to silently produce incorrect code."
(http://www.cs.utah.edu/~regehr/papers/pldi11-preprint.pdf)

The CompCert homepage tells us that the same authors did a study in the same year (2011) without finding any wrong-code errors.

But even if they hadn't; I'd still be excited about CompCert demonstrating that this level of verification is indeed possible. Because then verifying the unverified parts would probably be just as feasible, given enough resources.
Yes. And you're talking about design, in the sense that modeling is a form of design, and also the design of computers and the supporting OS's we have today.

To put the above into perspective, imagine how you would design the entire computing environment for the common man if you could start over and design it from scratch.

Much of the literacy barrier is due to the fact that our systems are hangovers from 25 or 50 years ago.
Resolvedeo – Download Videos from YouTube, Facebook, Vimeo Etc.
This kind of language change can't really be accomplished by fiat, so it makes sense to look for the direction the language is heading in and push. More and more we see people using "they" as a singular pronoun. But a large proportion of people find this usage strongly ungrammatical, which is preventing it from becoming mainstream. Eventually it will win out though.
Solange Offers Awesome Reaction to Giuliana Rancic's Racist Hair Comments
"Plotting crime" - great word choice :D
Britain's last lion tamer gets his chin nibbled. Photo gallery
Well I assume mercury was the culprit since his posts certainly exhibit symptoms[1]

[1]http://en.wikipedia.org/wiki/Mad_as_a_hatter
Likewise, there is so much we don't know about the effects of psychology on our immune system. We can see that stress has a negative effect on health, why wouldn't the opposite be true?
If there were a word that you regularly substituted in for a swear word, wouldn't it then become a swear word? Do you mean words like "heck" or "freakin"?
But maybe something else would. You don't know that. And there were and are people who want to impose Sharia violently even without ISIS.
> No, it's the refusal to consider such theories and include them in proper research that does the disservice to sufferers. For as long as this continues to be the case, a genuinely effective treatment for CFS will not be found.

But they have been considered. And studied. And found wanting. It is not, anecdotes notwithstanding, possible to "improve your health by improving your emotions using this technique for which there is a solid track record of success". There _isn't_ a "solid track record of success. That's the whole point. If there was, we wouldn't be having this conversation, because everyone with CFS would be cured several times over by now.

That's why there is a need for real (read: effective) treatment. If I, or any other of the many sufferers out there, could heal ourselves through some emotional technique then we would be _over the moon_. But we (and many others) have read the books; tried the techniques; and are right where we started: wanting real funding for real research for a real disease.

Physiological treatment will work alone, just like they have for stomach ulcers, and countless other illnesses that were previously attributed to vague, non-scientific explanations. We just need to do the research.
There are many sites from where you can offer consultant services quoting hourly rate. For instance www.fiverr.com and http://hourlyconsultant.com. The key is fixing the right rate taking into consideration all the factors that define your work profile.
Simple powershell reverse shell
Punk band with learning disabilities set to represent Finland at the Eurovision
Silicon Valley boys' club put on trial
Dashlane | Paris, France | Full time

Dashlane (located in NYC and Paris) is dedicated to solving the web drudgery associate with password management, identity and online payments - aka filling those damn web forms and generating passwords more complex than "hackernews1".

Now hiring for various dev positions:
#1 BACKEND DEV - Experienced with backend stuff that stays up and is, you know, webscale®. Node.js, MySQL, Mongodb, Redshift, Ansible, AWS...
#2 IOS DEV - iOS engineer who wants to build innovative UX/UI features.
#3 WINDOWS UI DEV - Because not everything is web, and Qt can be fun, build the UI of our windows app (C++ mainly).

More info at https://www.dashlane.com/jobs.
I didn't get much from the linked blurb, but the title made me think: if you sample training data exhaustively and then run a learning process, could you then take the training data maximizing algorithm performance to then better train humans at the same task?
Were you in a position to use a competitor's parts?
Twee.io – a Node.js framework
Foko - Private Photo Sharing App - Full-time/Permanent (on-site) - Ottawa, Gatineau, Hull - Canada

We are searching for Backend Dev position and a Marketing position.

http://foko.co/careers.html

Since launching in June 2014 - Foko has users in 10% of the Fortune 100, and boast high profile clients like Whole Foods, Trend Micro, Maxim Integrated, and One Medical Group. Monthly active usage is over 45% - nearly 3X industry average for enterprise services. http://www.foko.co

===============

# Backend Node.js Developer

===============

Responsibilities:

•	Work in a small backend team to build an innovative platform supporting both mobile and web applications that solve real business needs.

•	Work closely with client team and product team to deliver world-class innovative products to interrupt business world, on time.

Desired Skills:

•	Solid knowledge of Javascript

•	Strong commitment to quality

•	Experience with NodeJS

•	Cloud based systems (Amazon AWS, etc)

•	Experience building and scaling a Rest API

•	Being awesome and wanting to be the best in what you do

http://foko.co/careers.html#web

============================

# Digital Marketing Specialist

============================

We need someone with a talent for digital marketing. Someone that knows how to increase relevant leads through social media and SEO tactics. This person will use social platforms like Facebook, Twitter, Instagram and other to drive traffic and sign-ups to the service. The successful candidate will also be responsible for the social media interactions with our customers, fan and followers. The successful candidate will be passionate about strategy, communication and marketing.

Essential Duties and Responsibilities

•	Develop and implement a corporate marketing strategy and campaign for Foko.

•	Work with the product and development team to understand product releases and develop the appropriate marketing campaigns.

•	Work with customers to create internal marketing campaigns to promote Foko with their employees

http://foko.co/careers.html#marketing
Funny, I just read this article [1], which sounds a lot like what you are saying. I personally don't hear popcorn in movies, but I do hear people talk.

[1] http://mobile.nytimes.com/blogs/well/2015/02/23/please-stop-...
Mifare Desfire EV1 RFID tag[1].

[1]: http://uk.farnell.com/nxp/mf3mod4101da4-05-1/rfid-read-write...
> Why would a human?

Because evolution graced (cursed?) us with a reward system and parents that utilize (abuse?) it.

Having something capable of high-level reasoning, while free from the desires, fears, moods and other emotions humans suffer is part of the reason why we're looking into AI right?

> that's just your opinion, man

Maybe? I have 5 fingers on my hand - is that an opinion? Maybe it is, because what's an opionion anyways? But who would dispute it?

> Somewhere at the bottom of every perspective, there are some arbitrary axioms

Well not quite. "Arbitrary" perhaps in a formal sense, since logic doesn't care about specific universes but truths that hold in all of them. Yes, you still end up having to settle for implicit definitions somewhere along the line (what a finger is, what method you use to count them, etc.). But there nevertheless is some difference between merely assuming something exists, and assuming what should exist.

Something that is all-knowing would be able to figure out the difference between premises that indeed need to be true for our universe to exist (like me needng having 5 fingers right now), and those that humanity merely believes or wants to be true (like it being good that I not use those fingers to poke out someones eyes).
Samsung's new Galaxy S6 and S6 Edge put design first
Mental illness is a set of real debilitating illness where "emotional woo" is often used.

But, if you want something more real, how about cancer pain? Many people experiencing cancer pain experience relief from that pain with the help of the treatment you ignorantly dismiss as "self help emotional woo".
Samsung Galaxy S6 Edge Hands-On Review and Video
> how Google+ could have leveraged their massive Google Reader user base

Well, let's put "massive" in quotes. It could have been a boost of influential people had it worked (well, some tech bloggers and HN users, but still), but let's not kid ourselves about "massive".

Second:

> Yes, just that simple…make it so that you could follow an RSS feed as though it were another user in G+. Make it so that you could put RSS feeds into circles, and share them, just like you do with other G+ users.

If you had taken Reader and replaced it with this it would have infuriated me at the time, and would have been been the same result as far as I would have been concerned: Reader would be dead. This would not have worked.
That Microsoft were paying anybody cash to stuff their app store was sufficient to make your point. There's no need to bring prejudices against "3rd world countries" into this.
Western-style stores growing in Iran
Greece's Debt Payment Schedule
Wouldn't you just use vssh and be done with it? http://www.velestar.com/Pages/VSSHOSXPage.aspx

Or am I missing the point?
Having worked at NXP for a short time, I agree with you but I have the impression that most of the unwillingness to be open (with those things it makes perfect sense to be open about) comes from laziness and fear of unintended consequences.

The center of gravity of power is held by groups with security focuses and they're supposed to be professional paranoids... It's just unfortunate that the least effort, safest decision for many other folks is one which can be seen as consistent with what those groups would have made.
India is a bit of an isle of democracy amidst authoritarian governments in Asia
The fact that Xavier Leroy has been working on CompCert gives it an extra level of credibility for me.

(Xavier Leroy of INRIA is the main author of OCaml, among other things.)
> the hard part is transforming requirements and workflows into logical structure

that's like saying for painting a picture, the hard part is knowing where to put the paint. The act of slashing paint on canvas itself is trivial.

I think the real problem is that there hasn't been any proper primitives created - primitives that can be linked together to produce what looks like another primitive. I guess the non-physicalness isn't helping, because lego works really well as a building primitive.
3 positions | London, UK | Full Time | Not remote

1/ Platform Engineer
2/ Mobile DevRel
3/ VP of Engineering

All the info here: https://pusher.com/jobs