Submissions from ens-lyon.fr

		What This Country Needs is an 18¢ Piece (2003) [pdf] (ens-lyon.fr)
		2 points by krykp 6 months ago \| past
		Bit-stealing made legal: compilation for custom memory representations o [pdf] (ens-lyon.fr)
		2 points by fanf2 on May 13, 2024 \| past
		Bit-Stealing Made Legal (2023) [pdf] (ens-lyon.fr)
		2 points by mpweiher on May 5, 2024 \| past
		On Theories with a Combinatorial Definition of “Equivalence” (1941) [pdf] (ens-lyon.fr)
		11 points by haskellandchill on Feb 22, 2023 \| past
		Advertising tips for computer number system designers (2021) [pdf] (ens-lyon.fr)
		34 points by luu on Feb 10, 2023 \| past \| 5 comments
		What Every Computer Scientist Should Know About Floating-Point Arithmetic [pdf] (ens-lyon.fr)
		1 point by gerbilly on Aug 11, 2016 \| past
		CRlibm: an efficient and proven correctly-rounded mathematical library (ens-lyon.fr)
		2 points by luu on Feb 28, 2015 \| past
		The Experimental Effectiveness of Mathematical Proof [pdf] (ens-lyon.fr)
		2 points by gnosis on Oct 30, 2011 \| past