HNHacker News
TopNewBestAskShowJobs

yarnton99

20 karma · joined September 21, 2020

submissionscomments
yarnton99··on Ask HN: What are your thoughts about the looming EU energy crisis?
Where did you move if it's not too much to ask?
yarnton99··on How do you fix a stroad?
Just trying to find some positive examples of American small towns. As a European, if I were to relocate to the US, where would I find strong town communities?

I know for example Ithaca, NY, might qualify. Other examples in the South, Midwest, etc?

Also stroads are not just an American problem. I have found horrible stroads in places where you would never expect them such as Oxford or Copenhagen.

yarnton99··on Ask HN: Is the formal methods winter about to end?
Some things like abstract interpretation scale quite well.

The Airbus fly-by-wire code (~100 KLOC) can be statically verified in about an hour with a modern PC.

This is not a formal proof, but it excludes entire classes of runtime errors such as de-referencing a null pointer.

yarnton99··on I'm Peter Roberts, immigration attorney who does work for YC and startups. AMA
Thanks, much appreciated! I'll drop you an email once I'm prepared to discuss this further.
yarnton99··on I'm Peter Roberts, immigration attorney who does work for YC and startups. AMA
I have a PhD from Cambridge, a degree in CS, etc. I have a great biotech startup idea and some funding secured in the EU.

However, I would prefer to execute it in the US as I prefer how the startup ecosystem looks over there. Is it worth the trouble / doable in terms of immigration laws to move there and bring my cofounder and some employees?