Submissions from lri.fr

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