Search: inria.fr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Blurry – Host, share, and embed Gaussian Splatting models

a year ago

25 points

2.

Ask HN: Will online voting require to trust crypto experts?

4 years ago

13 points

3.

Ask HN: Designing a Parenscript alternative

16 years ago

13 points

4.

Snooze energy-efficient cloud manager is available as open-source

snooze.inria.fr

14 years ago

1 points

5.

Reproduce Gonthier Four Colour Theorem proof challenge (make no proof patches)

6 years ago

1 points

6.

Foundations of Databases (1995)

webdam.inria.fr

7 years ago

662 points

7.

I found a bug in Intel Skylake processors

gallium.inria.fr

9 years ago

587 points

8.

modernc.gforge.inria.fr

6 years ago

399 points

9.

How I found a bug in Intel Skylake processors (2017)

gallium.inria.fr

5 years ago

295 points

10.

Foundations of Databases (1995)

webdam.inria.fr

5 years ago

253 points

11.

Self-Supervised Learning [pdf]

project.inria.fr

7 years ago

251 points

12.

Compiler for the M language of the French DGFiP

gitlab.inria.fr

6 years ago

208 points

13.

A Mechanised Cryptographic Proof of the WireGuard VPN Protocol

7 years ago

200 points

14.

OCaml 4.03 will, “if all goes well”, support multicore

11 years ago

185 points

15.

CompCert – A formally verified C compiler

compcert.inria.fr

7 years ago

185 points

16.

In the Beginning was the Command Line (1999)

cristal.inria.fr

6 years ago

179 points

17.

OCaml 4.04.0 released

10 years ago

175 points

18.

OCaml's 20th Anniversary

11 years ago

166 points

19.

10 years ago

151 points

20.

A Survey of the First 20 Years of Research on Semantic Web and Linked Data [pdf]

7 years ago

149 points

21.

The relevance of IP addresses in the tracking ecosystem [pdf]

6 years ago

147 points

22.

In the Beginning Was the Command Line (1999)

cristal.inria.fr

10 years ago

145 points

23.

Logipedia – Encyclopedia of Formal Proofs

logipedia.inria.fr

7 years ago

135 points

24.

inbox.ocaml.org

7 years ago

128 points

25.

The NumPy array: a structure for efficient numerical computation (2011) [pdf]

10 years ago

126 points

26.

gustedt.gitlabpages.inria.fr

a year ago

124 points

27.

Does disabling Wi-Fi prevent my Android phone from sending Wi-Fi frames? [pdf]

9 years ago

123 points

28.

5 years ago

116 points

29.

C23 Implications for C Libraries

gustedt.gitlabpages.inria.fr

4 years ago

112 points

30.

Diffusion Curves: A Vector Representation for Smooth-Shaded Images

maverick.inria.fr

14 years ago

110 points