yarnton99

12 ms·

1. 1.▲
   by yarnton99 4y ago

   Where did you move if it's not too much to ask?
2. 2.▲
   by yarnton99 5y ago

   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, Midwe
3. 3.▲
   by yarnton99 5y ago

   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 su
4. 4.▲
   Ask HN: Is the formal methods winter about to end?

   11 points by yarnton99 5y ago|2 comments
5. 5.▲
   Use of adenovirus type-5 vectored vaccines: a cautionary tale(thelancet.com)

   1 points by yarnton99 6y ago|0 comments
6. 6.▲
   by yarnton99 6y ago

   Thanks, much appreciated! I'll drop you an email once I'm prepared to discuss this further.
7. 7.▲
   by yarnton99 6y ago

   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 th