| | Objective ML: An Effective Object-Oriented Extension to ML (1998) [pdf] (inria.fr) |
|
3 points by swatson741 8 days ago | past | discuss
|
|
| | ProVerif: Cryptographic protocol verifier in the formal model (inria.fr) |
|
2 points by doener 28 days ago | past
|
|
| | Analytic Combinatorics [pdf] (inria.fr) |
|
1 point by ibobev 55 days ago | past
|
|
| | Left-recursive versus right-recursive lists in LR parsers (inria.fr) |
|
2 points by nsajko 60 days ago | past
|
|
| | Reconstructing the Knuth-Morris-Pratt Algorithm (inria.fr) |
|
5 points by nsajko 60 days ago | past
|
|
| | Modern C (inria.fr) |
|
124 points by ibobev 70 days ago | past | 22 comments
|
|
| | NetworkDisk: SQLite NetworkX graph manipulation (inria.fr) |
|
2 points by wslh 4 months ago | past
|
|
| | Design an Instrument Horn/Bore in the Browser (inria.fr) |
|
1 point by diydsp 4 months ago | past | 3 comments
|
|
| | Bigloo – Scheme Programming Language (inria.fr) |
|
1 point by giancarlostoro 5 months ago | past
|
|
| | A Diffusion Approach to Radiance Field Relighting (inria.fr) |
|
2 points by hellohello2 6 months ago | past
|
|
| | Core-MATH: open-source mathematical functions with correct rounding (inria.fr) |
|
4 points by fanf2 7 months ago | past
|
|
| | Coq will be renamed into 'The Rocq Prover' (inria.fr) |
|
61 points by mvelbaum 10 months ago | past | 64 comments
|
|
| | StarPU: A Unified Runtime System for Heterogeneous Multicore Architectures (inria.fr) |
|
1 point by mshachkov 10 months ago | past
|
|
| | Jean-Marie Hullot, visionary computer scientist and tech expert (2019) (inria.fr) |
|
2 points by lioeters 10 months ago | past
|
|
| | Hierarchical 3D Gaussian Representation of Large Datasets (inria.fr) |
|
4 points by billconan on May 31, 2024 | past
|
|
| | P99: Preprocessor macros and functions for C99 and C11 (inria.fr) |
|
2 points by fanf2 on May 16, 2024 | past
|
|
| | Chunked sequences: O(1) push and pop, O(log n) split and concat, low constant fa (inria.fr) |
|
1 point by fanf2 on May 15, 2024 | past
|
|
| | Hierarchical 3D Gaussians for Real-Time Rendering of Large Datasets (inria.fr) |
|
4 points by jasondavies on May 1, 2024 | past
|
|
| | Reducing the Memory Footprint of 3D Gaussian Splatting (inria.fr) |
|
2 points by billconan on April 25, 2024 | past
|
|
| | Microdown: A clean and extensible markup language [pdf] (inria.fr) |
|
2 points by anserin on March 22, 2024 | past
|
|
| | Non-deterministic execution of Python functions (inria.fr) |
|
55 points by cha42 on Jan 31, 2024 | past | 16 comments
|
|
| | Semantic Patching in C with Coccinelle (inria.fr) |
|
14 points by speps on Dec 16, 2023 | past | 2 comments
|
|
| | The Zinc Experiment (1990) [pdf] (inria.fr) |
|
1 point by tosh on Nov 24, 2023 | past
|
|
| | Designing Dex: research language for typed, functional array processing [pdf] (inria.fr) |
|
1 point by Palmik on Oct 3, 2023 | past
|
|
| | Bits of History, Words of Advice (1984) [pdf] (inria.fr) |
|
3 points by todsacerdoti on Sept 23, 2023 | past | 1 comment
|
|
| | 3D Gaussian Splatting for Real-Time Radiance Field Rendering [pdf] (inria.fr) |
|
3 points by 11thEarlOfMar on Aug 19, 2023 | past
|
|
| | 3D Gaussian Splatting for Real-Time Radiance Field Rendering (inria.fr) |
|
44 points by jasondavies on Aug 9, 2023 | past | 4 comments
|
|
| | Science and Statistics (1976) [pdf] (inria.fr) |
|
85 points by dredmorbius on June 22, 2023 | past | 3 comments
|
|
| | Bigloo Scheme (inria.fr) |
|
2 points by gjadi on June 12, 2023 | past
|
|
| | 3D Gaussian Splatting for Real-Time Radiance Field Rendering (inria.fr) |
|
14 points by ath92 on June 11, 2023 | past | 2 comments
|
|
|
|
More |
