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

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)

236 points

6 years ago

2.

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

1 point

11 years ago

3.

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

1 point

andylstephenson

12 years ago

4.

Backdoor found in a China-made US military chip (cl.cam.ac.uk)

536 points

14 years ago

5.

Prof. Ross Anderson's response to a takedown request about security research (cl.cam.ac.uk)

336 points

15 years ago

6.

ML for the Working Programmer, 2nd Edition (1996) (cl.cam.ac.uk)

266 points

9 years ago

7.

Algebraic Subtyping (2016) [pdf] (cl.cam.ac.uk)

252 points

9 years ago

8.

Baking Pi - Operating Systems Development (cl.cam.ac.uk)

237 points

14 years ago

9.

UTF-8 history (2003) (cl.cam.ac.uk)

225 points

7 years ago

10.

Security Engineering – A Guide to Building Dependable Distributed Systems (cl.cam.ac.uk)

205 points

6 years ago

11.

What is C in practice? (cl.cam.ac.uk)

192 points

11 years ago

12.

How printers and Photoshop detect and refuse to process images of currency (cl.cam.ac.uk)

191 points

12 years ago

13.

ASCII and Unicode quotation marks (cl.cam.ac.uk)

176 points

9 years ago

14.

Some Were Meant for C: The Endurance of an Unmanageable Language [pdf] (cl.cam.ac.uk)

165 points

9 years ago

15.

Analysis of USB fan given to journalists at North Korea-Singapore Summit [pdf] (cl.cam.ac.uk)

163 points

8 years ago

16.

Kalman Filter via a Simple and Intuitive Derivation [pdf] (cl.cam.ac.uk)

162 points

10 years ago

17.

Talking about “types” (cl.cam.ac.uk)

152 points

12 years ago

18.

Seven deadly sins of talking about “types” (2014) (cl.cam.ac.uk)

131 points

11 years ago

19.

MOV is Turing Complete [pdf] (cl.cam.ac.uk)

131 points

13 years ago

20.

Security Engineering – The Book (cl.cam.ac.uk)

120 points

13 years ago

21.

Sketchpad: A man-machine graphical communication system (1963) [pdf] (cl.cam.ac.uk)

116 points

8 years ago

22.

Into the Depths of C: Elaborating the De Facto Standards [pdf] (cl.cam.ac.uk)

115 points

10 years ago

23.

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

109 points

10 years ago

24.

Cerberus – Semantic models for C (cl.cam.ac.uk)

108 points

7 years ago

25.

Exploring C Semantics and Pointer Provenance [pdf] (cl.cam.ac.uk)

107 points

8 years ago

26.

How To Develop A Basic Operating System On The Raspberry Pi (cl.cam.ac.uk)

105 points

14 years ago

27.

Inline and Sideline Approaches for Low-Cost Memory Safety in C (cl.cam.ac.uk)

101 points

5 years ago

28.

Seven deadly sins of talking about “types” (2014) (cl.cam.ac.uk)

98 points

6 years ago

29.

A semantic model for a substantial fragment of C (cl.cam.ac.uk)

97 points

9 years ago

30.

Hot or Not: Revealing Hidden Services by their Clock Skew [pdf] (cl.cam.ac.uk)

96 points

12 years ago