|
|
| | The Structure of Scientific Revolutions [pdf] (lri.fr) | |
90 points by andsoitis on May 24, 2023 | past | 45 comments
|
|
| | The Computer for the 21st Century (1991) [pdf] (lri.fr) | |
2 points by davidhariri on May 6, 2022 | past | 1 comment
|
|
| | The Computer for the 21st Century (1991) [pdf] (lri.fr) | |
2 points by teleforce on Jan 21, 2022 | past | 1 comment
|
|
| | Why3: Where Programs Meet Provers (lri.fr) | |
9 points by joshmarlow on Oct 22, 2021 | past
|
|
| | Why3 – A platform for deductive program verification (lri.fr) | |
105 points by based2 on Nov 3, 2018 | past | 6 comments
|
|
| | Metisse: A 3D Sandbox (lri.fr) | |
3 points by HaoZeke on Oct 19, 2018 | past
|
|
| | The Computer for the 21st Cenury (1991) [pdf] (lri.fr) | |
78 points by doener on May 9, 2018 | past | 16 comments
|
|
| | ReactiveML: programming language for implementing interactive systems (lri.fr) | |
2 points by based2 on Jan 7, 2018 | past
|
|
| | Game Theory Icons (lri.fr) | |
2 points by satyampujari on Dec 18, 2013 | past
|
|
| | ReactiveML (lri.fr) | |
39 points by colinprince on Feb 17, 2013 | past | 2 comments
|
|
| | Functory: Parallel/distributed computing library for Objective Caml (lri.fr) | |
14 points by scscsc on Nov 25, 2011 | past
|
|
|
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
