skysight-inc/HackerNews huggingface dataset:
Is Uber about to go public? I'll believe it has won once we see some more numbers.

I am baffled how they operate here in Taiwan. Uber has been declared illegal here. Drivers and passenger are issued fines when caught. Uber fully compensates them. Now the laws are more strict; if a driver is caught 3 times, his license is revoked. Yet there are still 5 cars within 5 minutes of me at any time of day.

I don't understand how that works at all. It does not seem to be a good way to get into the good graces of a country. I wonder how many places Uber operates illegally and pays fines, and how analysts use this to calculate the future value of the company. Do they assume Uber will one day be made legal in all these places? That would boost the valuation but I'm not sure it's accurate.
Finally a replacement for "Site got slashdotted": "Site got Prince'd". I like it.
When I can code by thinking in a headset, is the time to end the search of ergonomic keyboards.
I'm constantly amazed at how Americans are so afraid to offend their employer by demanding things. They are not your family! I actually want these relationships to be more adversarial.
This hoodie has integrated speakers and microphone to listen to music and calls
Judge: Pats fans' Deflategate suit 'without merit' see more infor here http://sh.st/IGVR3
Avg one bedroom apartment in SF is 50% of the take home pay on 120k.
Is there any way that I as a Westerner can help this process along?
Create programs for all Amiga platforms with Lazarus
We are very much accepting contributions.
I thought it was illegal not to have read Hamlet by 21?

Seriously though, give it another try. Shakespeare's wide-ranging enough that there's likely to be something to your taste. And with his comedies, especially, I'd recommend watching Shakespeare and not reading him- that's how his plays were meant to be experienced. Although it's nice to read an annotated version and discover all the (often dirty) jokes you didn't get.

Added benefit to reading Shakespeare: you'll understand about 40% more literary allusions (read the Bible, Ovid, Homer, and Virgil to get the rest).
The art on your site is sooooo cute! Who did it?
Announcing Apex Software Inc (TJ Holowaychuk's Latest Venture)
Yeah as I said it's a viewpoint. The viewpoint I meant is the technical (and performance-centric) one, not the mathematical one.
Cost is only $100k per year and it's technically run by private citizens so completely deniable from a diplomatic standpoint. It really is brilliant.
Interesting! It never ceases to amaze me what tricks one can pull off with bit manipulation!

Thanks for reading!
> The Soviets were brought down by the humble FAX machine.

Assuming your description is accurate, this is still only sort of true.

The Soviets were such a disaster that their downfall was greatly overdetermined. Without fax machines, they would have been brought down by something else.

"Old age" used to be an official cause of death. There was a period when we started doing autopsies on people who had died of old age, and discovered (keep in mind this was new information at the time!) that in every single case, those people had died of some malfunction that would have killed anyone else, old or not.

But, after a spree of autopsying people with the goal of preventing death, we figured out that there were basically no implications to this. What happens when you're old is that everything is failing all the time. Remove a 20-year-old's ruptured appendix and they'll probably go on for several more decades; if you fix a similarly severe problem in an 80-year-old, they're unlikely to get one more decade, because a completely different problem will kill them shortly afterwards.

The Soviets were like that.
Thanks for the explanation. This makes me want to read up on Algol and Eiffel. Do you have any recommendations? It's funny I like Algol has finds it's way into a lot of discussions lately.
There is awful behavior on reddit, but I don't know if SRS is the answer. Actually at this point, no one knows what SRS is anymore.

Edit: okay I found this. https://www.reddit.com/r/ShitRedditSays/comments/o0pdv/meta_...
I was using half a 4k screen (2x scaling). Making it full screen allowed me to see the whole page.
I'd much rather see a web standard not tied to Apple or Google but I think you're right that we're not going to get it.
> Yes it's important to know the capabilites of your language and deployment stack -- but that just requires study, which in my mind is different from practice.

I agree. Which is maybe why Stackoverflow solves so many problems for a developer. You know what you want to do, you know how you want to do it. But you're stuck because you can't make sense of an API or don't know where to look for the functions you need.
Thank you! We have an amazing designer. You can check out her stuff here: https://dribbble.com/jaleh
It looks to be working ok for us. Can you let us know what browser you are using?
Uber is a simple service, for which competition is natural, in theory.

If in practice this turns out to be different, then this is a failure of capitalism, and somebody ought to do something about it.
Unlike Outernet, this is also actually deployed in the field and works at scale.
> I think the biggest takeaway from this is the amount of poorly thought out software that exists there which assumes that Linux is the only unix.

If shit continues like it has been as of late, it may well be that they start thinking Fedora is the end all, be all, of unix...
Hi. Do you think the performance of Wikipedia during this period would be improved if you had no ego? I think it would. Without an ego, a more optimal solution would result from multiple cycles of self-refutation.
The future is brain-to-text, where our thoughts get piped directly to Alexa/Siri/Cortana/Now

http://www.kurzweilai.net/brain-to-text-system-converts-spee...

No need to utter words in public.
Scalable API Testing
When I wake up and my first thought is "I'm alive!" It's actually going to be a good day.
In terms of security, this doesn't improve anything (all security hinges on the master password). In terms of flexibility, this is a lot worse than a secure password manager.
It absolutely does affect the predictions research makes, because funding and PhD students are assigned to whatever models are most popular at the time. For a long time that was string theory, and a lot of departments considered other approaches to be non-optimal for career progression.

Which sounds fine if you believe that heterodox but still valid science gets into the mainstream eventually - like (e.g.) the theory of continental drift did.

But what if useful science falls through the cracks? What if we could have had a valid theory of quantum gravity by now, from a left-field approach that never had funding or PhD students to research it?

How would anyone know?
Just why is being a "real" UNIX that important?
What I would like is less complex but still very hard: wireless earphones that somehow self-charge, from radio signals, the sun, body movement, or whatever would let you leave them on all day and never have to worry about charging them.

Couple that with a simple and easy way to switch between your phone and laptop. I mean these mainly for listening, to music, a video, a game, etc. But when a phone call comes in, you can switch to your phone and use them as a wireless headset.

Finally make them stylish. Not ornate and gawdy but just sleek and thin and with good metal, like jewelry, and everyone will just wear them all day long without self-consciousness.

We have to figure out how to make them self-charging though. That's the hard part.
Lessons from the Great Minds of Investing
Thanks!

It sounds like there's definitely some stuff we could be doing to improve our branding--we're new and we're learning, and the word "positive" seems to have been misconstrued by everyone from what we meant it to be to who we are as a company.

One thing, just as a note, is that we're not trying to be a "safe space" community, and we're not trying to censor disagreement, remove negativity, or even get rid of all hate and mean comments. Those all have a purpose, and without them it becomes an empty echo chamber and there's no point in actually talking.

Also, the fact that we're trying to take a stronger stance on harassment is just a tiny, tiny bit of what we're doing differently. We're not trying to be a safer Reddit, or even trying to be a direct Reddit competitor.

What we've built is in response to issues we've seen in all different platforms--Reddit, sure, but also Tumblr, Twitter, Facebook, Patreon, and more. We've tried to build a really broad, flexible platform that makes it so communities can do all the things they want to in one place, with a developer platform to make sure that's possible. We've built in a payments system. We've designed it to be more user and mobile friendly instead of an outdated forum style. Those are honestly the things that I care most about, and the possibilities they open are what I think will have the biggest impact on hopefully making Imzy a really viable community platform that I want to work on, not the things that we're trying to prevent.
It sounds like you're thinking of a statement like "there is a prime number" being interpreted as Fa (where a purports to be the name of a number, and F means exist). But really, it should be interpreted as Ex Fx--there exists some x such that Fx.

The second statement is meaningful as long as F is meaningful, and whether F is meaningful is not a matter of whether there are any things such that F. A predicate can be semantically meaningful without having anything satisfy it.

This is much like the mistake that Russell criticized in On Denoting, with the difference that he discussed definite descriptions. But the error is the same: he attacked opponents who thought that "the present king of france is bald" was either meaningless, or required some sort of bizzaro existence for the present King of France. And Russell's move was to analyze the statement as claiming there is something that is the King of France, there is only one thing that is the King of France, and that thing is bald. And clearly, that is a meaningful conjunction, though there is no present King of France.
I wondered the same thing.
I was a classically trained musician and learned to implement some of these techniques in practice sessions. They're really effective.

But how could we use "deliberate practice" to improve coding? If we assume coding to stand for solving problems with code, then it seems we'd need to deliberately practice problem solving.

It's possible to measure problem solving skills, and push those skills outside of a comfort zone. But it's not as straightforward as measurement, "I'll play this passage without mistakes 3 times in a row", or "I'll place this golf ball on the fairway 5 times" and adjusting performance based on feedback.
My take away from this article is that the notification center on a phone OS should really take the cues from messaging apps and experiment with providing a more meaningful thread-based way of displaying notifications with more information than red bubbles with numbers and a better way to act on them than just launching the associated app.
Could we create open standards? Yes. Will businesses? Probably not.
A lot of 'apps' for food act as an aggregator, which is the closest I can come to an API. But they are locked into one provider - hell, even getting opening hours, menu and how to pay standardised is hard. These all have standards available. No one uses them enough.

Why not? Technical difficulty - my local pizza shop doesnt care about running a payment processing endpoint, structured data, etc. Its counter to their goals.

What we need is an open source point of sale system that is web first - oscommerce with a desktop UI kind of thing. Then it becomes easy to add in 'publish standard compliant data'
Throughput:)
A few hundred. Automation, FOR THE WIN.

We use Chef, at this customer.

For another customer ~30 machines. Ansible there.
Here's another way to look at it: Facebook, Google & Twitter sell their software to advertisers that allows them to reach their target audience. Here "selling" is actually a service.

Uber is mostly a software company - the cars are owned by the drivers. When you pay for a Uber ride, you're infact paying a part of it to the software which helped you find the ride.

Apart from that, there are huge swaths of enterprise software companies in every industry/domain you will probably have never heard of. Some of them are even billion dollar companies.
If we have the interface why stop at brain to text? Why not make the computer a part of our brains?
No worries! Thanks for the kind words. I do think the dinos set a happier tone, which probably helps people to converse in a more civil way, but we definitely don't want to infantilize people. We just like dinos ourselves. :)

Also, just as a note, "safe space" was the author's words, not ours. We're taking a stronger stance on harassment, sure, but there's still plenty of room for negativity and disagreement. You can read more in my other comments if you care to hear more about our philosophy.

Thanks for taking the time to respond to me!
Yeah I feel like everyone thinks the spoils of the ride sharing fight is a future network of automated vehicles which should be lucrative, but is a long way from now. Yahoo looked like the winner of the search engine war once upon a time.
I don't know what you mean by "essentially the same", but there are some significant differences. There are reasons you might doubt that San Francisco exists, the primary two of which are:
1) you believe that only things described by fundamental physics are real, everything else we talk about is either reducible to physics, or some sort of strictly inaccurate approximation to some physical reality.
2) You don't believe (1), but still think that for some reason San Francisco seems too vague of an object.

But that said, if San Francisco does exist, it exists in space and time. It didn't exist until the past 500 years, though the land it inhabits existed before then. It's also between 1 and 13 thousand miles from the Easter coast of China. You can locate it, you can go to it, etc.

None of those things are true of the number 5 (http://plato.stanford.edu/entries/abstract-objects/).

It's perfectly open for someone to deny that either or both of numbers and San Francisco exists, but the considerations seem a little different.
>And recently with the implementation of efficient simple open-source SMT solvers (minisat, ...) implemented within gcc or llvm you can now even use normal C programs and backtrack results, optimize and check types, do bounds checking, generate tests from bugs and so on.

Any links to examples of the above?
> Large CPU usage slows down other apps - that's one reason why I use ff instead of chrome.

The idea that apps should intentionally throttle their CPU usage to avoid "slowing down other apps" at the expense of performance is nonsensical. Apps should use all the resources in the machine to get the job done faster and go to sleep faster. The kernel, not userland apps, is responsible for multiplexing the system resources: that's literally its job, and only it is in a position to do so properly.

> I was pointing to the promise that it shouldn't leak while it seems to be doing it seriously.

Nothing you've cited has been evidence of a leak. Adding a global garbage collector would do nothing to reduce the (non-)"leaks" you observe.

> Have you heard about experimental features like pipelining and prefetch?

Enabling those via about:config tweaks and addons slows down your browser. Session and history limits do not affect your browser performance.
That actually just sounds like good old fashioned nominalism or fictionalism--you'd have to sketch out a more detailed story, but I don't think it's actually distinct.
Honest question: How do you (or whoever is doing the takeover) know "what people want"?

After all we are talking about subreddits that somehow got popular with what they were doing... So why does a popular subreddit have to change and why do the people who made the subreddit into the popular thing it was have to find a new place instead of whoever has a problem with how things are done making their own and new place?
One thought i had would be make a qbe backend for llvm, just as a temporary solution until there are faster smaller frontends that can replace them.
Planning is worthless unless your today
You certaintyometer needs to be tuned. Around 129.000 people died in Hiroshima and Nagasaki and at least 200.000 people killed in Chernobyl until data. And this is a child's play compared with the >85 millions of humans killed by a worst ecological disaster. We can say with certainty that nobody thought in ancient times that those small and clean rodents, living peacefully in the grasslands and steppes of Central Asia were something to worry. Rats in Europe were not unlike the good species of mosquito if we think about it, with their own diseases and new random relationships...
>Revenge is not supposed to be the basis of any modern justice system, we don't lock people up to make them suffer, we do in order to change them, to make them not commit crimes again, to make them honor the rules of the society they live in.

That's patently untrue. The very notion of justice is built upon revenge. To say modern justice systems aren't based on it is to say they float in the air, founded upon nothing.

>If you really believe this to be true, you have to conclude that it is irresponsible for any country not to try to obtain nuclear weapons.

Well, yes, it is eminently sensible in many situations to obtain nuclear weapons for your country. That doesn't mean I have to support them doing so, as it is not necessarily in MY interest for them to do so, even if it is in their own interest.

> You are suggesting that humans are egoistic greedy assholes always wanting to just conquer the entire world, to grab all the resources and the only thing that prevents them from doing this are the expected costs and causalities of the conflicts.

Our domination of the planet suggests this is the case.

>It is a bit like suggesting that wearing sexy cloths is a bad thing because it provokes getting raped.

No, it's not.

>So if a dictator forcefully acquires the power in a country, the people are guilty?

A dictator cannot gain power without the support of a large segment of the population.

> It is immoral if they just try to survive instead of resisting and risking getting killed?

Yes. It is immoral not to resist evil.

>Is a mother guilty in case her child, despite her best effort, becomes a murderer?

What does that have to do with the price of tea in China?
It sounds like we just stopped knowing a lot of the digits of pi if what you're saying is accurate: http://www.jpl.nasa.gov/edu/news/2016/3/16/how-many-decimals...
One Shall Pass which I use exclusively has a parameter which specifies the number of generations to run its algorithm. So you use your same input and same passphrase and just change the generation.
We tried and it seemed to be working fine. Please email us at info at mapd dot com and we'll make sure to send you one. Also would be good to know what steps you went through so we can fix if necessary.
Trump winning majorities in 5 states is overvalued on PredictIt
> It sounds like you're thinking of a statement like "there is a prime number" being interpreted as Fa (where a purports to be the name of a number, and F means exist). But really, it should be interpreted as Ex Fx--there exists some x such that Fx.

This is a very low insult - to assume I don't understand the distinction between “F(a)”, where “a” appears free, and “Ex. F(x)”, where “x” appears bound. I understand logical quantifiers and variable binding just fine, thanks.

> The second statement is meaningful as long as F is meaningful, and whether F is meaningful is not a matter of whether there are any things such that F. A predicate can be semantically meaningful without having anything satisfy it.

Another very low insult - to assume that I would conflate “false” with “meaningless”. “There is a natural number that is both even and odd” is false. “There is a myppit inside the quxxit” is meaningless unless we first define: (0) what a “myppit” is, (1) what a “quxxit” is, (2) what specific “quxxit” we're talking about.

The one who's making a mistake is you, because “F” isn't the same as “F(x)”, but rather “λx.F(x)”. In a context where the variable “x” isn't bound, the the latter is meaningful, but the former is not. In other words, the judgment “Γ ⊢ F(x) : Prop”, asserting that “F(x)” is indeed a proposition in the context “Γ”, shouldn't be derivable if “Γ” doesn't contain “x”. But the judgment “Γ ⊢ λx.F(x) : T → Prop”, asserting that “F” is a predicate ranging over “T”s, is derivable from “Γ, x:T ⊢ F(x) : Prop”, and “Γ, x:T” is a context containing “x”.

> And Russell's move was to analyze the statement as claiming there is something that is the King of France, there is only one thing that is the King of France, and that thing is bald. And clearly, that is a meaningful conjunction, though there is no present King of France.

Unfortunately, “Bald(king)“ isn't the same as “E!person. King(person) ∧ Bald(person)”.
Honestly, the major cities in China are all seriously polluted, but still the degrees vary. Compared to Beijing, Shenzhen's pollution is light, as well to other cities with population at that scale.
How about equipping them with wireless charging? Its charging station could be a little bowl that you'd drop 'm in at night before you go to bed. Easy as pie.
You know, Google are so much in my life I don't even notice them!

Google beats everyone :-) they are so far ahead that I didn't even consider mentioning them!
Your PDF is thought-provoking, as was the NYT article.
just to be clear, I'm not the author of qbe, but I have followed it since it started. The author uses the handle mpu.
Maybe that's a new feature request!
Some Reddits are worst then HN when talking about censure.
Is anyone going to talk about the content of the article or continue on with the pay wall drivel?
I'm (probably badly) summarizing Lakoff & Nunez's book:

https://en.wikipedia.org/wiki/Where_Mathematics_Comes_From

Neither are capital-P Philosophers, and I don't remember if they actually make a claim that their ideas are philosophically distinct from fictionalism- they're more worried about platonists!

The other approach I'm fond of is saying mathematical objects exist but only inside the heads of mathematicians. As long as mathematicians share a particular idea and can talk about it, it's math. So when I point to the real numbers, I'm pointing at a real thing: the shared idea of them. There's no Platonic realm, but they exist in the mind. It parallels how mathematics is really done (a proof is only a proof if it convinces mathematicians) so I find it compelling on that front.
As they say, Don't' roll your own crypto.

I have a feeling the malware author, working in 16-bit realmode, forgot that ints are usually 16 bits wide in that environment. A "typedef unsigned int uint32_t" behaves as expected in the usual 32/64-bit environment, but not in 16-bit. It's unlikely the author invented the 16-bit Salsa20 variant, but rather copied existing code and just compiled it wrongly.
I wonder how much this earbud costs. Maybe he should mention it's $13 eleven times, instead of just ten.
As I understand it yes, but I think the "Micheal Jackson problem" is a better name.
For example: it would be nice to charge your cellphone battery only once a month even if you need to replace the battery once a year
Yes, but that's not explicitly mentioned in the article and is expected given that it's targeting a specific platform. You could say the same of OSX.

fwiw I've been using various flavors of linux for years(CentOS/Arch/FreeBSD lately) for everything but a single dev laptop I keep Windows for testing/native apps.

My comment wasn't meant to be advocating Windows, let alone XP, I just thought it was funny.