skysight-inc/HackerNews huggingface dataset:
When I mentioned writing a symphony I was essentially referring to your quote from Scott Aaronson and I am also aware that some known proofing methods have been shown not to be strong enough to settle the question.

I don't really buy into most of the examples of the quote. For example it is already a complex problem to quantify what makes a symphony a great symphony, once you solved this it of course becomes easy to recognize great symphonies. To write a great symphony you could then just exhaustively search the space of symphonies and rate them until you find a great one.

But does it really sound highly implausible to you that once you figured out what makes a symphony a great symphony you could use that knowledge to prune the search space and discover great symphonies much faster that using exhaustive search?

And the fact that known techniques are not good enough to settle the question doesn't sound like a surprise to me either. The very fact that the problem is not yet settled means that the usual approaches don't work and we have to use known things in an innovative way or come up with something entirely new.

So that some things don't work hardly comes as a surprise but not even this implies that P == NP is more likely right or more likely wrong, it just says that figuring it out is hard. You could maybe argue that it is evidence for the problem being independent from ZFC or whatnot if we and our tools constantly fail to settle the problem one way or the other.
It's tragic people feel that way. They're actually very well-designed, but if you don't like operator soup then no amount of design will convince you otherwise. Which is fine and why the Lens package is able to be imported operator-free.
Amazon doesn’t have any control of its IP, Oracle does. Public clouds are becoming commoditized just like a majority of x86 vendors and eventually they'll abandon the low margin business or be required to increase pricing. Not every organization is going to move to a public cloud and therefore the areas of real growth in cloud is private and hybrid, which Amazon doesn't do. What happens when your startup company grows to an Enterprise and you start having governance requirements that don't allow you to run in a public cloud? You can't go private with Amazon. Oracle cloud allows you to seamlessly move from private, hybrid to public cloud and back, providing cloud goers freedom of choice with different levels of security and integration.
You would probably have to be well below 20th in the world for tech would make more financial since.
Ahh, busted!
I guess I don't understand why the global symbol registry exists. If someone wants a global symbol map, they can create their own. What else does this add over a user implementation, and what are the use cases?
I like it. One thing it's missing is the lack of a way to add your own perception of how normal your week was - as an employee this is more stable, I guess, but as a business owner sometimes every week is a new bouquet and a new brickbat in one.
What a wonderful bunch of silly (sensible) f*cking people. Just getting out there and getting the job done and wanting to be recognised but mainly doing the stuff. There are some at your work too. We all know who the workers are, really.
"The hyperinflated, worthless Marks became widely collected abroad. The Los Angeles Times estimated in 1924 that more of the decommissioned notes were spread about the United States than existed in Germany."

https://en.wikipedia.org/wiki/Hyperinflation_in_the_Weimar_R...
On the other hand, <*> is closer in spirit to what $ is.
A friend reminded me of http://www.petertatchell.net/direct_action/mugabe.htm . How much could've been avoided if we'd been willing to enforce our laws?
To blame? The US embargoed the state of Rhodesia (now Zimbabwe) on every single political and economic issue we could find. We created Zimbabwe.

Rhodesia was run as a segregationist society on ever level. But if you want to change that, you don't just wall off the people, throw a knife in the pit, and declare that the strongest survive. Which is exactly what we did. Both sides were forced to wage all kinds of guerilla warfare in an attempt to survive. It is no surprise that a brutal, corrupt leader like Mugabe emerged. They were the only ones that would survive such a challenge.

Rhodesia was a productive state with a developed economy. After Rhodesia became Zimbabwe, decades of progress was undone. The new regime essentially just looted the country for themselves. Everyone there is worse off now! Worse yet, the segregation of blacks was just replaced with the segregation of whites via 'land redistribution' schemes.
The funny thing to me is that Corporations are trying to enact a form for Corporate Feudalism. They control all the resources, and we the humble workers and consumers are bound to them.
One advantage, fast comparison by pointer equality. (Similar to interned strings)
Why place one body of knowledge in front of the other like this? Everything has to be a competition with some people.

It's always been a mistake to believe math is somehow more noble than programming. Best explanation as to why comes from the preface of SICP by Abelson and Sussmann:

"Underlying our approach to this subject is our conviction that ``computer science'' is not a science and that its significance has little to do with computers. The computer revolution is a revolution in the way we think and in the way we express what we think. The essence of this change is the emergence of what might best be called procedural epistemology -- the study of the structure of knowledge from an imperative point of view, as opposed to the more declarative point of view taken by classical mathematical subjects. Mathematics provides a framework for dealing precisely with notions of ``what is.'' Computation provides a framework for dealing precisely with notions of ``how to.''"
ES6 already adds a ton of new constructs that won't run on older browsers. Relying on symbols to be interned also won't work on older machines. A symbol-literal syntax like #symbol and #"spaced symbol" would make them far easier to use and increase their adoption.

Who really wants to write map.add(new Symbol("foo"), 'bar') instead of map.add(#foo, 'bar')?
Playing Politics with Cybersecurity and Privacy
I have read elsewhere that programming is giving the computer instructions. So clicking the close button on a window or typing into a word processor is technically programming (although it is not coding). My search-fu was unable to find that though.
Because economic liberalism has solved all the the wests problems so well?
"Defaulting on all Euro debts, exiting Europe, bankrupting the banks, issuing a new currency is a viable solution. Yes it's a horrible hang over to live through but it means removing the horrendous debt burden for the next 50 years."

If they do not tend the root of the problems, they might as well do this every 50 years. Things like 14th month payments (while it was a thing) or tax evasions that could reach industrial levels on their own will make things hard, even without the IMF or EU interfering.
Creating mayhem at thrice the rate is still “worse” in my book.
> Calling Symbol() creates a new symbol, a value that’s not equal to any other value.

Lisp:

CL-USER 1 > (eq (make-symbol "Foo") (make-symbol "Foo"))
NIL

> Symbols aren’t exactly like anything else

CL-USER 2 > (type-of (make-symbol "Foo"))
SYMBOL

> Trying to concatenate a symbol with strings will result in a TypeError.

CL-USER 3 > (concatenate 'string "abc" 'foo "def")

Error: In a call to LENGTH: FOO (of type SYMBOL) is not of type SEQUENCE.

> There are three ways to obtain a symbol.

> Call Symbol()

(make-symbol "FOO")

> Call Symbol.for(string)

(find-symbol "FOO")

Other than that symbols in Common Lisp have a package, a value, a function and a property list. Symbols can be interned in a package or not. So-called Keyword symbols are in the package KEYWORD and have itself as the value. :I-AM-A-KEYWORD evaluates to :I-AM-A-KEYWORD.
They don't. Standard ML has the `fun` keyword which does what you want. OCaml has it, but it could easily be for legacy reasons - it's hardly a sticking point!
The variation between the middle "meh" feeling and the next level up is way too large of a emotional jump. There's a bunch of room between "no arguments" and "we had a blast." It might still be fine to have 5 or 6 detents in the slider, but those descriptions really threw me off.
This depends on how people learn and perceive information. If I hadn't learnt programming before I was taught Maths and Calculus, I probably wouldn't have understood some of the basics like Functions, Matrixes and Series etc or it would have taken me quite a while to grasp the idea.

For me Maths is boring. It's abstract and you don't have any interaction whereas programming is more fun for me. I never truly understood some of the physical and mathematical concepts I was taught in school and uni until I came across programming/software development problems that are solved with those and only then I realised how useful they can be.
> We cant simply bring up the latest version of "microservice A"

This should not be the case. Build your services to be backwards compatible. Avoid making breaking changes, but when you do, make a new API version & maintain the previous one until it's no longer used.

i.e. /v1/blah

-- breaking change introduced --

/v1/blah - maintains backwards compatible behavior
/v2/asdf - new behavior exposed as v2, update microservice B at some point in the future to use this
Ethics applied to long-dead microorganisms? Study, sure. Record, absolutely. Restore? Wha? Do you restore bacteria on your kitchen counter? You wipe those suckers out with chlorine. Not sure what ethics the OPs talking about.
This.

We use microservices but we do allow services to call services.

All endpoint and data contracts exist separately to services and are used by both the service provider (server) and a consumer so all internal contracts are enforced.

That and a fuck ton of integration testing make it work.

And to be honest I really don't like the architecture. It's much much much better to serve hundreds to thousands of smaller instances of your application than one massive thing divided into lots of services.

This is a ghetto I wish we weren't in to be honest.
Securing access to Wikimedia sites with HTTPS by default
Many thanks for the links. I'll definitely review them.

I suppose the synchronisation of consumer and service compatibility is the biggest concern.

So far, everybody is focusing solely on backwards compatibility, but not future compatibility, which is what the contracts are for.

With regards to the backwards compatibility - breaking changes happen! As long as the service remains functional, and remains compatible with its consumer contracts (which can also change) I shouldn't need to worry about deprecating APIs. Anyone keeping deprecated functionality around in an environment where they control the both the services and the consumers is simply asking for problems.

I can't see how it can be possible to not control the composition of microservices. Surely thats exactly what my CI pipeline is doing? Composing a network of compatible services?
That is not what happened. First there were more then a "few" uninvited teens. Many of them jumped over the fence. They were being aggressive the young children who were there. They were not heading the warnings of adults. There was more then one police office there and they weren't subduing everyone in site. This incident occurred because the "victim" in question was aggressive and unresponsive to the police officers commands. Yet that portion of the video "some how" didn't make it onto the main stream media.
The Big Money Behind Tall Buildings
There is a bot on reddit[1] that attempts this. (sans pictures) It actually works pretty well.

[1] https://www.reddit.com/user/autotldr
I love MMA, but you see this in the minor leagues there too. Bleacher Report [0] highlights Shannon Ritch who spent many years showing up for a payday, take a loss, and avoid getting hurt. Bob Sapp [1] is another who moved on to "taking a payday" later in his career.

In both sports it's a terrible way to earn a payday. A couple hundred bucks for being a little further along the path towards lifetime brain damage.

[0] http://bleacherreport.com/articles/1068142-the-10-most-dubio...

[1] http://www.bloodyelbow.com/2014/5/18/5728820/bob-sapp-says-h...
And what are the benefits?
What students need is the ability to self-teach. They need to be able to recognize when there is a gap in their knowledge, know how to find instruction in those topics, and have the motivation to follow through on actually learning it.

If children gain those skills by the time they are adults, they can correct any faults in their educational paths.
Quickly Build a XL Deploy Plugin for Deploying Container Applications to CoreOS
Website that gives users insight to ads targeted to them?
Does anybody know of any website that gives users insight to what kind of ads are being targeted to them?
The Internet of Tweets
React-laravel now supports Laravel 5.1
I'm a man and I find hotel rooms sad and empty. I, too, used to travel a lot. I spent a number of years living out of hotels in order to be at client sites, and I found them incredibly alienating. I can't be sure, though, whether this aversion to hotel rooms developed because I didn't like the rooms themselves, or because of my dislike of the travelling and client work. In either case, a decade later I still avoid travelling for pleasure at least partly because of my dislike of hotel rooms.
Back when I did more embedded systems as a profession I used various Forths and Schemes and it was far and away my preferred environment.

Those didn't run on a VM, though; while even the cheapest controllers are an order of magnitude (or two) faster than what I had back then I do wonder about the performance implications. For those types of systems portability wasn't really a concern, the worst case was that we'd upgrade the processor to a later family member, making the port almost always trivial.

Still, great to see.
Radical transparency, perhaps. Some people far smarter than myself have made decent cases for it.
> They'd rather carry around an ID that can be stolen, copied, and sold on the black market thus ruining their financial livelihood for the rest of their lives than switch over to a more reliable biometric based method of identificatio

I'd rather have my ID token stolen than my finger chopped off.
Stating a group of people has entitlement issues isn't Racist. Racism is denying people the ability to do something based on their race. I am not denying anyone access to anything. I am simply stating that I see an issue with how allowing people to continually play the race card emboldens them to believe there are no consequences to their actions.
Making the registry global allows compilers to optimize away those Symbol.for() calls, since they know that each call to Symbol.for("cat") is going to resolve to the same symbol instance.
There's still some magic involving the symbol properties being automatically non-enumerable, right?
Nope. PCI-E 3 capable cards work perfectly in PCI-E 2 motherboards. In fact, no graphics card currently on the market can significantly benefit from the boost offered by PCI-E 3

Ah, OK. When shopping for a GPU compute server, I was paying attention to PCI-E 3.0 vs. 2.0 on the server motherboards.

I had assumed that it was a similar situation with consumer graphics cards these days, given how long v3.0 has been out.
$ diff -s samsungpolicy.txt orwell1984.txt
Files samsungpolicy.txt and orwell1984.txt are identical
Massive route leak causes Internet slowdown
I have been hearing about Galaxy for around 2 years, looking forward to seeing it shipped and in users' hands.
in Haxe with SPOD you can have a SQL DSL thanks to macro.
for example

User.manager.delete($id > 1000);

User.manager.search($name in ["a","b","c"]);

User.manager.search($id == 1 && { name : "Nicolas" })
User.manager.search($id < 10 && if( name == null ) true else $name == name)

http://old.haxe.org/manual/spod
A New Internet Security Meassure: The eID
IMHO, I feel like people who are not up to it don't agree with coding interviews.
Also, in my experience, the employers that didn't check coding skills at the interview had the worst engineers I met (surprise!).

Now I can see why it's easy to disagree with interviews that check your algorithms 101 knowledge: that stuff is really really rarely used in real-life and you can just google it if you ever need it. But! Keep these in mind:

- Can you come up with a better process that scales with the number of interviewers in your company, but also maintains reasonable consistency and keeps reasonable costs? Maybe you think you can, but keep in mind that the tech giants have data-crunched their interview stats over and over and this process is what they stuck with. (Of course, with scale there's also the problem you occasionally have arrogant interviewers - but I think that problem should be decoupled from the coding/non-coding interviews problem).

- In places where they look for A* engineers, the point of the interview is often not to test what you know best, but how you get along with problems you have never seen before. An algorithm or data structure question often fits the bill.

- Geeks love geeky puzzles (like inverting binary trees). Companies often look for geeks in love with abstract stuff.

Also, IMHO, knowing only one language is a red flag for me too at 10+ years experience level.
This is probably because they haven't found a way yet to put a stamp on a digital form ;)
I'd rather have more freeloaders than more bureaucrats.
How to tell if its time to move on
bingo. if you have problem solving skills...guess what? you can solve problems.
IMO this makes more sense.
The reality of javascript is different in browser and server (node/io).

While I find that meteor was fun to work with, we ultimately opted for plain-old express + backbone. I think it's abstraction is more of a disservice. It adds a lot of magic and unknowns to the picture.

After a few months, the initial value of having the unified codebase is exhausted, and you're left with the technical debt of having already adopted their libraries and conventions.

It's not really accurate to say that meteor allows you to use any library, you are adopting their conventions. In the end - using a single unified codebase in JS involves going against the grain in many aspects (I can elaborate if you like)
That's not a tweet though.
Fwiw, I love the slider. I don't have to think "was today a 7 or an 8?" Instead I just throw the slider to a "pretty high."

The point isn't the specific number, it's the general placement. And even more, it's the trend over time/comparison to average.

Love the slider.
I think its just inbreeding. Folks who know that stuff, hire folks who know that stuff. Like any other industry we are self-selected for similar types. Never mind the discrimination issues; we're a very narrow-minded population. Better engineers could be found with other sieves.
I can see this being a really nice idea to use across a team, if such a thing was offered. A few use-cases / benefits:

* An agile team could use this as part of their retrospectives, and could track the data points across multiple sprints to see trends, as well as "scoring" the latest sprint.

* Sometimes an individual in a team can be quite quiet and reserved, and won't physically speak up if something's not going so well. Moving to a system like this may give them a voice.

* The levels can be tracked both by the team and by an individual's line manager to keep an eye on those people who are consistently (or increasingly) bored, frustrated, not learning, or generally unhappy.

* If this were completed every day, then it would effectively become a Niko-niko calendar[1] (although you might want to fill out just a single data point if you're doing it every day).

* Having a daily version would also work as an early-warning indicator of trouble brewing within a team or project.

[1] http://agiletrail.com/2011/09/12/how-to-track-the-teams-mood...
ScuttleNEXT Open Source bookmarking tool
Silly link is to the middle of the video after the interesting part.. Here is a better link to just before takeoff
https://youtu.be/KYbM-3E11Qo?t=37
I did the math and I see your point. I'm also a CrashPlan user.

Right now I'm paying CrashPlan about $60/year. My best guess at Tarsnap costs is about 10x that, $600/year.

Normally I'm a very privacy-conscious person, but that difference does give me pause. I could probably slim down what I do with Crashplan to only personal files rather than the whole disk, but why would I want to do that? The whole point is to "fire and forget", and restore painlessly.

Perhaps Tarsnap makes sense if you're Stripe, with lots of sensitive data to store, easily partitioned from your other data. But if my calculations are correct, probably not if you're an average individual.
Kamcord is looking for a Lead iOS Engineer
U.S. opens probe against TCS, Infosys for H1B visa violations
Is Huffington Post Worth $1B?
Can we please have a [2014] on this?

I've tried it once: I'm a hacker (at least in my own mind), so of course I had to try it when I spotted it in local grocery store here in Stockholm, Sweden. It didn't appeal to me and I'm not one for acquired tastes, I won't buy it again.
I also find Math studies by themselves to be quite boring, at least that is how I perceived it for most of my education. Yet I had one teacher who worked really hard to show how Calculus is applied in reality. He made all of his homework and test's real world problem solving oriented. He was also a part time scout for the Seattle Mariners and he would do all of his in class examples using either base ball or real estate. This really helped me put into context many of the concepts and the multitude of ways they can be applied, not to mention it was a really exciting and enjoyable class.

After experiencing that I saw Math in a new light. I simply wish that my K-12 education was more directed to the applicability of many of the concepts we learned as I believe it would have made the subject not only much more approachable but enjoyable.
Florida Realtors Commends St. Petersburg Police for Arrest Made in Robbery Cases
I feel its more of a talisman. Who reads those things? Not at an interview; the time for resumes is over, you passed that sieve already.
I like the idea, but there is more than just my team that I have to deal with. This is suited to healthy startups I'm guessing, but enerprise, government, etc... all have external forces that can make this report very deceiving.
Article is really about homesickness having a Pavlovian association with hotels.
1980s computer controls Grand Rapids Public School heat and AC
So all the photos on iCloud are masked as well? If not, nothing to really stop an attacker breaching that like the fappening.
Financial Indicators for Startups at Different Stages
By what mechanism? Increased disposable income would indeed raise demand, and therefore increase the prices of most goods by some degree, but it's not necessarily true that this will be absorbed wholesale by rentiers.
The Jurassic Park Theme 10x Slower
Home Buying 101: How Do I Get Started?
Please do!

We are currently evaluating what to use to build a data analytics application (Work with data, ETL, connect to various DBs and APIs, etc.)
Rent is already quite high in capital cities, generally based on what high income earners can afford. I think a basic income is more likely to match an average wage so shouldn't result in higher rent. If anything it should take some pressure off housing in the capital cities if one doesn't have to live there so they can gain some mediocre form of work. Though this might result in higher rent in regional areas, as people discover that the basic income would allow them to live comfortably there. The government in turn would have to ensure there is affordable quality housing available close to employment.