skysight-inc/HackerNews huggingface dataset:
I am not familiar with Grothendieck's work and with algebraic geometry in general, but Turing's work was rather unique, and very much philosophical in nature[0].

I am basing the following on Turing's 1936 paper, On Computable Numbers[1], on Juliet Floyd's chapter on Turing's mathematical philosophy[2], and on Robin Gandy's 1988 paper, The Confluence of Ideas in 1936[3].

The generalization of mathematical concepts has always been an important part of mathematics. In fact, Gandy writes that this was precisely the concern with Church's claim that the lambda calculus can express all algorithms ("a vague and intuitive notion", in Church's words). It was thought that perhaps a genius could some day generalize the notion further to include lambda-definability as well as things that fall outside it. But then Turing appeared with arguments of a very different kind. For one, his construction of an automatic machine, while precise, was completely arbitrary. It was clear to everyone from his treatment that while his math concerns a specific formalism (what's known as the Turing machine ever since Church named it so), it really covers all formalisms. For another, his proof of undecidability is very different from the one normally presented as the proof for the undecidability of the halting problem (which is really due to Martin Davis). Turing's proof, Floyd notes, makes no use at all of any logical construction, and does not rely even on logical contradiction or the law of excluded middle (which are expected to hold in many "reasonable" formalisms) but on more basic philosophical principles that must hold in any and all formalisms.

Gödel called Turing's achievement a "miracle". In 1946 he said (quoted in Gandy's paper):

...with this concept one has for the first time succeeded in giving an absolute definition of an interesting epistemological notion, i.e., one not depending on the formalism chosen. In all other cases treated previously... one has been able to define them only relative to a given language, and for each individual language it is clear that the one thus obtained is not the one looked for. For the concept of computability, however,... the situation is different. By a kind of miracle it is not necessary to distinguish orders, and the diagonal procedure does not lead outside the defined notion...

[0]: Turing was a mathematical philosopher among other things, and is known for his discussions with Wittgenstein, published in Wittgenstein's Lectures on the Foundations of Mathematics.

[1]: https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf

[2]: https://mdetlefsen.nd.edu/assets/201037/jf.turing.pdf to appear in Philosophical Explorations of the Legacy of Alan Turing

[3]: http://dl.acm.org/citation.cfm?id=213993 published in The Universal Turing Machine A Half Century Survey, 1995
Show HN: Automagic Hashtags
I used Clarifai's api to build an hashtag finder. I've found it useful in my Instagraming, would love your feedback.
https://itunes.apple.com/app/id1207980715
What a bizarre way of looking at it. There's vastly more economy class passengers on a plane; but it doesn't mean that first or business passengers don't exist.

You are right that some drivers going bankrupt is how the market would correct, but forcing them to take uberx fares at below cost is a dreadful idea and definitely not free market economics. If anything, it's like a govt regulation that requires businesses to do some stuff below cost to still be in the game.
Last time I checked ESPN wasn't available OTA.
A lot of TNC drivers have cameras pointed into the car, some (but not all) with signs indicating the passenger is being filmed. It is even more standard in real taxis. The expectation of privacy is more that such footage in any of the mentioned circumstances would never be released unless it captured someone committing a crime or something similar.
What I don't get is why interviews arent 4x 30 minute sessions, an hour of research time, lunch, an hour with a manager, another hour of research time, and then 4x 30 minute sessions answering questions and presenting solutions?

It still fits in an 8 hour day, but it has a lot more in common with how Id actually interact with the team and do the work than the contrived 1 hour sessions.
I imagine most people expected to use it don't get there by clicking a link on some other site immediately after it was announced - they'll probably be running ads inside YouTube, at which point they can target more accurately.

And I can't imagine they voluntarily restricted things to just the US for zero reason. Licensing around this stuff is nightmarish, and there are benefits to launching even before you're 100% global (which nothing is yet).
I guess this is due to a combination of multiple factors:

- your average of PP transfer amount per transaction is fairly low

- that single buyer / transaction was way over the usual average, possibly in the five-figures range

- the buyer paid PP with a credit card

With the last item, it begins to make sense: the dispution timeframe is 90 days (per FTC, https://www.consumer.ftc.gov/articles/0219-disputing-credit-...). Paypal might be considering a possible dispute in small amounts (maybe 100$) as "chump change" but doesn't want to be on the hook for getting 10k $ back from the seller if the buyer wants to do a dispute.

If I were a one-man-payment broker, I would do exactly the same. No way I'd accept such a liability, no matter how big or reliable your business is - it's not you who is the risk, it's the buyer who is a direct risk to my business because I'm at the interface with the CC issuing bank which will hit me with a negative 10k$ balance and lawyer fees to resolve the matter and get my account balanced.

But, thank the heavens, I live in Germany where we have way more transactions done using SEPA direct transfer (online direct payment, next to impossible to revoke except for technical errors or fraud, and even if it's only possible in 10 days) or SEPA debit, which does have revocations too, but unlike with CCs, the issuer banks usually punish the customer harshly for wrongful revocations.
good job. a similar tool called wuzz [0] was released like a month ago.

[0] https://github.com/asciimoo/wuzz/
> Does YouTube care about getting content to the world? Or just getting as many of their fingers in the pie as possible and abusing the current geo-restricted licensing model while they can?

I'd prefer to give YouTube the benefit of the doubt as they introduce a brand new service. They're an American company, it makes perfect sense for them to start with US customers.
Virool (YC S12) – Fastest Growing Video Ad AI Startup Hiring Rockstar AEs
Machine Learning: Telegram chat message classification
This is a kind of categorical thinking, which is sometimes misatributed as being "autistic". You have a clear logical distinction, I'll grant you that. You have a declaration of your opinion, which on its face seems resonable. But you fail to examine the details of the situation. You are reducing your morality to a few simple and rigid rules.

Those rules can be seen as something akin to a computer program. If your moral rules are simple, they are like a simple computer program. Are simple computer programs inteligent? Do you want to decide what is right and wrong based on a few lines of "moral code"? Or do you want to use the entirety of your brain power to analyse each sitauation and think whether something is right or wrong in a given concrete case?
Async/await and promises are quite good concurrency abstractions.
JavaScript is not just a performance tax, it's also a language that is poorly suited to a great number of tasks which we would like to apply web browsers to today.

Not that it is all around terrible, but definitely much preferred if we can choose the best language for the job instead of being strictly stuck with JavaScript.
They changed the page. ESPN was on it at first.
NASA have operated within their charter and the space act to support commercial human space flight. NASA made SpaceX possible. How can NASA be frustrated by their success in fulfilling their statutory obligations?
They weren't trying to describe the payoff, just the process...although the description did have some things that sound rewarding to me.

- Iterating through a project and seeing new functionality implemented can be rewarding

- The chase of business negotiations and inter-personal problem-solving can be rewarding

"Why" just strikes me as an off-topic, unspecific, and weird question to ask.
FWIW you can buy TV antennas / tuner cards for not-too-expensive (especially after comparing that monthly cost after a few months / a year). Though that is one more peripheral to carry around if you want to be mobile, so it's not exactly equivalent :)
Here is the facebook page created by Jourdain: https://www.facebook.com/Albi.Centre.Ville.En.Perdition/ .
Gee how are you going to catch anyone doing something immoral if you warn them before they do it? Not sure what you are trying to say about bayesian priors, but when you say untrue things it ruins your credibility. Not sure why people are upvoting you. Yeah, bad people hate it when you talk about the things you do. Fortunately, like the PewDiePie incident, famous people can't ruin others just because they are upset they reveal the things they do.
I'm following till "without any sort of punishment", there I'm lost. If I have a contract with a gardener that is servicing me for watering my yard, but then I also need to have my lawn mowed. If I ask him about providing this service and he declines, what's wrong with finding another gardener willing to provide the service I need?
> What are you talking about? Normal, non-rich people totally have the same expectation of privacy when they take a cab.

"In its majestic equality, the law forbids rich and poor alike to sleep under bridges, beg in the streets and steal loaves of bread."
This is what I use right now for cross-browser smooth scrolling. It's native first with a jQuery fallback.

<style>
html, body {
scroll-behavior: smooth;
}
</style>

<script>
// Uses native smooth scrolling if available, otherwise uses a jQuery fallback
// Just add data-scroll attribute to any anchor you want to make smooth
// Add data-scroll-header to a sticky nav / header to offset the window top
if (!('scrollBehavior' in document.documentElement.style)) {
// jQuery fallback
// Taken from https://css-tricks.com/snippets/jquery/smooth-scrolling/
$('[data-scroll]').click(function() {
if (location.pathname.replace(/^\//,'') == this.pathname.replace(/^\//,'') && location.hostname == this.hostname) {
var target = $(this.hash);
target = target.length ? target : $('[name=' + this.hash.slice(1) +']');
if (target.length) {
$('html, body').animate({
scrollTop: target.offset().top - $('[data-scroll-header]').height()
}, 600);
return false;
}
}
});
}
</script>
If my character and ethics were newsworthy over the recent term, I'd hope to be prepared for it. Other celebrities are.

"Character is what you do when you think nobody will find out."
I invested in Raven Industries a few years ago. They supply Google[x] with the balloons used for Project Loon. Essentially, I bought RAVN as a bet on Project Loon. So far it's been a pretty wild ride. I rode RAVN down 50%, but the stock has recently rebounded. We'll see how it all plays out.
> elided the grasp

Huh?
Well, it's possible that if it hadn't been for Java JavaScript might have had a decent, parens-based syntax.

I still wonder what might have been if Eich had been allowed to write the Scheme system he had been hired to do. While I'm not a fan of Scheme by any means, it is approximately 281,757,423,024,353 better than JavaScript.

And Scheme's a great little language for implementing other languages. Imagine, we could have had transpiling years ahead of time. We might be using S-expressions instead of JSON. Heck, we might even have moved to an S-expression syntax for HTML & CSS by now.

Imagine, one syntax for everything (thanks to https://www.w3schools.com/js/tryit.asp?filename=tryjs_intro_... & https://www.w3schools.com/css/css_howto.asp for the examples):

(html (head (title "Example")
(style (body (background-color linen))
(h1 (color maroon)
(margin-left (px 40)))))
(body
(h1 "What can JavaScript do?")
(p (@ (id "demo")) "JavaScript can " (em "change") " HTML content.")
(button (@ (type "button")
(onclick (set! (inner-html (get-element-by-id document "demo"))
"Hello JavaScript!")))
"Click me!")))

The world could have been so much better.
If only interviewers could ask questions that they didn't already know the answer to, they might be surprised to find out that some candidates actually know more than they do.
There are a few camps of people using twitter, which want different things and are mostly being badly served.

1) Trolls love twitter. The legion of racist eggs sowing destruction for no other reason than their own nihilistic enjoyment is an existential threat to the business and must be culled. The company and the trolls cannot live together in peace. One or the other will die. It feels like twitter hasn't figured out it's them or you. There can be no 1st amendment compromise here. These guys are ruining you for fun. They gotta go.

2) Public figures. It's a good platform for them. Cull the trolls and they'll stay, bringing an audience of

3) Regular people, who need a nice feedback loop of people interacting with their tiny little voices. Twitter is pretty shitty at this right now-- if you don't have an audience, you're shouting into the void and are eventually going to figure out you're wasting your time and quit. This is shitty for engagement and it's sinking twitter. Facebook figured this out already. Just copy them.

4) The last group is "brands" and for-profit companies who are your actual customers, but who would like to free ride on the platform, soaking up the attention of the regular people for free. If they want access, they gotta pay. No free riding for non-people. Facebook also figured this one out. If you're not a human, and not a public figure, and you want the attention of humans, pay up. Twitter is also slowly figuring this out.

There's a virtuous cycle of engagement here, and Twitter is slowly getting it straight, but they gotta cull a lot of trolls, spammers, and free riders, and that's going to hurt their monthly usage numbers. The management of that haircut is probably over my pay grade, but it seems like they're slowly getting it together with the algorithmic timeline. Had to be done. Livelock is a real thing for people who don't tweet professionally.
That's for 6 simultaneous logins. Potentially that's <$6 per person. That's a lot of DVRs.
There are businesses that specialize in remaindering fire-damaged goods -- mostly stuff that smells like smoke.

They showed up in my town in the early 1980s after one of our local malls had a smokey fire. They sold a bunch of stuff that came from other places, too, including a ton of 15mm miniature soldiers.
Not sure about assumptions made by wasm, but current limitations preventing Go from targeting it are:

> there is no efficient way to implement setjmp/longjmp functionality currently, therefore it's not a viable target of a gc port. We need to wait until it gets real stack unwinding and exception handling support.

https://github.com/golang/go/issues/18892
His point was about the fad amongst developers (well, "developers"...), not users.
Sticking to your StarCraft example, the Total War series is a good example of a "declarative" game. You can initially start ordering your troops to engage costly battles, but as their morale falls, they'll be less committed to an engagement and may rout (fall back) without being told to do so.
Nothing can require 1.3, since 1.3 isn't finished yet. They were doing interoperability testing with a draft version of TLS 1.3, and nobody should require a draft version of TLS 1.3 without having a fallback to TLS 1.2.
Great description of the problem. Licensing is going to be difficult in quickly changing fields.
Simulating AWS Lambda with Docker and Express
Why can't Wasm compile the GC as simply another thread in the app?

Kind of like how it does on a regular compiler
They've had verified accounts for ages.
Wow, the creator of Dwarf Fortress doesn't use version control? I don't even know what to say about that. It's like when I heard the creator of KeePass doesn't use version control either... why are people so resistant to VCS?
May I suggest that you try sampling from a high-dimensional distribution and see how many samples end up near the mode? For example, try a 50-dimensional IID unit gaussian and check how often r = sqrt(x_1^2 + ... x_50^2) < 0.25 * sqrt(D)? You can also work this out analytically -- it's the classic example of concentration of measure.

By construct samples from a distribution will concentrate in neighborhoods of high probability mass, and hence the typical set.
1% might be about the share of developers who work on battery drivers, video codecs or similar stuff which would be perfomance or battery draining relevant.
Their live streaming was all about content negotiation and marketing which I think they did a poor job of. The actual streaming was handled by MLB Advanced Media which is far and away the leader in this space. Twitter should just acquire them if they want to get into this space.
Clicked but got a certificate error
Is Google launching something that Apple passed on a while ago?
Is this universally true – i.e. baked in to the wasm spec – or is it just true in a browser environment? Consider things like NW.js[1] or Electron[2] – might we see cross platform apps being developed where all or parts of it are written in <insert language here> and compiled to wasm, then packaged up with a runtime and delivered as a "native" application for desktop, mobile, or whatever?

[1]: https://nwjs.io

[2]: https://electron.atom.io
The problem is that there are infinitely better questions to ask - like, "oh, what's your day-to-day like?" or "who do you work for? what do you work on?" - rather than terrible technical questions.

=====

> I think there's a false assumption here that somehow @cyberomin's ability to actually _solve_ a BST was in some way tied to his likelihood of entry. That's obviously ridiculous.

You just got off a plane. You've been in the air for the past 23 hours. The agencies in charge of border security at your arrival airport have a reputation, and a well-deserved one at that, for (1) harassing foreigners, (2) having unclear policies, and (3) more recently, having no idea what the actual law is (or actually outright disobeying it).

Still think it's that ridiculous?

=====

On top of that, there's a long history in our industry of people reading questions and answers off pre-prepared lists and saying "oh, your nuanced, correct answer doesn't match up with what I've got written down here - sorry, I'm trashing your application".

While it would absolutely disgust me to see the TSA/CBP use something like that, I would also be completely unsurprised to see it happen - especially if it happened to a non-US citizen, since they have next to no legal standing in the U.S.
Honestly I'd suggest that the company in question takes a little bit of time to construct a toy project of medium size that's relevant to their application domain and asks the candidate how they would solve it.

This gets the candidate to talk about their problem-solving process in broad strokes, like, for example, they could ask a few questions of the interviewer, say things like "I'd break X feature into these 5 pieces, each of which are discrete functions, and I'd have to look up an algorithm to do Y for piece 3, etc."

As many people here have pointed out, what you're looking for isn't knowledge of any particular algorithm, but an idea that they know how to take a problem and get it from a business objective to an operational definition of a software product. If they can do that, the implementation part can be (and often is) literally all copy-pasting stack overflow posts, and that's fine for the intents and purposes for the business.

Furthermore, a process like that should, if the company already has competent engineers (And if they don't, how do they think they're going to successfully assess further additions to their team with any certainty?), allow said engineers to assess the new candidate's ability to get up to speed on their problem domain and meaningfully contribute, without relying on indirect proxies of knowledge.
At least Google has a post-mortem, at AWS everything would still show up green with some random note about 'increased error rates'.
Unfortunately those benchmarks don't compare against HHVM :/.
This is why we need a distributed p2p ridesharing system, like http://libretaxi.org/
> it seems like you have to type quite a bit to get the omnibar(?) to prioritize the bookmark result over the other autocompletes

Not exactly. Once you set the keyword, you can type the keyword and press enter. Here I use hn to reach Hacker News and sd to reach Slashdot: http://imgur.com/a/EaRCo
To add to this, human labor doesn't begin with the Industrial Revolution. Prior to it, people produced the bulk of their own food, clothing, furniture and tools. Most manufacturing was done in homes or small, rural shops, using hand tools or simple machines. Serfs may have been tied to the land, but they worked for themselves on their own schedule, not a micromanaging lord who demanded set working hours. Before mechanization and factories, textiles were made mainly in people’s homes (giving rise to the term cottage industry), with merchants often providing the raw materials and basic equipment, and then picking up the finished product. Workers set their own schedules under this system.

The Industrial Revolution's effect on the working class is somewhat similar to what Chinese peasants who are forced to move out of their ancestral villages experience. Sure, the economist will tell you that real wages increased and the working classes began to have a more varied diet, as if that in total defines the overall happiness of a person. But despite the rise in income, many feel worse off..going from working outside and in a small, yet tight-knit community to being forced to live in polluted cities in cramped apartments where even though there are more people, there is more loneliness and alienation.

I'm fortunate and I work remotely. Due to not having to deal with all the distractions and wastes of time that are part of the modern office, I'm able to be roughly 1.8x more productive (stats from github & RescueTime). I do the same amount of work in 20-25 hours/wk that I did in 40+hrs/wk (not even including commute times). My morale, motivation, and creativity has increased greatly. I don't have to take a vacation day to deal with doctor's appointments, picking up clothes from the cleaners, going to the DMV, or whatever else you can only do from 8-5 M-F. In short, the company I work for is getting the same, if not more productivity out of me (my code is definitely of a higher quality and I'm never burned out enough to take shortcuts.) without any cost. I don't have to commute, pay, spend less on gas, eat healthier and cheaper because I have access to my kitchen, etc. It's a win for both sides without costing either party anything beyond the risk it took on allowing a remote culture.

So much of work in the modern office is pure optics. So many times after lunch I would be well served by taking a nap for an hour or two instead of wasting 2-3 hours staring blankly at a screen while I'm doing the microsleep, head bob dance.
Uber CEO caught on video arguing with driver about fares, adding to bad month
From your description I would assume you got to use the version where IBM tried to create a Smalltalk/Lisp Machine experience for C++, similar to Lucid's Energize C++, which was so resource demanding that IBM gave up on it.

Nowadays we have Apple and Microsoft returning to the idea of using databases to model C++ on the IDEs.
Elon Musk Slams Tesla Union Drive
You sound like someone who doesn't realize this isn't 2006 anymore and people stopped pretending to change the world with every new job.