| | All models are wrong [pdf] (inria.fr) |
| 2 points by dedalus on Feb 26, 2017 | past |
|
| | Hop.js / service (inria.fr) |
| 1 point by based2 on Feb 21, 2017 | past |
|
| | Hop.js (inria.fr) |
| 1 point by bpierre on Feb 20, 2017 | past |
|
| | Hop.js: A multitier JavaScript (inria.fr) |
| 4 points by _1tan on Jan 16, 2017 | past | 2 comments |
|
| | CompCert C: a trustworthy compiler (inria.fr) |
| 1 point by infruset on Jan 12, 2017 | past |
|
| | Construction of real algebraic numbers in Coq (inria.fr) |
| 3 points by setra on Jan 8, 2017 | past |
|
| | To H.B. Curry: Essays on Combinatory Logic, Lambda. Calculus and Formalism [pdf] (inria.fr) |
| 5 points by tosh on Dec 27, 2016 | past |
|
| | Coq 8.6 is out (inria.fr) |
| 151 points by infruset on Dec 14, 2016 | past | 88 comments |
|
| | The upcoming version: Coq 8.6rc1 (inria.fr) |
| 1 point by infruset on Dec 8, 2016 | past |
|
| | Closing the Gap – The Formally Verified Optimizing Compiler CompCert [pdf] (inria.fr) |
| 66 points by panic on Nov 26, 2016 | past | 10 comments |
|
| | OCaml 4.04.0 released (inria.fr) |
| 175 points by mseri on Nov 4, 2016 | past | 24 comments |
|
| | Model-driven management of Docker containers (inria.fr) |
| 4 points by dluc on Nov 3, 2016 | past |
|
| | A Secure Self-Adaptable Application-Level Firewall for IaaS Clouds [pdf] (inria.fr) |
| 3 points by Katydid on Oct 20, 2016 | past |
|
| | Cryptanalysis of 1024-bit trapdoored primes (inria.fr) |
| 3 points by wglb on Oct 7, 2016 | past |
|
| | Cryptanalysis of 1024-bit trapdoored primes (inria.fr) |
| 3 points by RossBencina on Oct 6, 2016 | past |
|
| | Sklml: Easy coarse grain parallelization (inria.fr) |
| 2 points by cm3 on Sept 29, 2016 | past |
|
| | Lowcode: Extending Pharo with C Types to Improve Performance (inria.fr) |
| 5 points by mpweiher on Sept 11, 2016 | past |
|
| | In the Beginning Was the Command Line (1999) (inria.fr) |
| 145 points by ohjeez on Sept 10, 2016 | past | 54 comments |
|
| | In the Beginning...Was the Command Line (1999) (inria.fr) |
| 4 points by maverick_iceman on Aug 25, 2016 | past |
|
| | The NumPy array: a structure for efficient numerical computation (2011) [pdf] (inria.fr) |
| 126 points by kercker on Aug 1, 2016 | past | 31 comments |
|
| | Do we still need new Alias Analyses? [pdf] (inria.fr) |
| 1 point by EvgeniyZh on July 25, 2016 | past |
|
| | CADO-NFS (inria.fr) |
| 2 points by e-sushi on July 10, 2016 | past |
|
| | Interactive Sketching of Urban Procedural Models (inria.fr) |
| 30 points by mpweiher on May 10, 2016 | past | 3 comments |
|
| | OCaml 4.03.0 released (including flambda) (inria.fr) |
| 107 points by cm3 on April 27, 2016 | past | 50 comments |
|
| | The End of Numerical Error [pdf] (inria.fr) |
| 2 points by te on April 26, 2016 | past |
|
| | Boom, OCaml 4.03.0 released, Get it now on opam (inria.fr) |
| 16 points by e_d_g_a_r on April 25, 2016 | past | 1 comment |
|
| | Deep-sequoia: A French corpus with surface and deep syntactic annotations (inria.fr) |
| 3 points by gfortaine on April 25, 2016 | past |
|
| | High Performance Convolutional Neural Networks for Document Processing (inria.fr) |
| 3 points by signa11 on April 13, 2016 | past | 1 comment |
|
| | Hop: a multi-tier JavaScript (inria.fr) |
| 1 point by ingve on April 12, 2016 | past |
|
| | CoqHoTT: Coq for Homotopy Type Theory (inria.fr) |
| 7 points by gfortaine on April 11, 2016 | past |
|
|
| More |
