skysight-inc/HackerNews huggingface dataset:
It differs by being a far more expensive (and probably less effective) way to achieve the goal. Those verification tools were designed to be spectacularly less expensive than a rewrite in a new language (which is often prohibitively expensive), or they wouldn't have been designed in the first place (they're all much newer than safe systems languages like Ada).

I said that using verification tools is expensive, but I'd be surprised if it's not at least one, if not two, orders of magnitude less expensive than a rewrite (I can think of few if any more expensive ways of increasing confidence in such large amounts of legacy code than rewriting it). It can provide similar -- sometimes worse, sometimes better -- guarantees, requires much less creativity, it automatically focuses you on places in the code that are likely to be buggy (or, alternatively, shows you which code is likely not buggy) and cannot introduce new bugs that you have absolutely no way of detecting before pushing the new code to production systems.

(BTW, the chief complaint against those tools -- and what makes them expensive to use -- is that they have too many false-positive reports of potential bugs, but even "too many" is far fewer than every line, which is what you'll need to consider and study when rewriting.)
I enjoyed both of the books of his I've read, but you're not wrong. They're classic get rich quick schemes and get skinny fast schemes...not always based on the best science, or based on anything other than one data point (often his own personal experience). The value in them is more likely to be in maybe convincing someone to do something toward their goals, rather than providing a useful blueprint for what that something should be.

I followed his page on facebook years ago, and he trots out the "eating wheat causes you to have poop in your blood" article every year or so (there is no reason to believe "leaky gut syndrome" is a real thing, and Ferriss treats the guy who espouses that theory as though he is some kind of expert on health and nutrition). That's enough for me to take everything he says with a huge grain of salt.
I would imagine that if one was versed with the Tridion CME, whatever that is, the question would make some sense.

Sure, there are typos, and the question could be worded better. But is it the kind of question that deserves the “fuck off” it got?
Doesn't matter still a recall will be called for.
How do you think gay marriage and marijuana were legalized (thus far)? Fits and starts. Fighting for every single inch. And then eventually victory. Think of any major, significant social progress. Emancipation, suffrage, welfare, worker safety, child labor, etc. etc. Each decades in the making.

I encourage you to read The Waxman Report by former US Sen Henry Waxman to get a sense of how much effort and time it takes to forge policy, move the needle.

Continue to disempower yourself thru cynicism, apathy, and inaction.

Or follow the examples of Sanders, Warren and 1000s of others and learn to convert your outrage into action.
One example is the spate of "humans are warming the globe" movies that came out a few years ago, many centering their plots around penguins and their lost habitat.

The message worked, my wife was teaching 10 year olds at the time, and those kids were literally afraid of it getting too hot to go outside for recess if they didn't recycle.

I happen to think that's a good thing, but if you're one of those conservatives who believes that yes the planet is warming but no it has nothing to do with humans, than those movies will piss you off (as it did to some of the more conservative parents in our area).
Slashdot is covering Reddit's censoring of the discussion

https://yro.slashdot.org/story/16/06/12/2231213/world-reacts...
That's fine until a bunch of people all have the same idea, then you might end up with 2000 again. I voted on that principle that year, and never again.
Gawker's attitude seems contradictory:

http://news.nationalpost.com/full-comment/robyn-urback-why-i...

Or a shorter summary:

http://imgur.com/gallery/CQ5qgvu
It has a separate etymology, but pronunciation seems to have been altered by the fruit/color into its modern form. The color was adopted later on after the two terms merged.
The discussion doesn't generally go on in the margins of the textbook. If you want a discussion, great - yes, there is value in that, but it's a transient value. Use an IRC channel or the SO chats.

As to your second point - you don't get points for voting to close a question or flagging one. Yes, sometimes people make mistakes voting, but generally a comment clarifying why they are wrong is enough, if that doesn't work, flag the issue.
Yeah--I think he's not a great dude, but The Four Hour Body was a pretty good kick in the ass for me to lose a bunch of weight and take better care of myself. I'm glad I came across it.
I'm a 2k user and I've never asked a question. I find that the greatest benefit to my learning has been trying to answer someone else's question. That being said, I'd say on average there are 2 "async loop" questions on the "newest javascript questions", both of which tend to get an answer by a newbie and still get marked as a dupe. Just because it gets closed, doesn't mean you can't work on answering it. The research will benefit you whether or not you get the validation from answering it. However, I do understand that it's hard to know if it's the right answer without the feedback of an upvote or two.
Supposedly from what I have seen it is due to a liberal application of shadowbans.
I am a fan of Tim's, but must say that I am a little bemused when he (along with people like Guy Kawasaki and Noah Kagan etc.) who made their fame by hustling and cold calling people when they were still unknown, now say that they hate and avoid unknown people cold calling and hustling them!

A refreshing change from this sort of "Well, I've made it now by using other people so I can make even more money by talking about how I made it using other people and ignore others who are trying to make it" attitude is Derek Sivers - at least Derek still takes time to respond in a meaningful way to every email sent to him. I had a couple of good interactions with him, which is more than I can say for the others I have mentioned on here.

EDIT: In an ironic twist, the 2 part podcast where Tim Ferriss interviews Derek Sivers is one of my all time favourites.
You are likely watching actions of bots.
"for roleplay games"

- has no battle sounds

#fail
What of it? I think lots of stuff is terrible and pay attention to it to better understand it. Both to insure against the possibility that I'm wrong and, if I'm not, to better understand why it exists and how it came to be.
I want to like the newer Worms games, but IMO the series peaked with Worms Armageddon in 1999. The physics in that game were perfect and all their attempts since then feel floaty and weird.

Thankfully T17 turned over the source code to some fans who renovated it to work on modern versions of Windows, and they're still running the master server for multiplayer 17 years after release!
And, what's so wrong with governments always needing the current and ongoing consent of the governed?
The more telling thing about that apparent surface level contradiction is that it's entirely expected behavior to anyone who knows what Gawker Media is.

Jezebel's tagline might as well be "Narcissism and benevolent sexism dressed up as gender issues."
Where do those arguments come from? I always thought that the problem was that it might be an irreducibly parallel process, and would need its own hardware to simulate cheaply.

That does sound interesting; any links or cites?
Maybe I reflect less now than I did before I had a supercomputer in my pocket. I am not certain. However, today I have more and better information to reflect upon than back then. Of that I am certain.

When I turn off, tune out and drop into a book it's more out of the habit of an older generation than some quest for a quality inaccessible to the well wired. I don't think that being wired has made people less contemplative so much as it facilitates encountering those who aren't now and would not have been in the past.
There was an article recently in Jacobin that complements this well.

https://www.jacobinmag.com/2016/06/zaha-hadid-architecture-g...
WA saved a woefully boring junior year in college as me and my mates had epic worm offs. Love this game. Still play it.
Indeed. This is what learning Buddhist and Stoic philosophy has taught me.

Doing absolutely nothing but staring at at river for hours on end reconnects me with the world. Hearing and feeling the world around you without distraction is grounding. Coming back to the electronic world after that really shows you how crazy and hectic a world we live in right now.
Comparing Stack Overflow to the textbook is not very relevant: manuals etc are textbooks. Stackoverflow is a forum with very customized rules. Or if I'm generous: a reference.
I started doing that pretty soon after starting with Redux, with some other tweaks to make them even more tightly coupled. It worked well for me, but I assume there is a reason not do that. However, I never figured that one out.
Artificial neurons are a model rather than a simulation.

McCullough & Pitts sought to computationally model neuron's information processing ability, not simulate their biology. Their 1943 paper "A logical calculus of the ideas immanent in nervous activity" invented the Artificial neuron.

"Because of the "all-or-none" character of nervous activity, neural events and the relations among them can be treated by means of propositional logic." - Mcullough & Pitts 1943

Rosenblatt's Perceptron's tunable inputs & Werbos's Backpropagation allowed the Artificial Neural Nets Hebbian learning.

Minsky & Papert showed a Multi-layer perceptron can learn non-linear functions.
Plus the bank gets to charge interest while they hold it, a week at my bank and a week at the receiving bank, for multiple transactions is a nice little earner.
BankAxept, and yes, my debit cards still has the logo, but it's been demoted from the front to the back of the card in recent years.

In the same timeframe, VISA and Mastercard have seen a surge in merchants participating in the system, like grocery stores that used to accept BankAxept cards only. This might have something to do with people changing their preference to credit cards with benefits like airline miles, but also to allow travelers access to what's more and more becoming like a cashless society.
Gig Work Done Right: Portable Income for the People
There are much better models out there for modeling networks closer to the biology. The current generation is kind of understood to be an extremely rough model that draws rough inspiration from biology. But the important thing is that Ann models are performing better on image recognition and nlp tasks than any other techniques. The fact that they demonstrably work is far more important than biological mimicry. There is another model called a spiking neutral network that basically aims to mimic biology and incorporates time and usually many more neurons and sparse connectivity. While this is interesting, so far they haven't produced anything too mind blowing and due to the increased complexity they are much less computationally efficient right now. But those actually interested in the biologically inspired aspect are streare stream to
I've never heard of or been part of any organization (academic, non-profit, corporate, open source, etc.) that respects the basic need of developers for uninterruptible concentration.

Note also that it is a particular word choice by Knuth: uninterruptible ... not uninterrupted. It harkens back to what Paul Graham wrote in both Maker's Schedule, Manager's Schedule and in Great Hackers -- even just having a mid-morning meeting on the calendar at all can prevent you from even attempting something hard at the start of your day, because you know the time is already interrupted.

You need more than just happenstance of not being interrupted in a given time window. You need to know that you can't be interrupted, at least not unless it's a sky-is-falling kind of emergency (and you need to be able to trust that your colleagues know the difference).

This is far and away the number one thing I need as a developer. I can write passable software that I'm not proud of if it's loud, violently anti-privacy, over-saturated with "collaboration" generally in some ultra-Agile open-plan nightmare setting. But the only times I've ever written software that I was proud of -- software that made huge, huge differences in the organizations I was part of -- was when I could finally find a loophole or something to create a situation when it was not possible to interrupt me with the usual bullshit.

It amazes me that even still, status effects and incredibly poor understanding of where the value of software engineering resides leads to so many organizations that not only have interruption-is-the-norm open-plan disasters for offices and a million Agile meetings, but actually praise that garbage and hold it up as if it is an example of positive collaboration or effective engineering, despite it being the very antithesis of positive collaboration or effective engineering.
I was going to defend him by pointing out that he holds a world record in Tango, but then I watched the video and now I realize he basically just paid $10,000 for an honorable title. But then I remembered that he competed in the Tango world championships, but then I watched _that_ video and it's equally unimpressive. It's like competing in the world series of poker...

I like the guy, but he's a hell of a marketer.
The myth that's being debunked here is that "WebView's suck" not that a WebView experience matches a native one. Clearly, Dan--who is an Android developer--understands that trade off given this pull quote from the article:

> Webviews give us the flexibility and freedom to choose what screens to level up as native views, instead of being forced to make everything native.

For the umpteenth time, the Basecamp team has leveraged their resources and skills to ship an entire product at a remarkable pace. Had they embraced the myth that "WebViews suck" and anything but native is acceptable, they would have taken twice the time to ship.
> "Good evolution" is essentially devoting the maximum amount of (usually very limited) resources towards successful procreation and rearing offspring.

It's not that simple. If producing the maximum amount of offspring were the goal, populations of a species would quickly collapse. It's also a poor principle to explain social behavior and organisms living in hives or strictly hierarchically procreating groups.

A much better model principle would be, that evolution optimizes for maximum probability of the _offspring_ to successfully procreate. By adding this layer of indirection a lot more of what we can observe in biology can be explained with less presumptions (Occam's Razor).
It's back for now until the next completely unplanned "hacker news DoS" :-o
Me as well. Chrome 51, OS X.
Can’t find the source, but I read somewhere that it was also about investor relations in the Middle East.
Disabling mobile data and wifi may be a more workable solution for some
Looks very promising, thanks!
Lol HN really doesn't like Bitcoin. Sour grapes I guess
Are any of these options available to people without a degree?
I switched from Reddit to here because, although HN does do what they call 'moderation', they are fairly transparent about the process.

And they were successful in not going too far with their 'moderation'.

I'd still be on Reddit had that platform been as easy to use and not taken to shitty 'moderation' tactics.
Wild flower blooms again after 30,000 years on ice (2012)
Of course: https://github.com/erikras/ducks-modular-redux

The potential reason not to do that is that more than a reducer may listen for a given action, even though I guess it's more an exception than the norm.
Cool to see so much packed into one place. In my experience with React and Redux, there have been two major challenges in finding well-documented examples to follow. First is finding anything that describes more than a toy project that just demonstrates the most straightforward implementation of one-way data flow. This tutorial isn't bad, although it's comparable to the reddit-based tutorial in the Redux docs. The second challenge is finding documentation that is up-to-date with the latest versions of all the tools. This is even more challenging when the dependency versions aren't explicit - it would be very helpful to add this info up front in this tutorial, especially since Webpack 2 is just around the corner, and React Hot Loader 1 is deprecated in favor of the soon-to-be-release version 3 - dependencies in the Redux-React world are moving fast so all documentation needs to be 'pinned' to explicit versions.

It's also good to see a pretty complete description of the testing setup, although I have some concerns about the "inject everything into the `global` object in setup" approach, which is a relatively coarse technique for simulating a browser environment in Node, and means the unit tests are running in a "special" environment unlike the actual running application environment. No one has completely solved this problem, but it's an important part of the discussion for anyone wanting to do things "right" from the beginning. Injecting `React` as a global variable for convenience also makes me cringe a little bit, given the ease of writing explicit dependencies in modern javascript.

Nice step-by-step article though - I like that there are a growing number of accessible entry points like this and I look forward to the community growing and maturing to define best practices.
You are not. Whether the money came from Mother Theresa or Atilla the Hun, the source of the funding for the suit is irrelevant to the merits of the case itself.
Imagine that Gawker owners and editors hated, say, puppies and out of spite Thiel funded a bunch of puppy shelters. Would you say he should be held in account for it? Probably not, because despite the bad motivation, funding shelters is considered a Good Thing.

To me, the problem when we say Thiel should be held in account for funding the lawsuit is that we're implicitly admitting the court can be used as a weapon, and we're putting the onus on him not to use it, instead of putting it on the court not to allow itself to be used as such.

Funding a lawsuit should, at worst, cost some time and maybe some money in legal fees to the defendant, and at best it should help to achieve justice.
The latter, it's due to unrealized gains.

Early investments in Uber are up something like 10,000x. That's such a large gain that only a super wealthy person could have 20% of that in liquid assets. He probably has much more than 80% tied up in unrealized paper gains. And those gains are dominated by Uber.
Caching can easily be shared, @rill/loader works perfectly for my needs. For everything else you are more or less correct. However like i've mentioned Rill works perfectly fine as a standalone server side framework or a standalone browser framework.

Everything you mentioned is achievable with Rill. I have found two simple ways to Isolate server only code in Rill.

1) Have two Rill servers, one with shared code and one without. Where the shared code server interacts with the isolated secure api from the other server.

2) Have one server that calls itself through http(s) requests where the api bits of the server and everything else you mention is hidden behind a "if (!process.browser)" statement. With browserify and other build tools you can have it automatically parse out any server side code. This is my preferred approach because I get to bundle all of the important parts of my app together while still having granular control over where things run.
It's not just that it's impossible to capture everything in one database, it's that it's a waste of time to try. There is no format that can capture all nuances and be useful for all purposes.

Data is messy. The only thing you can do with it is preserve the original format that was used to record it, transform a copy to a format that's useful for the analysis you want to do, and join it to other, similarly messy data.

Wikipedia is a perfect example. It's messy as hell. It's blobs of data with connections between them. Most of the blobs are unstructured text (or at best semi-structured) but there are a bunch of images in various formats there, and links to outside datasources in myriad formats and locations. There are some standards and attempts to maintain order, but the whole thing is damn difficult to process by machine. It's a very, very long way from the Semantic Web.
For safe, well-reviewed wrappers around libc (a different problem, but one which is more realistic to solve), I would encourage you to check out the nix crate (I am a maintainer -- the original author was Carl Lerche). It doesn't look like we have a wrapper for getaddrinfo currently, but it is something I think we would welcome.

https://github.com/nix-rust/nix
Ask HN: How many programmers out there keep a paper notebook for their projects?
What kind of notes do you take? Sketch out component views? Pseudo code?

My grandfather is a retired electrical engineer who used to plan out and record progression on all his projects. He has boxes filled with his old notebooks. Is this just an old school take on project management and source control? Or do people find benefit in actual note taking during their projects? I've worked with dozens of programmers through out the years and I don't think I've ever seen someone approach it this way. I (briefly) attended one of the top IT schools, and outside of scratching pseudo code down on a napkin I don't recall it being practiced there either.
Seems very likely, and since they're illiquid startups, it's probably hard to rebalance the portfolio.
Functional Concepts for JavaScript Developers: Currying
But should we put that responsibility on Thiel, or on the courts?
backstory: I love hackernews! It's by far the best source for the latest in technology and intellectually stimulating articles. So much so that I find I share a lot of it on social media, however I had issues with the way the site shares links and I didn't want to use a 3rd party browser app.
I included a few hotkeys (alt-1, alt-2, alt-3) for facebook, google+ plus and twitter.
additionally, I added a hot key for searching (ALT-S) since I primarily share from my computer, and made the share buttons ridiculously large so it's great on my smartphone or tablet.
I wasn't going to release it, but I figure it would bring some people some happiness.
Hope you enjoy it. It's a work in progress (but really just a hobby) :)
In addition, we've already had a player tested positive for steroids in curling: http://www.torontosun.com/2013/07/03/canadian-curler-dumonte...
That is crazy simple. I bet glibc's is a lot longer.
It is quite interesting that you bring up Hebbian learning, which at its heart is attempting to endow a model with a form of memory stored in the connection or 'edge'.

Current state of the art systems (RNNs, LSTM and ResNets) are taking this one step further attempting to create dynamic memory (much like we believe neural networks work biologically for short term memory storage).

I wonder if the next steps for models are to formulate mechanisms for actually modifying their own graphical structure with a sort of 'protein' based memory, much like the brain is believed to store long term memory? Does anyone have/ or has seen any papers on the topic? Could you provide refs?
> To me a high standard of living is not just a good salary, but also good living conditions of those around me.

To most it's the opposite. Wealth is relative so I'd rather live in a 3rd world country making $50k than SF making $150k.