| | Computer Pioneer Pierre-Louis Curien Wins French Academy of Sciences Grand Prize (inria.fr) |
| 1 point by breck on Dec 10, 2020 | past |
|
| | C source-to-source compiler enhancement from within (inria.fr) |
| 38 points by ingve on Nov 10, 2020 | past | 9 comments |
|
| | In the Beginning was the Command Line (1999) (inria.fr) |
| 179 points by BerislavLopac on Nov 5, 2020 | past | 64 comments |
|
| | Do Cookie Banners Respect My Choice? [pdf] (inria.fr) |
| 2 points by ColinWright on Oct 16, 2020 | past |
|
| | Compiler for the M language of the French DGFiP (inria.fr) |
| 208 points by testcross on Oct 9, 2020 | past | 63 comments |
|
| | Defer Reference Implementation for C (inria.fr) |
| 77 points by cyber1 on Sept 30, 2020 | past | 59 comments |
|
| | Modern C (inria.fr) |
| 399 points by netgusto on Sept 3, 2020 | past | 165 comments |
|
| | Using, Understanding, and Unraveling the OCaml Language (inria.fr) |
| 80 points by rabidsnail on Aug 18, 2020 | past | 11 comments |
|
| | Apple devices are leaking sensitive data over BLE (inria.fr) |
| 44 points by dchest on July 13, 2020 | past | 3 comments |
|
| | Evolutionary Algorithms as Fitness Function Debuggers (inria.fr) |
| 2 points by xzvf on July 7, 2020 | past | 1 comment |
|
| | How to estimate Covid-19 infectiouness in the French contact tracing app (inria.fr) |
| 3 points by programLyrique on June 6, 2020 | past | 1 comment |
|
| | Source code of StopCovid19 – French national anticovid's program (inria.fr) |
| 10 points by mothinx on May 27, 2020 | past | 2 comments |
|
| | French Team for StopCovid just upload a zip of the code in Git (inria.fr) |
| 2 points by baptou12 on May 27, 2020 | past |
|
| | Fwd: Ad a Crate for Forward Auto-Differentiation (inria.fr) |
| 1 point by alex_hirner on May 19, 2020 | past |
|
| | StopCovid French Application (inria.fr) |
| 2 points by programLyrique on May 12, 2020 | past |
|
| | Branch Prediction and the Performance of Interpreters-Don't Trust Folklore(2015) (inria.fr) |
| 2 points by mpweiher on May 4, 2020 | past |
|
| | Branch Prediction and the Performance of Interpreters – Don't Trust Folklore (inria.fr) |
| 2 points by delduca on May 1, 2020 | past |
|
| | Branch Prediction and the Performance of Interpreters – Don't Trust Folklore (inria.fr) |
| 4 points by mpweiher on April 30, 2020 | past |
|
| | The relevance of IP addresses in the tracking ecosystem [pdf] (inria.fr) |
| 147 points by lesterpig on April 15, 2020 | past | 60 comments |
|
| | Factorization of RSA-250 (inria.fr) |
| 30 points by kissickas on April 8, 2020 | past | 5 comments |
|
| | 892-bit RSA has been factored (new record) (inria.fr) |
| 2 points by p4bl0 on Feb 29, 2020 | past |
|
| | Formal proof and analysis of an incremental cycle detection algorithm (inria.fr) |
| 72 points by lelf on Feb 20, 2020 | past | 5 comments |
|
| | Coq: A program specification and mathematical higher-level language (inria.fr) |
| 8 points by wener on Feb 1, 2020 | past | 2 comments |
|
| | Empirical study of Amdahl’s law on multicore processors (inria.fr) |
| 1 point by matt_d on Jan 29, 2020 | past |
|
| | FP-Crawlers: Studying the Resilience of Browser Fingerprinting to Block Crawlers (inria.fr) |
| 2 points by webdc on Jan 17, 2020 | past |
|
| | A modular module system [pdf] (inria.fr) |
| 13 points by wtetzner on Jan 15, 2020 | past |
|
| | Apple devices are leaking sensitive data over BLE (inria.fr) |
| 2 points by Reventlov on Dec 9, 2019 | past | 1 comment |
|
| | 795-bit factoring and discrete logarithms (inria.fr) |
| 1 point by jp3141 on Dec 4, 2019 | past |
|
| | 795-bit factoring and discrete logarithms (inria.fr) |
| 9 points by madars on Dec 2, 2019 | past |
|
| | Rotten Green Tests [pdf] (inria.fr) |
| 2 points by 2rsf on Oct 18, 2019 | past |
|
|
| More |
