skysight-inc/HackerNews huggingface dataset:
There's so much that's wrong with this comment. You're either ignorant of formal logic, or deliberately trolling. If the former: being ignorant isn't a crime, but pretending you know what you don't know is uncivilized. If the latter: of course trolling is uncivilized. Let's keep things civilized, okay?

> If you think about it, the conjunction of all true propositions about your program is the program (modulo the equality semantics of your logic).

This doesn't even make sense. A program can be run. What does it mean to “run a proposition”? Even if I charitably interpret that as “decide its truth value”, well, not all propositions are decidable!

> your program is a logical sentence (a conjunction of axioms, if you will),

What you can treat as a bunch of axioms is the semantics of your programming language of choice. But a program isn't the same thing as the language it's written in.

> the distinction may be artificial: a proof may be no more than a hidden proposition.

This isn't true in either classical or intuitionistic logic. A proposition has a truth value - a proof does not.
Setting aside the specifics of this particular publisher (Valleywag) and their criticisms of Thiel, it's very disturbing that someone with deep pockets can work to secretly take out critical media like this.
I think the defaults make a fair bit of sense. Do you want it listening on a network interface by default?
Even if we believe the 20% figure, what's the chance that they made that choice?

Considering Microsoft popularized the dark pattern of changing preferences during auto-updates...
Middle-out compression.
Our local Chipotle has such inconsistent quality, I would welcome our robot overlords. Last time they put on double the normal amount of sour cream... tasted like burrito soup.
Boy, no kidding! About 12 years ago I moved from the west coast to the midwest to a place I never thought I'd live. I can't believe the quality of life and work-life balance out here. My friends wondered if I'd have access to the Internet :) It's really perception more than anything else.
Governments might not be immune from a sustained majority attack, but that's the point... governments are large entities that (hopefully) operate at large timescales and have some degree of inertia and stability.

In turn, governments provide recourse and security for smaller, constituent systems (companies and individuals.) As long as the government remains intact (or intact enough), it can be a an arbiter and enforcer between the smaller entities (i.e, the entire legal system).

With Ethereum, there is no arbiter. There is only the exact code of the contract. It is entirely possible that the code is flawed in a way that is disadvantageous to all parties, such that they cannot change it, or that a mistake was made that allows one or more parties to act in violation of the "spirit" of the agreement.

Of course, some of these situations can be foreseen and accounted for (exit clauses, consensus code updates, etc.) But not everything can be foreseen, and the irony is that the more situations are explicitly accommodated for, the more surface area there will be for difficult-to-detect edge cases.

The legal system has built in resiliency, due to multiple fallback layers of (hopefully) impartial arbiters to add a layer of empathy and judgement on top of the strict letter of the law. It's not perfect, but it works.

Unless Ethereum can find some equivalent, I cannot see it taking over anything but certain types of very well-understood transactions. Don't get me wrong, that still has value... automated escrow, options & futures trading (etc.) is huge. But until this problem is solved, effective DAOs are a pipe dream.
The wiki[1] page says:
On February 25, 2015, Disney XD announced it would be reviving the series for a 2017 premiere.

[1] https://en.wikipedia.org/wiki/DuckTales
> Strictly more powerful, but awful.

Wrong. The power of Haskell mostly comes from how easy it is to reason about code. Your proposed Haskell-Prime would be less powerful in this sense.
> Why are they gaining traction and nobody I know even knows about them...

This reminds me of the old "How did X get elected? I don't even know one person who would vote for X!" It speaks much more about the individual than the public. I feel the same way when I hear about the latest SaaS/Social-whatever.
> Intel will never go toe-to-toe with AMD on pricing, at least not in the long term (1+ years), and unless it's approaching bankruptcy, which I assume isn't the case for now.

That's why Intel still keep their own fabs and AMD don't have fab anymore.
>undersold the fact that Tim Cook is doing basically the same job at Apple that he did during most of 2004-2011 when a number of hit products were developed and launched.

Oh, no question Tim Cook is doing the same job: operations, supply chain. And being good at that is nothing to sneeze at.

But it doesn't look like that job was "visionary," R&D, or product development. The question is: who's doing that at Apple now?
Some short advice from an older programmer: this is the best way to ensure that you are unemployed in 20 years. Art is old (even older than me!). You can specialize in something and have a pretty darn good feeling of assurance that it isn't going to go away before you die.

Programming is a young field. It's changing dramatically from year to year. My first paying job was writing FORTH code. At one point I was writing OO C code on an embedded platform because we didn't have a C++ compiler. Eventually I became an expert in C++ (like an actual expert). A few years ago I went to a job interview and they asked me questions about Boost. I had to tell them that back when I was an expert in C++, the STL hadn't even been written. We were all using RougueWave. I've been paid to work in Perl, Python, Java, C#, Ruby, Go, Javascript and several other languages you will never have heard of because they were proprietary languages written by the companies I work for. I've built embedded systems, real time systems, distributed systems and now I'm trying to fix 10 year old Ruby on Rails code.

The thing is that none of the stuff I do is really all that different. It's just the details that change. Every time I learn something that is truly different, I always find a way to apply it to what I'm doing (if you look above you will notice a huge hole where functional programming should be... it's getting filled).

This field is about learning every day. If you want to be more than average and you want to stay that way for more than 10 years, then you have to accept that you will be spending all of your time learning. And making.

HTH!
Even if you compare a 4-module Bulldozer/Piledriver against a 4-core Intel Sandy/Ivy Bridge, AMD's die size and power consumption were much higher to deliver similar or worse performance.
But that doesn't really scale - unless the per-thread stuff is small (and then you'd have to page on a sub-mesh level - i.e. split up the mesh spatially and page it as you traverse through it for internal scattering or something), if you double the number of threads, the memory used for threads by doubling the number of threads will obviously double as well.

For stuff like hair where you need loads of scattering events or for SSS doing that (paging subsections of shapes) is just going to thrash any geometry cache you have unless they're quite big.

And I'm still not convinced by ray sorting: it means your light integration is extremely segmented into artificial progressions as you expand down the ray tree, and makes anything regarding manifold exploration (MLT or MNEE) close to impossible to do well.
What LTS version?

If you mean LTSB for Windows 10, that's only available with Enterprise, which means it's not an option for the kind of power users or small businesses who would have used Pro with 7 or 8.x.

In any case, the idea that you should have to jump through all the hoops involved in running Windows Enterprise just to maintain a reasonable degree of control over your own computers is patently absurd, and like many others, I and my businesses will treat it with the contempt it deserves.
I would also be interested in how it compares to Apache Samza, since that Samza is also closely associated with Kafka.
My 2 cents: you're promising a lot more for the same price which seems dubious. How are you going to beat the wholesaler?

Even if you did I probably wouldn't use it. I don't want a 3rd party dependency on the most critical part of my infrastructure.
I think people get excited because they see the word contract and they know what that word means. In the case of Ethereum it probably doesn't mean what they think since smart contracts in Ethereum are a programming language.
Correct me if I haven't looked into this closely, but one glaring problem is that all the results are from the training set. So it's not surprising you get something movie-ish by running the network over a movie it was trained on; the network has already seen what the output of the movie should look like.
Not for sure. That trick is kinda old.

I had a Pentium III based HP laptop that stored the password on a chip that didn't require a battery to evade such a trick. The only fix was using the backdoor password that could be generated by using the serial number of the laptop (HP required proof of ownership, but I had dumpster dived this from their offices). The backdoor password was retrieved by wiring 50 USD to a fellow in the czech republic who had the keygen tool HP support would use.
> But it will do little if anything to help the unnecessariat.

A higher minimum wage will most likely hurt the unnecessariat. One way to think of a $15 minimum wage is a prohibition on anyone who's labor is worth less than $15/hr from working. Not only will it make the current unecessariat's situation worse, it will likely expand it's ranks.
That's a shame. I switched to an 8" AMOLED for reading technical Kindle books (Galaxy Tab S2), as my Paperwhite couldn't keep up anymore. Love this display, especially for night time reading ... yet can't wait for the day I can get a high DPI color e-ink reader.
Private student loans are often cosigned by older family members. It doesn't make sense to take risks when defaulting on your student loans puts your parent's housing at risk.

Your comment places you likely in your early 30s, meaning you probably entered the job market before the recession when there were more jobs. If you went to college, you went before the next 7-10 years of continued tuition increases.

The realities of the economics facing young people today aren't so simple as your comment suggests. Most of those young people are living at home to be frugal. And no young person worries about missing a show, its all streaming anyways.
As for performance, per DiskCryptor's wiki (windows only):
"On the Intel Core 2 Quad Q6600 CPU, data encryption speed amounts to 104 MB/s per core. The maximum speed of reading the data from a single hard disk equals to 80 MB/s so it can work with up to 5 different disks without loss of performance, when using the aforementioned type of processor. In case if your disks are not operating under a constant high load, then it is possible to work with even higher number of disks, and on a weaker system, without losing the performance."

I would assume this is true for all encryption schemes. But, really the most advanced stuff runs on linux based machines, I would proffer.
There is an entire field of therapy called CBT or Cognitive Behavioral Therapy. It's philosophy is around unlearning 'mind traps' and help individuals see their life in an unbiased realistic manner.
Yeah Dominion is an obvious comparison, but I don't think it's a very accurate one, because you don't need to spend your resources deckbuilding; you just add in any two per turn. So while I guess building your deck during the game ultimately comes from there, I don't think Codex really falls in the deck-builder genre that Dominion started. Hence why I've seen it compared to Mage Wars, but I guess it's not quite that either. (Anyway Sirlin already did a Dominion take-off, it was called Puzzle Strike. :P )

> I take against Sirlin based on his writings and his emphasis on reading your opponent which isn't a mechanic I find fun

Huh, I'm surprised. There's a lot of dislike of Sirlin out there obviously but I haven't seen many say it's his writings they don't like. I think they're some of the best writing on game design I've seen! To the point that I'd basically count myself as a "Sirlin fan" even though I've only played two of his games of which one is pretty mediocre. :P (Namely, Flash Duel. Kongai, though, was great, back when people actually played it...) I don't think there's anything too advanced in most of what he writes -- a lot of emphasis on such notions as even playing field, cutting out extra steps that get in the way of playing the real game, the focus on contested skill rather than unconstested skill, that yes strong competitive balance is achievable -- but these are basics that all too often go neglected, IMO, so it's good to see someone explicitly talking about them. There seems to be this philosophy out there of "Well, we don't really need an even playfield..." or "C'mon, nobody can actually make a balanced competitive game with that many characters" and I'm glad to see somebody countering that. Whether he's good at it or not, Sirlin is, to my mind, somebody who gets what game design should be. Would you mind elaborating on what about his writing you don't like?
Risk free, assuming the DAO doesn't have a bug that allows an attacker to steal all the money.

Somewhat related: "Ethereum Contracts Are Going to Be Candy for Hackers" http://vessenes.com/ethereum-contracts-are-going-to-be-candy... HN discussion: https://news.ycombinator.com/item?id=11725624 (192 points, 6 days ago, 83 comments)
Is Gawker the root of the problem, or a symptom of a larger one? Perhaps the problem is that people will ingest and internalize information from anywhere, without putting it through any sort of critical-thinking funnel. They let themselves become so convinced of something they read on gawker, that they actually try to convince other people it's true.

To put it another way: sure, good riddance to gawker. But what's to stop its successor? You may not like gawker, and your reasons may be valid, rational, or even altruistic. But you cannot dictate the will of its audience. What gives anyone, government or otherwise, the right to stop information at its source?

If you want to lessen the power of information, regardless of how "right" you think it is, the best way to invest your time or money is into teaching people how to think critically, and also why to think critically. Unfortunately it's quite difficult to teach on that subject when you're silencing an opinion from one side of your mouth, and preaching critical thinking from the other.
I copied the first part from a domain joined PC before a later update caused them to receive the upgrade prompt as well. It's kind of belt and suspenders so it doesn't harm but may not actually be needed.
> http://man.openbsd.org/OpenBSD-current/man1/gcc-local.1

Wait, is it really true that OpenBSD's gcc is from the 4.x series?

Apart from the general idea that you shouldn't be writing network-facing software in C when good alternatives (Rust, Go, C++11, Haskell, just about anything else) exist, there's a lot of good work happening in upstream GCC. How up-to-date is OpenBSD's -fstack-protector compared to GCC 6's?

> Write portable and secure C.

If you're running on the BCHS stack, why? And how is it possible to reconcile this with the suggestions to use systrace(4), pledge(2), and capsicum(4), which aren't even portable among the vibrant BSDs?
It's still the fastest i7 CPU intel has.

http://www.cpubenchmark.net/high_end_cpus.html
After reading the article, I'm still not sure what the purpose of the training is. If they're trying to reconstruct a film from stills, it seems like a failure since it looks like they wind-up with all sorts of swirly stuff rather than, say, the original film.

If they're trying to create interesting swirly stuff, where do they intend to go after that?

I mean, sure it's aesthetic though not on the level of weirdness of deep dreams modification.
Use gaze tracking to have it change when nobody's looking at it. It's a different picture now and then but you'll never catch it changing no matter how long you watch.
But in the flyover states where housing is admittedly cheap compared to the coasts, so too are the wages.

"Cheap" housing only goes so far when your employment is 30 hours per week at the local Walmart for $9/hour. You're trying to pretend this is some "coastal" phenomenon, but you can't get there from here - you can't get the number of young people who have left the nest down from 60+% to just barely over 30% without it involving the entire country.

Young people in middle America can't afford to move out either.
>You seem like the type who is unlikely to change an opinion

There is no need to be rude. I posted twice in this conversation and linked to sources both times. I'm not sure how that gives the impression that I am being unreasonable.

>ask yourself whether this...can be reconciled to this...

It certainly can because they are measuring two separate things. Housing costs are up, but on a rate basis they are not as far up as most think. More Americans are living at home. The former is likely partially responsible for the latter, but it is unlikely that it is the only cause. As the article suggests, another cause is likely that younger people simply aren't living with romantic partners as much as the number of people living alone is also higher.
Next time a watch a movie where they hack a computer by literally breaking an animated firewall in cyberspace I promise not to cringe
Hitler wasn't actually elected. He was appointed by the elected leader.
https://doc.rust-lang.org/bitflags/bitflags/macro.bitflags!....

To save you guys two clicks.
^ that's /very/ overhyped and incorrect.

To be exact one/two of the NREC teams that worked on the DARPA Robotics Projects left. To put that into perspective - NREC is ~15 min drive from CMU.

And "underpaid" is inaccurate - it's well known that industry pays far more than academia can usually.

Furthermore NREC is one of the many institutes under the CMU SCS (school of computer science) banner. It finds/pays for its grad students and then pays main campus for its students to take classes. Saying that CMU was vastly impacted is incorrect - this did not cause the loss of CSD - the actual Computer Science Department at Carnegie Mellon - faculty. There are some 6? autonomous/semi-autonomous institutes/centers and then the actual CSD.

-- a CMU student

ps: for interns/FT alone Uber ATC allows for 2x overtime pay (ontop of a pretty high base).

ps(2): for less exaggerated news, refer to the interview with Dean Moore.
That's cool and all, but it's not exactly what unnecessariat idea is about. People who in the past would be considered the proletariat -- the source of labor and capital -- are no longer useful economically. The labor they offer is no longer useful to society.

If a hundred people can be replaced by one skilled worker and some robots, that will always be the better deal due to costs like insurance, work speed, management overhead, lawsuit potential, and so on. So simple jobs that these people used to do simply do not exist. And while everyone can be a programmer, not everyone can be a competent one.

So yes, the standard of living for the labor class has decreased relative to others, but is still high. It's still high enough they get access to addictive drugs. Which is a problem, but also a symptom. I feel like the root cause is that we really do not have a great economic theory to handle the case where labor cannot produce sufficient value to capitalists. (IANAEconomist, though.)

Note that they're still human beings and we still have some duty of care to them as a society. Fixing consumption is not going to stop these people from killing themselves.
> Richard Stallman and James Gosling wrote emacs - the editor macros for TECO.

Actually the original TECO Emacs was written by Guy Steele, RMS took it over later. I remember using this on Tops-20.

James Gosling wrote an Emacs in C, to run on Unix. It had a "Mocklisp" macro language. I remember reading the source code at CMU.

RMS then wrote GNU Emacs, with the better "elisp" macro language.

Both of these were inspired by the Emacs written in MacLisp by Bernie Greenberg.
Why would Thiel need to fund this lawsuit in the first place? Don't lawyers usually take cases with the potential for a multi-million dollar payoff on a contingency basis?

Edit: Apparently there's another rumor that the Hulkster refused a generous settlement from Gawker in favor of taking his chances at trial. If true, the Thiel rumor would make more sense.
>You can be completely self-interested, wealthy, and still vote liberal/progressive Democrat if you think the alternative is a Reign of Terror or Red October.

The same logic applies the other direction. A party is promising free health care, but in their view that comes at a cost of a massive government that oversees every aspect of their life. Either that or they think it's fundamentally unsustainable and will lead to massive losses elsewhere.

Basically if you think people vote against their self interest, you don't understand the perspective from which they are voting. To be baffled by it is to fail to recognize your own ignorance.
Nope, ever since Intel's Conroe architecture, AMD never managed to catch up in either raw performance or performance per watt.
They're pretty much the exact opposite of each other. LXD is something that runs things that look like VM images when they're actually running the same kernel - this is creating full (albeit lightweight) VMs to run container images.

The broad approach isn't new (https://clearlinux.org/features/clear-containers describes Intel's Clear Containers work which allows you to use rkt to run containers in individual lightweight VMs), but the trick in this case is to perform the isolation at the pod level (ie, a collection of functionally related containers) rather than the individual container level.

(Edit: Apparently the Docker support for Clear Containers hasn't gone upstream, so dropped the reference to it)
Globalism. College gets you in debt and when you get out of college, you have no jobs because they've all been pushed off shore.
The most recent (>5.0) versions of IOS XR are now based on a 64-bit Linux kernel.
It's not typical for people to make 50k after college these days.
This is from SID 2016. SID is the equivalent of SIGGRAPH for display technology companies. So it would typically be 12 - 18 months from the time a technology is demonstrated at SID to the point that it becomes available as a development kit. For example, last year E-Ink demoed their 42" panels, and they're now available as development kits, albeit at USD$6k per panel+kit! So not exactly raspberry pi kind of pricing.