skysight-inc/HackerNews huggingface dataset:
One problem I can see in all this is that the trust networks that the sharing economy is built on are all (currently) privately owned and exploited, and network effects mean that it is very difficult for any competitor to get established in the same space because they have to establish their own competitor trust network. As a result the tendency will be for there to be a winner-takes-all outcome creating monopolies around the trust network in any particular vertical. See Facebook (network of trust around friendship), Uber (network of trust around giving/receiving transportation), Ebay (buying/selling goods), AirBnB (giving/receiving accommodation), Twitter (trusted sources of interesting opinions) etc. The only competitive strategy that seems to be working at the moment is having a vertical that is sufficiently different from the incumbent that you can attract existing users of the incumbent's network to use yours in parallel.

I doubt this is an outcome that governments and society in general will find acceptable when they start to recognise the pattern. Instead I wouldn't be surprised if the second phase of this economy involves government regulation of the trust networks, with them being extracted into some kind of trust infrastructure on which a number of competitor service providers are allowed to operate, or at least opened up so the trust network data has to be part of the public commons. At the moment the trust networks are (rightly) seen by the companies as being their most important asset - I think we'll eventually realise that, in the sharing economy, trust is so important that it cannot be privately owned.
I must admit that I really don't care in slightest how colleagues dress - looking around I can see people who are very smart (because they like to - not because it is required) and others that are very casual.

I really don't care.

Edit: I'm sitting in a very nice office!
Please don't call things "Uber for X", it's a completely meaningless sentence most of the time. When you say "Uber for banking" to me I have to idea what you mean.
Has this guy ever written a test bench? One might not see the usefulness of interfaces (wire bundle kind) if they just do design. But they are very helpful in verification.
Coq is also used in industry, in particular by Airbus with the CompCert C compiler.
https://courses.platzi.com/, there are like 70 courses in Spanish (frontend, backend, marketing, DBA, DevOps, android and apple development) but they also have 16 in English, most of them are talks with the best YC startups CEOs and founders.
Sandals with white socks? Oh the humanity!!!
Their FAQ (https://wiki.mozilla.org/Donate#Don.27t_Mozilla_products.2C_...) contains pretty important information.

In particular, it answers why one should donate when Mozilla Corp makes money through corporate deals (e.g. Google and Yahoo search commissions). The answer is that all the money Mozilla Corp makes is reinvested back into Mozilla Corp (salaries etc). The Mozilla Foundation -- a non-profit which wholly owns Mozilla Corp -- is not funded by Mozilla Corp, but relies entirely on donations. Mozilla Foundations is responsible for philantropic education and awareness campaigns.

So this link is not about donating to Mozilla Corp, where the bulk of Firefox development happens. It's about donating to Mozilla Foundation.
Also Israel being very hot is probably much more lenient on flip-flops (and shorts)

Having worked in a similar hot place (but probably not as dry) I can say the tolerance is smaller on 'mild temperature' places
Can't edit my earlier comment, so making a new one: There are quite a few people on HN who are great at Economics and Finance. Could someone recommend some courses and texts (and hopefully a "path") for a complete beginner to understand it?
I'd like to be able to better understand things like the FT and all the stats that CNBC shows me etc. Also hopefully get skilled enough to start investing in the market. Not to mention, broad economical trends and projections etc. Thanks!
All this could be avoided by fully implementing artificial gravity on deep-space journeys. This should not be particularly difficult and would involve just taking the last rocket stage along for the ride, tied to a tether. Rotate to produce gravity.

Even if the zero-g journey to Mars is uneventful, astronauts will be severely weakened by the time they arrive there, even with heavy exercise and preventative measures. And in the first few weeks they actually do the most and heaviest work.

So there's a little mystery why NASA insists on trying to find a pharmacological or mechanical workaround when artificial gravity is right there.
>I think we'll eventually realise that, in the sharing economy, trust is so important that it cannot be privately owned.

Looking at what is happening elsewhere with ownership laws, I'm doubting this will be anytime in the near future.
EURJPY+Bulls+On+The+Offensive
While i do think mozilla is great, firefox is my main browser and i am following the servo project.

Just recently we had this article:
https://news.ycombinator.com/item?id=10630996

edit:
@FooBarWidget had a good answer
On the higher end you have last gen quad core Intel Atom Tablets with Windows 10, 2gb ram, USB, bluetooth, wifi and 8'' touch screen for 80$ [1].

The price of hardware in China is beyond amazing - honestly I could run a laptop off those specs with a slightly larger better screen (assuming I don't need to compile C++ :D)

[1] http://www.banggood.com/Cube-iWork8-Ultimate-32GB-Intel-Cher...
Early for the game in the gig economy. Only dealing in extremely simple and trivial tasks like "Drive" or providing a place to sleep.

Much like the flint knapper gave way to unionized mechanized professional stone masons, 'uber for flint knappers' will likely give way to 'uber for professional stone masons' sooner or later.

Note that drivers, hostel workers, and flint knappers don't make much money because of supply and demand for the skill. Stone masons, however, make about 50% to 100% more than the median income, not as much as programmers, but not bad.

If "uber for" can scale to higher skill level tasks, which is an open question, then there's no need to assume the jobs will always be low skilled and low pay. The article avoids this issue. Its "well known" that only a small amount of the population live in architectural/geographical areas where they can become gig drivers, aside from anecdotes. Its possible 99% of professional stone masons will remain unaffected by an uber-for-stonemasons which only scales commodity style in incredibly fast growing wealthy cities and otherwise doesn't work.
NX-9000 Series: All-Flash Meets the Predictability of Web-Scale
That is simple not true (telekom customer). And I know a lot of people on Telekom.

We even needed to contact Github to change our peering since the default route from Github to DTag just sucks.

Our overall bandwidth with Telekom simply sucks. Most networks are really really slow, compared to Kabel Deutschland.
Not quite related, but I'm wondering what it means to be bilingual. I mean, does the use of English on internet count? For instance, I'm French and I spend most of my time on the "english" internet, including YouTube, reddit, HN, IRC... I'd say 95% of my activity on the web is in English. I also watch american TV series and movies without subtitles.

I understand english quite well and yet, I haven't spoken English for many years. Does that count?
Unfortunately they don't have a course to learn mandarin chinese
I usually work as a consultant and my income is highly variable. Of course in our field when I earn it's nothing to complain about, and my average for most years is certainly nothing to complain about. Financially, I'm lucky.

And yet. I'm disciplined with money. I'm not impulsive or indulgent. I can build a mean spreadsheet. Put all this together and still the uncertainty and variability is stressful. Running down a savings account without knowing when it will be refilled is something that's always in the back of your mind, eating away at you. You build your life to fit an average yearly income - children, vehicles, rent, gym memberships, etc. When that average yearly income is NEVER guaranteed, you always suspect that this time you won't pull through, and your life will start falling apart, piece by little piece.

I can only imagine how brutal it must be for those whose skills are not as in demand or as remunerative as ours.
Reminds me of the Johnny Appleseed story -- e.g., a lot of Americans grow up learning that he traveled far ahead of the settlers in North America planting apple seeds everywhere, so everyone would have apples -- the interesting twist is that apples planted from seeds aren't normally edible... but they can be used to make hard cider.
pitest has a few tricks up its sleeve to keep overhead reasonable. For example (from http://pitest.org/faq/):

> Per test case line coverage information is first gathered and all tests that do not exercise the mutated line of code are disguarded.

I've used pitest in real life and while it is quite a bit heavier than straightforward testing, it's definitely usable. I'm now using it on all Java projects, I wish there was something comparable for JavaScript!
NBLAS 1.0
You'll have to eventually study outside duolingo if you are serious about learning a language.

I would recommend starting with the duolingo course, completing it, then keeping your tree gold while exploring other learning material. Start with children's books and work your way up. There are also a lot of language exchange chat sites that are good to help you get more comfortable speaking a new language, but you will need a partner to practice with at some point.

Also I've found ReadLang (which I found on HN) to be a very helpful tool for faster learning, and I upload the majority of my ebooks into it.

I hope this helps.
Actually, I kinda think car manufacturers should be made responsible... If they sell cars that can do above the highest speed limit in a country.
Caring about dressing nicely is a Moneyball thing to me.

If you care about how someone dresses when you hire them, odds are you're using bad criteria for your decisions. That's not to say that you can't get great people, but you're probably paying over the odds for them, if "dresses nicely" is one of your factors for selection.

I think I will hire better if I dont care about dress code - I think odds are better that I will find a good hire if one of my criteria is not "do they own a suit or a dress".
James Gosling on radioactive cache RAM chips and the death of Sun (2010)
Do Airbus engineers write Coq specifications or just use CompCert (a C compiler formally verified with Coq in academia)?
All your analytics data in one place (Beta version)
Seems to work well for SAP. I also have a suspicion that for example Java is so complicated because it was created by a consulting company - complex tech means high paid consultants.
If HTML5 is creating applications, thenit's a programming language?
>> for large Java programs

I wonder if the results would be different at all for a less strongly typed language, like python for example.
Oh Karlee (blush)
IDK, considering they have a lot more people working on the problems than just some guy on the internet, I'm assuming they have good reasons.
> But wouldn't your argument break down where you write, "But the interval less than X is finite, while the interval above X is infinite."? Since we're dealing with reals, then both (+∞, X) and (X, R) have an equally large and infinite set of numbers (i.e., the latter is not a finite set)[1]. So, Y is as likely to be found in (+∞, X) as in (X, R).

Yes, of course. I realized this about 5 minutes ago in the shower and was hoping no one had called me out on it yet!

I think the real argument is actually a combination of this and landryraccoon's post, depending on the problem definition. [1] The problem is either defined in such a way that the (X, R) interval is finite, and therefore falls under my argument. -OR- the problem defines (X, R) to be infinite, and P(case 3) is zero.

[1] https://news.ycombinator.com/item?id=10647331
Introduction of new features of Walter, a deployment pipeline written in Golang
Thank you for reply, but I don't have xfinity firmware anymore, cause TWC wiped it out and wrote their own. It seems I don't have wireless_network_configuration.php pages anywhere and it doesn't broadcast wi-fi at all (I actually can't enable it, there is bug or something, it just shuts down), so I can't try that subnet either.
This is frustrating, cause I do have a password to /cgi-bin/adv_pwd_cgi but I can't find the SSH/Telnet options to enable.
I'm in the US and worked for a bank and remember getting pulled aside by my manager because his boss was upset that my dress shoes did not match dress pants. Keep in mind that I was a lowly programmer, had to wear a tie, and when he had investors come through we were literally told to hide.

I now work for the bank that bought out that bank and work from home currently in jeans and a hoodie, much more befitting my status.
Starting to suspect that you and Cantrill are talking at a more fine grained layer than i am with regards to design vs evolution.
Terminus – visualization of NTDLL data structures and their historical changes
Looking for someone who can build a kick-ass graph database app
Working on a cool project that is a perfect application for graph databases. Shoot me an email at mintedfreshly@gmail.com if anyone is interested!
Weight is irrelevant when looking at on-site storage. Cost per KW storage and battery fade performance are more important factors. This is why they are saying this could be a game-changer for renewables. Being able to store energy cheaply is key. Something Lithium has been unable to deliver.

Having a battery that is cheaper and lasts twice as long before needing replacing is significant.
Everyone calls them button downs. Whether it's correct or not it's what most people say. The retailer I order most of my clothes from has sections for dress shirts and casual button downs.

Casual button downs can be wire tucked or untucked IMHO while dress shirts need to be tucked usually.
How to Work with Docker Data Volumes
Go (Golang) Sucks, Here's Why
Not the person to whom you're replying, but in my last certifiably "corporate" job, everyone's dress was pretty much dictated by the role you had. It was bizarre, but it was a large company (IT department alone was ~800) so there was a lot of institutional inertia.

The employees wore chinos and a polo or sport shirts most days. Fridays was jeans instead of chinos but still a collared shirt.

Managers wore slacks and dress shirts every day. Directors/VPs and up wore a suit every day but would dress down to slacks and dress shirts on Fridays sometimes.

I swear somebody had to have been sending emails about it. I never saw some VPs in suits and some not, everyone seemed to dress down to the same level on the same day.
You misspelled "Intelletual Network" in the video... might want to fix that.
Code Golf: Output the Current Time, Minecraft Solution
I don't see how Java is more complicated than any other programming language. It certainly is not one of the more difficult ones. Assembly is complicated. C is arguably complicated. Java being complicated? I disagree.
I also loved the Mathematical Thinking course, it was the first MOOC I completed and still one of my favorites!
Most of the world goes by the definition that "America" means "USA" in this context. There may be other definitions of "America," but they are not the most popular across the world in this context.
How to use psychology and neuroscience principles to step up your hiring game
To an english speaker it sounds like the word for male genitalia. Doubt it's intentional.

Care to clarify pronunciation?

Edit: American here. I realize this is based on british english, which uses the word cock entirely differently.
Where's the news/political startup we need?
> Perhaps what is "needlessly" hard (whatever that really means) to one is the exact right solution for someone else?

Trying to be everything to everyone is one of the surest ways I know to generate byzantine monstrosities. On the other hand, it takes some real nerve and discipline to tell 'No, that is not really what our product is about' to a paying customer.
I've found Deborah Kurata's course content good https://www.pluralsight.com/authors/deborah-kurata in particular https://www.pluralsight.com/courses/angularjs-line-of-busine...

My only issue is her voice can be very monotonous and I find it hard to do more than an hour without having to walk away and wake myself up. Her course content is very good though.
Clearly delineating the find command from the chmod command?

That find even have actions are one of those big unix oddities.
FYI, The Energy Project appears to be a commercial organisation, owned by its chairman and COO (Jean and Sally-Anne Gomes): https://companycheck.co.uk/company/05881149/THE-ENERGY-PROJE...
> If you care about how someone dresses when you hire them

Funnily enough, all the programmers I know who "don't care about dress" also will say that they have negative perceptions of people turning up in a suit for a programming job.

They care about dress, they just want people to conform to a very casual dress code. Which would be fine, if they admitted to it. Instead, they say they "don't care about dress".
To me the more interesting point is the high risk. Given that someone is using a needlessly complex technology, and given that they can't maintain it themselves, they actually do need someone who can handle the needlessly complex technology. So unless you're brownfielding, the practice isn't unethical. But it can still be high risk -- mainly, I guess, because of the high opportunity cost of coupling your expertise to suboptimal tech.
IMO testing's biggest strength is in allowing you to delegate remembering all the use cases of an API to some code, instead of having to look them up in a checklist, or worse, having to remember them all.

Even if the tests are covering mundane, easy functions and execution paths, the benefit of not worrying if you broke something far outweighs the time to write tests.
What do you mean by Sun having been a consulting company?
It's not always "no reason."

Back the 1990s, GNU autoconf looked like a miracle to me, and in fact, back then you got better results compiling from source than you got using what passed for a package manager.

These days people complain that autoconf is too complicated, being a bunch of shell scripts on top of shell scripts compiled with M4.

Then there is SAP, which stands alone in its ability to destroy value. SAP started out as a mainframe application, got ported to Unix in the 1990s (not many succeeded at that) and now they want you to run it on an in memory database for which you can't afford the hardware, never mind the software.
Someone always has to take the risks - when working for a company it is the company owners that take it. On average they probably are well compensated for it - but surely they must be more stressed. Or maybe when you are above some level you are not so stressed about the fluctuations - because you know that you'll not hit the bottom whatever happens?
How have you found the mbed OS tools/community/documentation to be? I've played around a bit with Arduino but I'm interested in checking mbed out.
> how dangerous for health it might be to wear pants that don't allow the proper ventilation.

Pants are dangerous?
I was only considering buying it myself because it was only $5. I've been needing a new computer. Lol.
I don't think Java the language is particularly complicated - it has a much simpler core than C++, which it sort of superseded in a lot of areas. People went a little nuts with the XML and ObjectBuilderFactoryFactory nonsense and all of the "enterprise" stuff, but you could create similar levels of insanity in any programming language, if the fad storm hits.
No. Not really. At least, it was not my intention (I type on a Model M made by Unicomp).

On my Mac, which has the stock Apple keyboard, it feels fast enough. One advantage is that you can adjust the volume or only hear it through your headphones, something no mechanical keyboard will ever do. And something your coworkers will certainly appreciate. ;-)
I immediately thought about Oracle, then IBM, then SAP ... it seems his friend didn't think about this first !
Agreed, airbnb for banking would have been much clearer.
A note for the unitiated: There is a tension between TLA+ and Coq et al. (typified by statements such as "weird computer-science math") that is similar and maybe even rooted in to the sorts of culture wars that sprout up around programming languages (see [2] of parent's post for a perfect example of what I'm talking about...)

The characterization in pron's post is decidedly biased toward TLA+ in a way that I think is unnecessary. A few correctives:

* Coq has seen plenty of industry adoption. To say that type-theoretic theorem provers (or the Coq system specifically) are merely academic toys compared to TLA+ is wrong.

* "Normal" mathematicians (not just "weird Computer Science-type" mathematicians, whatever that means...) have used and extolled the virtues of Coq as a tool as well as its theoretical foundations. See e.g., the univalent foundations project. Regardless, I'm not sure I understand why "Computer Science-type math" is an unreasonable foundations for a program specification tool, which is what TLA+ is. And if the goal is formalized mathematics, you're probably better off with Coq (and it's not even clear that the TLA+ community is interested in that sort of thing, independnet of results useful in the course of a program specification/verification task.)

* If you're familiar with (esp. typed) functional programming, you might find Coq even easier to get into than TLA+. On both sides of the type theory vs sets/axioms divide, people should be careful not to confuse one's predispositions based upon educational background with the actual mental load of learning to use a tool.

There is room for both of these tools (and more!) in the world. I don't understand why they have to be in competition. A formalization of the C standard is a HUGE undertaking, independent of what tool was used. Let's celebrate that achievement!
Why should basename accepts its argument on stdin? It doesn't act as a filter, processing a stream of data, but rather as a plain function.
Why do you expect basename to do something with stdin?
When Hetzner say "some Germany ISPs" they actually mean Deutsche Telekom – Germany's largest ISP with almost 50% market share and also the only Tier 1 network.

Deutsche Telekom has been squeezing everyone for transit bandwidth. They're also the only network and ISP to NOT peer with DE-CIX. (they only added their first 10Gbps uplink just a few months ago) I've even seen Akamai bottleneck for weeks on end until they agreed to pay for more 10Gbps ports to DTAG.

What Hetzner Online is offering is merely an effective solution to alleviating a real problem. Supporting net neutrality won't fix your paying users video streaming QoS issues.

As frustrating as it is as a matter of principle, many companies will want to utilize an offering like Hetzner's.
I bet most multilingual people didn't have to become mulitlingual.
The New Hot Trend in Enterprise Software Is Called Embedded Messaging Apps