Hacker Newsnew | past | comments | ask | show | jobs | submit | ti32x's commentslogin

So perhaps a sort of gentleman's club (not that sort) for the younger generation?

I'd love to have an accessible chill out place I could go to just to get some work done, preferably with a good view of something. No music playing, just quiet and the ability to get a coffee and simple food if necessary.

Google Campus in London does this, but isn't that comfortable for long periods (plus it's absolutely packed).


> Gentleman's club

This is what most closely resembles what I want! Of course, in 2017 it'd be for everyone.

We could even be like those strange upper class British clubs that don't allow people to talk to each other.


I'm surprised San Francisco doesn't have a number of these. It seems like exactly the sort of thing SF would have.


Consider a fraternal order like the elks, Mason's or odd fellows. They'd love to have more members and often, despite the name, welcome both sexes.


Because the cost of fuel in the EU is quite high, and a lot of people commute long(er) distances on a regular basis instead of flying.

It is considered an entirely acceptable system because the "cost reimbursement" will fully cover the cost of wear + tear + fuel, meaning that a drive across the country can be rendered effectively free for the driver.

Also, "without any income for the driver" isn't necessarily correct - if you have a full car you will make a tidy profit.

Edit: the cost of a blablacar trip to a passenger would be on the order of 13-16 euros for an hour's drive. Comparable or cheaper than a train, with more flexibility.


This is a very idealistic view that I don't believe is based in reality.

While we still measure a person's worth out of how much they make, this is going to pose an enormous problem for all of us. We can't just take away people's livelihoods for the benefit of a few (us, to be honest).

There will be a violent reaction, as there has been every time this situation has arisen throughout history.


> We can't just take away people's livelihoods for the benefit of a few

But how is shifting from e.g. production to services taking away peoples livielihood any more than shifting from farms to industry was?

> While we still measure a person's worth out of how much they make, this is going to pose an enormous problem for all of us.

Aren't most developed countries already either speculating in, or already effectively using shorter working hours now than say just one or two decades ago? Working less seems like the natural way to go. https://en.wikipedia.org/wiki/Working_time#Gradual_decrease_...

Edit: I should add: I'm optimistic about this in societies with a high degree of labour organization, a flexible/agile political system, reasonably strong welfare states and a population that is positive towards working less in general.

Simply put: if you are in an OECD country and using kilograms you'll be fine.


The service industry generally pays less and as a society we respect it less.

And service jobs are not immune to automation either, eg Eatsa.


I am currently locked out of all paid Google services because I committed the crime of changing countries while holding an active Google Developer Account/Wallet. I've talked to them over the phone, and they were entirely unhelpful.

In contrast, Amazon's phone service is great. Get yourselves sorted google.


What were you supposed to do according to them?

I have Google Developer account too, and I'm "changing countries" regularly (travel a lot).

Could you please enlighten me what dangers there are?

Thank you and I hope the best outcome for you.

This is so annoying I have to be worried about these things even though using plenty of their paid services where I really expect the support. I have had 10 Android devices, 3 Chromebooks, published apps, paid for Google storage, for dev account(s) etc.


I had a similar problem. There's literally NO solution other than opening up a new account.

It was a wake up call. I've since moved most of my digital life onto other services.


What services did you switch to, and at this point what feedback can you share about those services?


Please tell me how to avoid this case. (according to Google)


One solution is to try not to need those services.


PayPal is the same. I had to close the account and open a new one in the other country.


This is exactly my problem now. I've moved to another country and now cannot buy any movies or TV shows on Play Store using the Google account I've had for 10 years.

Phoned and emailed Google support, but they just insist that I'm not allowed to change country. I've even tried using an HTTP proxy located in my old country with a credit card registered in my old country, but still Google blocks me.

If I knew about this restriction I would never have signed up for Google Wallet.


What the actual!

I must point out that I am an actual customer, that have paid actual money services delivered, not just a user and someone else's product.

I must admit that I have never read more than some random bits of the terms and conditions, but moving does not strike me as an obvious justifiable reason for terminating the contract..


I must point out that I too am an actual customer. In fact, I'm a customer in two ways: I paid Google thousands of dollars in commission on sales I made through Google Wallet; and I'm trying to pay money to watch TV and movies.


They haven't terminated my contact, I just get a payment error whenever I try to buy a movie or TV show.

Curiously, there's no error when buying Android apps or extra Google Drive storage. Seems there's some extra restriction that Hollywood is placing on Google.


I had the same problem trying to buy XBox Live with my MSN/hotmail account 12 years ago. Seems like Google is becoming the new MS as far as their products go.


Google has always had terrible general support and I am sure they do not have any incentive to change that. The support from tech guys, if you get that far, is excellent though.


Same for me! I check every couple months to see if anything changed in the Google Wallet policy but I lost all hope now. It's outrageous.


I travel quite a bit. Changing countries regularly and mix up stuff like a swiss home location, german credit card, and thai phone number.

So far google did not care at all. I assume because i dont randomly change devices.

Any pointers why this could happen?


Can you say more about this? I may have a country change in my near future.


I feel like google would rather accept losing marketshare on services than actually make an effort to hire even a limited but empowered support staff.


Also worth noting: some of the cheap knockoff magsafe adaptors available on ebay have an earthing "pin" inside the adaptor (the mushroom thing) which is actually just coated in a metallic coloured covering/paint.

This doesn't actually provide contact to the existing ground pin, so you have this issue.


I have heard that Polarion is an ok requirements management tool for software, but it is expensive.

DOORS is good for tracking and tracing requirements, but from what I can see doesn't do code parsing. This may have changed. However, my opinion of IBM software is irreparably broken so I don't have a huge amount of trust in it.

We use Reqtify to glue requirement documents to code. It also sucks, but I think it's still powerful. You just need to set up some regexes which can recognize your requirement identifier style and you're good to go.

Whoever comes up with a solution to glue DOORS requirements to Jira issues to code seamlessly is going to be fairly rich.


I've done a bit a research on this. Company uses DOORS and hates it. We've evaluated JAMA and Polarion (both expensive) and both are better than DOORS. JAMA has a nice JIRA integration. Polarion can be integrated it seems but untested.


I work on software that goes to space. I believe we and NASA use the MISRA coding standard, which is effectively this but taken to extremes. If you actually want to create safety critical code I would recommend that you familiarize yourself with the MISRA ruleset and DO-178B.


If anyone is looking into this sort of stuff, you can check out the relatively new DO-178C as well, which adds some more details about tool qualification, formal methods, and model-based development. Signed, your friendly neighbourhood aerospace systems engineer.


Space software? Nice! Going to check out MISRA now.

FWIW the initial page just reflects the JPL publication "The Power of Ten – Rules for Developing Safety Critical Code" by Gerard Holzmann [0]

[0]: http://spinroot.com/gerard/pdf/P10.pdf


MISRA only goes thus far.

For writing safe code in C, you should also check Frama-C and CERT Secure Coding Standards.

http://frama-c.com/

https://www.securecoding.cert.org/confluence/display/seccode...

Even better, get the algorithms written in a theorem prover which is guaranteed to generate reliable safe C code.

This is approach taken by Microsoft with P Language(Windows USB device driver stack) and F* (new TLS implementation).


Gerard Holzmann is the main author of the formal software verification tool "spin" as well as the owner of spinroot.com. I took a class on formal verification under him at Caltech.


As an anecdote, spin was used in Plan 9 to validate the kernel scheduler and the IL network protocol. It was also used to validate a very early version of the Go scheduler.


Gerard is an ACM Fellow and a member of the NAE, and has been a leader in reliable software for NASA since he came to JPL from Bell Labs.


I probably should have clicked around a bit to determine that he is the owner of that site :)


I work for your friendly Aviation megacorp producing avionics-related widgets. We are currently transitioning to DO-178C. Fun anecdote: I took a training class on Peach Fuzzer last year & got to hear people from MS, Mozilla, etc. talk about the testing they do on their software. I asked them if they ever had to prove things like worst-case execution time, worst-case stack utilization, perform MC/DC analysis, perform source-to-object analysis, etc., etc. They did not ... and that, my friends, is why avionics software is so damned expensive compared to other software :)

EDIT: And to those of you debating whether all of these rules are necessary and good -- they are; however, they are a subset. We use an internal coding standard that resembles MISRA C but does have some modifications. The only rule of his that we don't do nearly the same way is the 60 line limit. We use code complexity metrics rather than a strict line limit, but it's the same idea.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: