3 ms·
> He began collaborating with Gerard Berry, a computer scientist at INRIA, the French computing-research center, on a tool called Esterel INRIA is also maintai
by hwayne 9y ago
> He began collaborating with Gerard Berry, a computer scientist at INRIA, the French computing-research center, on a tool called Esterel
INRIA is also maintains Coq, TLAPS, and much of TLA+.
INRIA is a scary scary place.
- simlevesque 9y ago> INRIA is a scary scary place. Why ?
- schoen 9y agoI assume scary as in "scar(il)y smart", in the sense that it's (almost) disturbing to see their sophistication and competence.
- simlevesque 9y agoThank you.