skysight-inc/HackerNews huggingface dataset:
FFP is generally considered slightly better than nothing, but only just - it's a joke. It's talked about as if it will stop clubs like Man City and Chelsea dominate financially, but it only affects TV money, not any other sources of income (e.g. sponsorships), so realistically it is going to have hardly any effect. Even if it was implemented in a stronger way, it would still only serve to bring football closer to how it was 20 years ago before big money owners were so prominent, it would never take it to a US-sports level where they try to balance teams out completely.

The foreign player rule is about trying to boost national players rather than international players and has nothing to do with trying to even the (metaphorical) playing field.
Polyphasic sleep looks pretty natural if you're the parent of a newborn.
Now this business is a breath of fresh air. No "social". No "you are the product, not the customer". No "ads as a business model". In fact, I see a clear business model. And having the price on the site? On the front page? holy cow that's awesome.

A wise businessman I know used to say "Think like a customer, always anticipate, and have fun!" Take that to heart and you'll do just fine. Good on you for getting this far, and best of luck for the future!
>(and 'terrible' is hyperbole -- certainly most of the programmers around me at work could not get a 3D engine with Dart up and running in a week, or design a cpu and assembler -- even bad ones.)

Fuck, most of those I know couldn't get a basic CRUD app up and running in a week...
As I read it. His comments about teaching we along the lines of:

1. Thinking of a computer as machine is not helpful. He re-iterates this point on "operational reasoning" in other EWD's when describing inductive thought in understanding programs rather than thinking step-wise.

2. Unsuitability of engineering metaphors / maintenance (such as topping up the oil in an engine) and so on to describe tasks within computer programming.

3. Calling bugs "errors"

4. Avoiding anthropomorphising programs

etc.

The given informal proof is given to argue for "use of down to earth mathematics" as a way of thinking about programming in a way that avoids "tremendous waste of mental effort "seems to be among the core points of this EWD.

The points about Liebniz's dream seem to be referring to the broadening and deepening of the formal core of computer science which was and still is a highly lively and profitable endeavour. And the argument is that making computer science students familiar with formal mathematics and logic can only help the endeavour.

The part you quoted just sounds to me just sounds like a pedagogical computer language. The main thrust seems to be ensuring students have a grounding in logic and formal math. Not to have them necessarily feed all their programs in to formal solvers and expect to do so all their lives. Although predicate transformer semantics was one research effort he led in to exactly that.

He does touch on the presentiment of things like predicate transformer semantics in the EWD but very obliquely as highly speculative statements on future research. I haven't read "discipline of programming" (I'd love to but it's expensive) but it looks like a scientific publication outlining a research program rather than a students handbook. Scientific research always proceeds through what might look like blind alleys in retrospect but which are actually important contributions.

Also from the lectures of his that I've seen, it seems the content is usually more along the lines of the EWD's than formal treatises in to predicate transformers.

Sorry for length of reply but, Dijkstras thinking on these issues, IMO, whatever you think of it, is not easily dismissed.

EDIT: In fact, to me, dismissing dijkstras ideas on formal comp-sci because of predicate transformer logic is like dismissing Newton for thinking that action at a distance was an "absurdity no man could believe in." That is to say, one cannot dismiss Newtons body of work as merely a preamble for his "main work" of finding a way to disprove action at distance.
:inactive
I see your point, but I think your reasoning is flawed. If each one got 3.50$ from you then they would get nothing from the other subscribers, whereas, as it currently is they receive .00007 from everyone... Even if Spotify followed your subscription model the end result would be the same small amount of money.

Your method would only increase complexity for Spotify and serve no real purpose in terms of getting your favorite artists more money.
Getting Press for Your Event
How we got a TechCrunch article for HackPrinceton in about 15 minutes.
"Internet" is not that good, and if by no one you mean only 100,000,000 - 500,000,000[1] people this really doesn't solve much.

[1] https://play.google.com/store/apps/details?id=com.android.ch...
I'm not going to go look it up for you, but there were plenty of skeptics in the mid 90s of eBooks, online banking, and the accuracy of search engine results. In fact it was probably the prevailing opinion of established business interests, hence why the web took much of the old guard by surprise. I'm not sure what you're arguing? Do you think the majority were visionary?
>No, he really is terrible. I'm dead serious.

Yes, but then you are also dead wrong.
I could see this working for very large bulky things you don't want to carry home, but for all small to moderately sized items, you can just have stuff shipped to the office.
Hacker League acquired by Mashery
By your logic, there are only two kinds of chess (or any game) players: those who win every game they play, and those that don't.

Unfortunately, the real world isn't so black and white. The resources someone will put into hacking your site depends on their perceived value of success, and if someone with enough resources values it enough, they will hack your site, no matter what you do.

Anyone who claims to have constructed an unhackable internet service has either constructed a trivial and useless service, or doesn't understand the complexity of software.
A pub, some curry, and 'Ellen': My Talking Pet's road to success
Similar effects on a Haswell-era Xeon 1240v3:

$ perf stat -r 10 -e cycles,instructions ./loop t

Performance counter stats for './loop t' (10 runs):

2,631,020,892 cycles # 0.000 GHz ( +- 0.34% )
2,403,261,796 instructions # 0.91 insns per cycle ( +- 0.00% )

0.713682287 seconds time elapsed ( +- 0.39% )

$ perf stat -r 10 -e cycles,instructions ./loop c

Performance counter stats for './loop c' (10 runs):

2,237,200,035 cycles # 0.000 GHz ( +- 0.31% )
3,202,823,909 instructions # 1.43 insns per cycle ( +- 0.00% )

0.606741377 seconds time elapsed ( +- 0.29% )
Sure: and why do I need a fancy iPod when I have this perfectly good casette tape player? Your iPod can hold 10,000 songs? I can put hundreds of cassettes in my backpack. You can recharge your batteries and get 30 hours of battery life? I can carry around a box of double AAs and I never have to recharge them.
It's a very useful feature, which can feed a cache layer, act as a kind of trigger mechanism or give you a (very limited) kind of transaction.
Another option could be "college for the intelligent, regardless of wealth".
NBA2K14 player gets an ingame technical foul for swearing while playing
Awesome, glad someone is doing this.

Are you going to be offering ways for arbitrators to tie in other social identity sites as a way for arbitrators to present credentials?
Arbitration is good not so much because it cures fraud, but because it deters it.. like security guards or parental supervisors.
Rob Ford + Twitter + GeoJSON + d3.js = fun with data visualizations
First off, this seems incredibly useful! Nice work!

Second, on the FAQ page:

> Help, I lost my private key! Can you recover it for me?

> No. The private key only exists in your browser as part of the URL and in-memory while the service is used, and is never uploaded to our servers. If you lost your access to the URL, it cannot be recovered by any means.

If my private key is in the URL, won't that necessarily be sent to your severs as part of the HTTP request?

Also, your bug bounty's USD to BTC rate could use an update ;)
> What kind of a person even idolizes someone for writing great code?

Are we on the same site? I've been reading HN since it was called Startup News, and I have never felt such a disconnect before.

> The Instagram founders didn't have a programming background

Instagram could be worth a trillion dollars and I wouldn't give a shit about it. Show me the code. Satisfy me intellectually. Not everything is about money, and that is part of the reason I call myself a hacker--coding for the sake of coding and what not.
That's why I always try to buy the pure form of the medication without acetaminophen if possible.
Thanks. I fixed the typo, and I'll be working on some CSS for better typography in the content-heavy pages - they do look somewhat squashed.
This looks useful even to just monitor and (hopefully) improve normal sleep patterns. I've been using an Up band for sleep tracking, and it has some accuracy issues, but is still useful; a device monitoring brainwave patterns could be more accurate.

Might be fun to hack around with for other brainwave monitoring purposes, such as meditation/biofeedback.
Because men don't like to caress women?

Yes, they do, that's the whole point. If they were showing something that only women could possibly do, it wouldn't be pushing a gender role.

Are you sure this is not really about being uptight about sexuality rather than gender issues?

I don't know what you mean by "this". Of you're asking me about the intentions of the people who are criticizing the ad, I'm sorry, but I forgot the mindreader at home.
Why only 50k? That's peanuts for researchers. U of M is one of the top universities in the US, they couldn't get a major grant for this? Could it be that the technology is not as promising/proven as they would like it to appear?
Why sites like Buzzfeed will lead to more high quality content being read
You can make the taxpayers pay for your life. Being handsome is very good for a politician. Not a guarantee of success but certainly a boon.
This reminds me of a time when Lifehacker was about hacking and not just 'use this software...'.

In my family, we had this unspoken contest for the best ways to fix things. My Mom would use coat hangers, toothpicks and glue like they were going out of style.

Doesn't help the argument that I have an autographed photo of MacGuyver.[1]

[1] http://imgur.com/1wMDJy9
http://testnet.bitrated.com/security.html

> The arbitration data is stored in the hash portion of the URL, which is not sent to the server during http requests and is only accessible to you and people you choose to share URLs with.

And yeah - its hard to keep up with the USD/BTC rate :) I'll update that in a moment.
Yes, I read it in its entirety. The key point it seems to make is that men made games for men and the marketers cottoned on to the trend and ran with it - this is precisely to do with women not entering stem fields (computer games development).

Also, since we are picking faults its about /why/ they are excluded. Its pretty damned obvious how it happens...

... and yes it is a shame that I can't make a joke about women complicating things. They do, its measurable, its funny, its not sexist unless you somehow assume that men are exempt from the same criticism, which they are not.
The key is in the url fragment (after the #), so per http spec, it's never transmitted to the server
Show HN: An easy way to make mailing lists
This is great! The Harmony examples are amazing.
The story says the snakes "snack" on the birds but I'm guessing it's actually the eggs that they are snacking on?
I accidentally overdosed on benadryl as a kid. I was given the adult dose by my aunt who meant well but wasn't thinking just read a label and followed the instructions quickly. I was particularly small so I probably had a specifically bad overdose as opposed to another kid my age. I had bad hallucinations and paradoxical insomnia. I say paradoxical because it causes drowsiness at therapeutic doses.
I used both and while I can't give a precise comparsion I think that the chromeDevtools are generally more advanced but Mozilla is working really hard to improve with actually good results.
Add another for Golang
> CAT is currently at NASA Technology Readiness Level (TRL) 3, meaning we are in the midst of performing experiments to probe its feasibility, thanks to private sponsorship

Clicking on the link, 3 is a really far way from actually flying. Like, they haven't successfully demonstrated this in a lab yet. For reference, there are 9 stages, the final one being "it's in space".

It seems like an interesting idea, but I'm with the other commenters in asking why this needs money from outside the traditional channels. It's the kind of long-winded and technical writeup I would expect from a grant proposal, not a Kickstarter.
I'm getting a 404 on https://www.bitrated.com/tx/new.js and the start transaction page is pretty much blank (probably a result)
UK Parliament Makes A Mockery Of Itself Interrogating Guardian Editor
Dollar bills have some [quite limited IMO] utility like the paper being burned as kindling or, "Oh, aren't these neat scraps of paper".

Utility != intrinsic value. Nothing has intrinsic value.
You'll still have to trust that the arbitrator won't just co-sign with whoever offers them the most BTC. So, y'know... don't make just ANYONE your arbitrator.
Bonding the impossible: icon and pictogram as one?
How Disney creates snow
I see no interesting features in this visualization. What part am I supposed to be looking at?
s/indie//

Does that change the argument any?
My first thought was uop cache as well. The fact that pre-Sandy Bridge processors have the intuitive performance behavior makes me more certain it's related.

One interesting experiment to try would be to realign the loop to 0..31 mod 32, and see how/if the behavior changes.
You don't seem to understand or have experience with how game code is written.

It's not written to be "modified". It's not written with a specific modular outcome in mind. It's more often than not a one-off messy code that gets the job done, because that's the requirements and the pace of the industry.

And, especially for something like Minecraft, it has to be original and even explore the problem space and ideas in the process of building it. It's not something you do based on a design carved in stone, with some cushy strict waterfall method or what have you.

Building games, and especially such games, is an explorative process, and one-off process, and a war on many fronts (e.g with time, or with tons of competing gameplay ideas).

You are only able to say what you say, because you look at the code in hindsight.
Right now, I'm advising them [1] to simply publish their public key in other social profiles they own, but for some Bitcoin-related services (like bitcoin-otc) that have public keys attached to profiles, I'm planning on asking them to sign a message along the lines of "I am shesek from bitcoin-otc, my nickname on bitrated is nadav, and my public key on bitrated is ..." with their bitcoin-otc's key, which'll make it possible to automatically identify them.

[1] https://www.bitrated.com/help/arbitrator-terms.html
Sobering. Britain ranked 26th and the USA 36th.
I watched a video the other night of a demo of F# and was pretty impressed with some of the dev tools: especially IntelliSense on APIs and being able to provide an example URL to generate classes for incoming JSON.
Crunchyroll Acquired by Chernin Group
Agreed. I think it's kind of like anti-biotics. If the dose is not heavy and frequent enough to kill all of them, this would serve as a natural selector that filters out those snakes who like mice and are weak at acetaminophen, but let the others survive. The result of this is reducing number of rivals of those survivors, thus giving them better opportunity to live. After several iterations, those who remain there are the ones that you can't use this method to kill.
Too much straw men on these answers. I have lot friends in finantial (though not exactly in Wall Street, as I am in Brazil, they tend to think the same way), and the opinions are divided between being a big thing, being a dangerous thing and being a thing to risky and unstable to actually become big someday. But none is "laughing at it" as a toy (anymore).
How to livestream through Glass
Well, it's just an essay. Not something even remotely proven.

A computer SCIENTIST should scorn the use of the "blub" notion as something that holds a priori.
There are two big problems with acetaminophen as a medicication. One, the theraputic dose is far too close to the lethal or hazardous dosages. Two, because it's been in use for so long there ends up being a lot of it in many medications, though some people don't appreciate that.

For example, let's say you are feeling under the weather with typical flu symptoms including body ache and congestion. So you decide to take some nyquil. But you're feeling so achy that you decide to take some acetaminophen as well. And you drink a glass of water with some alka-seltzer to settle your stomache before bed. Not such crazy things to do. And maybe you inadvisably decide to take larger doses than you should, because you feel really crummy and you want to feel better (and more drugs = stronger effects, right?) So you take a triple dose of nyquil and a double dose of acetaminophen. Except now you've 4,000 to 5,000 mg of acetaminophen. Then tack on the extra half gram from a double dose of alka-seltzer plus severe cold & flu (which maybe you forgot was the only variety you had in the cabinet) and you are well into dangerous territory. Combine that with re-upping doses at less than the recommended interval and things can get scary very fast.
> Where the grandparent said "employers think college degrees are more valuable than they probably are," you've highlighted the disconnect between what employers think they're getting from a college grad (certain skills) and what colleges actually do (teach students to think, to learn, to read).
That's not High School 2.0. In fact, High School seems to be the right place for vocational training. It's the pinnacle of state-mandated schooling, and in fact includes vocational requirements. Some schools implement that as wood shop. Others focus so completely on teaching computer skills they become a "magnet school" for that one thing only.

I'd like to argue for the opposite. Since everyone goes to high school, it should be a place to teach people to think, learn and read (that's how it used to be in some European countries). This is where students could explore and find out what they like, as well as read as many books as they can.

After that, college should be for white-collar training. You really do need several years of focused learning on certain topics before jumping in (I don't think you can ever jump straight into medicine, building bridges or designing microprocessors without a few years of reading in advance).
Hmmm... I'll have to make a graph of that and see how it pans out.
Gender studies is not a science.
Kings of The Ring (Rare Documentary)
This begs for comparing assembly dumps of both.
Vaccines work. Period.
Sorry to break it to you, but this is the reaction of most people working on others code. It all looks like a bunch of crap held together with duct tape and string when you are the one trying to maintain it or make it do something that wasn't thought about when it was designed.
What do you mean by deliverable? "There will be a camera for science" is an end result.
Would be interesting if it was self hosted or an application, since there's no way I can connect to prod or dev db's across the internet.
The examples became more and more complex while the code remained evolutionary and understandable. Amazing work and a huge resource for canvas drawing and those unfamiliar with javascript. Very impressive.
The Tree of Porphyry
How do we know if people are hard to find because people are actually hard to find, or people doing the hiring are terrible at their job?

Partly both, but also missing a qualified applicant often costs far less than making a bad hire.

The ratio of decent hires to bad hires needs to be as high as possible. In comparison, the percentage of qualified applicants thrown out almost doesn't matter (unless it gets to something truly absurd like 90%). (Really it does matter, just not compared to making bad hires. Interviews and delays are still expensive, just less so than failing to get new employees up to speed.)

Interviewers that make bad hires are terrible. Interviewers that turn away good hires are merely bad.
Here’s one group that wholeheartedly supports ObamaCare
This amazing portrait of Morgan Freeman not a photograph, created on ipad
I'd like to see a comparison of royalty models between streaming services (Spotify, Pandora, Rdio, iTunes Match/Radio) as well as how it compares to buying a physical CD.
Itanium may be in order, but if we're going for ease-of-reasoning, seek your fortunes elsewhere. The memory model gave me fits.
Looks very cool. Pricing is a bit confusing though.

1 user, 1+ user, unlimited users

What does 1+ user mean if not unlimited?

Also, row limits are not listed in the top tier, making me think that they are either unlimited, or that the go until they break due to a technical limitation somewhere after 5k rows.
I'm really interested in this project, but wish they had left polyphasic sleep entirely out of it. The sleep data they provide (REM and NREM monitoring, etc) seems fantastically useful, and the lucid dream induction is intriguing, if dubious; however, the inclusion of polyphasic sleep makes me suspicious of the scientific rigor of the project on a whole. It's making it hard to decide whether to go ahead and back - on the one hand, I sleep with a mask anyway, definitely want the sleep monitoring capabilities the device offers, but on the other, can I trust it?
So basically the water is reaction mass, and it's actually powered by solar cells?

They should write that WAY more prominently on the kickstarter page, as is it feels like a scam.
New Malware concept transmits data with no network connection
That sounds like pure conjecture.
What happens?

I found that I somehow kept getting colds when I was trying to get into the Uberman schedule even though it was the middle of summer so I'd be interested to know if it's somehow related.
I was wondering how you could achieve the same level of isolation in ruby, this looks like a very interesting project. Ruby projects move fast and even though they're pretty good about semantic versioning this isn't enough to save you when your Gemfile starts filling up. Cargo looks like a huge improvement over require.
Crowdfunding Signed Copies of David Raether’s Memoir for Giving Tuesday
Your Title is a Cage
Actually C# is the best option if you want to cover both iOS and Android.
I don't understand why you would ever pay for this? If you need a web based database gui, what's wrong with the hundreds of free versions? And it comes free with the non scary part of giving someone else your database access.