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

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Capsicum: practical capabilities for Unix [pdf] (cl.cam.ac.uk)

2 points

13 years ago

242.

OTPW -- A one-time password login package (cl.cam.ac.uk)

2 points

13 years ago

243.

Isabelle - Generic Proof Assistant (cl.cam.ac.uk)

2 points

13 years ago

244.

UTC with Smoothed Leap Seconds (UTC-SLS) (cl.cam.ac.uk)

2 points

4 months ago

245.

Raspberry Pi Tutorials (cl.cam.ac.uk)

2 points

14 years ago

246.

Key points from the Bluesky architecture paper [video] (cl.cam.ac.uk)

2 points

2 years ago

247.

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

2 points

2 years ago

248.

A pact with the Devil (another malware approach) (cl.cam.ac.uk)

2 points

14 years ago

249.

The Case for Learned Index Structures (2018) [pdf] (cl.cam.ac.uk)

2 points

2 years ago

250.

Cryptography and Competition Policy – Issues with Trusted Computing (2003) [pdf] (cl.cam.ac.uk)

2 points

3 years ago

251.

ML for the Working Programmer (cl.cam.ac.uk)

2 points

3 years ago

252.

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

2 points

3 years ago

253.

How to Cheat at the Lottery (Or, Massively Parallel Requirements Engineering) (cl.cam.ac.uk)

2 points

3 years ago

254.

UTF-8 was designed, in front of my eyes, in New Jersey (cl.cam.ac.uk)

2 points

14 years ago

255.

CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf] (cl.cam.ac.uk)

2 points

4 years ago

256.

Distributed Systems Notes – Dr. Martin Kleppmann [pdf] (cl.cam.ac.uk)

2 points

4 years ago

257.

Another Time, Another Place, Another Story (cl.cam.ac.uk)

2 points

4 years ago

258.

Towards Haskell in the Cloud (cl.cam.ac.uk)

2 points

15 years ago

259.

Higher-Order Reverse-Mode Automatic Differentiation [pdf] (cl.cam.ac.uk)

2 points

4 years ago

260.

Zen and the Art of Research Management (cl.cam.ac.uk)

2 points

5 years ago

261.

How much is a mechanized proof worth, certification-wise? [pdf] (cl.cam.ac.uk)

2 points

5 years ago

262.

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

2 points

5 years ago

263.

Concurrent and Distributed Systems – University of Cambridge (cl.cam.ac.uk)

2 points

5 years ago

264.

Towards copy-evident JPEG images (2009) [pdf] (cl.cam.ac.uk)

2 points

5 years ago

265.

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

2 points

15 years ago

266.

Ignoring the Great Firewall of China (2006) [pdf] (cl.cam.ac.uk)

2 points

6 years ago

267.

Duplo: A Framework for OCaml Post-Link Optimisation [pdf] (cl.cam.ac.uk)

2 points

6 years ago

268.

Measuring User Activity in an Online Social Network (pdf from NetSciCom 2011) (cl.cam.ac.uk)

2 points

15 years ago

269.

Arm Morello: Neoverse N1 with Capability Extensions (Cheri) (cl.cam.ac.uk)

2 points

6 years ago

270.

System Security for Cyborgs [pdf] (cl.cam.ac.uk)

2 points

6 years ago