| | Modern C (2019) (inria.fr) |
| 83 points by kaycebasques on June 2, 2023 | past | 55 comments |
|
| | Colored fused filament fabrication (2022) (inria.fr) |
| 1 point by maxwell on Jan 31, 2023 | past |
|
| | C23 Implications for C Libraries (inria.fr) |
| 112 points by ingve on Dec 10, 2022 | past | 116 comments |
|
| | Making a guitar rack plugin -WebAudio Modules 2.0 [pdf] (inria.fr) |
| 3 points by ArtWomb on Oct 14, 2022 | past | 1 comment |
|
| | The Smalltalk Report (inria.fr) |
| 8 points by igouy on Aug 15, 2022 | past |
|
| | Symmetry-driven 3D Reconstruction from Concept Sketches (inria.fr) |
| 4 points by lnyan on Aug 8, 2022 | past |
|
| | Foundations of Databases (inria.fr) |
| 101 points by tosh on July 24, 2022 | past | 4 comments |
|
| | Core-MATH: a pathway towards mandatory correct rounding in the next IEEE-754 std (inria.fr) |
| 3 points by thxg on July 17, 2022 | past | 1 comment |
|
| | Initial identification of the early signs of Alzheimer’s disease (inria.fr) |
| 2 points by aaraujo002 on June 12, 2022 | past |
|
| | Fixing a MongoDB Replication Protocol Bug with TLA+ (2019) [pdf] (inria.fr) |
| 2 points by eatonphil on May 2, 2022 | past |
|
| | Active Exploration for Neural Global Illumination of Variable Scenes (inria.fr) |
| 3 points by ingve on April 22, 2022 | past |
|
| | Factorization of RSA-250 (2020) (inria.fr) |
| 40 points by graderjs on April 8, 2022 | past | 17 comments |
|
| | Towards an Internet of Proof? (inria.fr) |
| 9 points by EvgeniyZh on March 6, 2022 | past |
|
| | Coq developers looking for community feedback, including on name change (inria.fr) |
| 3 points by palmskog on Feb 24, 2022 | past |
|
| | EScriptorium: Digital recognition of handwritten documents with machine learning (inria.fr) |
| 1 point by maphar on Feb 21, 2022 | past |
|
| | Coccinelle: A Program Matching and Transformation Tool for Systems Code (inria.fr) |
| 3 points by jka on Feb 14, 2022 | past |
|
| | Large Scale Terrain Generation from Tectonic Uplift and Fluvial Erosion (inria.fr) |
| 1 point by _lnwk on Dec 29, 2021 | past |
|
| | Generators, Iterators, Control and Continuations (inria.fr) |
| 1 point by Zababa on Dec 27, 2021 | past |
|
| | Practical Seed-Recovery for the PCG Pseudo-Random Number Generator (inria.fr) |
| 1 point by spekcular on Dec 20, 2021 | past |
|
| | Show HN: Towards a seamless multi-technology access network (inria.fr) |
| 1 point by DSpider on Dec 16, 2021 | past |
|
| | Virtual Log-Structured Storage for High-Performance Streaming [pdf] (inria.fr) |
| 48 points by teleforce on Nov 24, 2021 | past | 7 comments |
|
| | How I found a bug in Intel Skylake processors (2017) (inria.fr) |
| 295 points by vinnyglennon on Nov 8, 2021 | past | 42 comments |
|
| | Coccinelle: Program Matching and Transformation Engine (inria.fr) |
| 2 points by ingve on Oct 13, 2021 | past |
|
| | Accuracy of Mathematical Functions in Single, Double, Ext. Double and Quad Prec (inria.fr) |
| 2 points by matt_d on Sept 30, 2021 | past |
|
| | Implementing pgloader (from Python to Common Lisp) (2013) [pdf] (inria.fr) |
| 2 points by tosh on June 3, 2021 | past |
|
| | An Effective Git and Org-Mode Based Workflow(2015) (inria.fr) |
| 2 points by thyrsus on May 15, 2021 | past |
|
| | Andre Seznec Now at Intel (inria.fr) |
| 2 points by ksec on April 21, 2021 | past |
|
| | Foundations of Databases (1995) (inria.fr) |
| 253 points by harperlee on April 14, 2021 | past | 53 comments |
|
| | Renaming Coq (inria.fr) |
| 76 points by ingve on April 8, 2021 | past | 297 comments |
|
| | Coq 8.13 (inria.fr) |
| 116 points by infruset on Feb 18, 2021 | past | 41 comments |
|
|
| More |
