Search: inria.fr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

OCaml 4.03.0 released (including flambda)

10 years ago

107 points

32.

In the Beginning Was the Command Line (1999)

cristal.inria.fr

8 years ago

102 points

33.

Foundations of Databases

webdam.inria.fr

4 years ago

101 points

34.

Branch Prediction and the Performance of Interpreters – Don’t Trust Folklore

11 years ago

97 points

35.

Two common mistakes when using databases

17 years ago

96 points

36.

Program Verification with F* (2017)

prosecco.gforge.inria.fr

8 years ago

95 points

37.

Synchronous languages

www-sop.inria.fr

8 years ago

92 points

38.

Computational Mathematics with SageMath (2018)

sagebook.gforge.inria.fr

7 years ago

86 points

39.

Science and Statistics (1976) [pdf]

www-sop.inria.fr

3 years ago

85 points

40.

Modern C (2019)

gustedt.gitlabpages.inria.fr

3 years ago

83 points

41.

Using, Understanding, and Unraveling the OCaml Language

6 years ago

80 points

42.

Fusion of Stereo Vision for Pedestrian Recognition using CNNs [pdf]

9 years ago

79 points

43.

Defer Reference Implementation for C

gustedt.gitlabpages.inria.fr

6 years ago

77 points

44.

5 years ago

76 points

45.

On the S-Box of GOST Streebog and Kuznyechik

who.paris.inria.fr

7 years ago

75 points

46.

Formal proof and analysis of an incremental cycle detection algorithm

gallium.inria.fr

6 years ago

72 points

47.

Moving to a provenance-aware memory object model for C: proposal for C2x

7 years ago

68 points

48.

Closing the Gap – The Formally Verified Optimizing Compiler CompCert [pdf]

10 years ago

66 points

49.

Code Staging in GNU Guix

9 years ago

65 points

50.

Coq will be renamed into 'The Rocq Prover'

2 years ago

61 points

51.

RSA-230 has been factored

lists.gforge.inria.fr

8 years ago

60 points

52.

P99: Preprocessor Macros and Functions for C99 and C11 (2012)

p99.gforge.inria.fr

7 years ago

55 points

53.

Non-deterministic execution of Python functions

gitlab.inria.fr

2 years ago

55 points

54.

Tiptop: Hardware Performance Counters

tiptop.gforge.inria.fr

12 years ago

55 points

55.

Hardware support for UNUM floating point arithmetic [pdf]

9 years ago

50 points

56.

Virtual Log-Structured Storage for High-Performance Streaming [pdf]

5 years ago

48 points

57.

The Art and Science of Smalltalk (1995) [pdf]

sdmeta.gforge.inria.fr

11 years ago

46 points

58.

3D Gaussian Splatting for Real-Time Radiance Field Rendering

repo-sam.inria.fr

3 years ago

44 points

59.

Apple devices are leaking sensitive data over BLE

6 years ago

44 points

60.

Factorization of RSA-250 (2020)

4 years ago

40 points