skysight-inc/HackerNews huggingface dataset:
> Part of the linked paper's point is that because computer systems involve many "levels of failure", even a more careful programmer cannot usually rule out every class of programs.

But -- and this is the crucial point -- that doesn't mean we shouldn't strive to be better than we are now.

The impossibility of perfectly modeling the world hasn't prevented us from making enormous progress on software safety and security over the past 30 odd years. Today, if you care to, you can easily write code that is free of buffer overflows and command injection attacks. In the 00's SQL injection attacks were extremely easy to find; now they're comparatively rare.

Smith's paper tells us that code-as-law is probably a bad idea. But it is not -- and wasn't intended to be -- an indict of static analysis or model-based engineering more generally. Every structural engineer knows the difference between a bridge and a model of a bridge; a paper pointing out the difference without substantively critiquing the practical usefulness of a particular type of model would probably elicit eye-rolls. I'm not sure why these mundane observations receive such attention in computer science. Maybe because with software the model and the system look so similar.

But to be sure, the impossibility of codifying human morality is a pretty lame excuse for failing to use static analysis tools or better languages or quality frameworks to prevent known classes of attacks. So I doubt that's what Smith is advocating.

> How many "more careful" Ethereum programmers also check the compiler for correctness?

Yes, we should obviously check compilers for correctness, and we're making slow but sure progress toward a world where our critical infrastructure comes with strong --
of course, never perfect -- correctness guarantees.
> Free speech and free association are not extant when books are banned or ideas are outlawed.

I mean, is this just arguing about the definition of the term "free speech"? It's not hard to think of easy examples, like the "shouting fire in a crowded theater" or "revealing military secrets to the enemy at times of war" or "libel" or "slander". By necessity, we accept that there are restrictions.

In general I favor a generous standard, where to disallow certain types of speech you need to carve out a compelling case -- the default should be that speech (and speech-like things) should not be forbidden. But stating it as a naked tautology is not helpful because it acknowledges none of the nuance.

> all historical evidence serves to confirm this

Once again, if we're just talking definitions, then sure, any place or time where books are banned or ideas are outlawed is not practicing free speech. But I think you'd be hard-pressed, given the exceptions above, to ever find a place in history where this was practiced.
Frankly the outrage against Uber makes me more likely to use the service. Before it became politically incorrect to mention Uber, I was entirely impartial. I'm sure that I'm not the only one.
I agree. I want one that will handle auto-switching of inputs nicely, and that will be trivial to control on/off, input and volume on via a universal remote. Everything else is an annoyance. Haven't used the built-in tuner or any of the other functionality on a TV in 17 years.

Only reason I'm not buying a monitor instead of a TV is size.
> Having them in the public eye would be better for society.

Why?
I think it's interesting in its own right to point out that the trendy editors of today implemented in JavaScript are able to edit (and even view) files larger than about a megabyte because they are not any more fully implemented in JavaScript says something – and I'm of course not talking about the framework.
Same experience with an LG short-throw projector.
I regret it and now it always shows up on the cast menu but it doesn't work.
No. We should collectively evaluate competency and correctness of a developer and language for it's best purpose as in any adequately run job interview.
A treatment plan that consists of what exactly? None of the treatments make very much difference at all. A treatment plan filled with basically useless treatments isn't much of a treatment plan.
What does the connection count bring anything? All that matter would be the total number of bytes transferred.

I don't think that would be a good metric for relevance though and in most case, the total size isn't an issue. Which is why AMP is good, low file size when it's needed, full size when it's not.
I don't see how this language enables writing safe contracts. You can still go wrong using the primitives (paraphrasing an example - "don't copy this contract I gave you to illustrate how to use my safer language because it can be attacked". The lower level primitives they discuss in the article would still make it hard to reason about what is happening. I think they need higher level operators that are trustworthy. You need a language that compiles down maybe into these primitives, but if you have operators that people reason about and trust you'll be more likely to be successful, like java synchronized.
Note how systematic and inexorable the graphs are; it's not any individual college or policy or region. I suspect that this is a mechanical effect of top colleges keeping enrollment essentially static even as the population continues expansion; this means that getting in becomes ever harder (see for example average SAT scores at MIT or Harvard), which in turn changes group admission ratios by the usual tail effects - when you have two normal distributions with different means, the further out you go, the more lopsided the fraction becomes. If you have a mean difference of, say, 100 SAT points between two groups, that leads to a relatively small difference in the number from each group passing a low cutoff like 900, but it means that there will be hardly any members of the lower group reaching 1600 compared to several from the higher group. The tails thin out too fast. (The tails effect is likely also related to the Asian overrepresentation.) Presumably the larger effects in elite colleges are why the NYT investigator focused on them rather than national aggregates, which will show smaller shifts as the lower-scoring students can still go to the unselective colleges.

So as long as Harvard et al keep their incoming classes small and the number of prospective college students remains high or keeps increasing, the imbalance will continue. A few elite colleges may be able to poach from each other to improve their numbers (like Harvey Mudd) but obviously they can't all do that.
A moderator edited the URL from a page that says "NO" which links to this.
> Am I the only one that would love to be able to buy a dumb TV?

You can find them if you look; Newegg, for instance, has quite a few, but most (even those identified as TVs rather than monitors or digital signage in the item description) are in the Monitors category under computer systems, and not the LCD/LED TV sections under electronics.

Above about 46” it looks like it's all super expensive monitors and digital signage (but some refurbished units that aren't too expensive), below that they seem to have some actual TVs with reasonable prices and other units in a similar price range.
That was a long time ago, and I think it's discontinued. Gnome Mobile and Embedded Initiative hasn't had an update presented at GUADEC or any other major FOSS conferences in 8 years.
Belgium at 52%.
Why would you ever use the word 'panegyric' instead of article? Maybe you like to purposefully complicate things so that you can maintain your elitism? This might be related to your dislike of JS.
I tried using Mandrill but they got bought out by Mailchimp and I never really could get a handle on what they'd be charging me.

I looked at Google but they were to expensive for my purposes and I was uneasy about user data being stored on their servers. Same with Zoho and a few others.

I ended up setting up my own mail server using "Mail-in-a-Box" and, while that route hasn't been hurdle free, I have been very happy with that option and would recommend it to those who can use it.
What the actual fuck. I was expecting a technical rationale. This is all about a witch hunt against a single board member?

io.js was a hugely effective fork in moving node forward. This is trying to split a technical project for social reasons. Who is this going to benefit?

After looking at the "evidence" below, I'm not really sure how to feel. Nothing Rod did was particularly noble, but I don't think it's all that bad. It'd register a few hundred millieichs at best. He seems to be a relatively combative guy who might feel slighted by the community - I don't know enough about what goes on politically in the node space to judge.

This makes me sad. Open source projects are supposed to be about people coming together, about creating something that the entire world can use, leverage, and take value from.

Completely unrelated, but somewhere in the linked twitter thread there's a great recipe for deviled eggs for no reason I can identify.

Edit: This reddit comment is fantastic - https://www.reddit.com/r/node/comments/6vhbit/here_we_go_aga...
Of course.
You certainly can't fault the dog for the questionable ethics leading up to it's existence.
I asked for clarification and gave multiple possible interpretation.

Your answer assumes I am wrong about it being ambiguous and vague but you don't say why.

I'm not trying to attack you I'm trying to be helpful so you can clarify your question.

Can you please answer the questions?

A lot of people seems to have assumed you meant to purchase a passive income business. Is that the correct interpretation?

Because a "marketplace" is also a website that sells good and service and a passive income marketplace could mean one where you can list goods and services on it without having to be hands on fulfilling each order individually. If you meant that, there are literally dozens of possible types of products and not all of them are suitable to everyone.
Except some people are now unable to tell which results link to AMP pages. They are experimenting with removing the little AMP indicator logo.
What's more amazing is that they never learn. As if blasting us with more and more ads that take over your entire browser. Will somehow put everyone at ease. The advertising industry is the next big reboot on the web as far as I'm concerned.
Oh fair enough, I shall try to keep that in mind. I do use the terms interchangeably and that's probably not helpful.
Show HN: Meatshields – Write your own strategy game AI
Hello, HN! I've posted a couple times here to get feedback on a strategy game I've been working on called Meatshields. All of your suggestions and feedback have been EXTREMELY helpful so I want to thank everyone here once again for generously helping me iron out kinks in the game.

One big request I got the last time I showed the game was the ability to write your own AI for it. I thought about it and realized that would be totally do-able! The downside is that you have to host the AI service yourself, so it's sort of BYOAI, but it won't need to support a massive ton of requests or anything like that yet so free webservice hosting like Heroku will be more than sufficient.

One of our wonderfully brilliant community members, asah, is currently working on his own AI for the game in python. He hopes to implement machine learning and beat the meta :). He has graciously shared his github project with us. You can check out what he's got so far at https://github.com/asah/meatshields-python-botkit

I've also included a text-dump of my basic example bot core AI file in PHP, just to give you an idea of how that works. Warning, it's a little ugly because I just whipped it together as an example community-created bot. It doesn't include the full service architecture like handling the necessary incoming requests.
https://pastebin.com/eEY1YYQR

If you want to check out the docs for creating an AI, take a look at https://meatshields.com/createBotGuide.php

And of course, please do come check out the game itself at https://meatshields.com

I hope to see you in a game!
Ex-TWer and current TW shareholder here. US securities law does not allow a company to be private over a certain number of shareholders. The owner couldn't legally offer to sell the company to all 4000-some employees, even if they all lived in the US. (They don't live in the US, which makes it much more complicated).

Goldman Sachs tried to end-run around this limitation with Facebook, but failed: https://www.theguardian.com/business/2011/jan/17/goldman-sac...

There are other restrictions: you cannot sell shares of a privately held company unless the prospective buyer makes over 250k per year or has a net worth of $1 million.

All of the above are SEC rules. There are numerous other hurdles.
Firebird 4.0 Aplha 1
Douglas Crockford has said some of the most stupid shit I've ever read. He's still contributed massively to JavaScript.
Do they sell a lot of monitors near you with built-in TV tuners and RF receivers/remotes?
yes, I'm not adverse to a spot of nice typography, aesthetics and presentation are key to getting a message across, for productivity UI in particular I like at least the choice to have a system font, it's usually the nicest rendering font and things like multi language support mostly just work.
I think raw numbers can be helpful, but for comparison in that context, percent underrepresented is probably a better number. So black students are 60% underrepresented. In the second case, it would be 100% underrepresented.
Ah, thank you. Apparently dividing my screen vertically made my web browser too narrow, and thus the links disappeared entirely.
That might work for a 26 inch screen but it doesn't work for a 46 inch screen.

A 46 inch monitor costs a fortune compared to a 46 inch tv, and it usually doesn't have features like HDR. Most of them are orientated towards "public display" type uses rather than being used as tvs.
Given that the Republican party has already shown it is vulnerable to hostile takeover by people with just money, brand recognition and no political experience my bet would be he'd run as a Republican. Keep in mind that Trump too in the past leaned Democrat but ran as a Republican.
I was hoping this one would show up. It's a startlingly simple paper, which both made the idea easy to implement (PageRank algorithm can be implemented in around 10 lines of Python, give or take), and easy to game (viz. the rise of link farms). Recommended for anyone with the prerequisite 1 semester of linear algebra or equivalent.
You can thank the EPA and their energy usage labeling requirements for a large part of the crappiness of modern appliances. People want to see a small number on the yellow sticker so manufacturers don't use as much hot water. The pressure regulator is also usually set very conservatively from the factory for the same reason.

I'm surprised I haven't seen shower mixing valves installed with washing machine hookups in new construction. Then again, code would probably change to prohibit it the second it caught on.
Being "underrepresented" speaks absolutely none as to the cause of such a state. I would be interested in more comprehensive data on college applications, and the acceptance/rejection of said applications.
Sure, I agree. However the people who make a ton of money juggling arcane financial instruments... societal value and financial recompense are somewhat removed from each other is all I'm saying.

An imperfect fit.
50+ dev mark? Holy cow. That's like 5mil a year in dev salarys alone. That's a massive operation at that point.
DOS ate the world once too. Worse is better, installed base, etc etc...
Scalability of Collaborative Environments
https://sci-hub.ac/10.1109/C5.2006.32#
I don't know, perhaps the car is cyan, perhaps it is painted with a 3 stage pearl and most viewed from the same direction. Most people are not very sophisticated in their discerning of color. I cannot trust that the author is certain that the car is blue to start with. Pure statistics are not enough here.
The Flajolet-Martin paper on counting unique items in an infinite stream with constant space [1]: a great, well-written introduction to streaming algorithms that triggered my first "aha" moment in the field. You never forget your first.

[1] http://algo.inria.fr/flajolet/Publications/FlMa85.pdf
ThoughtWorker here (since Jan 2006). Please re-read Martin's post. There have been genuine tax-related challenges toward going employee-owned. From what we've all seen about Roy, he enjoys activism, and all signs point toward him engaging in that even more.
ThoughtWorks has been a privately held company since the beginning. I personally believe that it is a private business owner to decide how he chooses to apply the proceeds from selling his business (including giving post-tax money to otherS).
> people whose HN handles start with A-H will get, on average, 40% less to start with
I don't think you're going to get strong types in standard JavaScript any time soon. Isn't TypeScript a very good compromise right now?
Lucky that you live in a country with strong consumer protection culture and had to deal directly with google.
Wait, you WANT to be in a preserve?
Yes, you're right. IIRC, that approach was considered and rejected in the design phase. Some other pinning proposals (e.g. http://tack.io) rely on delayed activation to reduce the damage potential.
The changes in the LLVM JIT were definitely a disappointment. IIRC it used to be a lot more lightweight the API was simpler to use.

But in hindsight it's hard to argue that the LLVM devs shouldn't have messed with it. Before you couldn't get symbolized stacktraces or use C++ exceptions. LLVM's primary goal has always been to produce the best code, and not necessarily try to be the fastest at doing it [1].

In the 3.x days, it was a fast evolving project. I remember projects I managed that used LLVM would no longer compile between releases because e.g. they would rename a header file.

"Just to rename a header file??" one might say; it's a subjective question whether this philosophy hurt or helped the project in the end. It might take years until that answer is forthcoming.

I'm sorry to hear about what happened with GNU Octave. Maybe after LLVM proves to stabilize someone new will write up the code :)

[1] Tangentially related: https://bellard.org/tcc/
Compiler	Time(s)	lines/second	MBytes/second
TinyCC 0.9.22	2.27	859000	29.6
GCC 3.2 -O0	20.0	98000	3.4
Is the process of drilling for it less intensive than just making it from the soil?
I think this is more reflective of the shift in how code and development teams are being organized rather than JavaScript "eating the world."

Now that many shops have separate back-end and front-end focused teams, a lot of API development is moving to node so that the front-end focused JS developers can maintain the APIs they consume themselves.

Also, while languages like Java are very good at helping large teams manage equally large codebases, deploying microserves and organizing code into smaller-more self-contained pieces make it easier to use things like javascript for individual services.
It's kind of a poorly stated problem. It would be better if they said:

1000 people were asked the question "Is this car blue?" and 900 answered yes, what is the probability that the car is blue.

or

1000 people were asked the question "What is the color of this car?" and 900 answered "blue", what is the probability that the car is blue.

The second question is far more likely to produce responses like "navy", "turquoise", etc that aren't exactly blue, but are very similar.
If history repeats itself, then some new technology will take Google and Facebook by surprise. And let a new player rise to the top.

AI is the obvious elephant in the room here.

If in 10 years Apple, Amazon, Tesla or some new startup has the better AI, then this AI will search and present content better. And market it better. And monetize it better. It might also produce its own content. Perfectly customized interactive 3D surround sound content.

Mayb it will be some decentralized autonomous organization that lives on a blockchain. Driven by AI, doing its thing. Outside of what a human mind can understand.
You have fallen into the confusing intersection between trademark and copyright.

Files created by Facebook, depicting the trademarked Facebook logo, are copyrighted by Facebook. Files created by Feather, depicting the trademarked Facebook logo, are copyrighted by Feather. If the latter is freely licensed, with no restrictions on use, you may use that image in whatever manner you please. If you use it in a manner that generates brand confusion with Facebook's business, Facebook may, as a trademark enforcement action, order you to stop using the image in that way. They cannot make additional copyright claims.

It is likely they will anyway, under the assumption that no one but Facebook would create files from scratch for corporate logo images, when the company itself distributes gratis images of its logo to anyone who wants to put one on their website. But if they didn't make it, they can't impose prior restraint on what you do with it via licensing terms.

Facebook may impose copyright licensing terms on its own images that support its defense of its trademarks, but those terms have nothing to do with the image by Feather, or any other clean-room implementation of the Facebook logo.
MY-BASIC: lightweight cross-platform easy extendable BASIC interpreter
And Python3 with the NDB library.
http://www.androidpolice.com/2017/05/26/amended-complaint-fi...
If I can find a 42"+ monitor I'd buy monitors (EDIT: at anything remotely close to TV prices anyway). Unfortunately most monitors are small.
And look at me stuck with FontAwesome.
I think comparing Uber employees who get paid over 100k+ to child labor is quite ridiculous
It seems to me that the takeaways from stun-guns in the hands of police are simple and easy to observe:

* The instances of their use as a substitute for lethal force are vanishingly rare. So much so that it's hard to find a case by googling. They're always and only used in a lower stage of the use-of-force continuum than as a substitute for a firearm.

* They're often used completely inappropriately, with no self-defense component at all (ie, used as a way to torture people into complying).

* They're sometimes used purely as a torture device against people who are restrained, already subdued, or even already unconscious.

* They cause a lot of lasting injuries and some fatalities.

It's been an interesting experiment, but it's time to end it. Let's just remove them from the police arsenal (like we have mostly done with nunchaku, which were a less-lethal fad in the 80s and 90s).

I'm of the mind that police force needs to be more black and white, just as the law needs to be more black and white. If there is serious cause to use lethal force, the police need to use (and be trained with) dependable firearms. If there's not, then I don't really want them using weapons at all.

Let's treat failure to comply with lawful requests as a civil matter. You can continue non-compliance as long as you want, but you'll be liable for all the costs incurred by your doing so. Let's not torture or injure people on this basis.

This middle-ground / gray area in the use-of-force continuum creates a strange mindset for everyone involved. Are the police simply dispassionately enforcing discrete laws? Or are they forcing their own will or an unwritten will of the state?
Not a single handgun chambered in 10mm auto (with the possible exception of the Glock you can't get a good look at).

People must be more afraid of recoil than they are of bears. ;)
Don't worry, if you think people inviting you skiing is some kind of vieled attack, you belong here too.
Salaries for senior developers in Zurich start at about 120K and go up to 170K or more.
Plus you hardly pay any taxes.
We have a bunch of VMs cloned from ancient machines for the same reason.
Easier to organize counter protests that way. And to watch what actions they are planning.
Favorite quote: "I gave my manager two copies of this book so he could read it twice as fast."