skysight-inc/HackerNews huggingface dataset:
And that's generally the truth in every scientific field.

Right now you have a "reproduction renaissance" in psychology and cancer, where you can get published, and get acknowledged, if you tear down a high level paper. But in general, unless you aim at refuting the highest level, it is hard to get published and advances your career nowhere, so people have no incentive to do it.
It’s something we have to consider when deciding where to spend our time and resources.

Those are dollars coming out of our customers’ wallets that don’t end up in our bank account.

If we can acquire an open web user instead of a walled garden user it increases our gross profit by 43%.
"We were glad to find we enjoyed just being together"

Currently. Feelings towards people change constantly. They can hit extreme levels on either side at any moment.
The greatest innovation of Tcl was how easy it was to extend with libs in C. I still thinks that Tcl's author famous paper about using "glue languages" is still one of the best ideas in software engineering.

Read about it in Ousterhout's Dichotomy: http://wiki.tcl.tk/9865
What if you get a noisy neighbor who isn't an AirBnB guest, but lives there permanently? That seems worse. Do you have no recourse in that case?
It's not about uncertainty, it's about precision. Unless, of course, you think that scientific notation is limited to only high schools.
The author is complaining that formal education is strangling the soul of beautiful English to death.

There's some truth to this, although his protests are misaligned. Regimented English classes are not the proper breeding grounds for writing with individualistic expression, they are simply to teach students how to communicate eloquently. Essays and research papers are meant only to communicate and persuade, not enrich and entertain, as one commenter has implied.

If one wishes to dine with Twain and Bonte, they can do so in the myriad of creative writing courses available to them. But there is simply no practical use in the idealistic battle between creatives and the man, the corporates, the zombies here.

It's a noble pursuit and should flourish, but it's barking up the wrong tree.
You're misinformed when it comes to secondhand smoke. From the NIH:

"The U.S. Surgeon General estimates that living with a smoker increases a nonsmoker’s chances of developing lung cancer by 20 to 30 percent."

"There is no safe level of exposure to secondhand smoke."

-- https://www.cancer.gov/about-cancer/causes-prevention/risk/t...
My brother (43yo) had to take a full day writing test for a new job last week.

He, as most people, have not wrote long text for years.

He told me that his hand was really painful at the end of the day. I can understand that !
Learn Hash Table the Hard Way
It just shows we have learned nothing from Iran-Contra.

The decision of the International Court of Justice in June 1986 condemning the United States for the “unlawful use of force” and illegal economic warfare was dismissed as an irrelevant pronouncement by a “hostile forum” (New York Times).
https://en.wikipedia.org/wiki/Nicaragua_v._United_States

War profiteering is a rent-seeking activity. It's public fraud. And its adherents are aristocratic. They believe they're better than others, murder is completely ethical and available for a price, which is its only inhibitor. Thing is, when this class get out of control, their fellow little primates, who happen to be the vast majority, can go ape shit and build things like guillotines. Yes, there were so many victims that needed execution the streets ran with blood for days. They'd obviously let them accumulate unchecked for far too long. Oh well.
We're normally pretty safe from the beasties down here in Melbourne. This case is really strange, especially considering how many people are in the water here every day. It's not like up north, with jellyfish nets, crocs, etc.

Then again, last year I was knee-deep a couple of beaches over from this incident and an unidentified creature (probably stingray) slashed my foot from heel to toe - so maybe we are a bit conditioned.
I mean, I keep writing for-loops even though I've written many of them before.
Hi! I'm a Full Stack Web Developer with solid experience working remotely, leading a team of developers to build apps using React.js, Redux in the frontend and Node.js the backend.
Looking for a new challenge working with a cool team.

Location: Canmore, Alberta

Remote: Yes (Currently in a remote role)

Willing to relocate: Not right now.

Technologies: Javascript: React.js, Redux, Node.js all using ES6. HTML/CSS, MongoDb, Git, AWS, Heroku, Digital Ocean. Other: PHP, MySQL, ASP.Net, Drupal, Wordpress.

Résumé/CV: https://colebowl.github.io

Email: See resume
Flying Spider Hero Crime Simulator
Play the newest flying spider gangster hero survival game as incredible spider gangster hero against mad city mafia and dangerous gangsters. Terrorist organization using Martian tech to create mutant super villain for underworld mafia. Explore the grand city, ride cars and loaded trucks, bikes and motors
The percentage of diesel cars in the EU, on the other hand, is huge: as late as 2015, many large countries like France and Germany had >50% shares.

http://ec.europa.eu/eurostat/statistics-explained/index.php/...
I wonder how many of these instant millionaires are savvy enough financially and emotionally to handle the wealth. I could see it being easy to lose it all like many lottery winners, or lose friends or become depressed with nothing to do.
I didn't study Computer Science in college. Not one single course. But I'm not stupid. I made straight A's in math through Calculus III. So a lot of these comments frustrate me. I've taught myself literally everything I know. I've read dozens of books. I practice coding obsessively--it's my passion. Do I "get shit done"? Yes, absolutely. Do I not care about the efficiency of my algorithms? No, I care deeply. I don't always know the "computer-sciency" term for things. But my goodness, get off your high horse and tell me what you want accomplished. Chances are I'll implement a solution that's just as efficient and arguably much better than most "engineers" can. And no, I'm not going to be obsolete at age 40. By the time I reach age 40, PhD's will be coming to be for advise. Because I didn't study computer science in college. I'm studying it for life.
> I travel to work via bus and it is a rare day when I don't get approached by somebody at the bus stop or on the bus who is looking to chat.

Local cultures can vary a lot. In NYC, riding the bus, I more often end up in a conversation than not. In Boston, that is just not done. Except with tourists sometimes. I used to travel more, and it became a standing joke... At someplace not Boston, chatting. While traveling, chatting. Hit the subway by Boston Logan airport, chatting... sort of... with people awkwardly uncomfortable... facepalm, back in Boston, burned again.
Yes, but we are 20+ years in, and excited to continue...

Seems like a house - if you don't do maintenance, it gradually deteriorates until it becomes unlivable, but with continual maintenance and improvements, it can last forever...
I agree with you about the potential value of formal methods, but I think you completely missed the point of the article. Formal methods can't supply specifications. They can perhaps tell you if your specification is consistent and therefore implementable, but they can't tell you whether the system you've specified will meet your needs.

I think those of us who promote formal methods need to remember this. At best only verification -- making sure the implementation matches the specification -- will ever be fully automated. Validation -- making sure that what we specified is actually what we wanted -- will always be a human activity.
I notice ther was no mention of amazon, but that is a large tech company with 10s of thousands of engineers. Anyone have an amzn rest and vest story?
Python also became easy to extend, you even had great tools like Swig http://swig.org/.

Today some of main Python libraries are in C, specially the ones that need speed, like numpy, pandas and all the Data Science eco-system.

Desktop user interfaces became less important with the Web.

Python also got a good regexp engine. Its legibility, batteries included and interactive shell beat them all.
What does it mean to be a Bitcoin millionaire? Did they sell near the highs and buy near the lows? Or do they hang on to it because they hope it will go higher?
>>Men are, by far, more violent.

Actually men are more aggressive. The issue is you don't always get good things out of a particular trait. Violence is negative outcome of aggression.

On the positive note, aggression and its many forms can make you proactive, driven and a range of other things that are also very crucial for success.
By the time you've memorized all the cases where a binary tree does and doesn't make sense, you might as well have just learned how they work.
Members of Congress rake FCC over the coals in official net neutrality comment
Good thing to be honest. Leapfrogging to renewables is far more sustainable in the long run.
Jacques once said that happiness is accepting what you have, not what you could have.

It's not a direct quote, but the gist is worth taking to heart. It's easy to say, not so easy to do. But you gain nothing by tossing and turning.
http://www.cam.ac.uk/research/news/males-and-females-differ-... Literally five minutes dudes--addressed to the author's dismissal of the comments. There are significant structural differences in the functional areas of the brain due to gender, on average. Some of these areas are involved in spatial processing and long term/short term memory processing. Certainly there appears to be higher density in the areas of the prefrontal cortex associated with executive function in women--anecdotally n={about 5}, I've seen way better female project managers than men, but that could simply be the industries I'm associated with.
There's definitely structural differences that should have a huge impact on focus and attention as well as visual and spatial processing between men and women. It seems that a majority of the male based differences are in the midbrain where memory, emotion, reinforcement learning, etc are processed. How this translates to computer programming skill probably hasn't been explored because postmodernism and reasons, but I'm sure a few weeks with women and men coders in fMRI machines would show activation differences or not rather quickly.
You would think that people would be eager to identify these differences or to prove that it doesn't exist, but in my experience, everything that a scientist might be interested in that runs counter to the progressive narrative usually gets dismissed for shaky reasons.
Peer review? My first experience with peer review was with a world renowned physicist who was a friend of our dean's who was in town and taught a class and did research with us physics undergrads. I've seen just how non-rational and political the peer review system is which is why I avoided academia. Oh, and I have worked in cognitive research for several years so I kinda have some experience with this stuff.
Do I care? No. I've had fantastic women and men engineers as peers and reports and crappy women and men engineers as well. What I do care about is shoehorning people who may not have ability or passion into a career just to satisfy SJW virtue signalers. Honestly, weren't we all signed on to judging by the content of character and not outward appearance?
A lot of the ICOs have similar looking web pages: modern bootstrap style, touting benefits which are generic benefits of any cryptocurrency, and a list of team members with PhDs and suchlike. You could write a playbook for this crap.
At least alt-meds do nothing (usually). Radiating people is actively worse.
ScanPOS Malware Delivered by Kronos Banking Trojan
If you put $3,000 into bitcoin in early 2009 (EDIT: Actually, mid-2011), you'd have around $1M today.

There's not much sense losing sleep over that statistic though. Most of us had $3k and didn't do that. All you can do is keep your eyes open for the next opportunity, which may never come.
I'm interested in the data visualization aspect of the DB. Is there somewhere we can download the database to run queries against it in Tableau?
Just saw Mz's edit. For those reading along, I posted initially and then immediately rewrote it for clarity, because I didn't think I did a good job articulating. I didn't think anyone would have seen it, but it probably took me longer than I thought as I'm posting from mobile. My edit was substantial, but my points are the same, so I'm not sure why the parent thinks this is an attempt to dismiss her. (Nor do I know why she thinks I'd try to dismiss her, I have better things to do with my time than plot conspiracies against strangers in the internet...).
On mobile since I can't edit. It doesn't show it directly by default but it's configurable. You can add $PROTOCOL to the cipher display in it's preferences for this.
The 'Artwashing' of America: The Battle Against Gentrification
I'm an internal recruiter for a Data Science company and I check this every month
I have been invited to act as a fake cofounder for an ICO several times...
You're mixing topics up in order to muddy the discussion. There's a conversation about power, amplification, human rights, etc at play in both Chomsky's positions and valid criticisms of his positions.

But that doesn't address what we're discussing, it distracts from it.
I though that was pretty clear in my reply that people should not have to face unique (sex specific) barriers to enter a field i.e being able to 'freely decide'.

What exactly are the barriers that exist for programming that were not cleared at the same time as those for math, economics, and medicine?
> Debugging Tcl is extremely difficult

Used to work on TCl around 10 years back, I dont remember much but I do remember that debugging it was difficult or maybe I was not so smart.

When I used Python I quickly loved it because atleast I could debug any issues quickly.
It's not problem of 'eq':

% expr {1 == "1"}
1
Rentec uses machine learning, but more importantly the firm curates massive amounts of high-signal data. The most significant part of their work lies in process automation and the rapid testing of hypotheses, which empowers the optimal use of mind-numbing amounts of data that most other firms simply can't take advantage of. Very early on their success was due (in part) to the willingness of Simons et al to use correlations in disparate datasets which could be proven but which didn't really make sense, and which wouldn't be explained by anything intuitive.

In other words, Rentec is not just pointing machine learning models at data, they're investing in a very robust data processing pipeline. Everything before the analysis is just as important as the analysis at funds like theirs.
Economics plays a huge part in politics and a country's interest sure but military decisions are accountable to elected public officials. Businesses are accountable to share holders.
Jon Snow Is Potential Heir to the Throne – DIGITALAMPLE.COM
> The big question is, why are people dumping so much more money into ICOs than into Kickstarter projects?

Because an ICO gives you equity, which you can resell to a bigger fool.

People buy into ponzi schemes, too, knowing full well that they are ponzi schemes.
Definitely. Dyncorp has been implicated in horrible human rights abuses too, including child sex trafficking.

https://en.wikipedia.org/wiki/DynCorp#Controversies

Edit: A good documentary to check out about military contractors in Iraq is Iraq For Sale: The War Profiteers

https://www.youtube.com/watch?v=3Q8y-4nZP6o
Occurrences of people getting hacked to the tune of 6 figures are common in bitcoin forums and subreddits. I think by now so many hackers must be rich out of this.
> If the place is toxic, learn how to stockpile cash or human fodder.

Care to elaborate?
great concept, looking forward to trying it out.
Even younger :)

We had some aerated concrete brick left after rebuilding our bathroom and my son (4yo at the time) "crafted" them with tools like saw or nails and screws. He really enjoyed that.

It stressed a lot his grandfather, to see his grandson with sharp tools, but the boy was very proud of his work.
But what if instead of strings, all values had to be representable as JSON? That would feel much more modern!
> why the author is so suspicious of
> formal methods

I studied Z-Notation and CSP at what is perhaps the home of formal methods (cs.ox.ac.uk), and I've yet to come across a real-world situation where I've found either in the least bit useful.
I do not understand your comparison with Kickstarter. You never invest in a company or project using Kickstarter, you will not earn anything in the future if the project succeeds. If you buy a shirt, you will only get that shirt, even if the company sells millions. You can not pass your position on to someone else. The comparison could be with stock exchanges. So the answer is simple. The barriers to starting an investment in ICO are minimal when compared to any IPO. And it is a global negotiation.
>I think it's self-evident that there is no theoretical basis for software development in the way that would satisfy your criteria.

Yes. Writing software is not math. Does it use math concepts? Of course, but so does just about everything else.
While we're at it, writing software is also not engineering, even though there are engineering concepts that can be applied.

Writing software is its own thing. Pretending that it's something else (like math or engineering) invariably leads to category errors.

Think about food recipes. They certainly use measurements and timing, and engineering principles can certainly be applied (especially when executing them on an industrial scale) but they are not math (or engineering) either. Examining the measurements, timing, and the production chain doesn't tell you anything about whether the recipe is delicious or inedible.

Arguing that a piece of software should be "proven correct" makes about as much sense as arguing that a recipe should be "proven correct". You might as well judge the recipe by the standards of poetry ("Does it have evocative imagery? Does it rhyme or alliterate well?").

People have been chasing the unicorn of software correctness proofs for 60 years, with a notable lack of generalizable success (there are plenty of toy examples, of course). What usually happens is that the "programming is math" people come up with some bizarre academic language that no real-world programmer would use unless forced to do so at gunpoint (followed by the new language sinking without a trace). Alternatively, the "programming is engineering" people come up with some baroque formal process that requires you to write a 500 page document and get six committees to sign off on it before you can write "Hello, world". I'm old enough that I've seen these things happen multiple times.

>It's also self-evident that in most situations, correctness and reliability aren't a concern.

I wouldn't say they aren't a concern at all, but if you're wasting six months screwing around with formal proofs, UML diagrams, or things of that nature, while in the meantime your competitor is iterating three or four times, that is definitely a concern. Operate that way and your milkshake is going to be drunk, yo.
The thing is that math isn't all that rigorous either. Formal methods (i.e. computer-verified proofs) are still very much the exception. Proofs are written for other humans to consume, and details tend to be glossed over. Usually this is fine, because the readers are mathematicians themselves and can fill in the gaps, but occasionally this leads to a crucial counterexample being overlooked.

Now what does make mathematics slightly more rigorous than other disciplines is the fact that once someone bothers to actually work through the details and finds a counterexample, they can convincingly demonstrate to other mathematicians that the proof is incorrect. Often, the detail in question isn't even all that important, and a workaround can be found that saves the overall proof. But software development is also rigorous in this sense; once you find a case the program handles incorrectly, you can write a testcase to show the difference between expected and actual behavior. And that doesn't usually show the whole program to be misguided, you can just rewrite a small part and things work again.

You seem to want a method that can not only make definitive statements after the fact, but that can actually ensure for almost all programs and almost all desirable properties that the program fulfills the property. But this is actually much more rigorous than most mathematicians ever bother with, and for good reason.

Complete verification requires stating every obvious fact in excruciating detail, because that is the only way to be sure that it is indeed obvious and a fact; in addition to tracking the complex interactions of the whole thing. Most humans really don't want to make this kind of mental effort, if they can avoid it. Even static type annotations are too verbose for some, which has lead most modern languages to include some form of type inference. I don't think you will see widespread adoption of formal methods before proof assistants are developed that can similarly handle most of the simple but tedious tasks, so that humans can focus on the actually important bits.
Previous discussion: https://news.ycombinator.com/item?id=6810543
Right sure, because the regulations are only there for a politician to fill their pockets and for no other reasons, and fuck consumer protections let's just let corporations do whatever they want because "fuck you I've got mine, and I got it on time".
GraphQL Guru – A Nodejs GraphQL Framework
I'm not a huge proponent on smart contracts, and I agree that it's a big problem enforcing payback, but that's no worse than regular loans. At least the ownership/transfership and payback of loans could be tracked, which is a far cry from the current method of debt ownership. It's extremely common for spreadsheets full of loans to be passed from owner to owner with no real ownership trail, accounting, etc, which I find disgusting.

Often fighting these loans is as simple as asking the owner to show proof of the loans in court, at which point they often evaporate, however it can be a long winding road to get there and often people just don't show up in court, or don't know, and get judgements against them that they might not otherwise owe. If the debt status was easily verifiable, it would be better for all sides (other than the bad actors) when it ends up in court.
It is the common use of the word engineer and not the legal one.

http://www.dictionary.com/browse/engineer
I have yet to see a good clean solution. I was fairly new to auth and node when I was given a similar task. Ended up doing a ton of research and I felt I was making decisions I should not have had to make. I recall the tutorials that the article mentions. I was not impressed with the end result.
Stopwords in the user interface
More like $1.5B today, if you could even have bought $3,000 worth of bitcoin at that time (early 2009 was weeks after the first block was mined).
Everybody Scrolls (2014)
Oh, for the love of God, no forwards/quora/facebook/whatsapp forwards, atleast on HN!
#cleanHN
And I think one of the reasons Britain lost control of the USA is the king hired a mercenary army.
That distinction from Hinton is quite interesting, I often work with "Machine Learning" models, but for the most part the models are regression models and/or tree classification models that are easier to understand conceptually. I have yet to actually implement any complex machine learning techniques because I fear even if they do or do not work, I won't be able to interpret them in terms of their statistics.
so what's the difference? is it the same reason as why healthcare sucks in america?