HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
31.
▲
Cheri C/C++ Programming Guide [pdf]
cl.cam.ac.uk
9 comments
4 years ago
mzs
96 points
32.
▲
What you get is what you C: Controlling side effects in mainstream C compilers [pdf]
cl.cam.ac.uk
66 comments
8 years ago
gbrown_
95 points
33.
▲
Introduction to Linguistics for Natural Language Processing
cl.cam.ac.uk
5 comments
15 years ago
cskau
89 points
34.
▲
Baking Pi – Operating Systems Development
cl.cam.ac.uk
14 comments
13 years ago
roquin
87 points
35.
▲
Breakthrough silicon scanning discovers backdoor in military chip
cl.cam.ac.uk
10 comments
14 years ago
wglb
84 points
36.
▲
International Standard Paper Sizes
cl.cam.ac.uk
73 comments
6 years ago
polm23
82 points
37.
▲
Why Cryptosystems Fail (1993)
cl.cam.ac.uk
3 comments
9 years ago
dsacco
82 points
38.
▲
Analysis of Raft Consensus [pdf]
cl.cam.ac.uk
3 comments
12 years ago
yawniek
80 points
39.
▲
Concepts in Programming Languages
cl.cam.ac.uk
19 comments
14 years ago
g3orge
74 points
40.
▲
CHERI: Capability Hardware Enhanced RISC Instructions
cl.cam.ac.uk
12 comments
8 years ago
luu
73 points
41.
▲
Building Auto-Tuners with Structured Bayesian Optimization [pdf]
cl.cam.ac.uk
7 comments
9 years ago
blacksmythe
70 points
42.
▲
Gdb: Debugging with the natives
cl.cam.ac.uk
5 comments
10 years ago
ingve
70 points
43.
▲
Corecursion and coinduction: how they relate to recursion and induction [pdf]
cl.cam.ac.uk
11 comments
6 years ago
MindGods
68 points
44.
▲
“Proof-of-work” proves not to work for spam prevention (2004) [pdf]
cl.cam.ac.uk
104 comments
5 years ago
bravogamma
66 points
45.
▲
ARMv8-A system semantics: instruction fetch in relaxed architectures
cl.cam.ac.uk
1 comment
6 years ago
matt_d
65 points
46.
▲
CppMem: Formalised Interactive C/C++ memory model
svr-pes20-cppmem.cl.cam.ac.uk
5 comments
11 years ago
easytiger
64 points
47.
▲
Young Persons Guide to BCPL Programming on the Raspberry Pi [pdf]
cl.cam.ac.uk
28 comments
a year ago
scrlk
63 points
48.
▲
Visual Cryptography Kit
cl.cam.ac.uk
7 comments
9 years ago
sr2
63 points
49.
▲
Raft Refloated: Do We Have Consensus? [pdf]
cl.cam.ac.uk
4 comments
11 years ago
mrry
62 points
50.
▲
Modernized time.h for ISO C (1998)
cl.cam.ac.uk
17 comments
12 years ago
mr_tyzic
61 points
51.
▲
The Missing Link: Explaining ELF Static Linking, Semantically [pdf]
cl.cam.ac.uk
2 comments
10 years ago
ingve
61 points
52.
▲
UTF-8 history (2003)
cl.cam.ac.uk
7 comments
12 years ago
olalonde
55 points
53.
▲
The Cerberus C semantics [pdf]
cl.cam.ac.uk
23 comments
3 years ago
matt_d
54 points
54.
▲
OCaml Users and Developers Workshop
syslog.cl.cam.ac.uk
4 comments
12 years ago
mrry
54 points
55.
▲
Beyond the PDP-11: Processor support for a memory-safe C abstract machine [pdf]
cl.cam.ac.uk
12 comments
11 years ago
jsnell
51 points
56.
▲
Cheri C/C++ Programming Guide: Capability Hardware Enhanced RISC Instructions [pdf]
cl.cam.ac.uk
7 comments
6 years ago
cperciva
50 points
57.
▲
Baking Pi – Operating Systems Development (2012)
cl.cam.ac.uk
4 comments
2 years ago
wsc981
50 points
58.
▲
The space and motion of communicating agents (2008) [pdf]
cl.cam.ac.uk
7 comments
5 months ago
dhorthy
49 points
59.
▲
Detecting Currency in Photoshop
cl.cam.ac.uk
22 comments
15 years ago
hootx
48 points
60.
▲
Security Engineering: A Guide to Building Dependable Distributed Systems
cl.cam.ac.uk
7 comments
11 years ago
ColinWright
48 points
More