| | The Structure of Scientific Revolutions [pdf] (lri.fr) |
| 1 point by keepamovin 60 days ago | past |
|
| | Twinkling lights and nested loops: distributed problem solving and spreadsheets [pdf] (lri.fr) |
| 5 points by rjpower9000 3 months ago | past | 1 comment |
|
| | 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 |
|
