Search: hal.inria.fr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

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

4 years ago

13 points

2.

A Mechanised Cryptographic Proof of the WireGuard VPN Protocol

7 years ago

200 points

3.

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

7 years ago

149 points

4.

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

6 years ago

147 points

5.

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

10 years ago

126 points

6.

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

9 years ago

123 points

7.

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

11 years ago

97 points

8.

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

9 years ago

79 points

9.

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

7 years ago

68 points

10.

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

10 years ago

66 points

11.

Code Staging in GNU Guix

9 years ago

65 points

12.

Hardware support for UNUM floating point arithmetic [pdf]

9 years ago

50 points

13.

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

5 years ago

48 points

14.

C source-to-source compiler enhancement from within

6 years ago

37 points

15.

Hardware cost evaluation of the posit number system

7 years ago

29 points

16.

Hardware Performance Monitoring for the Rest of Us (2017) [pdf]

8 years ago

20 points

17.

Fully Distributed Non-Interactive Adaptively-Secure Threshold Signatures

11 years ago

10 points

18.

Reasoning on Web Data: Algorithms and Performance [pdf]

11 years ago

8 points

19.

Exploiting P2P Applications to Trace and Profile Tor Users

15 years ago

6 points

20.

Lowcode: Extending Pharo with C Types to Improve Performance

10 years ago

5 points

21.

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

6 years ago

4 points

22.

Model-driven management of Docker containers

10 years ago

4 points

23.

Making a guitar rack plugin -WebAudio Modules 2.0 [pdf]

4 years ago

3 points

24.

How to estimate Covid-19 infectiouness in the French contact tracing app

6 years ago

3 points

25.

Walking Your Dog in the Woods in Polynomial Time

7 years ago

3 points

26.

High Performance Convolutional Neural Networks for Document Processing

10 years ago

3 points

27.

Flat design imposes higher cognitive load than skeumorphism

7 years ago

3 points

28.

Resource Polymorphism: A proposal for a resource-management model for OCaml

8 years ago

3 points

29.

Construction of real algebraic numbers in Coq

9 years ago

3 points

30.

Write Fast, Read in the Past: Causal Consistency for Client-Side Applications

10 years ago

3 points