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

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Cheri C/C++ Programming Guide [pdf] (cl.cam.ac.uk)

96 points

4 years ago

32.

What you get is what you C: Controlling side effects in mainstream C compilers [pdf] (cl.cam.ac.uk)

95 points

8 years ago

33.

Introduction to Linguistics for Natural Language Processing (cl.cam.ac.uk)

89 points

15 years ago

34.

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

87 points

13 years ago

35.

Breakthrough silicon scanning discovers backdoor in military chip (cl.cam.ac.uk)

84 points

14 years ago

36.

International Standard Paper Sizes (cl.cam.ac.uk)

82 points

6 years ago

37.

Why Cryptosystems Fail (1993) (cl.cam.ac.uk)

82 points

9 years ago

38.

Analysis of Raft Consensus [pdf] (cl.cam.ac.uk)

80 points

11 years ago

39.

Concepts in Programming Languages (cl.cam.ac.uk)

74 points

14 years ago

40.

CHERI: Capability Hardware Enhanced RISC Instructions (cl.cam.ac.uk)

73 points

8 years ago

41.

Building Auto-Tuners with Structured Bayesian Optimization [pdf] (cl.cam.ac.uk)

70 points

9 years ago

42.

Gdb: Debugging with the natives (cl.cam.ac.uk)

70 points

10 years ago

43.

Corecursion and coinduction: how they relate to recursion and induction [pdf] (cl.cam.ac.uk)

68 points

6 years ago

44.

“Proof-of-work” proves not to work for spam prevention (2004) [pdf] (cl.cam.ac.uk)

66 points

5 years ago

45.

ARMv8-A system semantics: instruction fetch in relaxed architectures (cl.cam.ac.uk)

65 points

6 years ago

46.

CppMem: Formalised Interactive C/C++ memory model (svr-pes20-cppmem.cl.cam.ac.uk)

64 points

11 years ago

47.

Young Persons Guide to BCPL Programming on the Raspberry Pi [pdf] (cl.cam.ac.uk)

63 points

a year ago

48.

Visual Cryptography Kit (cl.cam.ac.uk)

63 points

9 years ago

49.

Raft Refloated: Do We Have Consensus? [pdf] (cl.cam.ac.uk)

62 points

11 years ago

50.

Modernized time.h for ISO C (1998) (cl.cam.ac.uk)

61 points

12 years ago

51.

The Missing Link: Explaining ELF Static Linking, Semantically [pdf] (cl.cam.ac.uk)

61 points

10 years ago

52.

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

55 points

12 years ago

53.

The Cerberus C semantics [pdf] (cl.cam.ac.uk)

54 points

3 years ago

54.

OCaml Users and Developers Workshop (syslog.cl.cam.ac.uk)

54 points

12 years ago

55.

Beyond the PDP-11: Processor support for a memory-safe C abstract machine [pdf] (cl.cam.ac.uk)

51 points

11 years ago

56.

Cheri C/C++ Programming Guide: Capability Hardware Enhanced RISC Instructions [pdf] (cl.cam.ac.uk)

50 points

6 years ago

57.

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

50 points

2 years ago

58.

The space and motion of communicating agents (2008) [pdf] (cl.cam.ac.uk)

49 points

5 months ago

59.

Detecting Currency in Photoshop (cl.cam.ac.uk)

48 points

15 years ago

60.

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

48 points

11 years ago