| | Coq 8.7 (inria.fr) |
| 3 points by infruset on Oct 18, 2017 | past |
|
| | Coq 8.7+beta2 (inria.fr) |
| 3 points by infruset on Oct 8, 2017 | past |
|
| | OCaml is switching to immutable strings by default (inria.fr) |
| 4 points by testcross on Oct 4, 2017 | past |
|
| | Reproducibility vs. root privileges (inria.fr) |
| 3 points by davexunit on Sept 22, 2017 | past |
|
| | Code Staging in GNU Guix (inria.fr) |
| 65 points by Fice on Sept 9, 2017 | past | 20 comments |
|
| | Coq 8.7+beta1 (inria.fr) |
| 1 point by infruset on Sept 6, 2017 | past |
|
| | Does disabling Wi-Fi prevent my Android phone from sending Wi-Fi frames? [pdf] (inria.fr) |
| 123 points by fanf2 on Aug 31, 2017 | past | 115 comments |
|
| | The Caml Language (inria.fr) |
| 1 point by anon335dtzbvc on Aug 23, 2017 | past |
|
| | PRANAS: Platform for Retina ANalysis and Simulation (inria.fr) |
| 2 points by indescions_2017 on Aug 21, 2017 | past |
|
| | Hop: a multitier JavaScript (inria.fr) |
| 2 points by tonyg on Aug 10, 2017 | past |
|
| | Learning from Video and Text via Large-Scale Discriminative Clustering (inria.fr) |
| 1 point by Katydid on Aug 2, 2017 | past |
|
| | The Coq proof assistant (inria.fr) |
| 2 points by bryanrasmussen on Aug 1, 2017 | past |
|
| | Coq 8.6.1 is out (inria.fr) |
| 2 points by uyoakaoma on July 30, 2017 | past |
|
| | SUnit Explained [pdf] (inria.fr) |
| 12 points by brudgers on July 27, 2017 | past |
|
| | A Verified Extensible Library of Elliptic Curves (inria.fr) |
| 1 point by mathgenius on July 21, 2017 | past |
|
| | A formal proof assistant which could help to make few crypto coins (inria.fr) |
| 2 points by Ceezy on July 17, 2017 | past |
|
| | OCaml 4.05.0 released (inria.fr) |
| 4 points by based2 on July 13, 2017 | past | 1 comment |
|
| | Bigloo Scheme: Scheme based programming style where C(++) is usually required (inria.fr) |
| 1 point by i_feel_great on July 12, 2017 | past |
|
| | I found a bug in Intel Skylake processors (inria.fr) |
| 587 points by testcross on July 3, 2017 | past | 99 comments |
|
| | The CompCert formally-verified C compiler (inria.fr) |
| 2 points by enedil on June 23, 2017 | past |
|
| | TLA+ Proof System (inria.fr) |
| 2 points by based2 on June 11, 2017 | past |
|
| | Software metrics used in practice are not reliable to assess project outcome (inria.fr) |
| 1 point by mpweiher on April 22, 2017 | past | 1 comment |
|
| | JoCaml: Ocaml extended for concurrent and distributed programming (inria.fr) |
| 2 points by based2 on April 15, 2017 | past |
|
| | OCaml 4.04.1 released, dedicated to the memory of Emmy Noether (inria.fr) |
| 5 points by based2 on April 14, 2017 | past | 1 comment |
|
| | Effect of Latin or Chinese script on teaching programming languages (inria.fr) |
| 1 point by rwmj on April 12, 2017 | past |
|
| | Fusion of Stereo Vision for Pedestrian Recognition using CNNs [pdf] (inria.fr) |
| 79 points by Katydid on April 10, 2017 | past | 42 comments |
|
| | Wandering through linear types, capabilities, and regions [pdf] (inria.fr) |
| 1 point by kiriakasis on March 27, 2017 | past |
|
| | Wandering through linear types, capabilities, and regions [pdf] (inria.fr) |
| 1 point by kiriakasis on March 27, 2017 | past |
|
| | A Comprehensive Study of Convergent and Commutative Replicated Data Types (inria.fr) |
| 2 points by marccarre on March 25, 2017 | past | 1 comment |
|
| | From visitors to iterators (inria.fr) |
| 1 point by rouma7 on March 14, 2017 | past |
|
|
| More |
