skysight-inc/HackerNews huggingface dataset:
Sorry, didn't see this comment earlier and it deserved a decent response. For the record, I live in a country with anti-hate-speech laws. It doesn't seem to make much of a difference. There's still plenty of people peddling racist viewpoints who aren't anywhere close to violating said laws. Equally, some of the things I've mentioned _are_ already illegal in the US, if not heavily enforced.

The question of liberty is a fundamental one, but I'm going to ask you the converse question: what are you prepared to do when your liberty is threatened by someone exploiting your system to do it? This isn't theoretical: Chavez' Venezuela demonstrates a good example where a democratic result was used to plunge a country into authoritarianism. I'm sure you can find authoritarians in your own country that are staunch supporters of the first amendment, they're not as incompatible as you might think.

The Snow Crash example is extreme, but there will always be (and have always been) bad actors. Some of these people will be exploiting the laws as they exist to cause harm. Some of these people will be lawmakers exploiting situations to gain greater control. We need to be on our guard against both.
Any in-depth article on string diffs should mention alignment algorithms such as Smith Waterman [1]

[1] https://en.wikipedia.org/wiki/Smith%E2%80%93Waterman_algorit...
It took less than a minute of satellite time to catch these thieves red-handed
Science versus the ‘Horatio Alger myth’
Are you talking about the white mans burden?
DesignBids Launches New 3D Tool for Homeowners to Design the Interiors Virtually
Autoplay video. How annoying!
MyTaxi covers a large part of Europe and covers parts of the US as well I believe
I guess some of it would be hearsay, as some of her story involves what other engineers were telling her, but yeah, this is firsthand testimony, no doubt with plenty of screenshots/emails/etc to document.
How this stay-at-home mom turned a hobby into multi-million dollar business
"GM loses $9,000 for each unit sold."

I'd be careful with figures like this. It's possible they are investing with the idea to ramp up production and get to profitability with scale, or with predicted reductions in battery price. It's also possible that the way CAFE rules calculate an average over a manufacturers entire fleet mean that by taking a loss in one place they can earn or save money in another.
It doesn't really matter when it comes to Python, for the most part. Most big packages now distribute wheels which include pre-compiled binaries. I.e. no need for a compilation toolchain on Python. It's been like this for a year or so, I think, and continuously getting better.
On most OSes, open a terminal and type 'python', and you get a python2 REPL. That's reason enough to write a lot of scripty admin / automation stuff in python2. And then if you need to extend that, it's easy to just continue on in python2. It's there, it works, it's stable, you don't have to maintain versions in case of security issues, the OS package does it for you.
>We’ll take another look when [Yarn] matures a bit further.

I thought the same thing, but about NPM. It was using up all my inodes and felt really slow. I decided to give up on JS development for a while. Then, a month later, Yarn came out. The projects I couldn't build before were building!

Yarn keeps your inodes safe :)

Maybe NPM has fixed those problems, but I'm a believer in Yarn now.
Show HN: The Grid Vision – The Internet After the Web
How does this relate to automata theory and Wolfram's principle of computational equivalence (spare me any lectures about his self-promotion) and the conjecture that universal Turing machines are virtually ubiquitous and arise from the simplest of rules?
AUDUSD: Risk Points Higher on Trend Resumption
I found out only afterwards when I tried to file a police report. I don't think it's reasonable to expect travelers to know how to vet the legitimacy of taxis they are getting into in a foreign country.

This is one of Uber's value propositions.
There are many ways to help, apparently "the colonialist attitude." is the only one being understood around here.

Ever heard of things like volunteer work, Engineers Without Borders,....?
No idea what you are talking about.
It's a question of who do you give the benefit of the doubt to? The woman who says "things are really bad at Uber for women" (and can point to plummeting diversity figures to back it up) or the company with the dodgy ethical history in many areas of employment law?

And that's also what makes the protest so appealing. The protestors _don't have to justify themselves_ to you; they don't have to meet your arbitrary bar of "yes, this is now real enough for me to consider it as sexism, you are permitted to complain".

They can just decide who they believe, and act accordingly. And have.
ZF is subject to the incompleteness theorems, it can't prove Con(ZF). Even much simpler systems, like Peano arithmetic, are subject to them.
Yea, I suppose I cannot really deny that using python on windows is occasionally very slightly harder than on Linux. And many developers are ignorant of windows and don't write good/any windows documentation. But by the same token it has gotten dramatically better over the past couple of years, and there are now people within Microsoft actually working on improving the Python on Windows experience.
Parent has 3 capitalized words among 200 for emphasis.

How is that excessive, or are "guidelines about capitalization" relevant?
Sparse is better than dense.

Why do you need everything to be an expression? Sure, a variable lookup takes a nanosecond, but that's a small price to pay for readability.

The fact that Python has an if expression and a lambda expression, but they were intentionally, not accidentally limited to one line should indicate there are some benefits to the trade-off.
Hire Dedicated Custom Servoy Developers
Have you actually tried .NET Core? It's really not hard to create a ASP.NET Core website and host it in nginx.
If you don't have Time to walk the Hall
Hoping that some third party reads this and isn't intellectually equipped to dismiss the propaganda.
Run, walk or cycle to - or part of the way to - work. Problems solved
Personal back up - way more complicated than it needs to be!

(1) Chronosync and ArqBackup are installed on a Server. (2) Each client machine has Chronosync Agent installed. (3) The Agent backups specific files and folders(according to a schedule) to the Server. (4) Chronosync on the Server will back up to a second hard drive on the same server. (5) ArqBackup will then backup the files on this second hard drive to Amazon AWS (in encrypted form).

Separately, I have independent Time Machine back ups on external hard drives as well. Some of the core client machines also have backup's occurring to SpiderOak.

I have done minimal restore tests but part of the reason why I back up in the way I do is because I expect one or more of the backup's to fail when I need to restore.
this might be purely anecdotal, but seeing that the quote is about college campuses: a lot of people I know in college downloaded the app and never used it
One way to look at it is that our civilized world is just a thin veneer covering up our animalistic, brutal nature.

Another way to look at it is that we're a budding new form of life that seems rather distinct from what came before (consciousness, reason/science, etc.), and we're still very young and foolish and unable to fully utilize these new abilities.

Of course, there's a real risk that we'll destroy ourselves, or that we'll remain stuck in some kind of local optimum, doomed to repeat ourselves and constantly wage ware against our evolutionary 'legacy code'.

But as someone who can get quite depressed or cynical about all the bad things that are happening (over and over again, it seems), it helps me to focus on the amazing ways in which we did overcome our more brutal past.
>>>How do to Learn Math

Your English could do with a bit of work, too.
You can use your adblocker (well, uBlock origin) to block the elements that popup over the article.
Mail with nmh
In various UK cities I call the cab company (people generally know a few numbers as they are easy to remember and advertised heavily), instantly speak to a human who you tell where you are going and where you want to be picked up, and they tell you how many minutes until your cab arrives (generally 5-10mins with a max of about 15mins). Most companies will also automatically text you when the cab pulls up outside.

In London in use Uber because it is cheaper + fare splitting but this habit has actually cost me money. When I went to a smaller UK city recently I ordered an Uber instead of just hailing a cab on the street like I used to. It cost me 4x what I usually pay and the driver had no idea where he was going.

So I guess my point is that both have their uses and in some cases cab companies can be better than Uber.
Great news about the electricity.

Haven't been since 2011 but the rolling blackouts were a little rough, even right after the monsoon.

I spent some time in a K-12 school and the power would sometimes just randomly go out during the day. Every computer in the school would be cut off and we'd sit around and wait for a couple of minutes while listening for the guard's keys jingling as he ran down the hall to fire up the backup generator.

The landscape is beautiful, the history and culture is fantastic, and the people are kind and wonderful.

There are definitely areas with trash all over but if you go with an accommodating and open mind then it's all good. Prepare to be in a third world city/country though. Boiling and filtering water is normal. Soaking fruits and vegetables in iodine water is normal. Dodging high pressure salespeople who will chase you around if you look western is normal. Getting overcharged if you don't haggle is normal.

Pokhara is a bit of a tourist town but it's definitely an escape from Kathmandu. There's a whole row of western style restaurants and cafes near the lake. You can also find pockets of western comfort if needed while in Kathmandu as there's a large NGO worker population and some accommodations that have been built up to serve "important" visitors.
I like it. Will use it regularly.
>x=x+1

I've always heard this explained along the lines of "adds 1 to whatever x is, then puts that value into x, so x is one more than it was before".
Teamwork Desk Developer
There isn't anything good about matplotlib that I can see. Maybe I'm just not smart enough to see what's nice about it -- but as someone who has to learn it rather than already indoctrinated into matlab style plotting -- it seems like a disaster ... I switched to bokeh and am so far much happier
Self-driving cars should be liable for accidents, not the passengers
For me the most interesting tidbit is that she biked the entire race afterwards in a cover up attempt.
Are there any studies on doing something wrong and escalating it with coverup attempts? Or is there a name for this that I'm not aware of? I know it has to be the theme of at least one classical drama...sort of a reverse "Hans in Luck" of sorts...I dunno.

I have witnessed this pattern before and the spiral that person went on was completely out of character and a progression of small pieces. I wouldn't be shocked if a good number of serious crimes had almost comically trivial root causes that escalated that way.
Wow, very rich from a self styled PHP evangelist.
I'm surprised Ubuntu doesn't come with gcc.
It's high time to change that default. I'm glad django will not support Python2 after 2020, making clear it's legacy.
You also wrote

> They can do whatever they want to do, including organize, work to rule, walk out, or go on strike.

Observationally, they don't organize or go on strike. Maybe some "work to rule", get PIP'd and walked out. Maybe some actually walk out on their own.

In the long run, the "People who care deeply about these issues" get boiled off.

In fact, they probably are largely boiled off by now. Probable, because that's consistent with observable Google behavior.

I see no actual reason beyond "be nice to everybody" to assume a random Googler "cares deeply".
If you can describe something then you can just code it. I can see AI being used in an advanced IDE as an assistant. Just write your specs and let the AI build the app.
You can combine ZFC and simple type theory to give you something in which you can comfortably do surreal numbers. This is done by embedding ZFC as a simple type. For example, here this is done for Partizan Games (which contain the surreal numbers): http://link.springer.com/chapter/10.1007/11921240_19
In his letters to shareholders, Warren Buffett repeatedly declared EBITDA&co. unsound, and for good reasons. They still apply.
Fair enough, but the original comment sounded to me like just a (brutally) honest opinion of life in Nepal. I can imagine people finishing that blog post thinking "that sounds idyllic" and if it's not strictly true then the comment you replied to may be a pretty useful reality check
You know in order to secure an old house, you just nail boards over all the openings? Well, yeah, that's the Windows security model that is. :)
To be fair, it is mostly just the taxis in Amsterdam that are notoriously bad — precisely because there are so many tourists. These taxi drivers would rather serve tourists with trips to and from the airport exclusively (it pays rather well, and you can easily scam the type of tourist that limits their visit to our country to just Amsterdam).

Taxis in most cities here are actually okay on the whole.
Books.

I'm okay with videos: they definitely add something to the discussion, particularly when deciding if I want to learn something.

But for me, when trying to go deep, I prefer being able to flip pages (e-books are great for reference, not as great for deep reading, for me) and the information percolates better.

But you should also control for the age of the respondents--I'm relatively old at 48.
"Those values have helped propel Uber to one of Silicon Valley’s biggest success stories."

The alternative hypothesis is that they were the first with something that worked well enough at the time the public was ready to use it and the "values" is just attribution bias.
Comedy of errors: Ленинград – Кольщик
Parent post is about why using numbers is not necessarily correct because those numbers are based on assumptions that are not valid in Tesla's case.

As an investor but not a fan of Tesla, I share his view. "Maverick CEO" just means that he's unpredictable and has made several major pivots before, so expecting Tesla to follow the trajectory of existing car manufacturers is quite imperceptive.
Endless Traffic Road Racer – An Epic Android Racing Game
> I liked for instance the 'myth of second order logic' theme initiated by S. Simpson.

Can you link to the thread? The archives seem gigantic
Gas giant cores are weird. Based on models of solar system formation, we're like, pretty sure they started with rocky (or icy) cores that were dozens of times bigger than Earth. But we're not sure they're still there.

Due to the intense conditions inside a gas giant, we're not sure if they still have a rocky core, or if the cores have liquified or even convected away to mix with the gasses.

So the answer could be "there are dozens of times the Earth's mass worth of rocky material inside gas giants" or "there is no rocky material inside gas giants", or anywhere in-between. We need more detailed study of the gas giants before we can answer that question.

Models of solar system formation also suggest the Kuiper belt started with dozens of times Earth's mass, but we only see about 10% there now, and we only have pretty good guesses about what happened. (I mean, it almost certainly got ejected, but the "why" is harder.)
Marathon runner’s tracked data exposes phony time, cover-up attempt
tl;dr: The title is enough, no need to read the rest. Also, it's obvious.
Agreed and plus we'll have a little bit safer environment ...
> Rereading that, it sounds very grim; but we have all the power we need in our hands to stop it and more, to do good.

Fundamentally I share that optimism. However, I am a bit worried that the main 'solution' that I hear about is some variation of 'remembering the past' and 'education'. The reason why this worries me is that 'remembering and learning from the past' is probably exactly what people have said throughout history and yet we still had WW2/the holocaust, relatively recently. What do we do when 'never again!' keeps happening?

I don't think the lesson is that learning from our past or being educated is not effective. So far at least in some regards we seem to be moving 'forward', however vague that statement is. I'm just worried that it's not effective enough.
How content images can be added to HTML emails?
They've been divided up in essentially every way possible--but I've been doing this for 30 years. The only time I've had a division not work out fine is when a company was bought out and teams/groups were split with no regard to expertise or experience.

Even then, it didn't matter that much, because we still sat in the same places and could just talk to each other.
Introducing the Third Wave of Peer-To-Peer Insurance
40 Travel Tips to Become a Savvy Traveller
Image-to-Image Demo
Estonia e-Residency speaking points
I would like to up vote but your article didn't say what the grid actually is.
2017 Marks Ten Years of iPhone
I use Firefox as my default, Safari for apps that crawl in Firefox. I too look around for alternatives once or twice a year.

I recently force-enabled multiprocess FF on a machine that usually crawls due to memory starvation, and it's felt much snappier than before, though heavy single page apps are still not its forte.

If I ever switch, it'll probably be to Chromium. Safari is fast, but the URL bar is unusable and it's not very customizable and the Dev tools are meh. I'm avoiding Chrome for privacy reasons and Chromium for battery life reasons (and also because of 12 years of inertia and muscle memory).

I've looked at Opera and Vivaldi and the like, but their features seem to be aimed at power users of social media, not at developers or someone looking for an old-school browser experience.
I feel that advancements in quantum mechanics will solve the communication problem.
Would love to go there one day. Nice arguments :D
But then why are 90% of long distance runners or the NBA black, and why is that okay?

I honestly don't think that non-white and/or non-males are proportionally less able to think analytically than white males. I think that on average they have less education, and a culture that does not promote intellectual pursuit. Those are the things that need to change, and if you change that it should then flow through into programming.
It's consistent/complete in first-order logic, because Con(ZF) is a higher-order statement and thus can't even be formulated.

First-order logic has a lot of nice properties, e.g. "if a result is finitary in the sense that it can be phrased as a first-order statement in Peano Arithmetic, and it can be proven using the axiom of choice (or more precisely in ZFC set theory), then it can also be proven without the axiom of choice (i.e. in ZF set theory)." (c.f. https://terrytao.wordpress.com/2013/12/07/ultraproducts-as-a...)
I understand but in many countries licensed cabs are pretty obvious with huge plates showing their license number and/or other markings and in my experience that's true for Poland too. I agree though Uber does remove the need to pay attention so therefore removes the risk of mistakes.
Well, I think the are refering to that the computer would solve it's specific problems by itself just as we do as programmers.

I guess that you have worked for someone else as a programmer? Didn't they tell you what they wanted? How did you achieve it? They probably didn't have to write it for you in very specific terms unless a problem occurrs.
Managing Secrets in Docker Swarm Clusters
Oh I get that, I mentioned the file system being the culprit elsewhere in the thread. Doesn't really change the point regardless, the gist of the matter is that until Windows fixes its filesystem it's much more efficient for me to run it in a VM than to use WSL.
That commit was a troll for people searching for "remove password"
What a terrible article. Clickbait title, super obvious answer that everybody should've learned in middle school, some nontruths (some mass does get converted to energy. It's a negligible amount (as E=mc^2 and c is big) but it's definitely not "so wrong")
Hi thanks for the comment! Please check out our free ebook that describes the grid https://leanpub.com/the-grid-vision.

Also please feel free to check out our GitHub repo and take a look at our project Grid Ops (Java) https://github.com/nanosai.
Adding old-X-flavour to udev rules
Viber wants to sell you items based on what you talk about
How to Implement App Shortcuts in Android 7.1 Nougat?
> CommonJS allows you to dynamically alter module.exports anywhere within your module

It's certainly a risk, but that isn't a common practice.
“A state of flow can be achieved by deep work”
"AI learns to write its own code by stealing from other programs"

Much like non-artificial intelligence, then.
> Maybe this is my hypersensitivity, but whenever I read a little one-liner followed by: Sad!, there's one person I think of.

I assume you mean Trump; I don't think that's hypersensitive, I've never heard anybody else punctuate their remarks with their emotion like that.
Optimizing Industrial Internet of Things with Objects’ Digital Twins
bash subsystem in Windows 10 is pretty amazing in where it presently is and where it is going.

https://github.com/Microsoft/BashOnWindows

You can compile C++ in Visual Studio and build a binary for Linux with gcc.
They suffered from the VM rise of Java and CLR, finally we are circling back to AOT tooling and FP concepts are becoming mainstream so advocating them is easier nowadays.

Also these things take time, even C++, I saw recent presentations from BMW[1] and Sony[1] that only now in 2017 they are transitioning from C to C++11 (not C++14) for some specific embedded development.

[1] - https://fosdem.org/2017/schedule/event/succes_failure_autono...

[2] - http://sched.co/9OOs
>"If you're a good engineer, there are better and far more interesting and impactful companies to work at than an app whose primary purpose is to call a ride."

It's no Space X, but giving people a cheaper, more reliable cab that can be used for carpooling seems more meaningful than spending one's time working for a company whose primary purpose is getting people to click on ads.
That's it's huge internally at a Fortune 500 is more or less what the article rails against, no? It's the same reason Java-the-language on a resume, at least if it's the primary environment, also makes me read closer so I can learn if they're a lowest-common-denominator developer, or just happened to also know Java.

The article doesn't say anything about there not being a need for such environments, and a Fortune 500 (or even 2000) company may be just that place.
High Quality Supplement for Weight Reduction
Maybe, as a species, we've been in this situation before. Perhaps we realized we weren't ready, or never will be, to deal with a world in which all labor is replaced by technology, so we made one last high tech invention to destroy all the technology. The cycle continues!
Any recommendations for TVs as monitors?
A few people on HN have mentioned that TVs these days can be used as credible monitors, and can be cheaper/bigger/etc. Has anyone got any advice on this matter - specific models, gotchas watch out for, etc?
Real peanut butter only has peanut oil.
Photos - just google it. Personal records. My grandad's brother was shipped there and didn't just vapourize.
There's no "right" or "wrong" way tp version APIs. There's only peoples opinions. I'd suggest that if someone is saying you're doing it wrong by putting it in the url, you should probably learn to ignore them as they can't tell the difference between their own preference and facts.