Submissions from inria.fr

		Implementing pgloader (from Python to Common Lisp) (2013) [pdf] (inria.fr)
		2 points by tosh on June 3, 2021 \| past
		An Effective Git and Org-Mode Based Workflow(2015) (inria.fr)
		2 points by thyrsus on May 15, 2021 \| past
		Andre Seznec Now at Intel (inria.fr)
		2 points by ksec on April 21, 2021 \| past
		Foundations of Databases (1995) (inria.fr)
		253 points by harperlee on April 14, 2021 \| past \| 53 comments
		Renaming Coq (inria.fr)
		76 points by ingve on April 8, 2021 \| past \| 297 comments
		Coq 8.13 (inria.fr)
		116 points by infruset on Feb 18, 2021 \| past \| 41 comments
		Computer Pioneer Pierre-Louis Curien Wins French Academy of Sciences Grand Prize (inria.fr)
		1 point by breck on Dec 10, 2020 \| past
		C source-to-source compiler enhancement from within (inria.fr)
		38 points by ingve on Nov 10, 2020 \| past \| 9 comments
		In the Beginning was the Command Line (1999) (inria.fr)
		179 points by BerislavLopac on Nov 5, 2020 \| past \| 64 comments
		Do Cookie Banners Respect My Choice? [pdf] (inria.fr)
		2 points by ColinWright on Oct 16, 2020 \| past
		Compiler for the M language of the French DGFiP (inria.fr)
		208 points by testcross on Oct 9, 2020 \| past \| 63 comments
		Defer Reference Implementation for C (inria.fr)
		77 points by cyber1 on Sept 30, 2020 \| past \| 59 comments
		Modern C (inria.fr)
		399 points by netgusto on Sept 3, 2020 \| past \| 165 comments
		Using, Understanding, and Unraveling the OCaml Language (inria.fr)
		80 points by rabidsnail on Aug 18, 2020 \| past \| 11 comments
		Apple devices are leaking sensitive data over BLE (inria.fr)
		44 points by dchest on July 13, 2020 \| past \| 3 comments
		Evolutionary Algorithms as Fitness Function Debuggers (inria.fr)
		2 points by xzvf on July 7, 2020 \| past \| 1 comment
		How to estimate Covid-19 infectiouness in the French contact tracing app (inria.fr)
		3 points by programLyrique on June 6, 2020 \| past \| 1 comment
		Source code of StopCovid19 – French national anticovid's program (inria.fr)
		10 points by mothinx on May 27, 2020 \| past \| 2 comments
		French Team for StopCovid just upload a zip of the code in Git (inria.fr)
		2 points by baptou12 on May 27, 2020 \| past
		Fwd: Ad a Crate for Forward Auto-Differentiation (inria.fr)
		1 point by alex_hirner on May 19, 2020 \| past
		StopCovid French Application (inria.fr)
		2 points by programLyrique on May 12, 2020 \| past
		Branch Prediction and the Performance of Interpreters-Don't Trust Folklore(2015) (inria.fr)
		2 points by mpweiher on May 4, 2020 \| past
		Branch Prediction and the Performance of Interpreters – Don't Trust Folklore (inria.fr)
		2 points by delduca on May 1, 2020 \| past
		Branch Prediction and the Performance of Interpreters – Don't Trust Folklore (inria.fr)
		4 points by mpweiher on April 30, 2020 \| past
		The relevance of IP addresses in the tracking ecosystem [pdf] (inria.fr)
		147 points by lesterpig on April 15, 2020 \| past \| 60 comments
		Factorization of RSA-250 (inria.fr)
		30 points by kissickas on April 8, 2020 \| past \| 5 comments
		892-bit RSA has been factored (new record) (inria.fr)
		2 points by p4bl0 on Feb 29, 2020 \| past
		Formal proof and analysis of an incremental cycle detection algorithm (inria.fr)
		72 points by lelf on Feb 20, 2020 \| past \| 5 comments
		Coq: A program specification and mathematical higher-level language (inria.fr)
		8 points by wener on Feb 1, 2020 \| past \| 2 comments
		Empirical study of Amdahl’s law on multicore processors (inria.fr)
		1 point by matt_d on Jan 29, 2020 \| past
		More

HN For You