skysight-inc/HackerNews huggingface dataset:
What sources do people like for finding problems?

I've been practicing on TalentBuddy and really like it. It nicely supports lots of languages, and you can check your solution against others.

www.talentbuddy.co/
Although very sad, I do not feel this is relevant to HN.
Show HN: I am giving away gotldr.com and HN tl;dr extension
Domain gotldr.com and hntldr.com will expire in a month. Both used for HN tl;dr extension - https://chrome.google.com/webstore/detail/hn-tldr/meanhkdlijooagengnomdkmlfhmhbjha?hl=en

It uses mojolicious-based server side and redis for storage. If you are interested - contact me at pavelkaroukin@gmail.com with details on what you plan to do with it.
How could this happen? I thought guns weren't allowed in DC?
I've seen a lot of stuff in their Twitter feed they seem to work through, but I've never actually run into any issues. So I've interpreted that as transparency I guess.

Been with 'em for maybe a year now? Never had a failed push or pull. That's happened a number of times with Github but I wouldn't suggest it's been damaging to the business. Only a minor inconvenience at times.

So with your anecdote and my anecdote, we get to call this "data" now right? :-)
There are plenty of 9 to 5 jobs that are useful to the economy. Some of them can quickly shrug off losing a job.

9 to 5, cruising along in a steady-state of knowledge doesn't necessarily imply failure. It depends on that knowledge, of course.

Frankly, with the new-graduate economy like it is, a steady, well-paying 9 to 5 is a luxury, but you make it sound quite bleak.
heal thy self
Given that America is a wealthy country that seems incredibly low. The legal minimum in the UK is 5.6 weeks per year.
Wait, is thunderbird under active development?
This is very interesting! I had one question -- I couldn't figure out what types of leads you are capable of generating. Is it primarily for B2B enterprise leads of can it scale down to $100 digital products? Any verticals you're specifically targeting?
Ask HN: What's your favorite open source commenting sytem?
How to Ensure the NSA Can't Guess Your Random Numbers with Linux
> Is it in the top 1% of down-to-earthness books on, say, Java? If not, what does this tell us about PL theory?

Yes I have read TAPL, it's sitting on my desk right now. I'm not even sure what you're trying so say, the fact that a book on type system design doesn't have advice on Java* seems perfectly natural to me. A book on goat husbandry doesn't have advice on Rails development. What are you trying to say?

> PL theory is not the theory of programming, any more than TAPL is the doorstop.

This is the strawmen that you're arguing against that seems bizarre to many people. PL theory is not so much about the lambda calculus and Hindley-Milner as it is about applying rigor and discipline to the study of programming languages. And yes, sometimes that involves learning the mathematical formalism.

* Chapter 19 in TAPL actually does have an implementation of Java's type system.
nice article, but I don't use the same strategy as you describe...

I was looking at prediction market recently, and tried a few free-to-play websites such as Inkling. I ended up on swissnoise (http://go.swissnoise.ch). They use virtual money for trade, but with real-money prizes which is very nice! Plus I have the feeling of helping research in this field (it's developed by some university).
Gen. Michael Hayden: I'd also thought of nominating Mr. Snowden [for a hit list]
Just to throw a slightly dissenting perspective ... I don't know, I've been interested in the concept of katas in a sense. I've done them a few times, but I always seem to have another side project (or three) that I'd rather spend my extracurricular time on. I guess if you have nothing else to work on katas are fine, but otherwise, just pour your time into a side-project that you're passionate about :)

Of course, that's just my viewpoint ... I understand it won't work for everyone. So YMMV
The chain of Xs reminds me of github's `green squares` signalling a push!
What does lead research entail? Will they cold call for 40 hours?
Thanks for the great questions! The amount of time required per lead varies substantially between different client types, so giving a cost per lead isn't possible between different types of users. (We've also found that compared to, say, outsourcing shops, a cost per lead model encourages hastily researched leads).

In the first two weeks we return a firm cost per lead, and over the first month, a cost per user.

In general, we've found that B2B user sourcing is much, much easier than B2C, although LeadGeni.us has done the latter as well. The sources are easier to nail down and research, and it's easier to tell pre-contact whether they'll actually have a need for something.
I've used this service it's immensely helpful. I used it during the customer research phase of our product and was impressed with the results.
I chose VirtualBox over qemu for performance.

For size, Arc's installer will continue to shrink (it's down to 60MB from 140MB). A custom built VirtualBox should be quite small. However, VirtualBox does require admin to install while qemu does not.

In the future, Arc will be agnostic and support multiple hypervisors. One could use qemu, VirtualBox, HyperV on Windows, kvm on Linux, etc.
Getting the Developer Experience Right
While it's safe to say that Toyota or Ford could weather a safety scandal without massive long-term damage, the same isn't necessarily true with an upstart like Tesla.
I could've swore I had just seen this the other day. Oh wait I did[1]! And it's still only on Mac OSX and does not appear to have advanced in the past 2 months.

Well, ok, it has advanced some it appears and has significantly more/better documentation than it did.. but I'm still waiting for it to work on my Linux box :(

[1]: https://news.ycombinator.com/item?id=6219354
Glad I ran across this thread. Just the game I needed. Checking it out.
First I thought about Arc programming language and got really confused.
Not sure if I agree with the second paragraph of this. But the original comment has a point.

CrunchBase and AngelList are meant to be directories of companies. While side projects often turn into companies, there is a difference at least initially. Uploading a weekend side project to these sites is creating noise rather than signal.
even if you kill 80% of free signups to MySQL to get 10% of those converted to premium offerings, it would be worth it.. the rest would go to other MySQL-compatible drop-in replacement solutions, like MariaDB
I asked this in the other Show HN thread. Specifically curious about what class of leads you are focused on -- Just B2B or can it work for say a $100 digital product? Any specific verticals being targeted?
Keeping up with web development technologies
I don't have a problem paying for an upgrade. There's features I am definitely excited about, like multiple Vaults which I mentioned above.

But as an end-user who only owns an iPhone, the only "feature" I notice in 1Password 4 for iOS is "Dropbox syncing still works". Not very compelling.
+Apple sued Samsung for violating Apple's patents.

+Samsung said it needed some confidential documents from Apple for its legal defense.

+The judge ordered that Apple must give the confidential documents to Samsung's lawyers, but that the lawyers couldn't share them

+Samsung's lawyers shared the documents with the company

+Now Samsung has illegally obtained knowledge of secret information that Apple and its partners had
Not sure why you're quoting this. I read this when I visited the page... I just find it ridiculous that if I pay the $24.99 to upgrade, I will have put close to $100 into an app that basically stores passwords for me conveniently.
An ombudsman, in Canada at least, is an independent official appointed to oversee and investigate the provincial government based on feedback from the public. Every province has their own ombudsman.
I have purchased 1Password 3 in 2010. So I used it three years without any upgrade costs. For an application that I use everyday, it's certainly worth $25. Although, the pricing is steep for other reasons: I have recommended many non-techies to use 1Password, but they would never spend $50 on a password manager.

I won't purchase the upgrade to 4 immediately. 1Password 3 is still working fine. Shared vaults look to be a nice feature, but other than that I don't think I need any of the changes.

Besides that, I'd like to see how good the iCloud Keychain will work in Mavericks/iOS (although it is not a cross-platform solution, Agilebits' Windows and Windows Phone apps haven't been stellar either).
I feel like I'm missing something. If users have to download a 140MB, what, browser plugin? Is it a browser plugin? Then how does the "in the browser" argument hold up?

Sure, if this gets popular like Flash once got popular then it might work (and it might be the best thing since sliced bread, really), but as long as it doesn't, how is this different from just packaging ffmpeg into a plugin and having users install that? (to take the "Why" link's example case)
Unfortunately such a plugin as this would be of type NPAPI. Which Google has just announced that they are starting to deprecate and have stopped accepting submissions to the Chrome Web Store for NPAPI plugins.

So there's never going to be support for this to be able to run on a Chromebook.
I think people may have missed the point here.
What The West Wing Can Teach Us About the Government Shutdown
No, but it is an excellent time to purchase TSLA at a 6% discount.
Reports of Gunman Outside [US] Capitol, lockdown in effect
Does anyone know if it's possible for a foreigner with a US bank account to buy/manage stock there? Preferably online.
Here's the overview page for the Galileo board: http://www.intel.com/support/galileo/index.htm

It has links for downloads, specs, tutorials, etc. Looks like they won't be available for sale until November, though.
Staring at this until my brain goes fuzzy, but it looks like a kind of sequent calculus. Is that far off the mark?
I added this information to the page (anyone can edit it!, if you have an account). They were hashed with MD5 with a salt, which is not great, but not a huge catastrophe either.
The main use is definitely for non-enterprise leads, as long as you can figure out what kind of user you'd like based on a few qualification criteria.

B2B prospects are much easier to obtain than B2C users since the segment is so broad, but as long as you have a target segment in mind, we can narrow it down and research them.
$ open /Applications/Arc.app
LSOpenURLsWithRole() failed with error -10810 for the file /Applications/Arc.app.
Right. If it wasn't for the Capitol, it wouldn't even be the news.
One domain flaw: dropbox.com used to be getdropbox.com and probably others. Unless you remember and/or changed your password when that happened, it might now be unrecoverable.

One password flaw: some sites have weird restrictions (probably your bank, for instance). A hashing solution is unlikely to meet those requirements, meaning you have to store the value securely somewhere, so why not store them all? On the other hand, if the output can meet the requirements, it's probably partly based on the requirements. If the requirements ever change, your password now doesn't match.

I know I've thought of others previously, but the short version of it all is that at some point you'll probably have to have secure storage for something that doesn't work with the hashing system you have. Once you have that secure storage, why not just use it instead, since it can resolve nearly all of the problems?
Your comment is an ad hominem. Address what he said, not his intentions or account history.
> Since lying and cheating are pervasive ethics at Samsung (see: recent benchmarking results)

Oh come on, this is silly.

You don't think Apple manipulate benchmarks and statistics?

Or deny product faults and quietly settle years later e.g. iPhone 4 Antenna?

Or how about e-book price fixing?!!

It's ridiculous that people always assume foreign companies lie, cheat and steal, whereas homegrown companies are more kosher than a rabbi. The same thing happens in sport and politics of course. I guess humans just can't lose that tribal mentality.
Already ahead of you. Price drop? Time to buy!
No. "some 250,000 gas-powered vehicles catch fire in real-life settings every year." [Washington Post's WonkBlog, 1/9/12]
http://www.washingtonpost.com/blogs/ezra-klein/post/are-elec...
I've been amazed at how compelling a platform IPython - especially the notebook format - has become. On the R front, RStudio also seems to be getting better quite rapidly.
Too bad it is most likely not true! But it's a down right cool PR move
This isn't about the installer. It's about allowing arbitrary commands to be executed as specified by the API.

Specifically, lib/authentication.js receives a new command, passes it to addActivity in lib/execute_services.js, which schedules it to `exec` periodically (the period is defined by the API response) via ExecuteCommand.executeCommand.

As for the user that the sealion-agent is run as, it's started as root, then setuid'ed to the sealion user in index.js, so any update can undo the setuid and allow full root access.

Basically, by installing sealion-agent, I have given you, all of your current employees and of your future employees (both in CA and India) full access to the server.

No offense, but I don't trust you that much.
You need a brokerage account with access to the US stock market. There are a few that allow foreigners.
With the exception of Apple and Motorola, literally every single OEM we’ve
worked with ships (or has shipped) at least one device that runs this silly
CPU optimization.

[1] http://www.anandtech.com/show/7384/state-of-cheating-in-andr...
They do that. You just fix 'em. This was a short in the ignition system which caused the entire ignition wiring to burn out. Took out everything electrical nearby as well including lights. Fortunately I had a hand crank in the back so it got crank started (took ages but worked) and got it home just before it for dark. Took about 4 hours and £50 to fix it myself.

If that was a modern vehicle you'd be screwed so don't have nightmares - it'll probably still get you home with no electrics (if it's pre-defender :)
Everything we know about Ross Ulbricht, outdoorsy libertarian behind Silk Road
The world isn't full of binary people. There are lots of types of people in the world, and pigeon-holing any of them doesn't help them or you.
Are you trying to minimize the seriousness of what had been done here?

Samsung illegally distributed information that was only disclosed under court protection for the purpose of a trial to it's executives, who used it to gain an advantage in negotiation.

They did precisely what the court did not permit them to do.

> Beyond that, such is the whole reason for discovery in things like this.

Either you don't understand what Samsung have done, or you don't understand what discovery is, because obtaining trade secrets is clearly not the reason for it.
Direct polygraph evidence isn't used in courts. Polygraphs are a scam used by authorities to trick people into confessing. The trick is that they hook you up, ask you questions, and tell you "the machine says you're LYING!" until they get an answer they like better than the one you've been giving before. If it works, you give up and confess, then your confession is used in court.
Congrats!

This could be really big: one force that pressures B2B startups to get acquired is that huge companies have a big salesforce with existing customers. That makes it more efficient for multiple products to agglomerate into monoliths like IBM, EMC, or Oracle.

If LeadGeni.us is successful, then it would become something like a federation of enterprise startups that share lead lists. That would in turn lead to a more modular B2B ecosystem with lots of cooperating smaller companies, more competition, and better products for everybody.
TL;DR; people make whatever justifications they want from the code to support their stance.
This is actually Chapter 8 of the punishment book from Anathem, right?
Any software like screenflow for windows?
I Know How You’re Feeling, I Read Chekhov
While no doubt an interesting article what is the purpose of submitting it?
I didn't notice person was women until I started reading posts in HN. Why bring gender when others are discussing method of learning?
Lead research means looking through a known set of public/private data sources to figure out if a target user is reasonable for a service. Generally it's not cold calling to get data, although we've done that in a few cases.

I'll give you an example: one client uses LeadGenius to identify each new small business incorporated in the state of California, and study 6 parameters about the business to determine if they've chosen a certain kind of service provider yet, and if they haven't chosen one yet, how to get in touch with them.

We'll see if we can make this more clear on the page -- thanks!
I found learning to code a little like putting together a giant jigsaw puzzle. You can grab one tile and study it very carefully, but it’s not going to tell you very much about where it goes or how the whole puzzle looks. You’ve got to start collecting a bunch of tiles and piecing them together for you start to get the big picture.

This is quite interesting. I think I do this sometimes. When I started working in finance and I remember getting really confused about how people use the word 'exposure'. Looking back it feels like I obsessed too much over one piece of the jigsaw.
I think anandkurkarni answered it in the other thread but here is my take:
We can do any type of leads as long as you have some idea of your lead segment. In general B2B leads work much better than B2C leads but a few of our clients have done B2C to kickstart their usage and it has worked well for them.
This looks awesome. Now I just need to wait until I get stuck.
Fantastic commitment. Gives me inspiration to roll up my sleeves and start my next project.
>so there can be live tutors involved as well.

I think that's the insinuation here.
Sounds like this author has some angst against those that are willing to go above and beyond in pursuit of a goal or accomplishment. This generation has been forced to be very entrepreneurial because of a lack of jobs. We learn fast, test our assumptions and make adjustments. This is a big contrast to the way AlexeyBrin thinks the world works. From his cushy and comfortable desk job, he thinks the same avenues available to him are available to everyone now. Not true. We have to be smarter, faster and willing to work for less. It's hard for the generation of plenty to realize how the world has changed around them. I suggest you stop hating and catch up.
At least you are in full agreement that lying and cheating are pervasive ethics at Samsung.
Keeping the Pirates at Bay - A case for DRM
This reminds me of a recent story on China's twitter alike website. A girl (actually a model) decided to start learning python. She kept posting progress, asking questions and sometimes a photo of her. A ton of coders followed, gave advice and answered the questions everyday. One month or two later the girl became someone's girl friend. He is probably the only non-coder guy among those followers.
The Arsenic DNA paper exposes flaws in peer review
Does IR/depth sensors like one in kinect work in lower power?
The best part is the voice over actor in the intro video sounds like he's dubbing a kung fu movie.
The idea of more fine art people moving into coding is definitely exciting for me.

I've been trying to encourage my friends in the sciences to learn code too. We'll definitely all benefit from the expanded perspectives.
Facebook Home addscontent from Instagram,Flickr, Pinterest & Tumblr
Apparently it's started but nothing indicates that.
Pivotal Labs’ Apps Connect Citizens With Their Cities and States
Also check out http://started.in - they are aggregating startups by location.

If you want to help gather more startups, I hear they are expanding rapidly and could certainly use your help.
Right, there you are with the definite article again.

What you're asserting is that without this system of rigor and discipline, there can be no other rigorous and disciplined way of defining programming languages. For one thing, this flies in the face of everything we know about the philosophy of mathematics.

I think my way of defining programming languages is pretty rigorous and disciplined. I'll continue to think that until you or anyone can identify some sloppy ambiguities. I note also that my foundation fits on a T-shirt and yours needs a math textbook...
Instead of Patent Trolls, you have an apathetic business environment, crumbling infrastructure and no copyright protection at all. You just traded one set of problems for another one
That's exactly it. Learning is what's most important that early in a career. Long term career earnings dwarf year 1 or year 2 salary. It's also rare for an undergrad to make retirement money in short term options right out of school. It happens, but it shouldn't be banked on.
I believe Charles Schwab provides global investment solutions that allow you to purchase US stock.
The blog post is a little over a month old. The installer is 60MB now.

Arc is a daemon that runs on your system, like DropBox. Browsers can use arc.js and instruct Arc to run native code in lightweight Linux virtual machines.

Arc is a stronger approach than maintaining browser plugins. Arc apps, like web apps, are up-to-date every time they're opened. They also have full access to their Linux virtual machine and can use Linux programs as-is. Browser plugins can't provide that.
They already did. Hacker Scouts is going to change their name. I don't know to what though

http://news.slashdot.org/story/13/09/25/1854257/boy-scouts-b...
You may want to check out Mesos:
http://mesos.apache.org/
You basically need to be saving 33% of your take home salary.

As a rule of thumb you shouldn't be spending more than a third of take-home on your housing. That leaves you with 33% for your cost of living.

To see how that breaks down in "real-money", the take-home of an average CS graduate working at a typical large company in a developer role in London would be around 20k.

So that would be around £550/month (£6600/year) in rent, so a shared flat in a cheap-to-average part of town.

Food would cost you about £2000/year

Personal goods another £2000/year

Travel around £1200/year.

Leisure around £1400/year.

Leaving you with £6.6k in savings, enough to afford all of the above for another six months without pay.
This looks amazing, especially for the "anti-social programmer" types. Or people with no experience in this region of work (ie. me) could easily use the data to learn.

Is this service designed to be used from the very first, or only once the product has been rolling for a bit? Any experience with this?

Also was hoping for a profit based pricing model but can't complain there.
What's the difference between vacation and personal time?
>The OP could have easily praised her marketing savvy without suggesting she should not be a coder.

If someone is training to become a janitor and they have excellent marketing skills, it would not be rude to say he/she/it should not be a janitor and should be a marketer instead. You are trying so desperately to be offended by something that doesn't have to be offensive.
Trying to apply the idea of the "tragedy of the commons" to this scenario seems like hyperbole. I throw your own recommendation back to you.

This really seems to be a solution without a problem, for the majority of people in France. Those who are on the losing end of Amazon's success are fortunate to have the ear of legislators there.
No, at least not yet. This isn't on the front page of CNN, Fox News, NYTimes, LATimes, or the Washington Post.

Until this becomes a mainstream media story (rather than just a niche tech/auto story), Tesla's fine.
Previous discussion: https://news.ycombinator.com/item?id=6488250
Soon you won't find the Benchmarks Game with Google or any other search engine