skysight-inc/HackerNews huggingface dataset:
I've never had performance issues with Linux in a VM. Barely slower than running it dual booted. I mean, I run light WMs (originally AwesomeWM, but the past year or two I've been using xmonad). But I don't remember the interface being slow when using, say, Gnome 3.

The only things I can think of that might be special about my setup is that I generally:
1. Run the VM off of a different physical disk than the host OS (only necessary if you're using HDDs)
2. Allocate generous amounts of RAM (4-8gb) even though very little RAM is required.
3. Use machines that have 4+ cores.
> ZFC is actually the standard set of axioms mathematicians work with every day

I'd dispute that mathematicians work with ZFC every day.
Most pure but not foundational mathematics basically works with intuitionist set theory. By keeping the size and nesting of sets small enough, we never need to worry about ZFC.

Zorn's lemma comes up occasionally, but that is all.
I think homotopy type theory has a better shot at providing a good foundation for math as opposed to some revision of set theory.
Converting a large React Codebase from Coffeescript to ES6
Whenever I look up a number, I see the same representation for Base 10 and Base 11 — see e.g. 1000:

http://www.numberworlds.com/numbers/1000

In Base 11 that should be 82a.
Ask HN: Recommendation for good app to read arxiv papers on IOS/Android??
Hi guys,

Anyone using any app to read academic/arxiv papers? Only requirement is to have text reflow option so that I can see the paper in single column format. Font modifications and day/night background would be good to haves. Thanks :)
Respectfully, I disagree.

Social media is not the best nor the only place to share your opinions, political or not.

In fact this is the exact danger that these networks pose - people start thinking that it's the only place where we can express our right to free speech.

But this is not what social networks were designed for. They were designed to distribute advertising; all the rest of the features are just clever ways to disguise the real purpose of the SN. Even people who work at these companies are delusional about their company's real purpose.

The place to express our right to free speech is 'the Internet'.

Distributed, resilient, no central control.

Plenty of space for anyone to shout as loud as they like and 'share' it with their friends, without selling their soul.
I posted the original article - I am European, so for me the most interesting parts are not directly related to Trump's election, but to something that to me looks very strange, and it's happening a lot around me.
Nominally: people who leaned towards Progressive/Democratic positions are being more and more attracted by populist movements, and have started rooting for Le Pen or UKIP.
Something that no more than 10 years ago would have been absolutely unthinkable.

This article is interesting (IMHO) because it mentions, at least, how the neoliberism managed to co-opt political figures like Blair, Bill Clinton (and a bunch of my own in Italy, too) - and how these started pushing for less and less State in their plans.
Yeah, I don't think you know python very well at all given your criticisms. The very first thing you criticize is "its reliance on mutable data structures"--uhh no, most data structures and types in python are immutable.

I'll at least agree I've met a lot of python snobs who say don't use the built in map/filter functions and things like that in favour of comprehensions, but that's hardly representative of the language.

And please. List comprehensions can be nested, just like every other language can be abused if you really want to try.
Con(ZF) is a sentence in ZF.
Musk resigned and his entire cabinet is objectively the least qualified set of people in American history. I fail to see how stacking all your positions with people fundamentally opposed to the missions of every agency is somehow seen as a team of experts.
This is one of the benefits of being a founder with YC/well-connected VCs.

Even if you burn though millions without figuring out a market, you will land on your feet (if you are on the executive team). Your employees? Not so much.

My words may sound negative, but my point is: most people who are working at startups should seriously consider starting one instead.
Samsung Galaxy S8 Plus: Specifications and Features Leaked
Because of one bad taxi experience, you now will only use Uber? Do you think his attitude would be different if you spoke only English? He would have found a different excuse to extort you. It's that simple.

Sorry to disappoint you, I've gotten a lot of bad taxis as well. My Polish taxi driver experience was stellar though.

But yeah, pay no attention when you ask for an Uber and you might get someone purporting to be an Uber driver or something else.
> from a distance of approximately 6 billion kilometres.

or 5 light-hours. Still absolute awe :)
> could have been

You write like its all over. Pretty odd.
I can develop Android
Ad hoc polymorphism in Scala for the mere mortals
Proper unicode handling, list comprehensions, generators, await & async, TSL 1.1 & 1.2 support, better namespace handling, better string interpolation, and better argument parsing are just a few of the things that you get.

Is there a feature that could entice these people? Or have they made up their minds?
making people in an industry more efficient at their jobs == job losses for that industry.

if one programmer can now do the work of 5 with the help of an AI, companies will quickly be hiring less developers.

yet everytime i mention this, im told that "software developers are the one job that will never be at risk of automation"
If anyone is interested in kinetic bombardment, read Heinlein's "The Moon is a Harsh Mistress". Much like how the Fosterites in his "Stranger in a Strange Land" were a blueprint for Scientology, TMiaHM is a guide on how to plan and conduct a revolution, although in this case it was the Moon against Earth.
Not outside the mostly deuterocanonical, and sometimes outright apocryphal, "Expanded Universe". I think Episode I was the first time anyone postulated a mechanism.
"In what was described by five attendees as an emotional moment, and according to a video of the meeting reviewed by The New York Times, Mr. Kalanick apologized to employees for leading the company and the culture to this point. “What I can promise you is that I will get better every day,” he said. “I can tell you that I am authentically and fully dedicated to getting to the bottom of this.”"

(Emphasis mine.)

If culture flows from leadership then you already are at the bottom of it, buddy.

</smartass>
Is China Using Drones with Flamethrowers to Clean Power Lines?
Have you not discovered the Anaconda distribution yet? Conda makes a lot of this pain go away.
Agile app development for all
Pycharm tries really hard to paper over the lack of static typing in Python. Variable/function refactoring works mostly, code completion is acceptable (especially if you're inside a specially supported-framework like Django) and sometimes it'll show up a type error before your tests fail, saving you the time it takes up setup the test db, run the tests etc...

I love Pycharm, and I think people who go without IDE support are masochists (I did it for a few years with Python, and I'm not going back) but it's not like the kind of tooling support you get from a proper statically typed language, where the IDE can do so much to help you.

And I say this as someone who's been full time in Python for years. It's a fun language to write, with a wonderful ecosystem, but it's not good enough when your codebase gets big or you need to do major refactoring.
Top unexpected events of 2016
Snap Rankles Venice Neighbors Opposed to Beachfront Expansion
Curse your lack of downvote buttons, HN.
Disclaimer: Am fairly solidly left-libertarian (the original source of the word)

Collective action is the only thing that can ever empower the individual. We're standing on the soldiers of giants. It's as a collective that humans have developed all the technology that you see. It's thanks to FOSS that I and many HN visitors can earn our livings and contribute further to society. If you want to be egotistical and think you don't exist as part of a complex eco-system that both sustains and enables you through more than just economic exchanges you are free to do so but do expect to be challenged on it frequently. This message was delivered to you via the world wide web after all, which would be impossible in a right-libertarian world.
> The ride-hailing service particularly emphasizes “meritocracy,” the idea that the best and brightest will rise to the top based on their efforts, even if it means stepping on toes to get there.

Whether this means:

- Uber explicitly emphasizes stepping on toes as part of their workplace culture

- The concept of meritocracy includes stepping on toes

This is false and dishonest of the NYT. In the first case: Uber might be awful, but no company would emphasise mistreatment of others explicitly. In the second: that is not the commonly held meaning of meritocracy.
> Have some bug bounties, CVE's or exploits to your name, you'll get an interview.

That assumes you hear of positions, and apply. I do auditing for fun in my spare time, and have reported issues in software as diverse as Emacs, evilvte, GNU Readline, gforge, oping, and NCSA Mosaic 2.1 (!).

Brief list - https://steve.fi/Security/Advisories/

In all that time I've never once received an unsolicited offer/mail about "security". I do receive unsolicited contact from recruiters every other month or so, on the topic of Perl/Ruby/C++/etc.

(Interestingly I stopped getting recruiter mails from people asking about C++ when I moved a couple of personal github repositories into an organization of which I'm the main active member. I suspect that means recruiters are crawling github now.)
Which is exactly what the iPhone was. Not the first smart phone. Not the first touch screen device. Just an innovation (iteration) with good execution and strong branding driven by a man with a strong vision for his product.

I don't know that Tesla is a good stock to own right now; I don't know if they'll be as wildly successful in the long run. But you can't just outright dismiss the previous poster's comparisons to the iPhone.
Evidently Mr. Ringo's an educated man.
All jobs are at risk of automation. Jobs by themselves are a pointless construct. It is the living that they provide us that is of value. I'm looking forward to the day this is accepted in mainstream political thought.
I was talking about the article itself. I don't usually read comments bar selected few sites (HN included), because there are always trolls and haters. It's not the article's fault that we have such dire situation on the whole Internet.
But wouldn't you agree that by the same line of reasoning, if you can spec it, you can code it?

I mean, the difficulty lies in specifying what you want in such an unambiguous way that a program that fulfill the specification actually does what you had in mind originally.
The founders' agreement, as told in GIFs
I think the post was sarcastic
I'd absolutely love to hear what language you're using that's superior and not a "90s language" then. Pretty sure most of the popular languages date back to then if not a decade or two earlier.

I find it especially amusing you cite typescript and the node ecosystem as superior. I've never seen such an unreliable and constantly changing ecosystem with dozens of frameworks and libraries ever in recent history.
That's an interesting point, especially since Tesla is arguably in much better shape overall than Uber, at least from an outsiders perspective. Uber isn't profitable, their business is a mess, and there is no clear/easy path to profitability for them.

Tesla has a profitable revenue stream and much better cohesion overall it seems.
A bunch of falcons dive bombing at drones might cause some panic, too.
Amazon Argues Alexa Speech Protected By First Amendment In Murder Trial Fight
> Or they just shifted capex spending so that it doesn't fall on this quarter.

They state pretty clearly that is what happened in the letter.

> we continue to negotiate more favorable payment terms with our capital equipment suppliers, pushing some payments closer to the start of Model 3 production and some payments beyond the start of production

So, the "deals" are that they don't have to pay for certain things until later when they have more cash.
Most U.S. workplaces still use ‘old-school’ tech
Finally, a conferencing solution which works
Supply of taxis in London is artificially limited: the licenses cost an exorbitant amount of money and drivers arerecquired to memorize routes and locations rather than using technology to aid them.

As a result, Black Cabs are expensive. The drivers also have a famous tendency for racist rants and their captive audience.

Hailo doesn't do anything to make travel more affordable.
From the article: "The military is designing mittens of leather and Kevlar, an anti-blast material, to protect their talons"
Router hacker suspect arrested at Luton Airport
And of all the time you'll be spending on driving over the usb and other methods you have mentioned, the ghost will stay online, with people working on it, using it.

I haven't used much of Ghost. But this is sad that people say that a some tech is Sh*t, just because it didn't work out for them.
> How is that a loss?

It isn't. If you look at their 8-K, it shows that like 99% of publicly traded companies, cap-ex does not show up on the P&L statement.
There has been tension between the Python and R community, but not at all with the developers, i.e. feather development by both R's Hadley Wickham and Wes McKinley. Python and R are great tools, but the Python community tends to call R garbage and believes that Python has over taken R which is actually not true. R has really grown and is still the number one Open Source language in the domain and I think R has more resources behind it than Python.

http://r4stats.com/articles/popularity/

R has actually already surpassed Matlab. Now R has some funky sides to it (Which you don't need to use) and R also has many people who were not good at programming making horrible examples. It surprised me how functional R is and there is a lot of Scheme in the under belly. The tools and libraries are just getting better and better.

R in the past 4 years has really become amazing. I left Python for R and it has been an amazing ride for me with the Hadleyverse of libraries. Millions has been invested into R with Microsoft even making it a part of SQL Server and Azure after buying R Revolutions. The tools that have been coming out are amazing.

Julia has been a promise on the horizon which I haven't had need of. For my workflow R has been dead on pleasure to use and my data sets are not so large that I need it. I also could use R with Spark if that ever becomes an issue.
Nice done!
I didn't know that earth is so small compared to sun.
The 2010 AT thru-hiker with the trailname "Butter" was so named because she was eating a stick of butter with a spoon somewhere down south.
Perspective API – An API that makes it easier to host better conversations
Nope, not that.

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

The mature formulation of classical (pre-relativistic) physics circa Hamilton and Poincaré was already coordinate-free in this sense.
If they have profits, by definition they are not investing enough.
I would argue that every year programmers ARE more efficient at their jobs with adoption of new tools, frameworks and methodologies. Yet there is still not enough good developers.
It's more like a class signifier. People who have certain educational backgrounds, or read a lot of certain types of writing, are more likely to use it.
It made sense once I mentally substituted "there exists at least one class" for "there is at least one class".
> im told that "software developers are the one job that will never be at risk of automation"

The AI is itself a program. If the AI can write programs, it can write a better version of itself. A few iterations of this, and it will have far surpassed human intelligence.

So it would be more accurate to say that writing programs is the last job that will be automated.
Possibly http://www.personal.psu.edu/t20/fom/postings/9903/msg00069.h... (and Simpson's replies downthread, e.g. http://www.personal.psu.edu/t20/fom/postings/9903/msg00151.h...)
Does Hailo give you pricing upfront? I've tried cab hailing apps in the past, and they'll always quote a price that pisses the cabbie off as soon as he sees it. For me, Uber's feature set includes knowing what I will be charged beforehand, and not scrambling to find cash because the driver's card reader is broken.
Scaling a car company is incredibly difficult. For example recalls and design issues are less of an issue for a low volume/high margin car like the Model S which, has been plagued with flaws leading to expensive fixes like titanium battery shields.

If I were a Tesla stockholder, I'd want Tesla to focus harder on manufacturing and scaling production of electric cars instead self-driving technology.
That map is nonsense. The first, second, and third world designations have always been political divisions. First world being western, second being communist, and third world being everything else. Even more inexplicable is that they note this fact in the text and then just disregard it.

I mean I sort of understand what they are trying to do and I know other people sometimes make this mistake but it just ends up being confusing.

Mexico and Thailand aren't second world countries unless you just arbitrarily decide to misrepresent what the phrase means, since the whole point of the damn distinction in the first place was to represent the global battle for supremacy between capitalist modern countries (first world) and communist planned economies (second world). The big issue in the cold war was which of those two worlds would win the battle for the third world countries.

So when a former third world country modernizes and becomes more market driven with a more western style economy but you mark it as a second world country, you've literally described the opposite of what actually happened.
Define 'embedded'.

Most embedded stuff I work on has less than 100kb memory. No way in hell it could run an OS.

But if you meant programming the devices... So many vendors compile chains simply don't work on Windows and are badly hacked up versions of gcc.
No, it's implicitly emphasized. Uber doesn't explicitly condone sexual harassment, and yet it's utterly rampant there. Actions speak louder than words.
I learned this when my boss was wringing his hands over an Excel job that was too complicated to do comfortably in VBA. I'm not allowed to install anything on the computers because I'm a flunky technician.

I started poking around the C:\Windows directory to see if there was something that I could use, and I found C:\Windows\Windows.NET\

"Wait a second - C# is .NET, right?"

A hundred lines of C# later, I had a solution for my boss where you drag the CSV onto the program and it spits out another CSV. I would've liked to have the ability to grab an Excel file, but that requires installing another library... can't do it.
I am not arguing that it is. I am arguing that it hard to make full use of it. An example: I googled:

python sendfile: first three links point you to python modules implementing it
ruby sendfile: same thing, first links point you to some middleware that uses that
golang sendfile: first link points to stdlib implementing sendfile
asp.net core sendfile, .net sendfile: I went through all links in the first page, still have no clue if it can be used.

You can use .net on Linux. But you are restricted by Windows limitations, and you miss on the mindshare.
List (and set,dict and generator) comprehensions and generators are available in python2. Await & async and unicode handling are nice improvements, but you could do both in python2 well enough if it was important to you. TSL support I don't use in python so I cannot comment on it. And I've honestly never found namespace handling or string interpolation a problem.

Is there a feature that could entice these people? Or have they made up their minds?

A working, stable, version of http://pyparallel.org/ would entice the hell out of me.
Best android app to send photos, musics, videos, apps over WiFi without internet
> as the cheating directly harmed the legitimate runners of that marathon

Did it really? Did she hurt any of them? Did she even affect their times? Did they lose out on any prizes?
I don't mean to be pedantic, just helpful: it's 'en masse', not 'in mass'.
Groundhopping,“Extreme Football Tourism”​
Putting taxes/tariffs on goods that Americans buy coming from Mexico is not Mexico paying for anything.
That's exactly what I mean though! Uber might be awful and might implicitly emphasize trodding on others. But the NYT, by combining their internal explicit messaging re 'meritocracy' with 'expense of others' makes it sounds like their internal explicit messaging includes that - it obviously doesn't.

Actions do speak louder than words. NYT doesn't need to make up the words.
Did they lose out on any prizes?

Well she did take second place, so if nothing else she did deny someone a place on the podium.
Sure. Exactly what I meant. It would just speed up your job.
Google Says Stop Using URL Fragments
I first came across that as a school kid (in BASIC) and didn't find it confusing at all. I still find functional computing confusing - I mean to do something for the numbers 1 to 100 instead of for x = 1 to 100 you have to do some weird tail call recursion which if you are lucky the compiler then converts back to for x = 1 to 100 because that's how processors work efficiently.
>But then why are 90% of long distance runners or the NBA black, and why is that okay?

What makes you so sure it's ok?

It's really for people who are involved with long-distance running and/or the NBA to figure that issue out, since they have the relevant background knowledge.

Programmers often have misconceptions about the level of concern for diversity in other fields. For example, a common trope is that no-one is worried about the fact that most nurses are women. But in fact people in the nursing profession are worried about this, and there are efforts to recruit more men.

I have a feeling that somewhere over on the NBA forum, someone is saying "but then why are 90% of programmers men, and why is that ok?"
Glass Ceiling in Entrepreneurship for Female Academics
For others who don't know how much an American ton is, 6 mil of them = (5.44 * (10^9)) kilograms.
Cannabis farm discovered in former UK nuclear bunker
React Native’s experimental new FlatList component
1. When did Musk resign? Everything I can find says that he is still a member of the advisory board.

2. "Objectively the least qualified" is not the same thing as "doesn't agree with Democrats about the agency's proper mission."
david chang agrees with you:

https://youtu.be/ikr5wVxzpjk?t=95
Legal? Illegal? You'll never create a disruptive startup with that attitude!
Announcing the first SHA-1 collision
Blockchain and Bitcoin might be the future of money
That gave me a chuckle. Safe to say they would be post-React by now, but probably still pre-SingularityJS.
yes and each new tool or helpful framework reduces the total number of developers needed. Just because we have yet to meet the demand for developers, doesn't mean that that demand is not decreasing over time.

software development is quite a young industry, so its growth can easily outpace the efficiency gains resulting in more developers, until it doesnt. Development as an industry will need to maintain stronger growth than efficiency gains through innovation, and i just dont see that happening long term.

edit: in my first paragraph i should have said " Just because we have yet to meet the demand for developers, doesn't mean that growth of that demand is not decreasing over time."