Skip to content

Comment on Coq 8.13parent

Comments

It's a national research institutions who's specialized into this sort of thing.

To caricature for US readers, you can think of it as a thousand Google PhD who have a guaranteed job for life and nothing to do but research, any research they might be interested in.

I fear I may have phrased my question poorly. I can understand why you'd gravitate toward there now, I'm more generally curious about how that specialisation came to be in the first place. Was there a specific catalyst? A person or event perhaps.

For example, from my Wikipedia trail I see Maurice Nivat come up in the adviser camp for a few of the more current names.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.