Hacker News
- Copy Protection in Modern Microcontrollers (2001) https://www.cl.cam.ac.uk/~sps32/mcu_lock.html 12 comments
- Cheri C/C++ Programming Guide: Capability Hardware Enhanced RISC Instructions [pdf] https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-947.pdf 7 comments
- UTF-8 history (2003) https://www.cl.cam.ac.uk/~mgk25/ucs/utf-8-history.txt 52 comments
- Capsicum: Practical Capabilities for Unix https://www.cl.cam.ac.uk/research/security/capsicum/ 9 comments
- Fun with semirings (2013) [pdf] http://www.cl.cam.ac.uk/~sd601/papers/semirings-slides.pdf 5 comments
Lobsters
- Formal verification of IA-64 division algorithms (2000) https://www.cl.cam.ac.uk/~jrh13/papers/hol00.pdf 2 comments formalmethods , pdf
- Young Persons Guide to BCPL Programming on the Raspberry Pi https://www.cl.cam.ac.uk/~mr10/bcpl4raspi.pdf 5 comments pdf , plt
- ASAP: As Static As Possible Memory Management (2017) https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-908.pdf 4 comments c , compilers , pdf , plt , security
- ML For The Working Programmer, 2nd ed. https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html 13 comments book , ml , pdf
- Full text of "ML for the Working Programmer" now online! https://www.cl.cam.ac.uk/~lp15/MLbook/pub-details.html 8 comments ml
- Algebraic Subtyping https://www.cl.cam.ac.uk/~sd601/thesis.pdf 2 comments ml , pdf
- OCaml inside: a drop-in replacement for libtls https://www.cl.cam.ac.uk/~jdy22/papers/ocaml-inside-a-drop-in-replacement-for-libtls.pdf 8 comments ml , pdf , security
- Seven deadly sins of talking about “types” http://www.cl.cam.ac.uk/~srk31/blog/2014/10/07/ 3 comments compsci , programming
- 95% Branch Prediction Accuracy https://www.cl.cam.ac.uk/teaching/2005/CompArch/mpr-branchpredict.pdf 22 comments compilers
- Comparing Quantitative Type Theory To Other Approaches https://www.cl.cam.ac.uk/~nk480/dlnl-paper.pdf 8 comments idris
- Some Were Meant for C: The Endurance of an Unmanageable Language https://www.cl.cam.ac.uk/~srk31/research/papers/kell17some-preprint.pdf 99 comments programming
- Staged Generic Programming (2017) (PDF) -- in MetaOCaml https://www.cl.cam.ac.uk/%7Ejdy22/papers/staged-generic-programming.pdf 3 comments haskell
- Algebraic subtyping [pdf] https://www.cl.cam.ac.uk/~sd601/thesis.pdf 6 comments scala
- Malfunctional programming - an untyped program representation intended as a compilation target for functional languages (pdf) http://www.cl.cam.ac.uk/~sd601/papers/malfunction.pdf 12 comments haskell
- A "sane" Design for Multicore OCaml http://www.cl.cam.ac.uk/~sd601/multicore.md 32 comments ocaml
- Fun with Semirings [pdf] http://www.cl.cam.ac.uk/~sd601/papers/semirings.pdf 3 comments compsci
- Glynn Winskel, the famed author of Foundations of PL, taught a course on denotational semantics at Cambridge; these are his notes (adapted from Andrew Pitts). http://www.cl.cam.ac.uk/~gw104/dens.pdf 3 comments compsci
- Supercompilation by Evaluation [PDF] http://www.cl.cam.ac.uk/~mb566/papers/sbe-hs10.pdf 13 comments compsci
- Are any of you using your raspberry pi to learn assembly language? http://www.cl.cam.ac.uk/freshers/raspberrypi/tutorials/os/introduction.html 21 comments raspberry_pi
- Baking Pi - Operating Systems Development https://www.cl.cam.ac.uk/freshers/raspberrypi/tutorials/os/ 29 comments programming
- Baking Pi - Operating Systems Development http://www.cl.cam.ac.uk/freshers/raspberrypi/tutorials/os/ 16 comments compsci
- [PDF] The science of guessing: analyzing an anonymized corpus of 70 million passwords https://www.cl.cam.ac.uk/~jcb82/doc/b12-ieeesp-analyzing_70m_anonymized_passwords.pdf 3 comments netsec
- Backdoor found in a US military China-made chip https://www.cl.cam.ac.uk/~sps32/sec_news.html#assurance 64 comments netsec
- Backdoor found in a US military China-made chip http://www.cl.cam.ac.uk/~sps32/sec_news.html#assurance 266 comments technology
- Cambridge Course: Usability of Programming Languages http://www.cl.cam.ac.uk/teaching/1011/r201/ 22 comments programming
- "Programming Language Design and Analysis motivated by Hardware Evolution" by Alan Mycroft. A must read. [pdf] http://www.cl.cam.ac.uk/~am21/papers/sas07final.pdf 22 comments programming
- Researchers from Cambridge find a way to watermark JPEG images. http://www.cl.cam.ac.uk/~abl26/copy-google.html 25 comments technology
- Academic badassery like no other. Ross Anderson on Omar Choudary's NO-PIN vulnerability. http://www.cl.cam.ac.uk/~rja14/papers/ukca.pdf 42 comments programming
- [PDF] The United States was founded in 1479, and it's now 1713. Researchers provide a fascinating argument stating our calendar is 297 years off. http://www.cl.cam.ac.uk/~mgk25/volatile/niemitz-1997.pdf 46 comments reddit.com
- [PDF] How Not to Design Authentication (Verified by Visa and MasterCard SecureCode) http://www.cl.cam.ac.uk/~rja14/papers/fc10vbvsecurecode.pdf 9 comments programming
- My friend just finished porting Tor to android for his summer project. What do you think? http://www.cl.cam.ac.uk/research/dtg/android/tor/ 47 comments programming
- Some Good Quality Lecture Notes on Semantics http://www.cl.cam.ac.uk/teaching/0809/semantics/notes-mono.pdf 3 comments compsci
- Security Engineering http://www.cl.cam.ac.uk/~rja14/book.html 4 comments programming
Lambda the Ultimate
- Verified Just-In-Time Compiler on x86 http://www.cl.cam.ac.uk/~mom22/jit/jit.pdf 2 comments Implementation , Semantics
- Types are Calling Conventions http://www.cl.cam.ac.uk/~mb566/papers/tacc-hs09.pdf 9 comments Functional , Implementation