| | 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 |
|
| | Wandering through linear types, capabilities, and regions [pdf] (inria.fr) |
| 1 point by g0xA52A2A on Jan 15, 2018 | past |
|
| | CompCert: verified compiler for a large subset of the C (inria.fr) |
| 1 point by based2 on Dec 19, 2017 | past | 1 comment |
|
| | Installing Guix on a cluster (inria.fr) |
| 1 point by rekado on Nov 23, 2017 | past |
|
| | OCaml 4.06.0 Released (inria.fr) |
| 7 points by aw1621107 on Nov 5, 2017 | past | 1 comment |
|
| | OCaml release 4.06.0 (inria.fr) |
| 8 points by copx on Nov 4, 2017 | past | 2 comments |
|
| | Hardware support for UNUM floating point arithmetic [pdf] (inria.fr) |
| 50 points by g0xA52A2A on Nov 3, 2017 | past | 17 comments |
|
|
| More |
