skysight-inc/HackerNews huggingface dataset:
I think I've discovered that the target of the prefetch is irrelevant, and that what matters is that the store-to-load forwarding does not try to execute in the same cycle. For Sandy Bridge, I'm finding that I can get slightly better performance with a dummy load of an unrelated volatile variable:

volatile unsigned dummy = 0;
void loop_dummy_read() {
IACA_START;
unsigned j;
unsigned dummy_read;
for (j = 0; j < N; ++j) {
dummy_read = dummy;
counter += j;
}
IACA_END;
}
I recently had a "excellent" password compromised. The lesson: bad passwords that aren't shared between accounts are better than good passwords that are shared
Yes, I am aware of the extreme torsional scenarios -- did mechanical/flu-mech course in engineering -- thanks for the video. In case of Sheerwind's funnelling technology a normal windy day could also become a challenge though.
Six Israeli Companies Changing The Gaming World
This is a fantastic list. I would like to add:

8) Robotics is a big industry. Find what interests you within it. It may be arms, rovers, drones, sensors, logic, etc. In my case, I'm interested in autonomous robots in the spirit of the google self driving projects.
As far as I can tell, that Ceylon feature is actually equivalent to `type` in Haskell, not `newtype`.
It wasn't obvious to me until I watched the hands-on with Engadget - the unique bit is the e-ink always-on screen on the back.
He didn't really avoid your question. I parsed your question the same way.
Chrome apps could start coming to Android and iOS as early as next month
> WTF is Inspur K-UX?

That is really interesting: http://beta.slashdot.org/submission/3145593/unix-03-certifie...

Rebranded RHEL?
Phone aside I can't be the only person who finds the whole scrolling/animation thing just a bit obnoxious, can I? Such a slow way to get to the information.
Environment modelling with a Raspberry Pi
Yeah, I meant 4.x rather than 5.x. Edited.

My first ISP (which also was the first one in our town) used FreeBSD and I'm pretty sure it was FreeBSD 4 at the time. I knew this because they allowed their dial-up users shell access and, in fact, their official instructions on how to change your dial-up password involved using HyperTerminal in Windows. I still wonder if giving out shells was generosity or carelessness on their part [1] but about a year later they changed it so that everyone who dialed in just got passwd(1) as their shell.

[1] Although since I never really did anything untoward with mine and didn't know of anyone who did maybe they'd actually calculated the risk correctly.
"Wind returns to the environment"? Ahh, running wildly as wind should.

Presumably, they mean, "some wind returns to the environment"? Currently, I'm reading that as, "massively inefficient".

And it doesn't really "return to the environment" anyway, does it? It's channelled, focused and ?most? of the power is removed.
i consider it dangerous because it requires more manual (and error-prone) work than just doing allocations/deallocations yourself.

i can see the theoretical justification but I am yet to use a system where:

* i do not need to decrement ref counts manually in various situations or by default

* i do not get memory leaks resulting from the above ambiguity

* its easy to debug a leak (because I need to hunt for the right place to decrement the reference count, not just slap it in wherever i want)

coupled with the performance overhead of refcounting i see no benefit to it in practice - as nice as the theoretical idea is. this could be personal experience though - i can easily say that i've had more memory leaks from not understanding a ref counted library than when i manage my own memory - but that might not be the general case.
He probably meant "You can't build a Mobile OS"
The more I read about it the more I get the feeling that their goal is to get as much funding as possible without letting anyone test it, kind of like Andrea Rossi and his cold fusion reactor.
You do need shaders for pretty much everything.

But if you only want to draw a rectangle with a solid color, you can do that using the scissor test and clearing "the screen". But that's about all you can do without shaders.
Dell Venue 8 Pro...

Already we have tablets running x86 with good enough battery life, better power than the ARM counterparts, and a full OS, with external hardware support.

Sure, it's not completely there yet, but considering it's $399 today for something that is pretty damned close (and close enough that my girlfriend just ordered one, to use for most of her primary computing, but coupled with the active digitizer for sketching; basically, a netbook), it's only a matter of time before this is completely doable!
BAC measuring with a smartphone (Floome)
Dodge Nitro vergolden lassen Gold Plating Germany YouTube
Is this the same technique employed by the Windcatcher [1] (rapid inflation)

[1] http://www.kickstarter.com/projects/1484284472/windcatcher-i...
>In my opinion types are a poor man's schema, my email is not a string, it's a email, and my longitude/latitude pair are not just ints they have specific ranges, saying that longitude is 500 is as wrong as saying it's "foo".

Err, you know that a type system could take care of all of those contraints, right?

Because you come across as types for you are restricted to be just the known scalar or barebones object types.

Having an email just as a string if far from the exhausting the specialization you can do using an "email" type.
I don't know. In terms of excitement and creativity I think we're slowly catching up to the end of the 90s.
Well the site is giving a nice Express.js error, bit IIRC he said you could make a cheap Android phone but were then engaged in a "race to the bottom".
Hi, please don't be fatalist over those things, that's just being unconstructive. You were probably rejected because you had no engineer to validate your idea.
P-versus-NP page
Politicians can do any violence and wander around the country without being accused, and if they are arrested or put into jail, they can live in a way however they like ie, use phones,use internet,smoke weeds etc.

In the same country a person has been acquitted of stealing Rs 57 after 29 years.
I feel like this is worse though, as a tower like that looks million times worse than a wind turbine. I would hate if structures like that started appearing across the landscape.
What's New In Git 1.8.5
Shadertoy - build and share your shaders and get inspired
They also 'standardised' threads which were hardly common usage.
Isn't solaris part of the tree as well ?
I would wait until the paper has no more corrections made at least for a whole non-summer month. Well, it looks like there were no corrections in October but maybe he took his vacation then?

Give it some more time, I suggest.
It’s fascinating how this sort of thing keeps attracting interest. Here’s a list of 100 proofs that P=NP or P≠NP, which includes this one: http://www.win.tue.nl/~gwoegi/P-versus-NP.htm

There’s nothing to make this attempt more worthy of interest than the other 99, as far as I know.
Can anyone comment on how credible this is. It seems to have been submitted many times.
I'm in Russia and I paid less than that for the Galaxy S4. Seriously, how come Yotaphone is so expensive? Are they one of the flagship phone?
Solutions Journalism Network
Packets are not padded to the MTU, so a link literally needs more time to send a longer packet. If you make a response 50 bytes shorter, the last packet will always clear a 1 Gbps link 0.37 ms sooner, even before you shave a packet off 3% of your responses. How much you care depends on what you're doing and how bursty it is, but it's certainly measurable at scale.
One alternate mechanism (there could be several) sure to ruffle feathers is to qualify users by their GMAT score (e.g. 700+ only), assuming such information were easily verifiable.

Such a 'qualification club' is inline with my own view of the type of exclusivity sought after by sterotyped or caricature B-school personalities.
Just another day on HN and another trolling, controversial post...
Browser Security Warnings
The scroll changes the smartphone display instead of moving down the page, and more often than not lands between transitions.

If you'd like to sell a phone, hire a web designer that shoots for real goals instead of trendy bullshit.
An indie studio makes 127 sales on their first project
The distinction between web and non-web is getting increasingly irrelevant. Native apps are not delivered in shrink wrapped boxes. They are purchased, delivered, updated, and often get data from the web.

The main difference (beyond hardware acceleration) is how they cache data, and address latency. It is possible for both native apps, and web apps to get this wrong, and when they do it is bad for the user.

I am not sure why the user really cares if they are running a native app or a chrome based web app. What they want is a responsive interface.
But only when N is 1 or P is 0.
you might try julia. it's a bit like python with optional types and (the promise of) speed. i am hoping it works out (and agree in general with your viewpoint otherwise, except i haven't tried rust or kotlin).
Mexican Truck Carrying "Extremely Dangerous" Cobalt-60 Stolen
Old Hacker News joke(?). Nickb is pg.
This was already posted here. It is fatally flawed in that, although the theoretical computing time is polynomial, the memory required grows exponentially.
Solaris broke off from BSD and is based on System V Release 4 ... which is partly based on BSD. It depends on how far back you want to prune the tree. They just wanted to stick with the pure BSDs that didn't take come from other projects I guess

https://en.wikipedia.org/wiki/Solaris_(operating_system)#His...
Are you one of those people who thinks he knows an obvious truth that everyone else ignores for some reason?
Microsoft put in the deprecated warnings long before C11.
Thanks for pointing out that they were made part of C11.

It's a little amusing that MS have this optional part of C11 implemented years in advance and standardised on their work, but haven't got C99 support. It must suit them to have it that way.

Can you tell me whether the C11 Bounds checking stuff from this optional Annex K had fully made it in to GCC 4.9? If not what's missing?

On the status page here it implies the project has had issues:[0]

[0]http://gcc.gnu.org/wiki/C11Status

Yet, on the release notes it says "Substantially complete" but it's really as clear as mud whether it's all there[2].

[2]http://gcc.gnu.org/gcc-4.9/changes.html

I suppose that on Linux and Windows the intel compiler relies on the GCC/MS implementation of memcpy_s.
It took five full middle finger mouse wheel scrolls to get to the portion where the first map popped up on screen. It looks cool and all, but this is just ridiculous.
Every once in a while some publishes a paper that seeks to prove that N equals NP, but so far none were conclusive. Given that track record and the fact that the all existing evidence points to N unequal NP, I would be very cautious with this paper.
Not yet updated with OS X 10.9
I've seen them described as results for China in the past, not just in Time. Agreed, it appears that that's not China's fault, which makes this article unfair, but hopefully Time publishing this will make publications that had previously described the results as "China's" in future describe them accurately.
Maybe I am getting old and elitist, sorry if so. But it seems like those 'one-liners' are mostly stuff you could find in the man page of your favorite shell or in any introduction to Unix. There's nothing wrong with a presentation about it, but there were a lot of those on HN lately and maybe a structured manual for your shell and operating system might be a better way to learn such things.
I will not rehash my strong objections to Scala, but I think that this kind of discussion about programming language starts off on the wrong foot – the same wrong foot that led to what I perceive is everything that's wrong with Scala.

A new programming language that hopes to achieve wide adoption is a big deal. A very big deal. C has been in widespread use for 40 years now, and Java for almost 20. You could switch a language every five years or so, but that means that you're not in "mainstream software development" but in some kind of Silicon Valley startup (a tiny minority among software developers). Mainstream software developers don't switch languages every five years, and in most case, not even every decade, so they'd better get the language right.

But what makes a programming language right? That is a big question. Obviously, adoption, which is also a result of marketing, is a major factor regardless of the language's intrinsic merits. Also, you must consider your domain. Ruby is great for short-lived projects; Java is great for big, complex projects with dozens or hundreds of developers.

But assuming you've taken all that into account, making a switch better be really justified. The problem with the article, I think, is it focuses on specific language features (effects, delegation, etc.), which is what got Scala into trouble (IMO) in the first place.

When thinking about a new programming language, especially one not intended for research but for widespread adoption, this is not the way to go. I believe we should start by thinking what are the big problems with software developments, and how we can address them with a new language – one that does not simply offer this or that convenient feature, but gives a really big advantage, one that merits a switch. Java has done it with a GC for a C++-like language, and to a lesser degree, with threads. Clojure and Erlang address the issue of state - Erlang because of fault-tolerance, and Clojure (mostly) because of concurrency.

On the other hand, some languages, like Ruby, focus on "developer productivity", which often means getting to working, useful code quickly, while maintaining good readability. This is, no doubt, important (for some domains much more so than others), but is this a major problem of software development today?

Also, the article talks a lot about type safety. But type safety is language feature which is a means to an end. That end can be project maintenance/manageability, and arguably more correct code. But are there other ways of achieving this goal? I'm not saying there are, I'm just saying we should start by studying the problem, not examining particular solutions. Every language feature must be a part of solving a big problem; big enough to justify switching languages. After all, that's is a big deal so we better get it right. So, what big problem are you trying to solve?
AFAIK, Solaris doesn't share any code with the 'UNIX' this talks about, or at least historically didn't (dtrace and ZFS got ported to at least some BSDs; some other code may have moved later). At the very least, adding Solaris would make this a forest, not a tree.

EDIT: just read sibling comment. From there, read http://en.wikipedia.org/wiki/Solaris_%28operating_system%29 for verification. Solaris was based on http://en.wikipedia.org/wiki/System_V_Release_4#SVR4. You never are too old to learn.
It drives me nuts this new fashion of braking the scrolling, it's completely uncalibrated on chrome, I scrolled down the equivalent of a freaking book to get to the end.
The prosecutor should serve at least 25 years in jail for withholding key evidence and ruining this persons life. Christ these stories make me so upset. :/
Exactly, Windows "Vista", the "Xbox", the "Wii", the "iPad".. and more were all ridiculed as stupid names early on but all became serious brands. You couldn't move online for jokes about the "iPad" being a female hygiene product for a while around the launch..
> To my eyes this is half the genius of Scala: things that would have to be config files in another language are instead just Scala code that uses particular functions and classes[2].

That's cute; he seems to think the reason for managing configuration information in separate files is due to the inflexibility of Java. Let's hope that one day he has to deal with a non-trivial project and is enlightened.
Nokia used to have this, and they recently added it to their newer Lumia models, called "Glance". It's cool, can show time, wallpaper and notifications.

Example image: http://www.wpcentral.com/sites/wpcentral.com/files/styles/la...
I swear Logitech were onto something when they built flywheel mousewheels...
The phone is upside down and even the phones logo....

(From the first page under "Never Miss A Thing")

http://i.imgur.com/7w427r8.png

Seems like a real work in progress type of phone ;-)
Show me a reliable twin charging design. I dare you. I double dare you.
> I don't have suggestions for dealing with it.

How about:
1. Keep companies small.
2. Ensure top level management has skin in the game (e.g. partnership).
This Is the MIT Surveillance Video That Undid Aaron Swartz
Surprised everybody is in on the term APU, I had to look it up :)

https://en.wikipedia.org/wiki/AMD_Accelerated_Processing_Uni...

excerpt:
* The Accelerated Processing Unit, formerly known as Fusion, is a marketing name for a type of microprocessor from AMD designed to act as a CPU and graphics accelerator (GPU) solution on a single chip *.

So I'd personally say not a very big surprise.
I'm not going to dig into the paper, but I note that the abstract claims a constructive proof. I sort of assume that anyone with such a proof could organize a convincing demonstration by letting a disinterested observer provide a series of random numbers while clicking a stopwatch.
I'm confident that the paper is indeed flawed. However, a Turing machine can neither write to nor read from an exponential number of locations in polynomial time, so the flaw will be something else.
Modernizr: the feature detection library for HTML5/CSS3
Ask HN: I hit gmail's receive-rate limit, here's what happened.
I noticed when a client had emailed me and I hadn't received it within several hours. It turned out to be affecting all my (paid, business-class) Google Mail inbound mail, with messages being delayed by over 24 hours at its peak. Google support was very helpful and discovered that since I had several servers emailing me every minute of every day, I had hit a rate limit and been throttled. I'm guessing the limit must be 5000+ emails per day, but the up-shot was my regular email service is taking quite a while to return to normal. Delays appear to be random - some messages arrive instantly, some generate the old SMTP "delayed" email back to the sender. I'd love to hear HN's opinion on this (apart from "fix your f<i></i><i></i>* cron jobs!", that one is obvious and has been done!).
I think the best example of recruiting good members is the SumZero model. SumZero is a buyside investor site, where buysiders can exchange and rank investment ideas with each other. It was started by Divya Narendra of Facebook fame.

When I first signed up for SumZero, the application process was pretty extensive. It involved a phone call with Divya or one of the other co-founders to check you out and make sure you weren't just some wannabe, that you actually worked at an investment fund.

I actually think was critical early on to make sure the membership base was high quality and acted as a self-reinforcing mechanism to continue to attract good members.
> I suspect 2014 will be my last high-end desktop purchase.

For me it was 2002. Since then I have only bought laptops.
Man, standing on its head is the logo of Yota[1], so it's a part of the design ;-)

[1] http://www.yota.ru
seems like a solid argument to me for peer reviewed publications.
Yea I'd'd agree that trades jobs/technicians are probably experiencing a slight shortage due to the reasons you said. In Australia trades people can easily clear 100k.
In the UK the Government has an excellent loan scheme for small business right now. 6.2% over 5 years with 1 year capital break. You can theoretically get up to $29k if you are a pair. Though you do need a little more than a marketing video, like a functional business plan. But it's not like the banks.
Memory growth is not a consideration in the academic proof, Turing machine tape is infinite in both directions.
Doesn't work at all with 2-finger scrolling on Safari for Mac.
I'm not sure what you're asking?
Uhm.. I fail to understand your point.

The screenshot you post is of the BACK side of the phone, with the eInk/EPD display, right? Which puts the camera (the 'back' camera) at the bottom.

The picture you're comparing to that is probably the FRONT of the device, with another (..front) camera and no logo.

Did you miss the whole point of the phone or did I miss the source of your amusement?
Oh, did i forget to write sarcasm again?

Seriously.. they need to fix the scroll.
The best intuition I've read that P = NP can't possibly turn out to be true, is that if it were, you could write a piece of music as easily as you could appreciate it.

Also, I can't imagine the answer to something as fundamental as this coming out of a hacky solution. There's probably a more elegant, natural way to prove it. And by natural I mean maybe they should start looking outside Turing's theory.
A proof that P=NP without an accompanying program that solves SAT or another NP problem in polynomial time does not count to me :)
I'm curious about what percentage of incarcerated population in the US is innocent. US holds roughly 2.3 MM inmates in its prisons, that's highest rate of incarceration[1] in the world. Wondering if there is a way to put a number, or guess the percentage of innocent civilians serving jail time at any given point of time.

[1] http://en.wikipedia.org/wiki/United_States_incarceration_rat...
Of course it's worthless. They're effectively a parasite class, they exist to direct money to themselves under the guise of directing it where it's needed. They are so far removed from any/all productive work that the whole thing's laughable.
Deductions of any kind, in my opinion, are unnecessarily complicated and create so many opportunities for fraud. Reduce the tax rate extensively (make it 10% flat for instance), apply it to gross earnings, and we're done. If you can't afford that 10%, then your business isn't valuable enough or your salary isn't high enough, and something needs to adjust - not your taxable income.
>Personally, I'd much rather use a simple tool (like sed), with reliable, deterministic results, than something that's right "99% of the time".

>tl;dr - a refactoring tool is 100% reliable, or useless. There's no in-between case.

lol..
The problem is that smsm42 started his comment with a completely indefensible absolutist statement: "No, we do not control the rules."

This is obviously wrong, because we (as society) control all the rules that are written into law.

But the post smsm42 originally replied to didn't wrong "the rules that are written into law", but "the rules of the system in which all this stuff happens". Which (according to smsm42) includes other rules that are not written into law (those underlying human nature) and which we don't control.

This whole back and forth could have been avoided if smsm42 had instead written: "Yes, we can change the law, though we need to be aware of the limitations of such changes because there are some rules, underlying human nature, that we cannot change."

It's a matter of perspective, but I don't think that paints the image that smsm42 wanted to portray. I feel it's more "Hayek-ian" than that.
'Being a certified Unix' and 'Stemming from Unix' are orthogonal properties; neither implies the other.
That is a brilliant way of putting it, thanks!