Submissions from inria.fr

		The Core-Math Project (inria.fr)
		2 points by crispinh 2 days ago \| past \| discuss
		Exposing and Understanding Scrolling Transfer Functions (2012) [pdf] (inria.fr)
		18 points by t23414321 14 days ago \| past \| discuss
		Program-ing Finger Trees in Coq (2007) [pdf] (inria.fr)
		2 points by todsacerdoti 5 months ago \| past
		Coccinelle: The secret weapon of the Linux kernel devs (inria.fr)
		3 points by agvxov 8 months ago \| past \| 1 comment
		Gilles Dowek: an explorer of formal methods (inria.fr)
		2 points by homarp 9 months ago \| past
		EĿlipsis, a Language Independent Preprocessor (inria.fr)
		4 points by faresahmed 9 months ago \| past \| 1 comment
		Objective ML: An Effective Object-Oriented Extension to ML (1998) [pdf] (inria.fr)
		3 points by swatson741 10 months ago \| past
		ProVerif: Cryptographic protocol verifier in the formal model (inria.fr)
		2 points by doener 11 months ago \| past
		Analytic Combinatorics [pdf] (inria.fr)
		1 point by ibobev on April 11, 2025 \| past
		Left-recursive versus right-recursive lists in LR parsers (inria.fr)
		2 points by nsajko on April 6, 2025 \| past
		Reconstructing the Knuth-Morris-Pratt Algorithm (inria.fr)
		5 points by nsajko on April 6, 2025 \| past
		Modern C (inria.fr)
		124 points by ibobev on March 27, 2025 \| past \| 22 comments
		NetworkDisk: SQLite NetworkX graph manipulation (inria.fr)
		2 points by wslh on Jan 11, 2025 \| past
		Design an Instrument Horn/Bore in the Browser (inria.fr)
		1 point by diydsp on Jan 11, 2025 \| past \| 3 comments
		Bigloo – Scheme Programming Language (inria.fr)
		1 point by giancarlostoro on Dec 17, 2024 \| past
		A Diffusion Approach to Radiance Field Relighting (inria.fr)
		2 points by hellohello2 on Nov 27, 2024 \| past
		Core-MATH: open-source mathematical functions with correct rounding (inria.fr)
		4 points by fanf2 on Oct 11, 2024 \| past
		Coq will be renamed into 'The Rocq Prover' (inria.fr)
		61 points by mvelbaum on Aug 7, 2024 \| past \| 64 comments
		StarPU: A Unified Runtime System for Heterogeneous Multicore Architectures (inria.fr)
		1 point by mshachkov on July 15, 2024 \| past
		Jean-Marie Hullot, visionary computer scientist and tech expert (2019) (inria.fr)
		2 points by lioeters on July 15, 2024 \| 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
		More

HN For You