Hacker News new | ask | show | jobs
by xavxav 1355 days ago
> INRIA university

tiny nit, but INRIA is not a university but rather a national network of labs.