Submissions from inria.fr

		“In the Beginning Was the Command Line” (inria.fr)
		1 point by acdanger on March 27, 2019 \| past
		Computational Mathematics with SageMath (2018) (inria.fr)
		86 points by lainon on March 25, 2019 \| past \| 11 comments
		On the S-Box of GOST Streebog and Kuznyechik (inria.fr)
		75 points by fanf2 on March 24, 2019 \| past \| 15 comments
		Logipedia – Encyclopedia of Formal Proofs (inria.fr)
		135 points by lelf on March 17, 2019 \| past \| 19 comments
		Flat design imposes higher cognitive load than skeumorphism (inria.fr)
		3 points by fnordsensei on Jan 22, 2019 \| past
		CompCert – A formally verified C compiler (inria.fr)
		185 points by cjg on Jan 22, 2019 \| past \| 57 comments
		Bertrand Serlet in Apple's Temple (2017) (inria.fr)
		1 point by WoodenChair on Jan 17, 2019 \| past
		A Survey of the First 20 Years of Research on Semantic Web and Linked Data [pdf] (inria.fr)
		149 points by kkdw on Jan 3, 2019 \| past \| 48 comments
		Program Verification with F* (2017) (inria.fr)
		95 points by adgasf on Dec 18, 2018 \| past \| 3 comments
		Computational Mathematics with SageMath (inria.fr)
		3 points by mathgenius on Dec 15, 2018 \| past
		Fixin' your automata (inria.fr)
		1 point by edwintorok on Dec 5, 2018 \| past
		End-To-end Encrypted Messaging Protocols: An Overview [pdf] (inria.fr)
		2 points by snazz on Nov 12, 2018 \| past
		Synchronous languages (inria.fr)
		92 points by dkrikun on Oct 4, 2018 \| past \| 19 comments
		Hardware Performance Monitoring for the Rest of Us (2017) [pdf] (inria.fr)
		20 points by dragontamer on Sept 26, 2018 \| past \| 2 comments
		RSA-230 has been factored (inria.fr)
		60 points by bane on Aug 23, 2018 \| past \| 11 comments
		Similarity encoding for learning with dirty categorical variables (inria.fr)
		1 point by mcenedella on Aug 21, 2018 \| past
		Coq proof assistant – A tutorial by Mike Nahas (inria.fr)
		1 point by based2 on July 22, 2018 \| past
		HPC goodies in Guix 0.15.0 (inria.fr)
		1 point by rekado on July 6, 2018 \| past
		Compiling Pattern Matching to Good Decision Trees [pdf] (inria.fr)
		3 points by TheAsprngHacker on July 6, 2018 \| past
		KOAN: a shared virtual memory for the iPSC/2 hypercube [pdf] (inria.fr)
		2 points by redshirt on June 16, 2018 \| past
		Wandering through linear types, capabilities and regions (2007) [pdf] (inria.fr)
		2 points by yomritoyj on June 4, 2018 \| past
		Ocaml: Type declarations and pattern matching (inria.fr)
		3 points by based2 on May 19, 2018 \| past
		Frequently asked Questions about Caml (1995) (inria.fr)
		2 points by shawn on May 17, 2018 \| past
		In the Beginning Was the Command Line (1999) (inria.fr)
		102 points by federicoponzi on April 15, 2018 \| past \| 13 comments
		Frightening small children and disconcerting grown-ups:Linux kernel Concurrency [pdf] (inria.fr)
		2 points by mfrw on March 22, 2018 \| past
		Wandering through linear types, capabilities, and regions [pdf](2007) (inria.fr)
		2 points by adamnemecek on March 12, 2018 \| past
		Resource Polymorphism (inria.fr)
		1 point by matt_d on March 8, 2018 \| past
		Resource Polymorphism: A proposal for a resource-management model for OCaml (inria.fr)
		3 points by panic on March 8, 2018 \| past
		An abstract model of control over personal data [pdf] (inria.fr)
		2 points by _a0vv on Feb 27, 2018 \| past
		Pre-built binaries vs. performance (inria.fr)
		2 points by rekado on Feb 14, 2018 \| past
		More

HN For You