diff --git a/comp_sci_fundamentals_and_history/README.md b/comp_sci_fundamentals_and_history/README.md index 328bdb1..05ca574 100644 --- a/comp_sci_fundamentals_and_history/README.md +++ b/comp_sci_fundamentals_and_history/README.md @@ -1,11 +1,12 @@ ## Computer Science Fundamentals and History * "Turing, On computable numbers, with an application to the Entscheidungsproblem" by Alan Turing - * As a PDF: [Turing, On computable numbers, with an application to the Entscheidungsproblem](https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf) + * As a PDF: [Turing, On computable numbers, with an application to the Entscheidungsproblem](https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf) * As a collection of single images: [Turing, On computable numbers, with an application to the Entscheidungsproblem](http://www.turingarchive.org/browse.php/B/12) by Alan Turing * [Mealy, A Method for Synthesizing Sequential Circuits] (http://www3.alcatel-lucent.com/bstj/vol34-1955/articles/bstj34-5-1045.pdf) by George H. Mealy * :scroll: [Back to the Future - The Story of Squeak, A Practical Smalltalk Written in Itself](story-of-squeak-a-practical-smalltalk-written-in-itself.pdf) by Dan Ingalls, Ted Kaehler, John Maloney, Scott Wallace & Alan Kay * :scroll: [Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I](recursive-functions-of-symbolic-expressions-and-their-computation-by-machine-parti.pdf) by John McCarthy -* :scroll: [An Axiomatic Basis for Computer Programming](axiomatic-basis-computer-programming.pdf) by C. A. R. HOARE +* :scroll: [An Axiomatic Basis for Computer Programming](axiomatic-basis-computer-programming.pdf) by C. A. R. HOARE * [On the Computational Complexity of Algorithims](http://www.ams.org/journals/tran/1965-117-00/S0002-9947-1965-0170805-7/S0002-9947-1965-0170805-7.pdf) by J. HARTMANIS AND R. E. STEARNS * :scroll: [Hints for Computer System Design](hints-for-computer-system-design.pdf) +* :scroll: [Early Lisp History: 1956-1959](early-lisp-history-1956-1959-herbert-stoyan-html-rendering.pdf) by Herbert Stoyan. This is a pdf rendering of the HTML page available at Archive.org. diff --git a/comp_sci_fundamentals_and_history/early-lisp-history-1956-1959-herbert-stoyan-html-rendering.pdf b/comp_sci_fundamentals_and_history/early-lisp-history-1956-1959-herbert-stoyan-html-rendering.pdf new file mode 100644 index 0000000..e9879f0 Binary files /dev/null and b/comp_sci_fundamentals_and_history/early-lisp-history-1956-1959-herbert-stoyan-html-rendering.pdf differ diff --git a/operating_systems/README.md b/operating_systems/README.md index 5b32519..0f60aa4 100644 --- a/operating_systems/README.md +++ b/operating_systems/README.md @@ -2,14 +2,26 @@ * :scroll: [The UNIX Time-Sharing System](unix-time-sharing-system.pdf) -* [Xen and the Art of Virtualization](http://www.cl.cam.ac.uk/research/srg/netos/papers/2003-xensosp.pdf) - * [The operating system: should there be one?](http://plosworkshop.org/2013/preprint/kell.pdf) * [The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors](https://people.csail.mit.edu/nickolai/papers/clements-sc.pdf) +## System Virtualization + +* [Xen and the Art of Virtualization](http://www.cl.cam.ac.uk/research/srg/netos/papers/2003-xensosp.pdf) + +* :scroll: [kvm: the Linux Virtual Machine Monitor](kvm-linux-virtual-machines-monitor.pdf) + +### Live migration of Virtual Machines + * :scroll: [Live Migration of Virtual Machines](live-migration-of-virtual-machines.pdf) +## Jails and containers + * :scroll: [Jails: Confining the omnipotent root.](https://us-east.manta.joyent.com/bcantrill/public/ppwl-cantrill-jails.pdf) * :scroll: [Solaris Zones: Operating System Support for Consolidating Commercial Workloads](https://us-east.manta.joyent.com/bcantrill/public/ppwl-cantrill-zones.pdf) + + + + diff --git a/operating_systems/kvm-linux-virtual-machines-monitor.pdf b/operating_systems/kvm-linux-virtual-machines-monitor.pdf new file mode 100644 index 0000000..a8d0b40 Binary files /dev/null and b/operating_systems/kvm-linux-virtual-machines-monitor.pdf differ diff --git a/quantum_computing/README.md b/quantum_computing/README.md index e0cd4fc..880e4ad 100644 --- a/quantum_computing/README.md +++ b/quantum_computing/README.md @@ -5,3 +5,5 @@ * [:scroll:](advance_in_quantum_machine_learning.pdf) [Advances in quantum machine learning (2015)](https://arxiv.org/abs/1514.02900) (Jeremy Adcock, Euan Allen, Matthew Day, Stefan Frick, Janna Hinchliff, Mack Johnson, Sam Morley-Short, Sam Pallister, Alasdair Price, Stasja Stanisic) * [:scroll:](shors_algorithm.pdf) [Shors algorithm for polynomial time prime factorization (1995)](https://arxiv.org/pdf/quant-ph/9508027.pdf) (Peter W Shor) + +* [:scroll:](grovers_algorithm.pdf) [A fast quantum mechanical algorithm for database search](https://arxiv.org/pdf/quant-ph/9605043.pdf) (Lov K. Grover) diff --git a/quantum_computing/grovers_algorithm.pdf b/quantum_computing/grovers_algorithm.pdf new file mode 100644 index 0000000..b96383c Binary files /dev/null and b/quantum_computing/grovers_algorithm.pdf differ diff --git a/security/README.md b/security/README.md index 39c4a5d..f380045 100644 --- a/security/README.md +++ b/security/README.md @@ -1,7 +1,7 @@ ## Security * [Reflections on Trusting Trust (1984)](http://www.ece.cmu.edu/~ganger/712.fall02/papers/p761-thompson.pdf) -* [Internet Census via Insecure Routers (2012)](http://internetcensus2012.bitbucket.org/paper.html) +* [Internet Census via Insecure Routers (2012)](https://internetcensus2012.bitbucket.io/paper.html) * [Looking inside the (Drop) Box (2013)](https://www.usenix.org/system/files/conference/woot13/woot13-kholia.pdf) * [Making Programs Forget: Enforcing Lifetime For Sensitive Data (2011)](https://www.usenix.org/events/hotos11/tech/final_files/Kannan.pdf) * [Breach: Reviving The Crime Attack (2013)](http://breachattack.com/resources/BREACH%20-%20SSL,%20gone%20in%2030%20seconds.pdf)