skysight-inc/HackerNews huggingface dataset:
That's pretty much the only thing in the show that doesn't "make sense" though. They clearly made a real effort to use real world terminology and archetypes so that developers wouldn't be too distracted by inaccuracies and concentrate on the comedy. Even the way they discovered the algorithm was pretty on-point technical wise.

The premise that people are interested in the underlying technology of a product rather than the product itself is also a common theme in the valley. I personally am impressed with the show thus far.
I'm into the fields talked about in "the Big Bang Theory" and don't find it funny, but I'm also into the fields depicted in "Silicon Valley" and find it funny. I think the humor is better in this show. One of my friends is a doctor, and couldn't watch "Scrubs" because it was a little too close to home... maybe that's the case here ? Anyways, I'm embracing the poking fun of our culture!
To be fair, if the permission to receive mail is buried in TOS, then I'd consider it spam too. So I guess I attached my point to the wrong comment.

But I know from industry experience that some people who explicitly sign up to mailing lists then go on to report those emails as spam, and this dilutes the effectiveness of 'report as spam' features.
And also because if you start with a CLI, you don't end up with a GUI where the functional code is embedded in the button event handlers.

The CLI makes it easier to force developers to separate the functionality from the user interface. You still might have the guy that puts all the code inside Main( string[] args ), obviously, but at least that code is easier to test.

Just like removing the presence of alcohol from the alcoholic may allow him to resist temptation and become a better person, removing the GUI from people with bad GUI coding habits may allow them to resist temptation and write better code. But maybe not.

It also helps you discover who actually knows how to write software, and who is dependent on the development environment to erect all the scaffolding for them.
Game mechanics explorer – interactive examples + code
Seawater to supply Beijing in 2019
I've worked with programmers for ~25 years at this point (side note: I'm old), and this describes a kind of personality type that's out there, to be sure, and a type that's perhaps disproportionately represented on HN and, back when people used it, Slashdot. But that's not all programmers. A lot of the people I've met -- or just know of -- who are terrific at user experience design are people who have an engineering or development background of some kind.

The software companies that produce the best UX don't do so because there's a "draconian master" forcing the programmers not to just have Macs boot directly into Emacs and give users electric shocks when they click the mouse button. They have teams that are actually interested in UX design. Everyone I've met doing engineering at Apple cares about this sort of stuff. And while I'm sure there are programmers out there disappointed that their Android phones don't boot into console mode, none of those programmers are people on the Android team who have only been held back from doing so by the Iron Fist of Sergey.
This advice is pure insanity. Never anchor your price against a latte - also never let internet commenters influence you to anchor your price against a latte. Someone discriminating between $5 and $10 for a time tracking application that allows you to bill real customers for real money is emphatically not your target customer.

$10 a month for almost any kind of freelance job is a drop in the bucket. Raise your prices.
As someone who watches it, I actually kinda like it. Its pretty funny.
THE CANNABIS REPUBLIC OF URUGUAY
Qubes OS R2 rc1 has been released
> What you're describing is just so different from real spam.

Not at all, check this other post of mine on why I think it's still spam: https://news.ycombinator.com/item?id=7621722
You know, something like the form factor of the new Raspberry Pi Compute module might be a neat way to go about this. If they could agree on the interface, it'd allow an otherwise "dumb" display to get easy, hackable upgrades over time.
Hi guys. Long-time engineer here, first-time businessman. I really hope you enjoy what my new startup is trying to accomplish, which is to better connect citizens to politicians.

We haven't officially launched yet, but we're kicking things off with a fun contest. (My apologies if you're not a fan of "stealth" startup marketing promotions.)

You can read more about it, if you care to, on my personal site here: http://www.czahor.com/meet-the-president/

Feel me to ask me questions or give me feedback at ethan@czahor.com.

Thanks!
The show has received great ratings, both in critical reviews and in viewership. (although a lead-in from Game of Thrones might contribute to the latter).
MySpace lost because it lost war to spam. Majority of regular users were just fed up with freaking spam. Tens of comments, invites, messages mass sent from some unknown wannabes. Facebook offered more closed approach - focusing on real life friends and trying to tackle the spam.
Remember having 500 friends on MySpace? How many of them have you EVER seen in real life? 10-20% ?
The Code Is Not Greener On The Other Side Of The Cubicle
Beer prices could go up under FDA rule that angers farmers, brewers
Money quote: "The assumption behind any 'lock-in' strategy is ultimately that your product is poor and that customers will gladly switch vendors if given a chance."
Where's the Github repo?
Those same hospitals are also incentivized to rush an uninsured patient out the door as soon as possible. Serious, painful, but not immediately life-threatening problem: give a random diagnosis and tell them to follow up with their nonexistent primary care doctor as soon as possible, and escort them out.

In many states in the US, Medicaid or other insurance is not available to the homeless or indigent, not unless you have a disability diagnosis from the doctor you can't pay to see, and can get the necessary help to have that diagnosis recognized legally by the government. Otherwise cursory, rushed visits to the free clinic and ER are all that's available.

Hospitals may be as minimally need-blind as required by law (if that, its not like the homeless can sue), but they only offer just that. The number of options and quality of medical treatment is vastly greater for those who can pay than for those who can't.
Google is researching ways to make encryption easier to use in Gmail
And it's making the world a better place.
> Can I steal your title for future submissions elsewhere?

By all means. Thanks for the article.
When I worked in the defense industry doing development using the waterfall software process methodology, we did stuff that fit the V-model. We used DOORS / Excel for requirements tracking, wrote long design documents, and had a QA person who wrote lots of HTML test documentation with clearly defined acceptance test procedures. All of these tools don't talk to each other.

An IDE like this could be applicable to any multi-month project with sufficient requirements complexity.
Value Propositions: stop using “made simple” to describe your startup
> but I just don't find it funny at all.

that's because you're who they're making fun of. this entire show is satire.
I don't really follow other people but it does allow open aggregation of highlighted text.

So you can compare and contrast your highlights versus the masses. It is interesting to see how common certain passages actually are.

However, I used the Kindle App on iPad, not a Kindle ;-) I have a nook glow I picked up for $40 a while ago.
According to Curry-Howard correspondence, types are conclusions and programs are proofs of the conclusion. Any program is corresponded to a deduction procedure, such as a Hilbert-style proof or natural deduction proof.
That's not entirely true. One factor could be that less progressive urban areas are both less willing to remove lead from gasoline and less willing to fund community outreach programs. Community out reach programs may take years to gain traction and become effective. Banning gasoline is witnessed in a much shorter time frame. This would explain the lag between crime rate drops and banning of leaded gasoline.
What my real estate agent taught me about running an indie software company
I second your feeling about Big Bang Theory, but I don't think SV is that bad. Personally, I liked the competing show "Betas" a lot better because it had subjectively more soul and better dramaturgical timing, but other than that Silicon Valley is mildly entertaining. Compared to BBT there is not a lot of pretentiously presented flavor text with at best a tenuous connection to real science, so I think Silicon Valley might at least have better expert consultants than most professional-themed drama and comedy shows. That still doesn't mean one can or should expect total factual accuracy from a TV show, it's still just entertainment - it just has to be enough to make you believe for a few minutes.
Maybe that's why it's a TV show.
I love this show. Not only does it accurately portray the SV startup scene, but it has a well-written story line. You can't really compare this to Big Bang Theory. I've seen nearly every episode of Big Bang and that is way, way more sitcom-style than Silicon Valley. Big Bang has a lot of nickle jokes related to science fields, with situational comedy surrounding the characters thrown in. Silicon Valley is not a sitcom, and the episodes follow a well-researched story line.
Maybe for immediate, urgent care, but definitely not for recuperation or follow-up.
Everyone should really be on a VPN. We built an easy way to get your own personal VPN during Sochi, but lots of people are still using it now: https://www.tinfoilsecurity.com/vpn

The interesting part about this is that the ISPs pay for it. I didn't know that. Forcing someone to pay for you to spy on them is ballsy.
NY Times pits Galaxy S5 against iPhone 5s, says competition isn’t even close
Thanks—fixed.

The original url [1] was blogspam—that is, it was a knock-off (or excerpt) of some other, more original source. In such cases HN strongly prefers the original source.

Submitters: blogspam is usually easy to recognize. Please check for that and post the original instead.

1. https://www.schneier.com/blog/archives/2014/04/info_on_russi...
What a news. One better ask about manufacturers of the collector and implementors of the necessary features.)
To paraphrase a comment I made further up, banning lead in gasoline is a binary initiative that doesn't take a long time to initiate. Cracking down on crime is a longer process.
The prime example of software made by a hardware company might be OS X. It's a damn good piece of software. It's half the reason people buy the hardware, actually.
HN Chicago Meetup: Wed 7pm
Howdy all,

Our monthly Hacker News Chicago meetup is Wed at Clark Street Ale House.

http://www.meetup.com/hnchicago/events/172979432/

If you haven't had a chance to come check out our events, this will be a good one to get started. The weather is turning nice and we'll be out on the outdoor patio at Clark Street Ale House.

Come meet collaborators, friends, entrepreneurs and tech enthusiasts and argue aimlessly about why your framework is better than mine. :)
I think the media takes them too seriously as well. it's just a company that facilitates the sharing of LOLCat photos. Yes, its big data hard technically at that scale, but at the core, it's not a Google.
> The price of being rich is really simple: You must live below your means.

The linked article is funny and entertaining in places, but the above is the real punch line -- it's true in a deep sense, for reasons given here:

http://arachnoid.com/equities_myths/index.html#Compound_Inte...
I just had a quick look at Alloy ([0]), and I'm interested in how it could be integrated into the software development process -- once you're confident about your Alloy model, you have to transfer it to working code somehow. I'd try to use both "fact" and "assert" statements from Alloy code as assertions in my production code (e.g. Python or Java). How is this usually done?

[0] http://www.doc.ic.ac.uk/project/examples/2007/271j/suprema_o...
I think that a lot of the advances in treating heart disease have to do with preventing a heart attack in the first place by recognizing what risk factors a person has and having them change their lifestyle and take medications such as statins. Improvements in the area of prevention are going to be difficult for a homeless person to access since they require the ability to visit a primary care doctor, get medication and make lifestyle changes. It's pretty hard to eat healthy if you're on a very tight budget for food and don't have access to a kitchen.

The treatment that a homeless person gets when they actually have a heart attack may be better since they would presumably have access to a defibrillator in an ER.
The show has mostly made sense technically. The only thing they got wrong is the code is clearly proprietary but Richard tells the assistant that it's up on github in the first episode.
Misses the fundamental point that Make is broken for so many things. To begin with you have to have a single target for each file produced. Generating all the targets to get around this is a nightmare that results in unreadable debug messages and horribly unpredictable call paths.

nix tried to solve much of this, but I agree it can't compete with the bazillion other options.
Why would that automatically lead to an increase in crime?

If you have wealthy areas, you have opportunities for less affluent people to get ahead through legitimate means. They have economic opportunities.

On the other hand an area that's entirely depressed is often infested with crime because there's no alternative to theft. The economic opportunities do not exist.
Microsoft and Motorola Solutions sign patent deal covering Android, Chrome OS
Random selection of track and random ordering of the playlist is not the same thing. People usually want the latter. They often get the former with a car audio player.

It's even worse when the random track is not even produced from a good pseudorandom number generator. In order to preserve the back/forward button functionality, the "random" selection may be seeded as a function of the current track number and the system clock date. So you end up with a choice between the native playlist and the player's playlist of the day.

The only reason I can think of for making your hardware do such things is that you don't care about the user experience as much as you care about the $0.15 cost per unit it would take to make the function work in even a 3/4-assed way.
I had no idea they'd managed to make that work for iOS, that's awesome. Definitely agree, FB chat bubbles for Android are one of the best user experiences I've seen.
Why Madison Avenue is becoming more like Wall Street
They actually don't want to do anything with them. And I don't even get, how they would keep grabbing their rivals without triggering anti-trust investigation.

As soon as any social startup rises to the sky, they would grab it. Since the social itself is worthless in terms of making money, so anyone would easily get acquired, because they don't have any other choice, and definitely acquisition by Facebook, Apple, Google or Microsoft is and was their only business model.
The first two episodes had their funny moments, but the sum of a few laughs and some "present day nostalgia" moments still didn't make for a great show.
However the third episode that aired Sunday was pretty good, several laugh out loud moments (most of which weren't actually related to technology in any way, just good comedy).

I feel now that the basic premise of the show has been established (which may be pretty obvious to us, but probably not to the average Joe) and you have an idea of who the characters are Mike Judge's true strengths can start to shine.

I do agree that there are more than a few cringe moments if you have some knowledge of the tech and startup scene (the more you have, the worse it gets), but if you can see past that and they keep the momentum from the last episode I think we're in for a pretty nice show that is treating a topic that hasn't gotten all that much attention from main stream media so far and to be perfectly honest, could use a little bit of poking fun at.
$1800 per genome at that scale (1600 genomes) seems a little high. We've seen lower quotes through our Sequencing Marketplace at AllSeq (http://allseq.com/x-ten)
All of those factors have increased in the past twenty years and yet crime continues to fall. Your explanatory paradigm needs reworking.
Killed it for me too, just like the lightsabers in Star Wars.
I'm not sure what's your point; I'm pretty sure this isn't being upvoted because people consider it an amazing accomplishment, but because it's a fun example of how easy it is to connect physical objects to the Internet using the Pi.
Love it. However, is there a way to add past courses to my "records"? When I try to add the past iteration of a course to my wall, it adds the next iteration.
This is really nice guys. Great work. This solves the problem of keeping track of all the MOOC courses. I'm looking forward to using it.
...by constructing elegant hierarchies for maximum code reuse and extensibility!
This discussion reminds me of a 2005 article from Joel Spolsky called "Making Wrong Code Look Wrong". It has a similar point to this article: there are things we can do as programmers to make our code less error prone. It's definitely worth a read if you're interested in this topic and haven't read Joel's article before.

http://www.joelonsoftware.com/articles/Wrong.html
We've been working on that as it's something that affects lots of people. A very common case (which applies to me) is that you want advances courses in one topic and then introductory in others. The infrastructure for levelling is already there but we're having to manually assess the level of courses for most providers which takes some time.
You may be correct that the Kremlin doesn't bother with legal ballet and literary gymnastics in the same manner that the White House does, but they are similarly blatant and tight-lipped in their activities.

However the usage of such 'black boxes' that vacuum up packets is just as prevalent in the US as it is in Russia.

http://www.buzzfeed.com/justinesharrock/what-is-that-box-whe...
Another relevant shout-out for LambdaConf and Idris: Greg Pfeil gave a lightning talk on his preliminary work using Idris for proven crytpo primitives - https://github.com/idris-hackers/idris-crypto - seems like an interesting project.
I've seen this paradigm called "Tiny Types" before: http://darrenhobbs.com/2007/04/11/tiny-types/
I am in London unfortunately, not the USA otherwise I would invite you along to our co-working space to cast your net.
Latest figures from February 2014, http://www.tvb.org/research/media_comparisons/4729/72512

Wired cable 58.3%
ADS 31.9%
OTA 10.3%

Satellite is counted in ADS, Alternate Delivery System.
Show HN: Our weekend project – PaperSync, notebook scanning as a service
Qualcomm and Linux Foundation has taken great initiative in developing common platform for IoT through Allseen Alliance.
Many device manufacturers are already supporting this effort in standardizing hardware & software stack for IoT.
While I agree with the idea of the article, what's the logic for not using "small types" for all parameters? Or, to put it another way, how do you decide a given method should have "small types" used for parameters?

Also, although it makes the code much more verbose, named parameters (as used in, for example, Objective-C) fix any eventual bug with refactoring methods' signatures, right?
Pro-nuclear HN'ers downvote opposing views like crazy, let it be known.
Crime is rare enough that you wouldn't get any sort of conclusive result from the variations in lead level among 50 people.

(Example: suppose 0.1% of people become murders in their lives, and lead is 100% responsible for every murder, and you had 2 groups of 50 people who had either tons of lead or no lead exposure at all; what will the result be? Likely, no murderers in your total group of 100 at all and certainly no difference between the two groups - despite extremely generous assumptions!)
If you were a freelance programmer, you would be much better off taking the time you would spend building a time-tracker from scratch and instead spend it on billable client work at a much higher rate than $5 per month.
Well, everything else can be waived as marketing-speak. From a cursory glance it looked like the landing page for a small team that came up with some cool compression technology and then got some marketing wiz-kid to throw up a webpage. Everything except the technological claims I could just disregard.
It has been done: https://cakeml.org/.
OP here: I spent a few days working with ssong last week to create papersync.co -- a service where we scan paper notebooks and turn them into .pdf’s.

We both carry notebooks around to jot down ideas in pen & ink.

After doing this for some odd years, the downside is that they take up physical space, and we have no digital backup.

We were frustrated that the best solution out there was to spend a few hours scanning them ourselves - we couldn’t find any service that would save time & do this for us.

In typical HN style, we built a fast, hi-res, scanning setup that uses DSLR’s and some other neat hardware & software. We built a simple website in 3 days to offer this as a service to all the beautiful people of the world.

We’d love to hear your thoughts on this service and how well we are presenting it on our site. What could we be doing better?
MSDN is down (500)
What I'm personally hinting at is symbolic/concolic execution. Essentially, each variable has a set of constraints associated with it - initially left blank for an input variable, for example. Then, the program can be executed, with assignments producing new constraints and replacing old ones. At each point in control flow, the executor chooses a path, and adds new constraints. When a dangerous statement (assertion, pointer dereference etc) is reached, the constraints can be solved by z3 or some other SMT solver, and if it can find a satisfying result you automatically have a test case that will produce erroneous or undefined behaviour.

It works quite well for short programs, actually - the KLEE people (or maybe it was DART) found bugs in busybox, GNU Coreutils etc.

The current approach is to instead of traversing your control flow tree explicitly (which means you're doing a tree search over a potentially infinite tree), converting the program such that it produces a logical statement that can be solved by an SMT solver, that is satisfiable iff there is an input that leads to a bug within that bounded number of loop unwindings.

With fun C++ metaprogramming, you can actually get this to happen natively (i.e. the parts that aren't reliant on input get run natively) which leads to a massive speedup o

I don't believe it to be model checking, although it might use model checking techniques. I could be wrong, I'm only familiar with a few aspects.
Android's IoT experience is broken. Here's a way to fix it
Yovigo launches embedded website apps marketplace
Your credit card billing address has to match your service area.