Search: cl.cam.ac.uk | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Micro-mitten – Research language with compile-time memory management

github.com/doctorn

6 years ago

236 points

2.

Ask HN: Easiest way to watermark everything as if it were currency

11 years ago

1 points

3.

Security Prof posts on data privacy - leaves open access to his private files

12 years ago

andylstephenson

1 points

4.

Backdoor found in a China-made US military chip

14 years ago

536 points

5.

Prof. Ross Anderson's response to a takedown request about security research

15 years ago

336 points

6.

ML for the Working Programmer, 2nd Edition (1996)

9 years ago

266 points

7.

Algebraic Subtyping (2016) [pdf]

9 years ago

252 points

8.

Baking Pi - Operating Systems Development

14 years ago

237 points

9.

UTF-8 history (2003)

7 years ago

225 points

10.

Security Engineering – A Guide to Building Dependable Distributed Systems

6 years ago

205 points

11.

What is C in practice?

11 years ago

192 points

12.

How printers and Photoshop detect and refuse to process images of currency

12 years ago

191 points

13.

ASCII and Unicode quotation marks

9 years ago

176 points

14.

Some Were Meant for C: The Endurance of an Unmanageable Language [pdf]

9 years ago

165 points

15.

Analysis of USB fan given to journalists at North Korea-Singapore Summit [pdf]

8 years ago

163 points

16.

Kalman Filter via a Simple and Intuitive Derivation [pdf]

10 years ago

162 points

17.

Talking about “types”

12 years ago

152 points

18.

Seven deadly sins of talking about “types” (2014)

11 years ago

131 points

19.

MOV is Turing Complete [pdf]

13 years ago

131 points

20.

Security Engineering – The Book

13 years ago

120 points

21.

Sketchpad: A man-machine graphical communication system (1963) [pdf]

8 years ago

116 points

22.

Into the Depths of C: Elaborating the De Facto Standards [pdf]

10 years ago

115 points

23.

Prolog.c: a simple Prolog interpreter written in 200 LOC of C++ (2000)

10 years ago

109 points

24.

Cerberus – Semantic models for C

7 years ago

108 points

25.

Exploring C Semantics and Pointer Provenance [pdf]

8 years ago

107 points

26.

How To Develop A Basic Operating System On The Raspberry Pi

14 years ago

105 points

27.

Inline and Sideline Approaches for Low-Cost Memory Safety in C

5 years ago

101 points

28.

Seven deadly sins of talking about “types” (2014)

7 years ago

98 points

29.

A semantic model for a substantial fragment of C

9 years ago

97 points

30.

Hot or Not: Revealing Hidden Services by their Clock Skew [pdf]

12 years ago

96 points