| | [dupe] In the Beginning Was the Command Line (inria.fr) |
| 6 points by t23 on Oct 10, 2019 | past | 1 comment |
|
| | A New Allocator for OCaml (inria.fr) |
| 3 points by jasim on Oct 8, 2019 | past |
|
| | A new edition of the book Modern C is now available under CC license (inria.fr) |
| 3 points by meed on Sept 18, 2019 | past |
|
| | P99: Preprocessor Macros and Functions for C99 and C11 (2012) (inria.fr) |
| 55 points by fanf2 on Aug 24, 2019 | past | 21 comments |
|
| | Walking Your Dog in the Woods in Polynomial Time (inria.fr) |
| 3 points by vector_spaces on Aug 21, 2019 | past | 1 comment |
|
| | In the Beginning Was the Command Line (1999) (inria.fr) |
| 1 point by grahameb on Aug 17, 2019 | past | 1 comment |
|
| | Implementing pgloader (2013) [pdf] (inria.fr) |
| 2 points by tosh on Aug 6, 2019 | past | 1 comment |
|
| | Implementing Pgloader (Python to Common Lisp) (2013) [pdf] (inria.fr) |
| 2 points by tosh on Aug 5, 2019 | past |
|
| | The Quest for Formally Secure Compartmentalizing Compilation [pdf] (inria.fr) |
| 2 points by based2 on Aug 3, 2019 | past |
|
| | Smoother 3D Prints (inria.fr) |
| 2 points by rbanffy on July 31, 2019 | past |
|
| | Hardware cost evaluation of the posit number system (inria.fr) |
| 29 points by matt_d on July 9, 2019 | past | 6 comments |
|
| | Code Coverage and Post-Release Defects: A Large Scale Study (inria.fr) |
| 1 point by nfrankel on July 4, 2019 | past |
|
| | Jean-Marie Hullot has died (inria.fr) |
| 5 points by mrpippy on June 20, 2019 | past | 1 comment |
|
| | Poor Man's Allocation Profiler (inria.fr) |
| 2 points by testcross on June 18, 2019 | past |
|
| | Self-Supervised Learning [pdf] (inria.fr) |
| 251 points by Anon84 on June 16, 2019 | past | 48 comments |
|
| | Disproving a Coincidence with Code Golf (inria.fr) |
| 3 points by robin_reala on June 8, 2019 | past |
|
| | The Essence of ML Type Inference [pdf] (inria.fr) |
| 2 points by alokrai on May 22, 2019 | past |
|
| | Developing Applications with Objective Caml (inria.fr) |
| 1 point by molteanu on May 20, 2019 | past |
|
| | A Mechanised Cryptographic Proof of the WireGuard VPN Protocol (inria.fr) |
| 200 points by colinprince on May 13, 2019 | past | 44 comments |
|
| | [dupe] GNU Guix 1.0: a solid foundation for HPC and reproducible science (inria.fr) |
| 4 points by lelf on May 7, 2019 | past |
|
| | Foundations of Databases (1995) (inria.fr) |
| 662 points by tosh on April 23, 2019 | past | 52 comments |
|
| | The Mirage retreat: field trip report (inria.fr) |
| 1 point by lelf on April 15, 2019 | past |
|
| | Moving to a provenance-aware memory object model for C: proposal for C2x [pdf] (inria.fr) |
| 2 points by Nokinside on April 14, 2019 | past |
|
| | Moving to a provenance-aware memory object model for C: proposal for C2x (inria.fr) |
| 68 points by matt_d on April 14, 2019 | past | 50 comments |
|
| | “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 |
|
|
| More |
