skysight-inc/HackerNews huggingface dataset:
There will be some forum on the internet where a bunch of guys are reverse engineering them, much as they do for 6502 based systems now.
> Will it catch on? Will our codebase be marginalized if we choose this transpiler?

Even though I despise Angular, when Google announced it was going with TypeScript for Angular 2, I decided adoption probably wouldn't be an issue.

TypeScript is also doing a great job of maintaining compatibility with ES6, rather than creating its own branch. Its goal is to be a superset, not a fork.

> What if we hit unexpected hurdles when using it? What if there are bad design choices that we will suffer from once we go for it?

The good thing about TypeScript is that it can't get any worse than JavaScript. If you're missing TS definitions for a library and need to fallback on a placeholder definition, you're just writing plain old JavaScript again.
Load Test your Website or API with 1000 concurrent users with just £9/month
Mrw
this very hacker
Good techs
The researches don't know how to explain the results in a way that is consistent with our intuitive understanding of the world, so I'd say most people consider that spooky.

One of the equally reasonable explanations is that the measurement results made by Alice and Bob are not actually determined until their compare their results. Or FTL "communication", or time-travel. Or that their sources of randomness are actually pre-determined.

I'm curious what would you consider spooky if not time-travel or whole universe pre-determinism?
Interesting. The bug in the proof is in the assumption that ints contain any integer and addition operates the same in normal mathematics, when in fact they're the set of values in [INT_MIN, INT_MAX] and addition has overflow behaviour.

Arguably addition (or any operation) that overflows with signed integers ought to cause some kind of SignedIntegerOverflow exception. If you want to do modulo mathematics in the set of [0, 2^n) then you should explictly use unsigned integers, which are defined to work that way.
Can you elaborate on this further?

Would this mean that Bentley's proof was in fact incorrect (i.e. not a valid proof at all) or that it simply didn't consider integer overflow for fixed size ints?

I wonder to what extent the implementation (i.e. the size of the integer type used) should affect the proof that an algorithm is correct?
Statistics and risk are meaningless when your name is attached to the report.

To go to the extreme, a 0.001% chance of genetic disease can drive a person to make emotional decisions.
With nicer syntax, nulls are equivalent to Maybe types. Recent C# for example has the ?. and ?? operators, which are flatMap and orElse.
Does this follow Youtube's TOS ?
I would not be too surprised to see it removed from the store.
Thanks. I am most probably on exit route from anything Apple or Google so most likely next cmus will be playing on native Linux for me. Off topic but Apple increasingly makes it easier to make such decision.
Public versus Private Blockchains
> There's a setting that makes tagging require you verify and accept the post/photo.

Where is that?
Sociomantic is using it for their systems, https://www.sociomantic.com/jobs/d-software-developer/
The Graphing Calculator Story (2004)
Why is it that none of these experiments seem to consider the "many worlds" understanding of "spooky action at a distance" (which is non-spooky, and action only at immediate contact)?

Roughly: both the samples are in both world A (up/down) and world B(down/up), and when you interact with them, you get split and are pulled into both world A and world B, and each copy of you when you interact pulls the thing you interact with also into A and B, and so when you compare results, the A-you compares the A-result and the B-you compares the B-result.

The splitting is not immediate or faster than light. But it moves at exactly the speed of information, so you can't race ahead of it and watch it happen. To interact with it is to become part of it.
From wiki
> The world's population of Humans, Drall, and Selonians predated its recorded history.

Couldn't this mean that (assuming Earth would be the origin of humans) humans a long time ago expanded and just came to this planet? Making him still human, just from a colony.

Or something like that.
The Best Small and Medium Workplaces in the U.S. – 2015
We have the same problem, only it can take up to 20 seconds. We get around it by taking the instance out of the load balancer during the deploy, and then warm it up with a few requests before adding it back. But it's still very annoying, and I haven't figured out where it spends the 20 seconds.
There is a Google tech talk called "The Remote Agent Experiment: Debugging Code from 60 Million Miles Away" where the speaker describes how they did a proof that their code was deadlock free but it still ran into a deadlock. (I don't remember the details)
This article was published over a year ago.
Paywall for all your needs
If you like Clang, I hope it's not the next WebKit, because WebKit is down to ~10% share[1].

As was noted[2] at the time, Google probably forked WebKit because it was too bloated for mobile and they wanted more power to cut things out. I don't know if that will happen to Clang, but it's worth noting as long as we're using this analogy.

1. http://gs.statcounter.com/#all-browser_version_partially_com...

2. http://www.zdnet.com/article/the-real-reason-why-google-fork...
there's Timeline review (though I don't think it's exactly what he's saying, it lets pictures tagged with you avoid your wall unless you explicitly accept it)
I've seen that example before, but I don't like it. It's an example of fixed-point overflow, but it wouldn't occur in practice.

It would manifest itself with 32-bit integer indexes and with arrays of greater than 2^30 elements. So phooey. You can't even fit that many array elements into a 32-bit address space. And if you're in a 64-bit address space, you should be using 64-bit indexes.

Whine: way back in the 1960s, the IBM S/360 threw a fixed-point overflow exception (okay, to be pedantic, they called it a "program interruption", but it's the same idea) when you did that. Sadly, the Fortran compiler of the day masked it. And this same philosophy has carried over to today. About 99 times out of 100, fixed point overflow is bad, why is it being masked off?
That setting doesn't help if you don't have a facebook account. Putting the responsibility on the named person is just another form of victim blaming.
Went and checked. There are two things you can do:

1) The second option on Settings/Privacy page controls how things you're tagged in end up on your timeline. On my account there's a link that to the Timeline Review page[0], on which you can enable or disable reviewing things before they become visible on your timeline.

2) There's a whole Settings page for Timeline and Tagging[1]. There you can control who can post on your timeline, how tagging you will work, whether your friends will see posts you get tagged in and whether or not you appear in tag suggestions. The tagging options work across Facebook, not just for your timeline.

[0] - https://www.facebook.com/INSERT_PROFILE_NAME/allactivity?log...

[1] - https://www.facebook.com/settings?tab=timeline
> Isn't this a lossless process of the sort forbidden by thermodynamics?

It is lossless on the single-particle level, but not in large thermodynamic ensembles of many, many particles. There, only most photons interact losslessly, while some get absorbed nonetheless, heat up the glass and give you thermodynamics.

How exactly unitary quantum mechanical time evolution transforms into ergodic, classical and thermodynamic time evolution in large systems is (relatively) open question.
One Hacker Way – Erik Meijer on Agile, TDD and Other Things
Same here, only I started some time earlier and have implemented the central trading system side of all these instruments. I agree, the basic contracts and simple combinations are the simplest part.
i think the main parameter people judge price reductions for disks is "$ per GB", rather than anything related to performance. SSDs are getting better and faster, but the price per GB is not exactly crashing.
'Beware of bugs in the above code; I have only proved it correct, not tried it.' - Donald Knuth, 1977
I'm curious. How do you know this?
I think Occam's razor is the cause. Many worlds suffers from the appearance of violating Occam's razor. Of course Occam's razor is just a rule of thumb, but it seems to inhibit physicists being comfortable with the many worlds interpretation.
LTU has a good discussion on Fetzer's classic critique of program verification: http://lambda-the-ultimate.org/node/2783
Show HN: Generator for isomorphic/universal flux apps with Alt
> If you observe the particle, perhaps you'd see it's in spin "up" but that would be meaningless because that observation wouldn't tell you anything about whether it was entangled or not.

Crucially, from an experimental point of view, we can tell whether a pair of particles was entangled by measuring both of them and comparing the results. To ensure that nothing else is messing with these results, eg. that there's no signal travelling between the particles, we can move them very far apart and arrange that each measurement takes place at almost the same time; that way, if any such signal existed, it wouldn't have time (even travelling at the speed of light) to allow the first measurement to influence the second measurement.

Importantly, each person doing the individual measurements has no idea what the other person's result is. They only know what they themselves have measured. In order to compare the results, the experimenters must either meet to compare notes, or send a message (eg. via radio) telling the other. Hence, even if the entangled particles interact instantaneously, there's no way to use the result of a measurement without waiting for that subsequent radio message from your collaborator, and that message will only travel at the speed of light. The quantum interaction has not sent any information faster than light.
Become a SAP GTS Professional Join SRY IT Solutions
Step-by-step PHP tutorial – Create your own SMS web app
Republic of Zaqistan (2012)
Oracle: We Haven’t Had Any Meetings with Iranian Officials
every time I use voice search on my mobile (the only place I use it) I get a toast popup that says 'saving audio to $email_address'. So I knew about this.

I use an android phone, I have however noticed that voice search on the desktop doesn't issue this warning.
Probably because the many-world hypothesis seems fundamentally untestable?
MCI’s CEO: More Than 60% of Mobile Communication Belongs to MCI in Iran
It's not a thing anymore on modern (pulseaudio-enabled) Linux but you can still use applications that write to /dev/dsp by launching them with padsp.
Thermodynamics is statistical. It don't exactly apply to individual particle pairs interacting. It apply to the larger system they're a part of.

Also: http://www.livescience.com/18580-perpetual-motion-time-cryst...

The thing is that you can have essentially static periodic systems, where in entropy do not go down but simply don't increase. Overall in the universe entropy will however increase on average.
Show HN: ngclipboard -Angularjs directive for clipboard.js
Time and Computers [pdf]
Take a look at these great collections:
http://www.autopsy.io
and
https://www.cbinsights.com/blog/startup-failure-post-mortem/
I can't tag you if you don't have a Facebook account. What are you proposing? That typing someone's name without their consent should not be allowed? I think that would be seriously infringing on the right to write things.

> Putting the responsibility on the named person is just another form of victim blaming.

Victim blaming is quickly becoming a term for "I don't like how the reality works, so I'll just throw a temper tantrum".
You forgot about:

-KEEP WORKING the way it works NOW. Red subscriber = no ad and no monetisation for the video if no RED specific agreement with google.
"1/10th of the time" implies that it takes 10 times longer to do the math than it does to stare at the screen with your head in your hands saying "oh god what have I done?" to yourself. I'd wager that's not the case.
Yes, error seems fixed, I see my familiar bookmark mess there now.
Few remarks:
- mentioned non-ASCII characters in bookmark titles are rendered in fallback font on the page
- it seems you are hard trimming URLs to 300 characters. I donʼt think it is a good idea to set such a low limit (not only that it destroyed most of my dataURIs): I guess there are many URLs (with parameters perhaps) out there pleeding to be bookmarked exceeding even 1 KiB limit. To my knowledge, dangerous size for URL is considered around 2 KiB [source:google/SO], but in fact current browsers donʼt care much about the size or have limits around few MiBs.

[source:google/SO]: https://www.google.com/search?q=url+length+limit
Pretty Ping is the name of a minor character from Barry Hughart's utterly excellent book Bridge of Birds.

https://www.goodreads.com/work/quotes/958087-bridge-of-birds...
I'm not sure any of the interpretations of quantum mechanics are actually distinguishable in any way we can measure, so the best thing to do would probably be to pick the one which makes things easiest to work with.
Because it doesn’t add anything into the discussion.

If the test can't differentiate between QM interpretations, assuming some specific hypothetical interpretation is useless.
Full-disk encryption is mandatory on Android 6.0–if the device can cope
Stay relevant, drink beers and innovate as a team with Dev Bev meetings
Is there a real reason for them to be so complex though? "Buisness demands it" isn't really a reason for me. It clearly affects the stability of the system, so shouldn't we look at ways of improving it overall?
nginx -s reload

also works, you don't need service/systemctl at all for this.
There are new types of BI tools like TIBCO Spotfire that allow "data preparation" a basic form of ETL directly from the analyst client.

https://www.youtube.com/watch?v=KlXJrzHQbTA
Facebook does [1][2][3].

[1]: http://www.drdobbs.com/mobile/facebook-adopts-d-language/240...
[2]: https://github.com/facebook/warp
[3]: https://github.com/facebook/flint
Here's the "how so fast" explanation:

https://github.com/kostya/benchmarks/pull/46#issuecomment-14...
I actually think is is a good idea. I agree that is seems like a huge waste for people to go through all that work/trouble and not have anybody else other than YC see the material they came up with. I am sure there are many great ideas out of the 97% that were rejected. Or, maybe some of these rejected ideas just need some fine tuning to become good.
I'm pretty sure TPP doesn't involve China at all, or even Russia for that matter.
You did, did you? Try logging in again into that Facebook account you "deleted" and see what awaits you...
> For background about the Grand Mufti:
> https://en.wikipedia.org/wiki/Haj_Amin_al-Husseini
> ...
> ...
> While the Palestinians blame the Israelis for their plight and for not
> having a country, the true cause was the decision of their ancestors and
> Arab nations to follow his leadership and to attack the new state of Israel
> while turning down their own state.

Right there, in the wikipedia article, follow the link in the first statement to Mandatory Palestine ...more than one way to skin the cat to suit one's political biases. Anyways, that's all I'll ever say about this.
Will the old processes not be successfully killed and the new processes just take over? Healthwise supervisor would be the one checking the gunicorn processes?

Looking at this article is just seems to make ports operate either with any new server initialisation just automatically takes over the port (or maybe they become effectively load balanced between all running processes, it's hard to tell conclusively)...

http://freeprogrammersblog.vhex.net/post/linux-39-introdued-...
For engineers, the last paragraph is the most pertinent:

"The key weapon is abstraction," he says. "If you can build abstractions well enough, you should be able to break things down into bits you can handle." That maxim guides every other discipline in engineering, not least the design of computer hardware. Why not apply it to software, too?
> You don't think martial artists should have a problem with that

No they shouldn't. It in no ways diminishes the value or meaning of a red/black belt in taekwondo.

However, if they were to insist that practitioners treated them as if they'd earned the belt or, conversely, somehow prevented a legitimate holder of the belt from wearing one then you have a case for grievance.
Ayurvedic Guidelines to Prevent Hair Loss and Gray Hair
I live in the west.

If I was going to be a whisteblower, or a leaker of state and corporate secrets I would do it for my own country and the countries it was allied with.

What is so difficult to understand about that?
I think the analytical approach is still working for Arsenal; Monreal, Koscielny, Coquelin, Bellerin, Carzola, Giroud - non of those guys were marquee signings who cost loads, but all are now indispensable and could arguably walk into most teams in Europe.

The analytical approach is clearly working for other teams too. The game is slowly changing and people are finally seeing the worth in the stats.
They are objective about the western world.

I live in the western world, so that's what I care about.
Why wouldn't it be? "insane" is demeaning to people with mental health issues. To use it as a negative descriptor has the same problems as "gay" does. There's much better adjectives you can use.

I find that forcing myself not to use such words means I have to actually express why I don't like something, which is a nice side bonus.
Equivalent at runtime, yes, but with less static type checking.
That was a fantastic read, thanks. =)
Largest astronomical image of all time
Nothing rules that out.

What Bell tests, of which this one is the best implementation so far, rule out is local hidden variable. Hidden variable that can propagate faster than light is not ruled out by the test. (For the most people, it is ruled out by being faster than light.)
I've been seriously considering doing a mini programming language where you can type-decorate numbers with exactly what behaviour you want and what their range is.

So you could have "integer, range [a-b), exception on overflow" or "integer, 32-bit, unsigned, wrap" or "integer, 8-bit, signed, saturates" (the latter is useful in codecs and often available in assembly).
youtube gaming website is all javascript, and was probably only tested on chrome :/ Doesnt work at all in my browser, s in blank page. On the other hand twitch just works, so why bother?
Prerender is being worked on for FIrebase Hosting :)
No questions from me; just appreciation for the work you are doing. Thank you.
Severalnines’ Vinay Joosery named UK top 50 data leader and influencer
"A long time ago in a galaxy far, far away..."
Assuming that:
- The referenced point in time for that phrase is NOW
- Earth technology hasn't gone backwards to the point where our current technology is today
Earth couldn't have colonized other planets. Therefore Corellia couldn't have been a colony of Earth. Sure, they could have been a colony of ANOTHER race. In that case, Solo is still not human. IF Earth is a colony of Corellia or the same race that colonized Corellia, Solo is indeed human :)
My $0.02
So basically kafka + another layer for database migrations?
Like all of professor Pettis's posts, this one requires pretty deep background or a lot of reading to follow completely... But it's well worth it.

If you think you understand what's going on in China's economy, you should be sure to read Pettis exhaustively (Andy Xie is good reading, too).

The general punchline: expect massively lower GDP growth in China. Not "below 7% low," more like below 3% at best, if the economy is managed correctly. Big caveat because the government's actions lately are pretty poor.

His analysis of the Chinese economy is similar balance sheet economics. Great stuff.
I think they call that Ada. (not sure on the overflow behavior, but ranges are in)
Become a MySQL DBA: Optimizer Hints for Faster Query Execution
Spamhaus and some other antispam lists can be extremely aggressive with their filtering, sometimes blocking whole networks because of a couple reported incidents of spam. They are also, in my experience, completely unresponsive when contacted for information on why the blocks are in place. So it's not like they're making it easy for abuse departments to comply.

In some cases (don't remember if this was spamhaus though) the list owners will suggest that if you pay them a consulting fee, they might assist you (where assist means forwarding the message that got flagged so you actually know what spam they're talking about). The lists that do this are running an extortion racket, but unfortunately the people using them don't really see that side so they think they're just following best practices by using them.

I hate spam. But having had to deal with the people running these blocking lists, I hate them too.
The exact size doesn't matter nearly as much as the fact that it has a bounded size. That changes the algebraic structure your proof operates on — and proofs on finite fields are often either general or at least give you results that explicitly depend on the size of the underlying set.
Drivers ? Where we're going, we don't need drivers.
The mysterious startup that raised $500M from Google has a cool website
"Why not apply it to software, too?"

One the whole, we do. But sometimes abstractions leak [1]. Sometimes you get impedance mismatches when you try to layer them. Sometimes the abstraction isn't what you think it is or want it to be.

An example of the last point is alluded to in a comment by efaref about a binary search algorithm that turned-out to be broken because it assumed that an integer type in the implementation language behaved the same way as integers in mathematics, but it didn't because it didn't allow arbitrary-size values. The abstraction provided by the integer type was faulty.

[1] https://en.wikipedia.org/wiki/Leaky_abstraction
1) That would be why they are trying to push their irresponsible "real names" policy.

2) Let's not forget they have more than your name. They can geolocate your IP, for example, to get an approximate location. If I remember correctly, name and zip alone has something like an 85% chance of uniquely identifying someone. If you tell them your birthday, that chance goes up into the high 90s.

3) Once you have their cookie, they have many other sources of information thanks to "beacon"[1]. Identification becomes significantly easier when they have other businesses adding data.

[1] https://en.wikipedia.org/wiki/Facebook_Beacon
Show HN: The Zite of Today
Java only allows signed 32-bit integers as array indices. It 's a compile time error to access an array with a long index (http://docs.oracle.com/javase/specs/jls/se8/html/jls-10.html...).
SteamRE is what you're looking for, don't even waste your time with Valve API's.
Can we change the title here? It's directly quoting the byline, but it contradicts the article.

Title/byline: "A small British firm shows that software bugs aren't inevitable (2005)"

Article:
"Praxis doesn't claim it can make bug-free software, says Amey, now the company's chief technical officer. But he says the methodology pays off. Bugs are notoriously hard to count, and estimates of how common they are vary hugely. With an average of less than one error in every 10 000 lines of delivered code, however, Praxis claims a bug rate that is at least 50--and possibly as much as 1000--times better than the industry standard."

It's impressive, and I'd like to see more formal verification in software especially for security-critical components. But the title is factually incorrect.
the irony that just because the original was boring stream of text allows everyone to create spify, non extensible, versions.