skysight-inc/HackerNews huggingface dataset:
Perhaps, and this would not surprise me in the least, it is vanity investing. Something which has some traction, clearly is scratching some itch, and is under valued relative to that traction. Here we are in June, a couple of months from April and it has 50,000 active users. With a bit of virality that gets to maybe 250K or 300K. Conceptually simple (probably not patented or otherwise circumscribed) the team is probably 2 maybe 3 people. So with the two founders and maybe an employee, its an easy Acqui-hire at $3M. So you put in your 1.2M, get prodded, sell for $3M and double your money in what, 6 months? A year? And I agree with your 1+M$ is nothing to sneeze at, a lot of good can be done with that. Welcome to the gangsta school of high tech investing :-) If you have the capital to play with you can lay down bets like this, and it is exactly like laying down a million bucks on the 'pass' line at the casino. If they get an acquihire you get your money + 100% back, if they manage to keep the shine and traction going maybe you get back 2x or 3x your money, or maybe they fizzle and fade and people move on and you are out a million bucks. I was familiar with a guy who was a 'player' and he mortgaged his house for nearly a million dollars and put it all into a 'winner' startup/concept which, in his case, did not win. It was an "interest only" note with a big payment at the 5 year point, at which time he turned the house over to the bank. Very sad.

I will take exception though to the 'dumb money' comment. It is dumb to gamble, but even smart people do it, it is a risk/reward trade-off. Smart people can look at the fundamentals here and see there is a possible 'flip' opportunity, high risk, high reward, short time to closure. The trick will be to see in 3 years if it hasn't flipped or exited by then. But that only tells you the payoff. I bought a $66M lottery ticket the other day, 'dumb' ? Sure it was $2 put at risk. I chose not to buy a $2 soda. Probably not a smart allocation of capital, but the soda would have been turned into piss in short order, the lottery ticket has potential right up until the drawing :-).
You could definitely be right. Whats the latency like for drone control? Is latency low enough that fast low altitude/tight terrain flight isn't a problem?

Guess you could always turn something like a AC-130 into a drone too.
I suspect it's the last. They have either great insight into virality, or a second step that looks easier to monetize.
> On the other other hand, no computably checkable type system will ever let us express all our invariants. So this question will never be entirely settled.

I don't understand. Unless we can produce a type system which literally prevents all errors, type systems are useless?
Already exists! http://pages.physics.cornell.edu/~aalemi/twitter/
Everything I've read about [Eve Online][0] and [Metagaming][1] is about how this kind of diplomacy games are so socially challenging that I'm beginning to wonder if this might be a generally useful skill for anyone. I just can't figure out the balance between the time in the game and time for everything else. I don't play these games because of that. However, if you're playing against a larger pool of people (outside the office) it would probably prevent trust decay.

(Off topic) I didn't think that HN did Markdown in comments but your post convinced me that it is perfectly useful in that zero-based endnote-format style you used that I'm going to co-opt it.

[0]: http://www.eveonline.com/
[1]: http://eve-tribune.com/index.php?no=2_38&page=5
Some strong comments against Drepper. What's the back story here?
https://hn.algolia.com/?q=hackerbody#!/story/forever/0/hacke...
Tl;dr it directly proves that type systems can make your programs correct by catching type errors.
We played this a lot when I was younger. The biggest challenge for us was patience. The friend who was the best at it ultimately wound up a tenured political science faculty member in the DC area. Go figure.
That isn't what I meant.

Amazon's business model works. It just doesn't take "100% of the profits" by any stretch of the imagination.

Sorry if that was unclear.
What Google Taught Me About Scaling Engineering Teams
That is a great link. Also USB Made Simple is good addition to that.

It's pretty amazing that the protocol works in the first place. It's a multi-driver, differential bus with 3 valid states (not including bus arbitration). It does all sorts of dirty things, like in order to identify a device as a USB1.0 or USB1.1 device, a resistor is either applied to D- or D+. In order to determine if the host/device should switch to USB2.0 mode, the host computer will drive both lines to low (SE0) and the device will send high current "chirps" back to the host. Essentially having multiple hosts driving the line at the same time.

http://www.usbmadesimple.co.uk/
Everything you need to know to throw an awesome startup party
> I see tons of start-ups that would have a fighting chance given that sort of investment and then lame stuff like this gets funding.

What makes you think this is an either-or proposition? There's a glut of capital chasing startup opportunities today. No entrepreneur is entitled to money, but every entrepreneur can compete for it. Sure, some entrepreneurs are better connected than others, which often makes fundraising easier. But at the end of the day, why should investors be implicitly blamed for a failed startup led by an entrepreneur who was unable to convince said investors to provide his or her company with funding?

Sales is an integral part of building a successful business, and if you need capital, you had better be prepared to sell your company to the people you're asking to provide it.

> Congratulations to the Yo team for furthering the research to the origins of the term 'dumb money'.

Even if you subscribe to the notion that there really is "smart money" and "dumb money" when it comes to angels and venture firms, let's not pretend that there isn't such a thing as "dumb entrepreneurship." Entrepreneurs who start businesses without lining up the capital they need to execute are taking a risk. In many cases, especially among young entrepreneurs, that risk is not at all calculated.

On this note, it's sad that so many startup entrepreneurs bet the farm on day one by putting themselves in a position where they believe they need to sell equity to raise capital. There are a variety of ways to fund a business and early on, selling equity is often one of the least attractive despite the sex appeal that Silicon Valley has given it.
Python: Create Fake Data with Faker
...but you need 7 people.
Well, now that we have WebRTC, peer-to-peer data transfer is possible in the browser. Perhaps you could imagine a p2p scenario where browser crypto is useful?
I rather like the new Server.ConnState callback, as well as the various HTTP timeouts. Yay for simple but useful quality of life improvements!
It's "Yo" for "Hey"
The interesting thing is that the majority of statically-typed languages wouldn't catch the null for you. C, C++, Java, C#, and many others accept null as a valid input for any type.

There are plenty of languages like Haskell, Haxe, Idris, Agda, Roy, Rust, and Elm that get this right. Anecdotally it seems that most developers who advocate static typing aren't using these languages. It seems like the majority are writing in one of the Algol derived languages from the first paragraph.

Scala gets it half right with Option, but included null for Java compat. I've not written much Scala, but I've already encountered numerous bugs that resulted from some library returning an unexpected null, and the type system decided that was totally fine.
In practice, what does this mean for your typical Rails app?

Is Rails (3.2/4.0) thread safe? Are most gems? For app code, presumably you'd have to avoid class variables and class instance variables. Anything else?
Funding Amendment To Curtail Warrantless Surveillance Proposed In House
Ya, I love the Resistance. The only problem is, 3 of us that play are too good at lying that none of us ever trust them which makes the game really, really hard to win. Everyone usually ends up losing as much as they win because of it.

There are only 7 of us so its virtually impossible for the bad liars to all end up on the "honest" team.
Hands-On With The Amazon Fire Phone
Sort of. Email, IP, HTML, JavaScript, CSS, HTTPS, etc are all improvements and often minor ones on existing technology. The difference is really that computers where getting far more common in the early stages of the Internet which confuses the issue. EX: few people know about SGML even if all those ML languages use it's formatting. Gopher vs WWW. Hell even DNS is derivative the ARPANET used a HOSTS.TXT file.
People invested $1 million in an app that just says 'yo'
Yeah, you're onto something.

What about it hashes itself, sends the hash to the server through a tunnel generated by the questionable cryptosystem. If that checks out, the server sends back a more robust cryptosystem through the questionable tunnel.

But Then we're right back where we started. Is that questionable tunnel weak enough to be considered vulnerable?

End-to-end is more easily checked for security.
To me, Javascript's good for an embedded system, no doubt about the possibility of a cryptosystem being implementable, but, it's difficult to consider it secure for many use cases.
Even though I mostly lurk here, I find the invite-only nature of lobste.rs very off-putting. I'm not sure why.
HN SHOW:A platform that actually save lives.
The One Video You Need To Watch Today – How To Sharpen A Pencil
I think it's pretty clear by now Go is not aligning itself with type parameters. If you need generics, don't use Go. Most programs probably don't need generics.
He was the lead maintainer for glibc that people ended up needing to work around rather than with:

https://sourceware.org/bugzilla/show_bug.cgi?id=4403

https://sourceware.org/bugzilla/show_bug.cgi?id=5070

https://sourceware.org/bugzilla/show_bug.cgi?id=5531
There's no such thing as friends, only people you haven't yet played diplomacy with.
CBD is more effective when combined with THC. The effective range is about 1:5 to 1:40.
A correct program is correct whether there's a type system or not.

Adding a type system to a correct program doesn't make it more correct.

Adding a type system to an incorrect program doesn't make it correct (unless you refactor it).

So, type systems DO NOT make programs correct. They help you design correct programs. I am not overlooking the role of static typing in writing correct programs. But I'd disagree if you said type systems by themselves affect correctness of a program directly. A program doesn't come into existence instantly, it is evolved by a design process.
ops, yeah i get you now
How do you mean?

Having inadequate money to move to a city or suburb or get an education, being born into a rural family with inadequate money to move or become educated, etc.
"There's a lot of us contributing here, and much of the work isn't under the docker banner."

Of course! If my comment could be taken as part of the mass of prose that can be read to imply otherwise, I apologize. I don't want to undermine what Docker has done with providing a packaging format, UX, and history niceness. I also don't want to undermine the years of hard work that's gone into kernel namespacing etc. that makes it all possible.
What an excellent article. I think this needs a documentary, in the style of Wordplay[1] and King of Kong[2].

[1]http://en.wikipedia.org/wiki/Wordplay_(film)

[2]http://en.wikipedia.org/wiki/King_of_kong
Do you mean heterogeneous lists and maps?
The OP says that much of the static typing benefits are in documenting code.

Having code properly documented, in a machine-verifiable form, is no small benefit. It's what maintainability is based on.
Sure, but the idea goes beyond Bitcoin. "A Plan For Spam" is a great example of the same sort of post being far better served as a blog post than any mailing list. http://www.paulgraham.com/spam.html Why? because a simple edit and you can link to any refinements and the idea goes beyond email to any kink of SPAM.
> Adding a type system to an incorrect program doesn't make it correct (unless you refactor it).

Of course not, but the compiler will tell you that the program is incorrect since it can deduce it.
I'll start with what I know firsthand: those interposers are not supported for many technologies, including Windows Server Clustered Storage Spaces. This is straight from DataOn storage reps.

And what I know second-hand: many SATA SSDs have terrible failure modes in the form of RESET storms when behind an interposer. That is, you can end up in a situation where you have to shut down all hosts attached to the SSDs and power them off before they return to life. Not a good situation. The interposers apparently greatly exacerbate this problem.

I will check out your link on networking, thank you :)
You sad little pathetic people are in denial.
>>"unnamed investors"
It's totally possible that these are legitimate, respectable investors, investing on information we aren't aware of. It's also possible (and more likely, in my opinion) that the unnamed investors are a relative of a founder, who invested in this to give them runway to do something else, or to potentially spur interest from other investors or acquirers.
I have to put in a plug for Scott Nesin's http://gamesbyemail.com, which has an implementation of Diplomacy, as well as several other great games.
I'm guessing that with $1.2M in funding, the valuation is more likely to be something like $12M? So a $3M "aquihire" might not be such a good deal...
Machine Learning and Korean!
Even stronger type systems, e.g. based on dependent types, can even solve the buffer overflow problem at type level.

Alas, no widespread language uses such a system yet.

Various problems revolving around combining tainted / untainted strings, like SQL injection, must be definitely solvable by a type systems of ML, Haskell, or Scala.
Most programs don't need generics like most programs don't need static typing. Just use "any" and downcast.
You might want to check out the CELERY_SEND_TASK_ERROR_EMAILS configuration option: http://celery.readthedocs.org/en/latest/configuration.html#c...
Cracking the Brain’s Codes
This is still the mark and sweep collector. We hope to veg begin work on a new GC over the next few months.
T-Mobile: streaming music no longer counts against data cap
PlayDrone indexed and decompiled 1,100,000 Google Play applications. The source revealed a lot of applications were including OAuth tokens in applications (e.g. AWS tokens, FB tokens); a critical security hole. Very interesting paper and presentation.
Current Go users, What's the state of package versioning right now? Is vendorization still the answer?
T-Mobile's 'Music Freedom' is a great feature – and a huge problem
How about a full implementation of tupples() for constant lists? Just disable var for tupples and they would act just like python's. (or something along those lines)
I'm actually kind of surprised at the large numbers of HNers running to defend this thing, and those that expressed the equally valid opinion that this app is garbage have been downvoted into oblivion.

In this thread I've seen lines like:
"Filling a communication niche",
"It reduces that friction of opening your SMS app and typing 'Yo'"

What a surreal thread. It literally could have come straight from a script from HBO's 'Silicon Valley'.
When did that happen? I was under the impression that LiveJournal was still around however it was mostly popular in Russia. Any links to that?
T-Mobile Stops Counting Data Used With Spotify, Pandora, iTunes Radio, etc.
I'd imagine it's finding a manufacturer who has the means to mold them who's also willing to create a super limited run.
> Unless you are talking about recreational use which is a different topic.

No, it's still the same plant. Criminalizing its consumption is just flat out wrong.

Where's the FDA on regulating Traditional Chinese Medicine? You know, herbs and stuff?

What test are you going to force me to take to consume those herbs? Why do you have any say over what I can consume?
Four Professors Expose the Outrageous Pay Gap in Academia
MTurk is just as much a scam for those posting jobs as maybe for those that try to make money on it.

I have heard many more horror stories about the poor quality of completed tasks and needing to request 3+ turkers to complete the same task in the hope that at least one would do it properly. Maybe what you are seeing are simply people posting jobs who have been burnt too many times.
What test do you insist people pass before consuming alcohol or tobacco? What about sugar?
One word. LAME.

Oh, and to add a few more words, this 'journalist' has been tweeting YO forever, yo! Does thou protest too much? Me smells some conflict of interest. Ah but it is TC. pfffffft
In my opinion, yes, vendor-izing your dependencies is the way to go. My preferred way to do that is to use git subtree.
> Packaged in a signed browser extension is a good start. Or packaged in a signed desktop app that runs JS to drive the UI (xulrunner, node-webkit, ...).

Those are probably acceptable in principle. I should have been more specific: I was referring only to the scenario wherein the webserver provides the JS.
Given that a "Yo" usually follows a more detailed text message like "Text me when you're downstairs," I think the total finger-on-screen time would be higher to open the Yo app and search for the right contact.

I assume that Yo has another plan that they haven't gone public with yet, since "Company that just says Yo raises $1m" is more newsworthy than "Company to solve problem X raises $1m." They'll get people to download the app and then add the new functionality with an automatic update.
Yep. Either through godep or a VCS-native solution like git submodules or git subtrees.
What about the huge number of legitimately secret projects that must be funded covertly to prevent adversaries discovering and exploiting defence and national security capabilities.

------

If you're capable of mounting a strategically significant attack, then you're capable of guessing the defence. A reasonable adversary will take steps to guard against that defence regardless of whether they know it exists or not.
Adobe's New Pen and Ruler
Some huntsman spiders will occasionally eat small lizards.

http://en.wikipedia.org/wiki/Huntsman_spider
am i correct that the biggest hurdle to a python 3 driver has been the lack of python 3 support in Google's protocol buffer library? If so then, it seems that the 1.13 release which removes the protobuf dependency, will substantially accelerate development of the python3 driver
> When you type 'apt-get install opensshd', how do you know if you're getting the package from an uncompromised server?

If you don't take any steps to verify the integrity, then you don't know.

The big difference, as I see it, is that the JS code gets served over and over again to the same clients. Every time you visit the website, it can load a new version of the JS.
Thousands of secret keys found in Android apps
Such great news. He was single handedly impeding the project.
Most programs don't need generics, but a lot of programs benefit from having them. This, along with exceptions, are the two things that keep me from considering Go for future service development. We've stood up a couple of successful Go services, but the maintenance overhead from not having these two things has been substantial.
Is that a question? I don't understand the question. "Put your money where your mouth is" doesn't sound like a rebuttal.

I've no idea what you're talking about.
"Like" would probably be pretty appropriate...
NPAPI doesn't sandbox audio at all. That's part of why Flash can deliver better synchronization and scheduling; it talks to the native OS audio libraries directly.
This one too: https://sourceware.org/bugzilla/show_bug.cgi?id=4980
I'm not the only one who doesn't know what a non-responsive file is, am I? My Google-fu has failed me.
The issue with XML-based schema languages is that they optimize for making the language designer's life easier at the expensive of its users. For anything with significant usage this is not a great tradeoff.
No, that's not what I was referring to. Perlis' quote refers to something much more fundamental. When you make custom data structures (classes, types, etc) to represent each distinct part of your problem, this specificity makes your functions less reusable and moves away from Perlis' famous quote (in the very next sentence) about the benefit of many functions operating on few data structures.
Go for it dude, not trying to rank it for anything.
You can play with Italy in Civil Disorder. It's a rotten variant.
Kudos to Campaign Monitor. This is an ambitious project in that it's an opinionated, reductionist approach to building newsletters. The UX shown in the video is awesome.
If you think that's the "simple truth," you either didn't read the article, or you have some piece of information you're not sharing with the rest of us.

You also know something about the "formalisms of HBC" (now redacted), and how it doesn't work with browsers that even scholars don't know about.

I think we'd all appreciate elaboration.
Server-side crypto protects you from someone just hacking your server and downloading the data too.

Serving from a smaller and more protected server is interesting, but you'd have to serve at least the HTML as well as every piece of JavaScript (not just the crypto) which doesn't leave too much room for other stuff. And why not just do the crypto server-side on that smaller, more protected server then?
Could be Harley-Davidson first electric motorcycle
Then you didn't read the article.
Kissing Pigs was awarded to players who habitually got into fights.

The Golden Pickle for misfortune suffered during the tournament. One year someone won it for falling off a cliff.
The Origins of Tarot Cards
Other android phones: Moto phones are <= $300, Nexus 5 is at $350.

So you would say this competes with nothing though?
There are other ways around, but I'd say the community is solidifying towards godep. Someone correct me if I'm wrong.
T-Mobile offers free test drive of their network with iPhone
They are in a funny way opposite (and I certainly know whereof I speak: look at who wrote this message [0]).

It's hard to remember, but back in 1997 forking was considered really terrible and to be avoided at all costs. When we split off to form egcs the main resistance was to the idea that there would be a fork at all. Gcc, and a bunch of other programs, had a single person who controlled the "official" release. The fact that Cygnus maintained its own release tree for its customers (it was still free -- it simply wasn't identical to the mainline, and in fact advanced a lot faster) was the cause of much angst and even some mistrust.

My reason for making this fork was because the mainline was so far behind us, and we had a commitment to folding all our changes back into the main line. Since the gcc maintainer was the bottleneck, we simply declared our tree a new fork with the support and participation of other major developers. We were trying to be the opposite of exclusivist. But even so it took me months of mailing, calling and negotiating. Many hours on the phone with rms who of course predicted the doom of free software if we went ahead.

And we developed a steering committee, the first as far as I know for a free software project.

In those two ways egcs was a watershed; plenty of developers thankfully now know no other way.

So last year glibc went the opposite way: it decided it no longer needed a steering committee. Cool!

[0] https://gcc.gnu.org/news/announcement.html
>I can't think of a single technology over 20 years old where the first mover is still the leader.

Russian rockets, to an extent. Big(gest) share of world launches, hardware inheritance from world first ICBM, first launched in 1957.