5 ms·
I don;t know about AI, but when it comes to using formal methods to nail down software development and make it reliable, the EU is already outpacing the US.
by ocschwar 8y ago
I don;t know about AI, but when it comes to using formal methods to nail down software development and make it reliable, the EU is already outpacing the US.
- ra1n85 8y agoThis is an assertion without data to back it up. Care to elaborate?
- ocschwar 8y agoINRIA, where Coq development takes place.
- aje403 8y agoConsidering the vast majority of all CS and modern software languages and practices have originated in the US in the first place and the US still, by any rational or unbiased measure, has the largest and most innovative tech companies in the world, I am not totally convinced of what you're claiming