skysight-inc/HackerNews huggingface dataset:
I come from a very technical background--CS with Machine Learning, and I'm currently diving into the humanities and arts. I'm using Hackdesign as a primer into the arts and design frame of mind.

I think it's best to engage in domains of thinking that are worlds apart from where you currently are.
"We include the necessary code to run J-Bob in ACL2 and Scheme, as well as a transcript of the proofs in the book. J-Bob is also included in the Dracula package for Racket."

Isn't ACL2 Common Lisp based? If it runs on Scheme/Racket and CL (or at least ACL2), it should be pretty easy to translate.

(ACL2? It's theorem provers all the way down!)
For a second there...
I don't see where superuser2 said what you attributed to them.

Did they edit their comment between the time you quoted it and the time I posted this comment? Or did HN's quirky rules regarding newlines (gotta put two if you want to display one) change the meaning of your comment?
Ask HN: Am I excessive in wanting to fire a dev?
The other day in a base code for a web app in python we had exactly this problem:
http://effbot.org/zone/default-values.htm

I am the interim of the boss and in the code of one of my mate developer we had:

def compute_since_how_long(self, queue = None, start=time.time(), end=time.time() + 86400):
"""all horrors left as is"""

and my fellow (python senior) developer did not understand the problem of scopes in python and the use of sentinel.

He made me tcpdump the mongo connection, check the sessions, the OS/hardware before checking the input/output of the function he coded and that was clearly the problem.

So even though I knew the fix, since I thought he needed to understand the problem, I asked him to fix the code (it is a part of the application he coded recently). And gave him the URL as a pattern.

He has a PhD, he know how to read, he is 35 married, and seems to be able to read a newspaper, he has no known cognitive deficiencies.

He left me with a test on value and not address

if start == sentinel:

AND he added a test on end and swapped it with start. (sabotage or lack of professional ethic // testing was screaming my brain).

I was pissed and he answered publicly, if it so easy for you why don't you fix it? (ofc I am not a victim and did not let it slip.)

And I was telling him like, well, how can you claim to be better than a PHP dev (I have been a PHP dev, but it still one of my favorite bashing at any dev) when you don't care about scopes, immutability, allocation of variables when you pretend to code into a language?

He answered what I was saying is unnice! And used the coworkers as witnesses of me being an asshole for this.

I want to kill him and it does not seems socially acceptable.

Do you have any alternative better plan than the murder I am planning?
Moderators (I'm one) change submissions when they break the HN guidelines. Misleading and/or linkbait titles break the guidelines. Probably a good idea to review https://news.ycombinator.com/newsguidelines.html and https://news.ycombinator.com/newswelcome.html.
I think your analysis just ignord the dummy qubits they added to the algorithm to fix the problem you mentioned. So the chance of being ON can be more than 96%. They said it can be high,e.g. 99.999999..% What is the effect of that on the upper bound you wrote?
Forget it Jake, it's Chinatown [1]

[1]: https://en.m.wikipedia.org/wiki/Cadillac_Desert
There would be a lot of side-effects being noticed if it were being exploited as widely as you suggest. For example, carriers would notice lots of unusual activity; MMS step-change at a minimum.
https://www.google.com/search?q=india+population+by+age

41.1% is younger than eighteen

47.9% is younger than twenty one

This is as of 2001 so I'd imagine the population is a little older now...

http://news.bbc.co.uk/2/hi/south_asia/6911544.stm
via https://en.wikipedia.org/wiki/Demographics_of_India
> by 2030, India's dependency ratio should be just over 0.4

off topic but if the age disparity pays dividends in a few decades, will it not cause headaches in a few more decades unless we're able to automate most jobs by then?
TextSecure does not decode MMS attachments until you explicitly open them. [0] Switching to it as your default SMS handler should protect you from drive-by infection through malicious MMS payloads.

[0] https://github.com/WhisperSystems/TextSecure/issues/3817
As do YouTube's IIRC. See Jeff Atwood of StackExchange on his thoughts re: threading.

My thought is that HTML needs a comments primitive with date, author, subject, and references, with the resulting view (threaded, flat, collapsed, etc.) a client detail.

Or, you know, Usenet, tin.
Rocking Horse Café in Chelsea has a surprisingly good salsa. Smoky and not too hot.
"He tells Bland, a Black Lives Matter activist, she's under arrest before she has even left her car, shouts at her for moving after ordering her to move, refuses to answer questions about why she's being arrested and, out of the camera's view, apparently slams her to the ground."

The officer in this video was doing his job. He asked her politely to exit the vehicle and she refused. His life is in possible danger constantly. She could have a weapon or might harm him. He doesn't know. So when people give him attitude, he needs to control the situation or it could mean the end of his life.

He didn't even use lethal force nor excessive force..yet people are still protesting.

Being a "black lives matters" activist has nothing to do with the incident or the story, so why mention it other than to garner support for this biased article?

"No, you don’t have the right. No, you don't have the right."

He does have the right. He's an officer.

It's these sorts of articles that will only make it so more innocent people get hurt. We can already see the results of the many protests: police officers are afraid to do their jobs and crime has jumped in cities like Chicago, Ferguson, and Atlanta.

It's sad that the outcome was a women committing suicide but the officer did nothing wrong. From the transcript, it sounds like she already has issues and wanted to make this into more of an issue.

Everyone wants to make this into something racial, but it has more to do with the shitty behavior of people like Bland. I'm not black and have been stopped plenty of times by police officers. I was actually stopped for this exact thing (failure to use a turn signal). Guess what? I complied with the officer and didn't act like a complete asshole and the officer let me go.

It's amazing how well your life will go when you act like an adult instead of an insolent child.
This post was not written for you. It is for people who already know what ethereum is and possibly backed it or are running the testnet. You can't expect every article on any technical topic to contain a full explanation of the underlying tech. Your comment is like saying "this react.js tutorial sounds intriguing, but please for the love of god can they tell what this JavaScript thing is?".
PS I have been raised in Europa, expressed murder intents are not first degree murder intent. It is just a figure of style for saying how much angry I am in my own self.
There's a big difference between QR codes ("Quick Response") - which I agree are mostly encodings of links and shortened links - and Data Matrix encodings of generic data. Both look like black and white squares, and can often be read by smartphones.

Either way, you make a valid point!

(As an aside, I don't know how many QR codes are out there, but for one of my products we're intending to print 10^8 data matrix codes this year, of which there'll be perhaps 1000 batches, i.e. only 1000 different codes.)
No, it was reversed engineered by the IceStorm project:

http://www.clifford.at/icestorm/
Indeed.

The caveat is that MMS media attachments are not accessible in either the Google Voice Android app, or the web UI. They are (IME) only delivered as attachments to the email copy of the MMS.
I can't help but think that the 0.4% profit was just some specific accounting discretion. With Amazon's number of fields, it shouldn't be difficult to turn a loss into a tiny profit.
TextSecure response to Stagefright Android vulnerability
You sound like an asshole. I would have quit a long time ago.
Stay calm = be Happy :)
Wow, that does sound like a painful learning curve. Curious, were the function pointer problems inherent to the architecture or the tool/lib you used? Might be worth documenting in case a reader stumbles upon this before going through what you did.
http://www.yudkowsky.net/singularity/aibox/
Imagine that it becomes a museum some day. Fly out there and look at it, undisturbed.
Rails 4.2, Vagrant and  Problems
That wasn't the security features. It was the features not designed for security and targeting an audience wanting performance enhancements. The kind of thing that often leads to unexpected problems. ;)
The article mentioned an example of a feral child, I looked it up, and it was probably the saddest story I've read in a while:
https://en.wikipedia.org/wiki/Genie_%28feral_child%29
If you cannot politely and professionally give criticism to a developer (even better, mentor them), and instead choose to belittle them, then the problem is with your leadership style, not the developer.
In BC Canada Nestle is also causing a stink over water use but it's not why you think.

NAFTA says that once bulk sales of water begin it that's it Pandora's Box can't be shut.

People in BC and Canada are worried if Nestle is charge even a small amount that will be seen as a bulk sale of water and then that's it game over the US will demand we sell water to the dry western states.

Sure it isn't exporting it but it is the sale of water to a corporation and it is the water not the service to deliver the water, but that all may be step one to exporting it.
And if we accept that me being an asshole is not the problem here, but rather that my company has an application that customers use and may want to function without bugs, that we make money out of it, and that it pays my earnings as much as his?
In the US I think things are a bit different. The orthodox philosophy is that the government exists to serve the people, consists solely of the people it serves, and is only the embodiment of the collective ability of those people to act.

The UK, on the other hand, seems to have a very ingrained (and, perhaps, inbred) centralization around authority. For a long period, it was even believed that the hereditary power structure was divinely appointed (maybe some still believe this?). So, there is this long history of accepting external authority over you and this has likely permeated the culture over the many centuries it has been developing.

I don't know enough about UK legal theories to know if the government is still actually structured as an external entity, but I sometimes get the impression that people feel that it is, based on their phraseology.

In the US, there is still a sense that the people make up the government and it can be changed as desired (though there is little consensus on desires), but I do hear people even in the US that speak of government like that (I may have done it on occasion myself).
If I like a site enough, I turn ad block off.

If the ads aren't annoying, I leave ad block off.
New FCC Rules May Prevent Installing OpenWRT on WiFi Routers?
Show HN: I debate myself over hypothetical situations
Correct me if I am wrong, I think these records were publicly available before because I distinctly remember hearing a few of the greetings.
Its the expectation / perspective he had. He is talking like someone who had to report the problem, who had to have his issue resolved and was really pleased with the service.

Its not like he just bought an iPhone which had a flaw and he was happy with the customer service that resolved the issue, but it reads like that.

To be more blunt, he is using rhetoric in his article, probably acquired through osmosis from reading other articles, without actually realizing that the rhetoric doesn't apply to his situation.
What makes you think that he didn't look further than this post?

Really pointless comment, especially after others a) have echoed the sentiment and b) have provided answers.
Me asking politely the bug fix, and the altercation are separated by a 36 hours scope, with supports' phone ringing like hell because customers wanted to use their application.

And kind of me shielding the devs from the operations wanting feedback and a quick resolution.

Production is noisy.
If anyone here builds this, please let me know. I will use it immediately (assuming pricing/functionality is reasonable). I'm in tech sales and this would be a great tactic.
The art of monitoring
decode video with libstagefright, which is a C++ library with vulnerabilities and insufficient sandboxing

Why? Why, if it is known to be a poorly written library, is it still part of an official release? And why the hell are client messages allow to specify the level of media down to the library linkage? Wtf.
You've given me more information than I have ever needed to know on the subject to readily sign up. Thank you!
That kind of software is easier to install, but less consistent.
Note; the bug is in the Stagefright media library (https://source.android.com/devices/media.html) - so while MMS is the method for delivery here, it may not be the only method.

Nuking MMS from orbit won't patch your phone.
La Guardia Airport to Be Overhauled by 2021, Cuomo and Biden Say
Shame this doesn't have the 90-some minutes of music that the original record had on it.

Fun fact: Carl Sagan was in charge of the committee that selected these sounds.
EE student, but I'm drawing from a broad range of STEM students and working engineers/neuroscientists/software engineers.
Remind HN: Last Hours to Apply to Fellowship
Good luck everyone!
Article grossly overlooks an obvious advantage of buy option: Over almost any long enough duration, houses appreciate well in line with inflation over that period, where "long enough" is usually defined as 18+ years[1]. So you can effectively live in 2500 sq foot house absolutely free as long as the duration is long. It doesn't matter if you bought at the peak and sold at bottom as long as duration is long. There are sure some edge cases like Detroit or natural disasters like Katrina but overall this rule applies pretty well statistically[2]. If you were lucky enough to buy at bottom and sell at peak after 18+ years you can break a bank. But even without much luck, you will mostly break even, i.e., ~zero cost towards housing as opposed to 100s of thousands of dollars in rent checks during the same period.

Another strong point for "buy": If your horizon is indeed 30 years then house is truely yours at the end of the loan. Most people would be planning to retire after 30 years and not having to have rent expense during this period is a huge deal. You can even move out to much less expensive area and use the difference to maintain your life style. Also note that rents almost always go up over long duration. If inflation happened to kick in high gear when you retire, you will be toast because your rent would skyrocket while you are living on a fixed income.

The decision for rent vs buy is therefore very simple: If you think you are going to be living in given area for 18-30 years of time range, buy is no brainer provided that (1) your retirement savings remains same (2) you still have "rainy day" funds (3) there is reasonable income security and (4) you have recovery plan if natural disaster stricks. So those people doing long commute are not all fools and "drive until you can buy" is in fact the best strategy for them. There are some people arguing that you should buy even if you had time range as short as 5 years but then you will need to time the market and that's where most failures occur causing people to lose their life savings. Unfortunately lots of people are in this state and frankly it sucks to be in that state. You pay huge premium to be mobile and you don't know if you will ever use that mobility.

[1] http://www.dce.harvard.edu/professional/blog/how-use-real-es...

[2] http://www.estateofmindsites.com/subscriber_new/map.php?user...
While that was fun, you get what you aspire to be. The bias is tied to your appraisal of your skills and potential and a few arbitrary pieces of info. That being said, the top 3 choices i got would be my top 3 fav careers in descrnding order.
Cool. I've been slowly implementing instructions for a 8 bit AVR using Haxe.

A somewhat less than impressive display is at http://fingswotidun.com/avr/

I have wondered though, what is the IP status of implementing an instruction set? I would like to think that it is something that should be freely implementable for interoperability purposes, but then again the entire Java/Android lawsuit thing makes me wonder if compatible interfaces are a minefield in general.
OneNote to HTML Conversion, Chinese Number List and Image Alignment in .NET Apps
Water use is a local issue. It's small comfort to plants and animals where Nestle is pumping, that golf courses hundreds of miles away are using more water. If Nestle overtaxes the resource and harms the local ecology, the harm there is done regardless of how small that particular watershed is in relation to the entire state of California.
It's a pretty simple back-end - cheap and easy to run. I don't plan to take it down!
How Midtjylland took the analytical route towards the Champions League
Among the more notable admissions that that didn't quite work as expected came from Yonatan Zunger, G+'s chief architect.

https://plus.google.com/+YonatanZunger/posts/WegYVNkZQqq

A few days ago, +David Brin shared a post about GamerGate, in which he opined that this is a problem which would be solved by greater transparency: "It is only anonymity that lets bastards like this operate," he says, "Accountability is the light that sears most kinds of badguys, whether they operate in criminality or in high places."

I disagree with his analysis, and this disagreement is rooted in part in my experience of information-revelation policies on social networks. (e.g., name requirements) While there was an expectation that people would behave better when their activity was tied to their own identity, as that identity is presumably a highly valuable and non-renewable resource to them, the evidence weighed against it: people seem quite willing to be jerks under their own identities....

In practice, the forced revelation of information makes individual privilege and power more important. When everyone has to play with their cards on the table, so to speak, then people who feel like they can be themselves without consequence do so freely -- these generally being people with support groups of like-minded people, and who are neither economically nor physically vulnerable. People who are more vulnerable to consequences use concealment as a method of protection: it makes it possible to speak freely about controversial subjects, or even about any subjects, without fear of harassment.
Creating My Own Roku Appstore Ranking
Why is it a poor article? Are you suggesting that the entire story is fabricated? If not then I don't see what's wrong with sharing an article that gives many examples of growth tactics and execution.
6 days ago: https://news.ycombinator.com/item?id=9925896
So some friends and I have a running joke/thing. Anytime someone goes to SF they are obligated to FedEx a standard tube filled with El Farolito carnitas super burritos back. A tube fits 5 IIRC and it works great. (This happens so infrequently I do not worry about it impacting my carbon footprint enough to the point I am judged in the afterlife.) It's not the same thing as a pneumatic tube, but it's the closest we could manage without talking to VCs. And SF-Manhattan is close enough to Alameda-Weehawken for me. Pro tip: no sour cream, add on remote end if desired and at all costs avoid getting your tube stuck in the mail room over a weekend.
I grew up in a northern, rural part of the US along the MST/CST divide. Our county was MST, so everyone's homes, schools, events, etc. were all MST.

A significant portion of the area was employed by one of a few large mining/synfuel operations, which were headquartered an hour east in the capital, so they ran according to CST. Most employees wake up in one time zone, drive 5 minutes to work, spend the day in a different time zone, then switch back in the evening.

All the "stuff" you wanted or needed to do was also likely going to be in the capital city an hour east, so the constant math was bound to cause issues and consusion.

In 2010 the county voted to switch to CST [0]. I think it was a good change, and it really made life easier for people who live there. I was certainly in favor of it. But at least that was at a _county_ level. A change at the subdivision level seems like it would cause more problems than it fixes.

[0] http://bismarcktribune.com/news/local/it-s-official-mercer-l...
I'd like to use this precedent to drive with an expired driving license. It's discriminatory to allow some parties to continue engaging in licensed activity while penalizing others for "the same conduct."
Would you sign an industry-wide, lifetime non-compete clause in exchange for employment?

If not, why not?
OK that makes me feel much better about mine. I have about 20 instructions left to do.
It is the problem. Your attitude has probably negatively effected the people that work for you.
It is here I can get to quote the famous justification why Queensland does not observe daylight saving like the sensible rest of Australia: Because it would fade the curtains.

(Interestingly, I'm not sure if this is apocryphal or not: I thought it was Flo Bjelke-Peterson who said it, but I can't find a source.)
Sure! Here are a couple things:

* Solar is winning. By 2030, solar electricity might cost as lost as $0.02 - $0.04 per kilowatt hour: several times less expensive than other kinds of electricity. Of course, there will be other costs, but it will still be the cheapest source of electricity for a lot of regions. Source: http://rameznaam.com/2015/04/14/energy-storage-about-to-get-...

* Well, the what happens when the sun goes down and the wind dies down? You need storage. Good news on that front, too: electric vehicle batteries are getting cheaper much faster than expected: http://arstechnica.com/science/2015/07/electric-vehicle-batt...

* The author mentioned about the big animal die-off because wilderness is shrinking. In the US, wilderness is in fact increasing; we don't need as much land for farming as we used to. Source: http://thebreakthrough.org/index.php/journal/issue-5/the-ret...
Once you hit the floor the only direction that's left is up.

So when you buy at when the price is on the floor, there is only one direction it can go. Up.
I think that after explaining a somewhat complex subject like how Ethereum works, you perhaps could followup with a clear example on how Ethereum solves a problem that other technologies would have a hard time doing.

Maybe you can talk how Ethereum can be useful for, if I understood the platform correctly, buying/selling a car by means of a colored coin.

Or maybe you can explain how it competes for buying/Selling money Bitcoin-style, but with the specific advanteges pointed out (e.g. you don't have to download the blockchain as far as I know, etc).

Edit: After going through a few explanations, this one came up as the one I would think of using to someone that already knows Bitcoin:

Blockchain technology, introduced by Satoshi Nakamoto with the proof-of-concept implementation of a simple value transfer system known as bitcoin, represents the best digital system we have (after the internet itself) for administering multi-user interactions without any need for centralized coordination or oversight. Effectively, a decentralized system is its own authority for enforcing the rules (e.g. 'you can only spend your money once' in bitcoin, or 'whatever rule you programmed in to your smart contract' in Ethereum)

So Bitcoin enforces a very specific rule, Ethereum generalizes by letting you specify complex rules and even composite rules on top of that.