skysight-inc/HackerNews huggingface dataset:
>In practice, people write their programs in a programming language. Some languages (e.g., C, Java, Lisp) only provide leaky abstractions, so programmers always have access to the internal representation of everything, to the detriment of modularity. But there are languages (e.g., Standard ML) that aren't hobbled in this way. ... writing a function that inspects the representation of an abstract type isn't “difficult” - it's literally impossible.

Alright, at that point it becomes an issue of "what kinds of things count as computations" for the purposes of the CTT. You're right that some languages simply lack certain capabilities, but that's an issue of access, not computation per se. You can get the same result in pure math:

"C is incapable of computing the zlobnorg of a matrix."

'Ridiculous! I'm sure I can write a program that does it! So, what exactly is a zlobnorg?'

"Sorry, only the matrix itself can answer that."

If you're going to go that route, then yeah the CTT is false -- likewise, TMs can't see inside black holes, so they can't "compute" that either.

But the "computations" referred to in the CTT are assumed to meet certain criteria, e.g. that there's some API exposed for accessing the relevant information, and the output is a "pure function" of that input (or at least makes any external state changes accessible, etc). But then once you've done so, all the Turing-complete languages can access said information information and compute the correct result.

Now, if your point is that the day-to-day work of a programmer is a lot more than writing pure functions: I whole-heartedly agree and have said the same thing myself. I cringe at the whole "Maxwell's equations of programming". Of course you have to care about external state and access privileges and race conditions and whether the API is usable, etc -- things that the CT notion of "computation" doesn't deal with. But, for the same reason, that's also orthogonal to the CTT.
The location is the reason, right? Not really close to Chicago, Indianapolis, or St. Louis.
I've been meaning to get into ClojureScript. Can you elaborate on why it leaves a bad taste in your mouth?
20W LED Corn Lamp with Cover E26/E27/E40
Between seven and nine million people dying of starvation every year is still a pretty big deal The rate stat is a slap to the face, sure--but it should be, yeah? Progress being made doesn't mean there isn't a lot further to go, and this sort of middlebrow dismissal doesn't help.
I'm not sure how capital-intensive it is; there's probably a fair bit of (low-cost) labor. But, yes, to all your other points. I'm not sure what about the current services is most places can really be significantly optimized from either an efficiency or a customer experience perspective.

I've never used services that picked up and dropped off at my house/apartment but I'm not sure I'd ever have paid much of a premium for that but the Wash-and-Fold services I've used have always been just fine--if I lacked easy access to a washer/drier myself.
How 'Uberizing' the Small Business Economy Is Driving Growth
No, it wasn't. I submitted it because it appeared on my social stream as part of Aardman's 40th Anniversary celebrations.

I wasn't aware of that Reddit thread as I seldom visit Reddit.
> We'll be publishing the React.js binding on HN in a few days.

Sounds great. Will this be announced on any email list I could subscribe to? Thanks!
http://www.sunrise.com used to be great, but I agree it's time to find an alternative.
TIL I have a built-in GPS. Neat.
Turn down the graphics settings to gain an in-game edge
Future Airplanes Will Fly on Twistable Wings
37th Anniversary of the Neverending Story's First Publishing
If 100% accuracy is important then getting the top 10 from each section and then sorting then would be necessary. If you were willing to trade performance for accuracy then getting the top 1 from each section would probably give you a decent approximation.

In the perfect accuracy case, if you were grabbing the range of 990-1000, you would need to grab the top 1000 from each section, which is 100x more data transfer. I don't work for Google, but given the amount of money they spend on building their own routers, they probably want to minimise that number.
1971-wasd: WASD Keyboard layout – based on the awesome 1976
> sexist societies will continue to choose male children even when women are scarce

The preference for a male child over a female child is not limited to what you dub to be 'sexist societies'[1] (thus inadvertently revealing your selective antagonism towards the said societies--India and China). It is actually global phenomenon, the USA included: https://en.wikipedia.org/wiki/Sex_selection#Preference_for_s...

> If you really want to fix humanity, I'd advise getting rid of men.

This strange advice of yours depends on the fervent belief--a sexist one, I might add--that women are incapable of the wiles of humanity.

[1] It would be far more reasonable to suggest instead that this preference is but the other (evolutionary) side of men being the more expendable sex (i.e., the more expendable they are, the more of them need to be birthed to account for their greater number of deaths)
> We'd see garages in residential neighborhoods full of washers/dryers, without permits, etc...

Using city water and plugged on the neighbours' electrical power line.
First post in SHOW HN. So lack of experience :)

This is the repo: https://github.com/soasme/blackgate
Written in Tornado.
It looks like tail call optimization only works in simple situations.

let rec foo i = if i < 0 then "foo" else bar (i - 1)
and bar i = if i < 0 then "bar" else foo (i - 1)

function foo(i) {
if (i < 0) {
return "foo";
}
else {
return bar(i - 1 | 0);
}
}

function bar(i) {
if (i < 0) {
return "bar";
}
else {
return foo(i - 1 | 0);
}
}

It would be nice to get a warning when tail calls cannot be optimized.
> Are women more likely, consciously or unconsciously, to be social signaling for support than men when they attempt suicide?

No they are not. You answered your own question. Women are more likely to use non-violent methods, men are more likely to use violent methods. Violent methods are more likely to kill the victim, therefore more men die by suicide as a percentage overall.

Now your question becomes. Why those methods? And the answer I believe is not social signalling. Or at least it is not the main factor. I believe the answer is to do with aggression (being higher in men than women due to testosterone) and the unwillingness to cause disfigurement (because of social reasons). Source, I read a scientific book on it.
Gartner’s emerging technology hype cycle – updated for 2016
Take the survey on Go dependency management
That's how they got the Atlantic Yards project in Brooklyn--kicked out everyone who lived in the old neighborhood, declared it unlivable, used eminent domain to bully everyone. Spent gobs of tax money. Okay, so it was done to benefit the wealthy developer who happened to be the former law-school roommate of the governor, allowing him to build an arena and luxury towers for wealthy buyers, but still.
Finally had a chance to review your various links. That's a very impressive project, I like it quite a bit and have now shared your product (willshake.net) with several friends.

Thanks for the links and the resources. My target with literate programming is a bit different than yours, but you've given me some things to think about. I appreciate that.
I think tufte understands that people make junk charts on purpose. I think he just doesn't agree that it's a good chart if the purpose isn't to actually inform truthfully . If your data is crap and you know it then basically you are misleading people on purpose. At that point it doesn't really matter if you have a lot of chartjunk as well.
yes, we will have this warning when upgraded into OCaml 4.04
Note that optimizing mutual recursive call is a very hard problem it needs VM level support
I thought I was unable to learn math, until I learned it outside of a school. One book like Prime Obsession was worth more to me than every moment of high school math. It's unbelievable to me that anyone can learn something devoid of context. I think there's a similar problem in how second languages are taught in schools as well.
Debugging a Linux kernel crash found by the syzkaller fuzzer
Roger's creative use of fluorescent protiens is a significant foundation of modern molecular biology. A huge number of therapies, technologies and underatanding of biology come not just from our ability to 'see' the biological tools themselves, but from the idea that a novel biological tool can be made from conferring the properties of one protien with the properies of another. Unfortunate to lose him.
Google and Amazon Vie for Big Inroad into Wall Street Data Trove
What tools and/or strategies do you use under maximum stress or pressure?
People will never do it, it's like saying control your phone with your genitalia in public. I don't think it'll break social bounds before better methods are available.

But at the end of the day typing speed doesn't matter. It's not whats limiting us (In English, not all languages)

But I think many people equate speak recognition with language parsing which is why people seem to be obsessed with it.
The Hacker Crackdown: Law and Disorder on the Electronic Frontier, by Bruce Sterling.

This, especially, since a new generation is facing the exact same battles that Sterling wrote about. We still have computer-illiterate prosecutors going berserk on a regular basis. And thanks to devoted public servants like James Comey, we're going to spend the next couple of Congressional terms rehashing the old arguments over what math equations should constitute a Federal offense.

The government doesn't learn from history, so it's important that the rest of us do.
I like how cryptocurrencies have disappeared from the graph completely. So far down in the trough of disillusionment that they don't exist!
>If the business model has been proven unsustainable multiple times in a row, why founders continue to try and investors continue to believe?

Too much money, too much time. We slowly went insane.
> Enterprise sales are 60% trust, 20% pricing, and 10% product.

Wow, now I know that's just anecdotal, but that feels about right, and very interesting to have written down. Thanks for that, it's good food for thought.

(Now I'm just wondering what the last 10% is... ;) )
Thanks for this! Really awesome stuff!

One question here: how tight the compiler is binded to OCaml semantics? Besides Reason, do you think it's possible to build a frontend for other languages and integrate the backend of BuckleScript to generate beautiful JS as well? Or in other words, what property do you think a language should have so we can generate this level of beautiful JS outputs?

BTW: Please understand I'm not objecting OCaml, I do believe OCaml is an awesome language, but my point is: if possible, we should make this beautiful backend for generating human-readable JS more accessible than restricting it to OCaml only, shouldn't we :)
> This strange advice of yours depends on the fervent belief--a sexist one, I might add--that women are incapable of the wiles of humanity.

Are facts sexist? Men tend to be much more violent than women. Nearly all rapes and homicides are committed by men, men are much more accident-prone, and men make up nearly all the fighters in wars. With advances in biological technology, humanity may no longer need men to survive. If we were to re-engineer humanity with harm reduction as a priority - and that is one big 'if', but it's your premise, not mine - there is a case for phasing out males.
Yes but the real number that cannot be pinned down using a formula can also not be pinned down using a computation, and we are talking of models of computation.
As someone developing with rocksdb currently, this is very exciting! Can't wait to give it a shot.
How do we find the cheat codes for the simulation?
The statement is unconditional and timeless. It says something about the concept of "current trends", but it does not reference current trends to bolster its argument. E.g., examining current trends now isn't held to be less useful than examining them fifty years ago would have been.

The statement could still be wrong, but not for the reason you cite.
I wonder why an analysis of comparative rates of male/female self-murder seems to ignore that men murder others (in the U.S.) at around 5 or 6 times the rate of women. The differences seem comparable and very related. I see postulation that men have unique problems, but not any consideration of the fact that men have shown a greater urge to kill in general.

I may have just missed it.
Sorry about that, I submitted the link directly from my RSS feed. I'll trim that stuff if I submit in the future.
In this specific case, yes.
The fact that Google can offer fulltext search of documents implies they cannot be encrypted, because Google can read them.
No email list for now. We'll be active in the chat rooms and HN though.
Why wouldn't you think that? Poison and hanging are equally available but they choose different methods based on life experiences.

That is, they both have a bunch of pills or a rope lying around but that doesn't mean they both choose them.
Why, the difference? I'd like that legally challenged.
My own attempt to develop "manifestos" for the web is based on a concept of "Propositional Writing".

The major characteristic of Propositional Writing, vs "normal" writing, is that the headlines are the primary content, and the paragraphs are secondary.

In "normal" writing, the content is in the paragraphs, and the headlines are a secondary annotation.

http://thinkinghard.com/propositional/index.html.
Ask HN: Do we have a case against Facebook for infringement?
Facebook launched an app with a nearly identical name, very close feel and similar concept as ours - is there anything we can do?

We cannot afford a lawyer, but could be generous with contingencies.
Thank you, brudger.

I have added some useful links in the left of documentation page.
A couple of anecdotes that really drive me crazy.

One, the amount of money universities can shovel at athletics is insane. It cannot be justified, I don’t care how many reasons you come up with. They pay millions to build stadiums, pay coaches, etc. while throwing chump change at people doing academic work. I have also seen hundreds of thousands of dollars thrown at things like ugly artwork and statues.

Two, the “chump change” I spoke of doesn’t even come close to scaling with cost of living. I don’t even know how there can be students in cities where housing costs are out of control, unless they are the children of millionaires.
The legal right or the human right? If you're referring to the legal right, to which jurisdiction are you referring? If to the human right, that's a social justice issue not a legal one.
I think that it did catch on, mainly under the form of iPython notebooks.
Maybe Palo Alto wants to change the side of the road you should drive on at the same time.
Blackbox.cool [1] just got run over by a tank.

[1] https://news.ycombinator.com/item?id=12356218
How masonary wall is created?
Is it too corny to say, "vive la liberté!" ? Well done France. It's little moments like these that give one faith in humanity. I think I'm going to start calling them Snowden moments. :)
Predictive policing practices labeled as 'flawed' by civil rights coalition
> you literally are making up my point?

Those are how rights work: through obligation and enforcement. A right to know is a positive right [1], which means other people are compelled to provide it for you. E.g., I have a legal right to know the financials of publicly traded companies. If a company fails to honor my right, the SEC will come after them. First with lawyers, then with people with guns.

> Oh hey, another thing I didn't do!

I was referring to the behavior I was originally objecting to. But I'm not sure you didn't do that, because your point on "rights" seems to imply that Penny Kim is obligated to do more.

If you would like to make clear what you actually meant, I'd be glad to read it.

[1] https://en.wikipedia.org/wiki/Negative_and_positive_rights
Wow. Who funded that?
Do you feel embarrassed if you express an unpopular opinion?
To understand this you need to understand a bit about the way a search engine works. (I used to work at Google on the search engine but I am not revealing anything besides information retrieval 101 here.)

Roughly, there is a database of the entire internet that is broken into 1000 "shards". The database has a really complex indexing scheme. You can think of each shard as having one "worker" process, and then there are some "merger" processes that combine the results from workers.

So there are basically four phases: retrieval, scoring, merging, and display. In the "retrieval" phase, each worker uses the complicated indexes to retrieve a bunch of documents that are relevant to the query. In the "scoring" phase, each worker puts a specific score on each document, using more information about the document to get a more accurate score than the retrieval phase did. Finally, in the "merging" phase, the results from all the shards are combined by the mergers and you get your eventual top list.

When you ask for the 10th page of results, it actually only affects the final "display" step. Everything before that is just producing a list of the top 1000. That way you can reuse caches in all the expensive places.

Why does it drop everything past the top 1000? In fact, you probably aren't getting the precise top 1000 in the first place. The retrieval and scoring phases use a lot of heuristics to determine when it's worth sending a document on to the next phase. Each shard might only need to send back its top 5 or so documents. Since it's very rare to go past the first 100 documents, going a bit faster by sacrificing the quality of responses 200+ will almost always be a good tradeoff.

There's a product-centric reason as well as an infrastructure-centric reason to not go past 1000. Who actually wants those results? Normal people are almost never looking at the 100th page of results. Viruses looking for vulnerable webservers, spammers, scrapers, all of these malicious actors still do want that 100th page of results, though. At some point it's not actually helping the world to provide the nth page of results.
I prefer Harold's work myself, and at first glance thought this piece was by him, and was, admittedly, for reasons any other fans of his work probably can understand, quite surprised.
I did not in fact demand anything. I said explained a way that people could make whistleblowers more comfortable if they really wanted more information public.
>Our internal testing shows that it performs very poorly for binary 3D vector data.

Uh ? What format of data was this ?

I did a pretty large test (2gb+) on OBJ/STL 3d data and brotli compressed within ~5% margin of lzma, and this holds true on other binary data I've compared.

It also compressed better than zstd (as in compression ratio) on the same data at their highest respective compression settings:

bro -quality 11 -window 24

zstd --ultra -22

So I find it baffling that you find brotli to be poor for any binary data, could you share the data in question ?
DjangoCon 2016 Code of Conduct Transparency Report: YouTube Comments
If you're looking for a bookmarking alternative BookmarkOS has been awesome so far (https://bookmarkos.com). Also, Instapaper (https://www.instapaper.com/) recently got acquired by pinterest, so it looks like it has a future.
Breaching a CA – Blind XSS in the GeoTrust SSL Operations Panel Using XSS Hunter
Apache OpenOffice CVE-2016-1513 hotfix released
In Nature, behind paywall:

http://www.nature.com/nature/journal/v537/n7618/full/nature1...

Maybe there's free news coverage somewhere on Nature.com
I took some notes on social networking on the blockchain about a year ago during the big Reddit upheaval surrounding sub banning, the voat migration, et cetera. I see blockchain based social media as an eventuality for a subgroup of the population. The Akasha website[1] is unfortunately very short on details.

I'm not convinced quadratic voting is a solution at all. If user account creation has a fixed cost then there is always a number of upvotes for which it's more cost effective to create alts and upvote en mass.

The real solution is moderation as a form of patronage. There's a demand for moderation in all social media, the supply however is limited in Reddit's case by a volunteer-only force and other systems by salarying an in house staff. Fee based moderation by subscription turns into a signal selection mechanism.

If advertising isn't the signal you want to select for, subscribe to moderation feeds that block those accounts/posts. If you want to block racis(m/ts) subscribe to moderation feeds that block that content. Aggregate and remix moderation feeds at will and let a market develop.

[1] - http://akasha.world/
Eve Online will be free to play soon
Mutual tail call optimization requires VM level support in general but can be accomplished within a compiliation unit (module) via inlining.
The difference exists because in the humanities the situation is very different from science. Publishers are a lot smaller and more locals, they often have a real added value (the vast majority of humanities academics do not produce camera ready PDFs themselves), and are thus a lot less predatory.
I'll just leave this right here:

http://www.slate.com/articles/double_x/doublex/2014/04/male_...

For the TL;DR crowd:

"In asking 40,000 households about rape and sexual violence, the survey uncovered that 38 percent of incidents were against men."

"A recent analysis of BJS data, for example, turned up that 46 percent of male victims reported a female perpetrator."

"Women were more likely to be abused by fellow female inmates, and men by guards, and many of those guards were female. For example, of juveniles reporting staff sexual misconduct, 89 percent were boys reporting abuse by a female staff member. In total, inmates reported an astronomical 900,000 incidents of sexual abuse."
The predictive policing reminds me of the two ways to deal with defects in manufacturing.

1. Complex and extensive testing to weed out defective units.

2. Fix your dang process.

Guess which one is actually works and is cheaper.

Guess which one 'predictive policing' is.
...saving us the indignity of taking out our own trash.

It seems possible that this inconvenience is mostly caused by municipal garbage monopolies? I can haul my own bins, but contracting for trash service in monopoly areas has consistently been more trouble than doing so out in the countryside.
I'd guess that men are more likely to have sturdy rope available, and more likely to be good with knots.
Luxy Dating App Review – I've Found All the Polite Men
Before I asked my my girlfriend, now wife, to marry me I had read much of this history. In fact, my wife and I would have both been okay with a stone other than diamonds - she likes white sapphire for instance. However, in the end I still bought her a diamond ring because of what our families would think. Didn't go crazy, but it is a very nice ring that she gets compliments on. It is jewelry with some symbolism and not an investment. Nor is my really nice mechanical watch. Sure, it's worth something but that is something less than what was paid for it.
I mean... people have also been using FPGAs for password cracking for years too.
Unless they integrate it into software like web servers and web browsers it will be hard to see it really flourish as a "standard".

But at least within the perimeter of your own systems you can totally profit from this technology now.
Never tried to program with voice, but I did set up Dragon and macros so I could dictate javadoc. That worked pretty well. Since a lot of the language in javadoc is fairly regular, I could work pretty quickly.
Who said a grad student gets benefits? At my college at least, grad students are basically students with - if they're lucky - a stipend and a tuition waiver.