skysight-inc/HackerNews huggingface dataset:
There is a lot of ordinary mathematics that is outside of ZFC, which Friedman is well aware of but the writer of this article may not be. Grothendieck was not interested in abstract set theory when he introduced what are now called "Grothendieck Universes". He merely wanted to do algebraic geometry at a high level of abstraction. Similarly, Conway was apparently a bit dismayed when the formalization of his simple idea of "surreal numbers" required deeply unnatural encodings in ZFC...

My opinion is still that ZFC itself is unnatural as a foundation for mathematics, precisely because we have to do so much encoding to get anything useful out of it. And whenever you iterate "large" encodings you leave the universe of "ordinary ZFC". Conway suggested - and this is realized in modern type theory - that we should instead allow arbitrary "free" constructions, such as his surreal numbers, to extend the basic universe of mathematics. To some extend this can be encoded in set theory, but only with ridiculously large (Mahlo) cardinals.

This is not a direction that Friedman considers worthwhile, because he thinks that first-order logic and ZFC are inevitable. It's a shame that so many people on the FOM mailing list share the same view. There are good reasons why you don't find a lot of category theorists on that list anymore...
Or you could offer something in 3 which will make switching enticing enough for people to do so of their own free will.
I've had some major headaches getting TypeScript to work with Babel and Webpack 2. The main reason I had to use Babel was because I wanted to use Webpack 2's tree shaking feature. Do you know if it's possible to use just TypeScript and Webpack without Babel, and still take advantage of tree shaking?

Honestly this is the main thing keeping me from using TypeScript. I've spent hours, maybe days trying to deal with the mess of Babel/webpack/TS combined with ES6 modules (necessary for tree shaking).

Another problem I ran into was using various packages that weren't typed, but I suppose I can solve that by 'allowing' implicitAny.

I'd really love some advice on this because I want to use TypeScript. It's just been a major headache so far because things are complicated enough with all the other moving parts (Babel presets, import vs require, better but still not well documented Webpack 2, etc.).
Amazon resists Echo murder evidence call
Sony debuts the world’s fastest SD card, with a write speed of up to 299MB/s
>>My guess is a lot of people probably do this to bump up their social status a bit.

I had thought the Black Mirror episode titled "Nose Dive" was a bit silly at first, but as usual with that series, it 's turning out to be pretty prescient
GitHub commit search: “remove password” (8 days ago) – https://news.ycombinator.com/item?id=13650818
Πως Να Δημιουργήσετε Ένα Πλήρες Backlink Profile – SEO SERVICES GREECE
Thirded. On a recent trip to Bangkok, we'd usually have an easier time finding a Grab car than an Uber. In both cases, the experience was positive, while Uber drivers seemed to have slightly newer cars, at a slightly higher price.
In Brazil a startup was founded to do this, people travelling would bring packages to strangers. Most common use case was people bringing phones (electronics in general) from the USA, as our importing taxes are real high.

Our "IRS" shut down the company, even with they claiming every traveler would declare and pay proper taxes.
Fix all your needs by hacking
i was moved to contact geniusolution@cyberdude.com after reading amazing testimonies of what he can do, i needed my drug abuse records cleared and also needed travel documents to enter the united states, but to be on the safe side, i requested he cleared my records first, which to my surprise, i woke up this morning and he was done, i confirmed this from my lawyer, this hacker is legit
I didn't have to disable mine???
So true. Unfortunately bullshitting ability usually correlates to success.
Honestly, as long as humans stay stuck to earth, losing all humanity on earth won't hurt anyone. As long as the extinction is instant.
If we have colonies, those colonies need to suffer through the knowledge that we lost earth.

Establishing colonies is only imperative if the continuation of the human race is. I'd argue that humans have value only due to other humans. There is nothing inherently valuable about human life from a non-human perspective.

That is not to say I don't support space colonization, just that I don't think its a moral imperative.
> but I don't see any "shame-fest" here.

Did you read all the comments? Did you see she's closed her social media accounts?
Start with a refresher on calculus -- MIT's "Big Picture Calculus" video series is designed precisely for this: https://news.ycombinator.com/item?id=13634476

To develop your visual intuition, watch 3Blue1Brown's YouTube channel (he also has an "Elements of Calculus" series coming soon): https://www.youtube.com/channel/UCYO_jab_esuFRV4b17AJtAw

Try to find the geometrical underpinning for each topic you learn. This will not only help you visualize what you're learning, but it will also help keep a red thread going as you traverse from topic to topic.

After calc, I would study Linear Algebra next since it's at the heart of numerical computing today, see: https://news.ycombinator.com/item?id=13620871 (note the comments, they also include many good pointers and references, e.g. here's a list of video's that help you visualize https://news.ycombinator.com/item?id=13623711).

The Numberphile channel is always good to keep your mind thinking in numbers: https://www.youtube.com/user/numberphile

Also, you can go through my HN stories profile -- there are a ton of math-related links and discussions in there, such as this one: https://news.ycombinator.com/item?id=13631213

Explore math topics on WikiPedia, YouTube and online lectures from MIT/Stanford/Caltech/Berkeley etc.

Group theory comes up often: https://en.wikipedia.org/wiki/Group_theory

Set theory is at the root of everything: https://en.wikipedia.org/wiki/Set_(mathematics)

Pay close attention to the concept of intervals: https://en.wikipedia.org/wiki/Interval_(mathematics)

Practice reading journal articles until you can start to understand the notation (this may take a while but persevere, the continual exposure will start building fluency).

Practice implementing the concepts you're learning in Python.

Ask questions on MathOverflow http://mathoverflow.net. Quora is also good: https://www.quora.com/

Get and read SICP and do the material for the online MIT SICP course (it's the all-time classic CS course, with a math bent):
https://ocw.mit.edu/courses/electrical-engineering-and-compu...

...the SICP videos are on YouTube too https://www.youtube.com/playlist?list=PLB63C06FAF154F047

Explore and have fun!
Oh, I'm wrong because you don't like my username, copy that.
Windows still doesn't come with a C compiler

Not with the default install, but it's a free download from microsoft if you want one (either as part of an IDE or as a standalone command line tool). An official native port of OpenSSH is in beta and should be ready to ship officially soon.
What do thos benefits have to do with how ethical the company is?

That's just misdirecting attention.
You could have named closures, so that's hardly a valid reason.
Exactly. And this is being done by a science publication. Irresponsible. Let's make people freak out and fear AI even more, and unecessarily, with a clickbait title.
Well played. As you point out, my comment did not add much. Re-reading the original question, I see where I went wrong. I took it as the op looking for places that have great work life balance, awesome projects, and such (which I thought many HNers can likely boast about) and limiting the response to Facebook. Reading again, I see they want a compare and contrast with Facebook or folks to just give their impressions of working there. My bad.
That's not a good excuse for denying ordinary people of their basic rights. There will always be killers anytime, anywhere.
Nick Dupree Fought to Live 'Like Anyone Else'
Possible Applications of the Newly Discovered Metallic Hydrogen
[video] Hardly Working: A Review of the Laevo Exoskeleton
I'm a Polish expat. Last time I was in Poland I made an effort to speak friendly Polish to my taxi driver.

He could immediately tell I wasn't fully Polish and launched into a bigoted tirade about Americans and refused to drop me off unless I paid him a large tip, because as an "American pretending to be Polish", "I can afford it".

He was not a licensed taxi driver, of course. But sometimes keeping your mouth shut and staying in your comfort bubble is exactly what you want. Thinking that learning please and thank you never hurt anyone is itself something you can only do from inside of a bubble.
I don't think is a good idea to feed a healthy activity with unhealthy palm oil.

That peanut butter has palm oil probably, but Nutella has it for sure.

Palm oil is very bad for your health, and it's very bad for the environment.
Personally I'm of the opinion that power meters and heart rate monitors should be compulsory for all professional bike races, the data kept privately in escrow for cases of suspected cheating.

It's one thing a domestique getting a bit of a sticky bottle from a team car or someone drafting cars back to the peloton after a crash but now we have the specter of mechanical doping hanging over the sport.

At least with power/heart rate data you could compare the cyclist's performance (speed, rate of ascent, etc) with the power measured at the pedals. If someone's power jumps 50 watts but their heart rate doesn't change over time you know something is up.

Some riders have said they'd like to see power meters banned as it affects the tactics of the race. In that case all you'd have to do is hide the live data from the riders.
I don't ask the question, because I don't know the answer. I ask the question because I want them to say it.
SlamData raises 6.7M to provide business analytics for nonrelational data
An Algorithm Is Replacing Bail Hearings in New Jersey
10 Breakthrough Technologies 2017: Reinforcement Learning
Do it now. Every year it will get harder to find the time.
For major news sources:

Guess it by correlation. E.g. Google for something that appears on every BBC news page and observe the order google returns the results in to infer popularity. Do that for all the countries major news outlets.

Run all the sources through OpenCalais to collect features.

Present the features.
"Fundamental" was not an important qualifier in either of your posts. OP did not define what that meant in their context, and therefore it's not fair to nitpick based on that alone. They might as well have said "ticklish" for all the difference it made to their overall point.

If that's really what your whole post is about, why take the take to argue definitions? What does fundamental mean to you exactly?
Why only Estonia?

Is net neutrality in danger in the rest of the EU?
I've just read her blog... Fair statement.

That doesn't negate from the fact that there is still too little evidence to call.

For somebody who collected so much evidence you would hope you would be able to see it?

Why did she not seek help outside of the company if the company was acting illegally?

Other witness accounts? Lots of women are meantbto have left over this, where are their accounts?
I saw this beautiful quote on his blog at http://www.nickscrusade.org/about/

"I write not because I have the strength to write, but because I do not have the strength to remain silent." — Rav Avraham Yitzchok Kook zt’l

A disability rights activist with a severe neuromuscular disease, he had a short but meaningful life. A crusader in his own right.
Yeah. Typically you don't even use Choice though, instead it's Zorn's Lemma: https://en.wikipedia.org/wiki/Zorn's_lemma. Zorn's Lemma has interesting weakenings, like https://en.wikipedia.org/wiki/Boolean_prime_ideal_theorem (they all amount to statements about particular types of ultrafilters: https://terrytao.wordpress.com/2007/06/25/ultrafilters-nonst...).
I always wondered how to de-orbit those rods. It's not like you can just 'drop' them as they are already in free-fall. You'd need to cancel quite a bit of orbital velocity to get the things to de-orbit. Aiming'd be even more of a bitch.
This is the definition of "the colonialist attitude."

The "white man's burden" was the justification for all manner of interventionist, abusive (and self serving) policies.

Countries can definitely improve without "our" help - that's not to say we shouldn't offer our help, but we definitely shouldn't go around assuming inherent superiority.
_This article appeared in print under the headline “Computers are learning to code for themselves”_

Oh dear New Scientist. _Steal_? What was wrong with the original article title?
How to secure your data in the Cloud? to take an advantage of 2FA
Maybe this is my hypersensitivity, but whenever I read a little one-liner followed by: Sad!, there's one person I think of. And trust me, that doesn't help me accept what the author of the one-liner said.
In the meanwhile, Mark Cuban says: "I personally think there's going to be a greater demand in 10 years for liberal arts majors than for programming majors and maybe even engineering"

(From this article: http://www.inc.com/betsy-mikel/mark-cuban-says-this-will-soo...)
Git bisect commits – Finding broken commits in git
>For example: you can't assign the result of an "if" statement. Why? Because it's a SyntaxError, no real reason. There is even an "ifExp" in the language grammar, but that's only for inline ifs.

Do you mean something like a ternary operator? You can certainly do:
x='foo' if condition else 'bar'.

In fact you can even do multiple assigments:
(x,y) = ('foo1','foo2') if condition else ('foo3', 'foo4')

where 'Foo' may also be a function call.

>I think people feel like it's unpythonic and instead pollute the namespace with singleton classes that only have one method.

There's a few pycon talks on "a single method class should not be a class" but I'd say that's the single responsibility principle at its purest along with the community needing to move to more lightweight structures like namedtuples.
I am suspicious he was not at 5 % body fat after the hike. 5 % is extremely low, like really really low, and he used impedance scales as he said in his post.

I use them every day and the fluctuations can be massive due to the water content in the body. And obviously long hikes do mess up hidration a lot.

He should try weighing himself / checking fat % for 5-6 days after the hike on different times of day.

I am not saying his hike sucked - I am envious, I wanna do it ! :)
Reinforcement Learning (computers are figuring out how to do things)
It's not just the swelling (the swelling mostly makes your feet wider, not longer) but when you are going downhill your toes are hitting the front of the boot and this is something most of the people don't test when they are trying them out in stores.

This should not happened if you sized and laced them correctly.

Also, keeping your toenails short is an important thing to do.
The "there is at least one class which.." doesn't mean "there is at least one class in that class of mutually exclusive classes which..."; it means "there exists at least one class at all which...". This is one way of phrasing the axiom of choice (although Russell uses "class" instead of "set"; in modern-day usage, we distinguish classes from sets, and AC applies to sets only).
I was going to do that but did not yet. I must say that I generally try to do not do any 'frontend' stuff. So sure I do prototypes of the frontends but someone else does a UX/UI and the coding of that. So my thinking is architectural, the different components, algorithms and low level implementations. All of these I can work out in my head with some Google + paper which means I can walk during that. If I would have to do HTML/CSS it would not work; I am not sure if that's because i'm just not that fast with it, but it's way too much iteration to not make me sit in front of a (large) screen for too long. For instance, when I have to do embedded work, thinking up the coding, let's say for a RISC chip, can be worked out to quite a lot of detail before typing 1 line. Worse; if I don't work it out in detail, I'll just end up frustrated behind a debugger and a lot of crashes. I have done that since I was young as assembly or low level C never worked well for me while iterating; only in recent years I realised that this applies to other projects as well.

Another thing that has to be said is that peripheral vision is important; when I walk writing or staring in my phone, I don't have issues tripping, walking into things etc. I would be very handicapped if I did not have that. And another thing with my eyes is that I read very very small print which is why I can work quite comfortably on small tablets / computers (I am looking forward to receiving the Pyra).
Fingerprinting Firefox users with cached intermediate CA certs
Ghost is shit. Node.js is shit
>It's just doxxing the poor girl.

Actually she is a fully grown up woman.
I was very stressed and watching this calm me down. Thanks
Don't forget about space debris. Hitting anything at the posted max speed is just gonna dril a hole straight through your ship. If it's big enough, it'll add some nice shockwaves to really mess up your ship.
Beware of these five data security risks
HTML Canvas vs. SVG
John Romero talks about TEd, the tile editor that shipped over 30 games
Very interesting, thanks! Partially trained based on subtitles from movies. Of course, I think I'd want to be pretty careful about which movies I used to train the system!
Might be an off-topic, but recently I learned that Windows does come with a C# compiler. It's included in the .NET runtime, which is installed by default nowadays. This might be useful if you're extremely lazy to install any language implementation. It is quite amazing since even Ubuntu doesn't ship a C/C++ compiler by default.
> Showing it’s not provable, on the other hand, is more difficult. He did this with a proof by contradiction: He began with the assumption that he could prove his theorem in ZFC, and then constructed from it a system of objects in which ZFC holds. Which means that if his theorem holds true, then ZFC is consistent—and, transitively, that ZFC has proven its own consistency. But by Gödel’s incompleteness theorem, that cannot possibly be the case. And so, the theorem cannot be proven in ZFC. He’s working to extend the theory to other types of symmetries, other definitions of “maximal,” and other types of objects.

So he encoded some statements about ZFC into these statements about sets of rationals. Wasn't Gödel was able to do better already, encoding statements about ZFC into basic arithmetic/number theory? I guess I just don't understand what the big breakthrough is supposed to be, even though I'm interested in alternate axiom systems (e.g. the whole homotopy type theory / univalent foundations business). Is the idea that he's come up with some new natural statements about symmetries of sets that turn out to demonstrate incompleteness? That would be an innovation, but the above description makes it sounds like it's more about finding symmetry statements that correspond to ZFC.
Infographic: HTTP GET vs. POST
Perhaps install a treadmill, with a desktop setup attached to it? [1]

Or, better yet, [2].

[1] http://thehumansolutionblog.com/wp-content/uploads/2012/12/t...

[2] http://assets.inhabitat.com/wp-content/blogs.dir/1/files/201...
Math Professor Fighting Gerrymandering with Geometry
Great film!
the windows subsystem is limited to the latest version of windows 10.

actually - scratch that: its limited to the now coming version of windows 10. there are (to my knowledge) no plans to ever port it to any other system. this was stated in one of the earliest interviews about it iirc
British tourists have to PAY to visit Europe after Brexit,
Maybe read some of the other HN discussion on all this. I saw many comments corroborating the toxic culture at Uber, and none refuting it.
Unless you are excluding Pluto deliberately for not being "a planet", its moon Charon has half the diameter of Pluto. They are even both orbiting a common center of gravity outside Pluto.

https://en.wikipedia.org/wiki/Charon_(moon)
You are reinforcing my point in a way.

If you look at the nltk site's docs on installing on Windows [1], you see there isn't even any mention of anaconda. In fact, there is basically a set of links asking you to go and figure it out for yourself. Either the maintainers of the NLTK project are not aware that there is a better way (using anaconda like you suggest) or they are aware but haven't seen any good reason to update their documentation.

So why do they (and broadly the 'ecosystem') not update their docs to be more Windows friendly, or to even develop their software so as to be pain free to install on Windows in the first place?

That is the ecosystem effect at play here. How many people are likely to stumble on to your comment when they search "install nltk on windows"? On second thoughts, with my double quotes and all, now they might :-)

[1] http://www.nltk.org/install.html
6 overlooked SEO metrics
Even without lobbying and corruption, economies of scale favor larger corporations over smaller ones. This concentrates wealth, and power, into the hands of ever fewer people - unconstrained, the free market leads to feudalism.
What If this AI (Deepcoder) manages to manipulate it's own code?
Would basic geoblocking help? A setting that says this account cannot be accessed outside your home country? Has the plausible deniability of "security". VPNs can also be effectively blocked if the same lists Netflix etc subscribe to are used.
Learn how to code from these YouTube channels
Using the Pokemon Go API
that sounds pretty easy to debug though

but the verbosity.... it will be a lot of writing, even for a simple function
>> "He was not a licensed taxi driver, of course."

So it wasn't speaking Polish or being American that hurt you - it was getting in a strangers car instead of an actual taxi.

This may be of use: https://en.wikipedia.org/wiki/Stranger_danger
Many Ways You Can Become a “Purple Cow”
Reddit Is Being Manipulated by Big Financial Services Companies
See the title "getting started..."
Why is accidentally invoking nmap and/or any port scan generating logs that humans were looking through?
> Welcome to 2017, where crying wolf has no negative impact on them if proved untrue.

This smells like underlying bias to me, I'm afraid. Crying wolf in many of these areas has frequent negative impact -- hell, speaking out with good cause has negative impact. Who wants to volunteer to be at the centre of the next ethics in game journalism storm?

But this specific action -- choosing to no longer use the services of a company -- does have few repercussions, which does make it a good way to protest.

> Because by default, all women are automatically part of the cause

This could have been worded more felicitously, sure. Substitute "those negatively affect by the oppression and those sympathetic to them" and the point stands.

> Regardless of her respect in SV, we can only look at the facts.

As others have said, it seems you didn't look at the facts here. But regardless, the original point is not about the author, it's rejecting the idea that people are only able to delete their Uber accounts to protest the patriarchy because the very patriarchy they're protesting doesn't exist.