diff --git a/3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf b/3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf
new file mode 100644
index 0000000..87c1e32
Binary files /dev/null and b/3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf differ
diff --git a/3D Projection Visualization.pdf b/3D Projection Visualization.pdf
new file mode 100644
index 0000000..f7384ae
Binary files /dev/null and b/3D Projection Visualization.pdf differ
diff --git a/3GPP SAELTE Security NIKSUN WWSMC.pdf b/3GPP SAELTE Security NIKSUN WWSMC.pdf
new file mode 100644
index 0000000..ac93e42
Binary files /dev/null and b/3GPP SAELTE Security NIKSUN WWSMC.pdf differ
diff --git a/A Comparative Study of Programming Languages in Rosetta Code.pdf b/A Comparative Study of Programming Languages in Rosetta Code.pdf
new file mode 100644
index 0000000..ef70e0f
Binary files /dev/null and b/A Comparative Study of Programming Languages in Rosetta Code.pdf differ
diff --git a/A Distributed System Based on Web Services for Computational Science Simulations.pdf b/A Distributed System Based on Web Services for Computational Science Simulations.pdf
new file mode 100644
index 0000000..f017738
Binary files /dev/null and b/A Distributed System Based on Web Services for Computational Science Simulations.pdf differ
diff --git a/A Flexible replication framework for scalable and reliable .net service.pdf b/A Flexible replication framework for scalable and reliable .net service.pdf
new file mode 100644
index 0000000..96b33c4
Binary files /dev/null and b/A Flexible replication framework for scalable and reliable .net service.pdf differ
diff --git a/A Foreign Function Interface Generator.pdf b/A Foreign Function Interface Generator.pdf
new file mode 100644
index 0000000..75be686
Binary files /dev/null and b/A Foreign Function Interface Generator.pdf differ
diff --git a/A Local Distributed Peer-to-Peer Algorithm Using Multi-Party OptimizationBased Privacy Preservation for Data Mining Primitive Computation.pdf b/A Local Distributed Peer-to-Peer Algorithm Using Multi-Party OptimizationBased Privacy Preservation for Data Mining Primitive Computation.pdf
new file mode 100644
index 0000000..3e519f4
Binary files /dev/null and b/A Local Distributed Peer-to-Peer Algorithm Using Multi-Party OptimizationBased Privacy Preservation for Data Mining Primitive Computation.pdf differ
diff --git "a/A Mathematician\342\200\231s Lament.pdf" "b/A Mathematician\342\200\231s Lament.pdf"
new file mode 100644
index 0000000..a0a41a2
Binary files /dev/null and "b/A Mathematician\342\200\231s Lament.pdf" differ
diff --git a/A Nanopass Framework for Commercial Compiler Development.pdf b/A Nanopass Framework for Commercial Compiler Development.pdf
new file mode 100644
index 0000000..b29b6ed
Binary files /dev/null and b/A Nanopass Framework for Commercial Compiler Development.pdf differ
diff --git a/A Neural Conversational Model.pdf b/A Neural Conversational Model.pdf
new file mode 100644
index 0000000..c05cbc1
Binary files /dev/null and b/A Neural Conversational Model.pdf differ
diff --git a/A New Concurrency Model for Scala Based on a Declarative Dataflow Core.pdf b/A New Concurrency Model for Scala Based on a Declarative Dataflow Core.pdf
new file mode 100644
index 0000000..87806bc
Binary files /dev/null and b/A New Concurrency Model for Scala Based on a Declarative Dataflow Core.pdf differ
diff --git a/A Practical Attack on the MIFARE Classic.pdf b/A Practical Attack on the MIFARE Classic.pdf
new file mode 100644
index 0000000..798ad46
Binary files /dev/null and b/A Practical Attack on the MIFARE Classic.pdf differ
diff --git a/A Principled Approach to Operating System Construction in Haskell .pdf b/A Principled Approach to Operating System Construction in Haskell .pdf
new file mode 100644
index 0000000..cb5e4c7
Binary files /dev/null and b/A Principled Approach to Operating System Construction in Haskell .pdf differ
diff --git a/A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf b/A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf
new file mode 100644
index 0000000..fd33f7f
Binary files /dev/null and b/A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf differ
diff --git a/A look Inside the Final Fantasy VII Game Engine (gears).pdf b/A look Inside the Final Fantasy VII Game Engine (gears).pdf
new file mode 100644
index 0000000..819f48d
Binary files /dev/null and b/A look Inside the Final Fantasy VII Game Engine (gears).pdf differ
diff --git a/ARM system-on-chip architecture.pdf b/ARM system-on-chip architecture.pdf
new file mode 100644
index 0000000..2766edd
Binary files /dev/null and b/ARM system-on-chip architecture.pdf differ
diff --git a/Achieving Usability Through Software Architecture.pdf b/Achieving Usability Through Software Architecture.pdf
new file mode 100644
index 0000000..e071abe
Binary files /dev/null and b/Achieving Usability Through Software Architecture.pdf differ
diff --git a/Algorithms for the masses.pdf b/Algorithms for the masses.pdf
new file mode 100644
index 0000000..1329374
Binary files /dev/null and b/Algorithms for the masses.pdf differ
diff --git a/An Approximation Algorithm for Minimum-Delay Peer-to-Peer Streaming.pdf b/An Approximation Algorithm for Minimum-Delay Peer-to-Peer Streaming.pdf
new file mode 100644
index 0000000..3d5bdeb
Binary files /dev/null and b/An Approximation Algorithm for Minimum-Delay Peer-to-Peer Streaming.pdf differ
diff --git a/An O(ND) Difference Algorithm and Its Variations.pdf b/An O(ND) Difference Algorithm and Its Variations.pdf
new file mode 100644
index 0000000..439cae8
Binary files /dev/null and b/An O(ND) Difference Algorithm and Its Variations.pdf differ
diff --git a/An Optimization Algorithm of RSA key generation in embedded system.pdf b/An Optimization Algorithm of RSA key generation in embedded system.pdf
new file mode 100644
index 0000000..c0db255
Binary files /dev/null and b/An Optimization Algorithm of RSA key generation in embedded system.pdf differ
diff --git a/Analysis of a Denial of Service Attack on TCP.pdf b/Analysis of a Denial of Service Attack on TCP.pdf
new file mode 100644
index 0000000..14c2d97
Binary files /dev/null and b/Analysis of a Denial of Service Attack on TCP.pdf differ
diff --git a/Anotacoes sobre mecanica e dinamica.pdf b/Anotacoes sobre mecanica e dinamica.pdf
new file mode 100644
index 0000000..22bd997
Binary files /dev/null and b/Anotacoes sobre mecanica e dinamica.pdf differ
diff --git a/Apollo Guidance Computer - BLOCK I.pdf b/Apollo Guidance Computer - BLOCK I.pdf
new file mode 100644
index 0000000..8eab692
Binary files /dev/null and b/Apollo Guidance Computer - BLOCK I.pdf differ
diff --git a/Bertrand Meyer - Object Oriented Software Construction (2Ed).pdf b/Bertrand Meyer - Object Oriented Software Construction (2Ed).pdf
new file mode 100644
index 0000000..3f47fa9
Binary files /dev/null and b/Bertrand Meyer - Object Oriented Software Construction (2Ed).pdf differ
diff --git a/Binary Obfuscation Using Signals.pdf b/Binary Obfuscation Using Signals.pdf
new file mode 100644
index 0000000..0653f0e
Binary files /dev/null and b/Binary Obfuscation Using Signals.pdf differ
diff --git a/Binary code obfuscation through C++ template metaprogramming.pdf b/Binary code obfuscation through C++ template metaprogramming.pdf
new file mode 100644
index 0000000..879ab6a
Binary files /dev/null and b/Binary code obfuscation through C++ template metaprogramming.pdf differ
diff --git a/BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf b/BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf
new file mode 100644
index 0000000..38c9ac6
Binary files /dev/null and b/BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf differ
diff --git a/Bluebook Smalltalk80.pdf b/Bluebook Smalltalk80.pdf
new file mode 100644
index 0000000..982a005
Binary files /dev/null and b/Bluebook Smalltalk80.pdf differ
diff --git a/Building a Dependable Operating System Fault Tolerance in Minix 3.pdf b/Building a Dependable Operating System Fault Tolerance in Minix 3.pdf
new file mode 100644
index 0000000..8b4ccca
Binary files /dev/null and b/Building a Dependable Operating System Fault Tolerance in Minix 3.pdf differ
diff --git a/C type prunning.pdf b/C type prunning.pdf
new file mode 100644
index 0000000..62ad498
Binary files /dev/null and b/C type prunning.pdf differ
diff --git a/Cache-Oblivious Algorithms.pdf b/Cache-Oblivious Algorithms.pdf
new file mode 100644
index 0000000..0b031fc
Binary files /dev/null and b/Cache-Oblivious Algorithms.pdf differ
diff --git a/Can Programming Be Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf b/Can Programming Be Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf
new file mode 100644
index 0000000..73c45cd
Binary files /dev/null and b/Can Programming Be Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf differ
diff --git a/Clean Code.pdf b/Clean Code.pdf
new file mode 100644
index 0000000..cd7a0c0
Binary files /dev/null and b/Clean Code.pdf differ
diff --git a/Common Lisp A Gentle Introduction to Symbolic Computation.pdf b/Common Lisp A Gentle Introduction to Symbolic Computation.pdf
new file mode 100644
index 0000000..8c76f31
Binary files /dev/null and b/Common Lisp A Gentle Introduction to Symbolic Computation.pdf differ
diff --git a/Common RAID Disk Data Format Spec.pdf b/Common RAID Disk Data Format Spec.pdf
new file mode 100644
index 0000000..4c7fca5
Binary files /dev/null and b/Common RAID Disk Data Format Spec.pdf differ
diff --git a/Computer Implementation of the Finite Element Method.pdf b/Computer Implementation of the Finite Element Method.pdf
new file mode 100644
index 0000000..11128f9
Binary files /dev/null and b/Computer Implementation of the Finite Element Method.pdf differ
diff --git a/Computer Security NIST p1.pdf b/Computer Security NIST p1.pdf
new file mode 100644
index 0000000..231e04c
Binary files /dev/null and b/Computer Security NIST p1.pdf differ
diff --git a/Computing Trusted Authority Scores in Peer-to-Peer Web Search Networks.pdf b/Computing Trusted Authority Scores in Peer-to-Peer Web Search Networks.pdf
new file mode 100644
index 0000000..d4e024d
Binary files /dev/null and b/Computing Trusted Authority Scores in Peer-to-Peer Web Search Networks.pdf differ
diff --git a/Concepts first in introdutory CS courses rr2003-08.pdf b/Concepts first in introdutory CS courses rr2003-08.pdf
new file mode 100644
index 0000000..328e97b
Binary files /dev/null and b/Concepts first in introdutory CS courses rr2003-08.pdf differ
diff --git a/Concurrency Patterns.pdf b/Concurrency Patterns.pdf
new file mode 100644
index 0000000..7bfd726
Binary files /dev/null and b/Concurrency Patterns.pdf differ
diff --git a/Console Hacking Chaos 2010.pdf b/Console Hacking Chaos 2010.pdf
new file mode 100644
index 0000000..c0f071d
Binary files /dev/null and b/Console Hacking Chaos 2010.pdf differ
diff --git a/Count by value.pdf b/Count by value.pdf
new file mode 100644
index 0000000..048a629
Binary files /dev/null and b/Count by value.pdf differ
diff --git a/Creating Device Drivers.pdf b/Creating Device Drivers.pdf
new file mode 100644
index 0000000..0b6b30f
Binary files /dev/null and b/Creating Device Drivers.pdf differ
diff --git a/Cryptology/Chosen-prefix collisions for MD5 and applications.pdf b/Cryptology/Chosen-prefix collisions for MD5 and applications.pdf
new file mode 100644
index 0000000..a001dac
Binary files /dev/null and b/Cryptology/Chosen-prefix collisions for MD5 and applications.pdf differ
diff --git a/Cryptology/Comments on dual EC DRBG.pdf b/Cryptology/Comments on dual EC DRBG.pdf
new file mode 100644
index 0000000..66bfe12
Binary files /dev/null and b/Cryptology/Comments on dual EC DRBG.pdf differ
diff --git a/Cryptology/Cryptanalysis of the Dual Elliptic Curve Pseudorandom Generator.pdf b/Cryptology/Cryptanalysis of the Dual Elliptic Curve Pseudorandom Generator.pdf
new file mode 100644
index 0000000..86186bf
Binary files /dev/null and b/Cryptology/Cryptanalysis of the Dual Elliptic Curve Pseudorandom Generator.pdf differ
diff --git a/Cryptology/Cryptanalysis of the Windows Random Number Generator.pdf b/Cryptology/Cryptanalysis of the Windows Random Number Generator.pdf
new file mode 100644
index 0000000..7be87b5
Binary files /dev/null and b/Cryptology/Cryptanalysis of the Windows Random Number Generator.pdf differ
diff --git a/Cryptology/Differential Cryptanalysis of Salsa_20_8.pdf b/Cryptology/Differential Cryptanalysis of Salsa_20_8.pdf
new file mode 100644
index 0000000..8b33476
Binary files /dev/null and b/Cryptology/Differential Cryptanalysis of Salsa_20_8.pdf differ
diff --git a/Cryptology/Handbook of Applied Cryptology.pdf b/Cryptology/Handbook of Applied Cryptology.pdf
new file mode 100644
index 0000000..691d19d
Binary files /dev/null and b/Cryptology/Handbook of Applied Cryptology.pdf differ
diff --git a/Cryptology/High-speed high-security signatures.pdf b/Cryptology/High-speed high-security signatures.pdf
new file mode 100644
index 0000000..6dc2ff6
Binary files /dev/null and b/Cryptology/High-speed high-security signatures.pdf differ
diff --git a/Cryptology/KALE A High-Degree Algebraic-Resistant Variant of The Advanced Encryption Standard.pdf b/Cryptology/KALE A High-Degree Algebraic-Resistant Variant of The Advanced Encryption Standard.pdf
new file mode 100644
index 0000000..1c44e3b
Binary files /dev/null and b/Cryptology/KALE A High-Degree Algebraic-Resistant Variant of The Advanced Encryption Standard.pdf differ
diff --git a/Cryptology/MD5 To Be Considered Harmful Someday.pdf b/Cryptology/MD5 To Be Considered Harmful Someday.pdf
new file mode 100644
index 0000000..d3800ad
Binary files /dev/null and b/Cryptology/MD5 To Be Considered Harmful Someday.pdf differ
diff --git a/Cryptology/MD5 is Weaker than Weak Attacks on Concatenated Combiners.pdf b/Cryptology/MD5 is Weaker than Weak Attacks on Concatenated Combiners.pdf
new file mode 100644
index 0000000..ad5f0c1
Binary files /dev/null and b/Cryptology/MD5 is Weaker than Weak Attacks on Concatenated Combiners.pdf differ
diff --git a/Cryptology/On Collisions for MD5 - M.M.J. Stevens.pdf b/Cryptology/On Collisions for MD5 - M.M.J. Stevens.pdf
new file mode 100644
index 0000000..4b0126b
Binary files /dev/null and b/Cryptology/On Collisions for MD5 - M.M.J. Stevens.pdf differ
diff --git a/Cryptology/Security Engineering - The Book.pdf b/Cryptology/Security Engineering - The Book.pdf
new file mode 100644
index 0000000..0c1db95
Binary files /dev/null and b/Cryptology/Security Engineering - The Book.pdf differ
diff --git a/Cryptology/Tunnels in Hash Functions MD5 Collisions Within a Minute.pdf b/Cryptology/Tunnels in Hash Functions MD5 Collisions Within a Minute.pdf
new file mode 100644
index 0000000..7fe2f72
Binary files /dev/null and b/Cryptology/Tunnels in Hash Functions MD5 Collisions Within a Minute.pdf differ
diff --git a/Cycles Cells and Platters An Empirical Analysis of Hardware Failures on a Million Consumer PCs.pdf b/Cycles Cells and Platters An Empirical Analysis of Hardware Failures on a Million Consumer PCs.pdf
new file mode 100644
index 0000000..fd5b10a
Binary files /dev/null and b/Cycles Cells and Platters An Empirical Analysis of Hardware Failures on a Million Consumer PCs.pdf differ
diff --git a/DHTbasedNATTraversal.pdf b/DHTbasedNATTraversal.pdf
new file mode 100644
index 0000000..9e6bf0f
Binary files /dev/null and b/DHTbasedNATTraversal.pdf differ
diff --git a/Data Management Past, Present, and Future.pdf b/Data Management Past, Present, and Future.pdf
new file mode 100644
index 0000000..93cfaea
Binary files /dev/null and b/Data Management Past, Present, and Future.pdf differ
diff --git a/Data-centric Programming for Distributed Systems.pdf b/Data-centric Programming for Distributed Systems.pdf
new file mode 100644
index 0000000..8ad2d26
Binary files /dev/null and b/Data-centric Programming for Distributed Systems.pdf differ
diff --git a/Dataflow Machine Architecture.pdf b/Dataflow Machine Architecture.pdf
new file mode 100644
index 0000000..b8b47dd
Binary files /dev/null and b/Dataflow Machine Architecture.pdf differ
diff --git a/Decoding billions of integers per second through vectorization.pdf b/Decoding billions of integers per second through vectorization.pdf
new file mode 100644
index 0000000..3c8e2f6
Binary files /dev/null and b/Decoding billions of integers per second through vectorization.pdf differ
diff --git a/Deconstructing the Database QConSF2012.pdf b/Deconstructing the Database QConSF2012.pdf
new file mode 100644
index 0000000..9320393
Binary files /dev/null and b/Deconstructing the Database QConSF2012.pdf differ
diff --git a/Deep Feature Synthesis Towards Automating Data Science Endeavors.pdf b/Deep Feature Synthesis Towards Automating Data Science Endeavors.pdf
new file mode 100644
index 0000000..1c7b8d7
Binary files /dev/null and b/Deep Feature Synthesis Towards Automating Data Science Endeavors.pdf differ
diff --git a/Design Rule Checking.pdf b/Design Rule Checking.pdf
new file mode 100644
index 0000000..1fee528
Binary files /dev/null and b/Design Rule Checking.pdf differ
diff --git a/Designing Interactions 1.pdf b/Designing Interactions 1.pdf
new file mode 100644
index 0000000..35d3bb5
Binary files /dev/null and b/Designing Interactions 1.pdf differ
diff --git a/Differential Cryptanalysis of Salsa_20_8.pdf b/Differential Cryptanalysis of Salsa_20_8.pdf
new file mode 100644
index 0000000..8b33476
Binary files /dev/null and b/Differential Cryptanalysis of Salsa_20_8.pdf differ
diff --git a/Digital Audio Signal Processing.pdf b/Digital Audio Signal Processing.pdf
new file mode 100644
index 0000000..c20cdf6
Binary files /dev/null and b/Digital Audio Signal Processing.pdf differ
diff --git a/Diseases in Code.pdf b/Diseases in Code.pdf
new file mode 100644
index 0000000..cd98a56
Binary files /dev/null and b/Diseases in Code.pdf differ
diff --git a/Disk and Tape Storage Cost Models.pdf b/Disk and Tape Storage Cost Models.pdf
new file mode 100644
index 0000000..a51b3d7
Binary files /dev/null and b/Disk and Tape Storage Cost Models.pdf differ
diff --git a/Dynamic Replication and Synchronization of Web Services for High Availability in Mobile Ad-hoc Networks.pdf b/Dynamic Replication and Synchronization of Web Services for High Availability in Mobile Ad-hoc Networks.pdf
new file mode 100644
index 0000000..af0c95a
Binary files /dev/null and b/Dynamic Replication and Synchronization of Web Services for High Availability in Mobile Ad-hoc Networks.pdf differ
diff --git a/Effective C++ The Miseducation of C++.pdf b/Effective C++ The Miseducation of C++.pdf
new file mode 100644
index 0000000..5270694
Binary files /dev/null and b/Effective C++ The Miseducation of C++.pdf differ
diff --git a/Efficient Algorithms for Sorting and Synchronization.pdf b/Efficient Algorithms for Sorting and Synchronization.pdf
new file mode 100644
index 0000000..e3338de
Binary files /dev/null and b/Efficient Algorithms for Sorting and Synchronization.pdf differ
diff --git a/Efficient Elliptic Curve Cryptoalgorithm for Embedded Systems.pdf b/Efficient Elliptic Curve Cryptoalgorithm for Embedded Systems.pdf
new file mode 100644
index 0000000..c10fccb
Binary files /dev/null and b/Efficient Elliptic Curve Cryptoalgorithm for Embedded Systems.pdf differ
diff --git a/Efficient fingerprint search based on database clustering.pdf b/Efficient fingerprint search based on database clustering.pdf
new file mode 100644
index 0000000..94859a7
Binary files /dev/null and b/Efficient fingerprint search based on database clustering.pdf differ
diff --git a/Electromagnetic Radiation from Video Display Units An Eavesdropping Risk.pdf b/Electromagnetic Radiation from Video Display Units An Eavesdropping Risk.pdf
new file mode 100644
index 0000000..0f46d4b
Binary files /dev/null and b/Electromagnetic Radiation from Video Display Units An Eavesdropping Risk.pdf differ
diff --git a/Encoding.pdf b/Encoding.pdf
new file mode 100644
index 0000000..593bec5
Binary files /dev/null and b/Encoding.pdf differ
diff --git a/Everything you always wanted to know about synchronization but were afraid to ask.pdf b/Everything you always wanted to know about synchronization but were afraid to ask.pdf
new file mode 100644
index 0000000..34cd3bb
Binary files /dev/null and b/Everything you always wanted to know about synchronization but were afraid to ask.pdf differ
diff --git a/Experimenting with Programming Languages.pdf b/Experimenting with Programming Languages.pdf
new file mode 100644
index 0000000..c3a75e0
Binary files /dev/null and b/Experimenting with Programming Languages.pdf differ
diff --git a/Exponentials Reiterated.pdf b/Exponentials Reiterated.pdf
new file mode 100644
index 0000000..578f856
Binary files /dev/null and b/Exponentials Reiterated.pdf differ
diff --git a/FPGA impleme ntation of wavelet-based denoising technique to analysis of EEG signal.pdf b/FPGA impleme ntation of wavelet-based denoising technique to analysis of EEG signal.pdf
new file mode 100644
index 0000000..ce937a1
Binary files /dev/null and b/FPGA impleme ntation of wavelet-based denoising technique to analysis of EEG signal.pdf differ
diff --git a/FSU Reversing.pdf b/FSU Reversing.pdf
new file mode 100644
index 0000000..a5fde7a
Binary files /dev/null and b/FSU Reversing.pdf differ
diff --git a/Finding and Understanding Bugs in C Compilers.pdf b/Finding and Understanding Bugs in C Compilers.pdf
new file mode 100644
index 0000000..0f6f1a2
Binary files /dev/null and b/Finding and Understanding Bugs in C Compilers.pdf differ
diff --git a/Fingerprint matching by genetic algorithms.pdf b/Fingerprint matching by genetic algorithms.pdf
new file mode 100644
index 0000000..001a882
Binary files /dev/null and b/Fingerprint matching by genetic algorithms.pdf differ
diff --git a/Generalized travelling salesman problem.pdf b/Generalized travelling salesman problem.pdf
new file mode 100644
index 0000000..ca3ab0c
Binary files /dev/null and b/Generalized travelling salesman problem.pdf differ
diff --git a/Gerador de Parsers LR.pdf b/Gerador de Parsers LR.pdf
new file mode 100644
index 0000000..c1e6999
Binary files /dev/null and b/Gerador de Parsers LR.pdf differ
diff --git a/HITB magazine Issue 003.pdf b/HITB magazine Issue 003.pdf
new file mode 100644
index 0000000..34dd387
Binary files /dev/null and b/HITB magazine Issue 003.pdf differ
diff --git a/HPC.NET - are CLI-based Virtual Machines Suitable for High Performance Computing.pdf b/HPC.NET - are CLI-based Virtual Machines Suitable for High Performance Computing.pdf
new file mode 100644
index 0000000..ee542c7
Binary files /dev/null and b/HPC.NET - are CLI-based Virtual Machines Suitable for High Performance Computing.pdf differ
diff --git a/Hardware Memory.pdf b/Hardware Memory.pdf
new file mode 100644
index 0000000..5441ed5
Binary files /dev/null and b/Hardware Memory.pdf differ
diff --git a/HaskellVsAda-NSWC.pdf b/HaskellVsAda-NSWC.pdf
new file mode 100644
index 0000000..860b8e9
Binary files /dev/null and b/HaskellVsAda-NSWC.pdf differ
diff --git a/High-speed high-security cryptography on ARMs.pdf b/High-speed high-security cryptography on ARMs.pdf
new file mode 100644
index 0000000..f0f60d7
Binary files /dev/null and b/High-speed high-security cryptography on ARMs.pdf differ
diff --git a/High-speed high-security signatures.pdf b/High-speed high-security signatures.pdf
new file mode 100644
index 0000000..6dc2ff6
Binary files /dev/null and b/High-speed high-security signatures.pdf differ
diff --git a/How new antenna-matching technology helps HF RFID d.pdf b/How new antenna-matching technology helps HF RFID d.pdf
new file mode 100644
index 0000000..2f4eeb8
Binary files /dev/null and b/How new antenna-matching technology helps HF RFID d.pdf differ
diff --git a/How to Build a Low-Cost, Extended-Range RFID Skimmer.pdf b/How to Build a Low-Cost, Extended-Range RFID Skimmer.pdf
new file mode 100644
index 0000000..3dc1b2a
Binary files /dev/null and b/How to Build a Low-Cost, Extended-Range RFID Skimmer.pdf differ
diff --git a/HyperDex A Distributed, Searchable Key-Value Store.pdf b/HyperDex A Distributed, Searchable Key-Value Store.pdf
new file mode 100644
index 0000000..0c1b46b
Binary files /dev/null and b/HyperDex A Distributed, Searchable Key-Value Store.pdf differ
diff --git a/Improved Techniques for Ray Tracing Parametric Surfaces.pdf b/Improved Techniques for Ray Tracing Parametric Surfaces.pdf
new file mode 100644
index 0000000..a0bdb88
Binary files /dev/null and b/Improved Techniques for Ray Tracing Parametric Surfaces.pdf differ
diff --git a/In Search of an Understandable Consensus Algorithm.pdf b/In Search of an Understandable Consensus Algorithm.pdf
new file mode 100644
index 0000000..ac4f110
Binary files /dev/null and b/In Search of an Understandable Consensus Algorithm.pdf differ
diff --git a/Index Compression irdm-5-2.pdf b/Index Compression irdm-5-2.pdf
new file mode 100644
index 0000000..2305527
Binary files /dev/null and b/Index Compression irdm-5-2.pdf differ
diff --git a/Index Compression.pdf b/Index Compression.pdf
new file mode 100644
index 0000000..c5876a1
Binary files /dev/null and b/Index Compression.pdf differ
diff --git "a/Intel 64 and IA-32 Architectures Software Developer\342\200\231s Manual.pdf" "b/Intel 64 and IA-32 Architectures Software Developer\342\200\231s Manual.pdf"
new file mode 100644
index 0000000..fee338e
Binary files /dev/null and "b/Intel 64 and IA-32 Architectures Software Developer\342\200\231s Manual.pdf" differ
diff --git a/Intelligence Explosion Evidence and Import.pdf b/Intelligence Explosion Evidence and Import.pdf
new file mode 100644
index 0000000..8090b04
Binary files /dev/null and b/Intelligence Explosion Evidence and Import.pdf differ
diff --git a/InterState A Language and Environmentfor ExpressingInterfaceBehavior.pdf b/InterState A Language and Environmentfor ExpressingInterfaceBehavior.pdf
new file mode 100644
index 0000000..ec13a4a
Binary files /dev/null and b/InterState A Language and Environmentfor ExpressingInterfaceBehavior.pdf differ
diff --git "a/Introdu\303\247\303\243o a Simula\303\247\303\243o Discreta.pdf" "b/Introdu\303\247\303\243o a Simula\303\247\303\243o Discreta.pdf"
new file mode 100644
index 0000000..9c7840d
Binary files /dev/null and "b/Introdu\303\247\303\243o a Simula\303\247\303\243o Discreta.pdf" differ
diff --git "a/Introdu\303\247\303\243o para o iniciante \303\240 Linguagem Assembly dos Microprocessadores ATMEL\302\255AVR.pdf" "b/Introdu\303\247\303\243o para o iniciante \303\240 Linguagem Assembly dos Microprocessadores ATMEL\302\255AVR.pdf"
new file mode 100644
index 0000000..c8cb618
Binary files /dev/null and "b/Introdu\303\247\303\243o para o iniciante \303\240 Linguagem Assembly dos Microprocessadores ATMEL\302\255AVR.pdf" differ
diff --git a/JPL Coding Standard C.pdf b/JPL Coding Standard C.pdf
new file mode 100644
index 0000000..70836e8
Binary files /dev/null and b/JPL Coding Standard C.pdf differ
diff --git a/Judy Hashing.pdf b/Judy Hashing.pdf
new file mode 100644
index 0000000..27fdcde
Binary files /dev/null and b/Judy Hashing.pdf differ
diff --git a/JudySL Associative Array.pdf b/JudySL Associative Array.pdf
new file mode 100644
index 0000000..79a7ad3
Binary files /dev/null and b/JudySL Associative Array.pdf differ
diff --git a/KALE A High-Degree Algebraic-Resistant Variant of The Advanced Encryption Standard.pdf b/KALE A High-Degree Algebraic-Resistant Variant of The Advanced Encryption Standard.pdf
new file mode 100644
index 0000000..1c44e3b
Binary files /dev/null and b/KALE A High-Degree Algebraic-Resistant Variant of The Advanced Encryption Standard.pdf differ
diff --git a/LISP I Programmers Manual - IBM 704 - 1960.pdf b/LISP I Programmers Manual - IBM 704 - 1960.pdf
new file mode 100644
index 0000000..179b14f
Binary files /dev/null and b/LISP I Programmers Manual - IBM 704 - 1960.pdf differ
diff --git a/Language Translation Using PCCTS and C++.pdf b/Language Translation Using PCCTS and C++.pdf
new file mode 100644
index 0000000..4490768
Binary files /dev/null and b/Language Translation Using PCCTS and C++.pdf differ
diff --git a/Latincrypt 2014 Cyptology conference.pdf b/Latincrypt 2014 Cyptology conference.pdf
new file mode 100644
index 0000000..27ff3fb
Binary files /dev/null and b/Latincrypt 2014 Cyptology conference.pdf differ
diff --git a/Learning Pentesting for Android Devices [eBook].pdf b/Learning Pentesting for Android Devices [eBook].pdf
new file mode 100644
index 0000000..57bfb09
Binary files /dev/null and b/Learning Pentesting for Android Devices [eBook].pdf differ
diff --git a/MBrace Cloud Computing with Monads.pdf b/MBrace Cloud Computing with Monads.pdf
new file mode 100644
index 0000000..0a66e61
Binary files /dev/null and b/MBrace Cloud Computing with Monads.pdf differ
diff --git a/Making reliable distributed systems in the presence of software errors.pdf b/Making reliable distributed systems in the presence of software errors.pdf
new file mode 100644
index 0000000..4316cd0
Binary files /dev/null and b/Making reliable distributed systems in the presence of software errors.pdf differ
diff --git a/Malfunctional Programming.pdf b/Malfunctional Programming.pdf
new file mode 100644
index 0000000..14a53a8
Binary files /dev/null and b/Malfunctional Programming.pdf differ
diff --git a/MapReduce Simplified Data Processing on Large Clusters.pdf b/MapReduce Simplified Data Processing on Large Clusters.pdf
new file mode 100644
index 0000000..8a604cd
Binary files /dev/null and b/MapReduce Simplified Data Processing on Large Clusters.pdf differ
diff --git a/Maude 2.0 Primer.pdf b/Maude 2.0 Primer.pdf
new file mode 100644
index 0000000..ec05e9c
Binary files /dev/null and b/Maude 2.0 Primer.pdf differ
diff --git a/Metasploit - The Penetration Tester_s Guide.pdf b/Metasploit - The Penetration Tester_s Guide.pdf
new file mode 100644
index 0000000..703b48e
Binary files /dev/null and b/Metasploit - The Penetration Tester_s Guide.pdf differ
diff --git a/Mirrors Design Principles for Meta-level Facilities of Object-Oriented Programming Languages.pdf b/Mirrors Design Principles for Meta-level Facilities of Object-Oriented Programming Languages.pdf
new file mode 100644
index 0000000..617863b
Binary files /dev/null and b/Mirrors Design Principles for Meta-level Facilities of Object-Oriented Programming Languages.pdf differ
diff --git a/Morpho VM An Indirect Threaded Stackless Virtual Machine.pdf b/Morpho VM An Indirect Threaded Stackless Virtual Machine.pdf
new file mode 100644
index 0000000..7754903
Binary files /dev/null and b/Morpho VM An Indirect Threaded Stackless Virtual Machine.pdf differ
diff --git a/NaCl on 8-bit AVR Microcontrollers.pdf b/NaCl on 8-bit AVR Microcontrollers.pdf
new file mode 100644
index 0000000..d9d0e7b
Binary files /dev/null and b/NaCl on 8-bit AVR Microcontrollers.pdf differ
diff --git a/Neural Turing Machines.pdf b/Neural Turing Machines.pdf
new file mode 100644
index 0000000..b366c67
Binary files /dev/null and b/Neural Turing Machines.pdf differ
diff --git a/Neuroscience Meets Cryptography Designing Crypto Primitives Secure Against Rubber Hose Attacks.pdf b/Neuroscience Meets Cryptography Designing Crypto Primitives Secure Against Rubber Hose Attacks.pdf
new file mode 100644
index 0000000..e2f2e57
Binary files /dev/null and b/Neuroscience Meets Cryptography Designing Crypto Primitives Secure Against Rubber Hose Attacks.pdf differ
diff --git a/Nobody ever got fired for using Hadoop on a cluster.pdf b/Nobody ever got fired for using Hadoop on a cluster.pdf
new file mode 100644
index 0000000..d481dab
Binary files /dev/null and b/Nobody ever got fired for using Hadoop on a cluster.pdf differ
diff --git a/Nonce-Based Symmetric Encryption.pdf b/Nonce-Based Symmetric Encryption.pdf
new file mode 100644
index 0000000..a89a5e5
Binary files /dev/null and b/Nonce-Based Symmetric Encryption.pdf differ
diff --git a/Object Oriented Programming with ansi C.pdf b/Object Oriented Programming with ansi C.pdf
new file mode 100644
index 0000000..9c2d743
Binary files /dev/null and b/Object Oriented Programming with ansi C.pdf differ
diff --git a/Object-Oriented Programming vs Abstract Data Types.pdf b/Object-Oriented Programming vs Abstract Data Types.pdf
new file mode 100644
index 0000000..bc37562
Binary files /dev/null and b/Object-Oriented Programming vs Abstract Data Types.pdf differ
diff --git a/On the (Im)possibility of Obfuscating Programs.pdf b/On the (Im)possibility of Obfuscating Programs.pdf
new file mode 100644
index 0000000..2a39e6a
Binary files /dev/null and b/On the (Im)possibility of Obfuscating Programs.pdf differ
diff --git a/Open Libernet.pdf b/Open Libernet.pdf
new file mode 100644
index 0000000..2affe11
Binary files /dev/null and b/Open Libernet.pdf differ
diff --git a/Ownership is Theft Experiences Building an Embedded OS in Rust.pdf b/Ownership is Theft Experiences Building an Embedded OS in Rust.pdf
new file mode 100644
index 0000000..a488779
Binary files /dev/null and b/Ownership is Theft Experiences Building an Embedded OS in Rust.pdf differ
diff --git a/Parallel Generational-Copying Garbage Collection with a Block Structured Heap.pdf b/Parallel Generational-Copying Garbage Collection with a Block Structured Heap.pdf
new file mode 100644
index 0000000..e5c1e46
Binary files /dev/null and b/Parallel Generational-Copying Garbage Collection with a Block Structured Heap.pdf differ
diff --git a/Peeking into Your App without Actually Seeing It UI State In ference and Novel Android Attacks.pdf b/Peeking into Your App without Actually Seeing It UI State In ference and Novel Android Attacks.pdf
new file mode 100644
index 0000000..068c695
Binary files /dev/null and b/Peeking into Your App without Actually Seeing It UI State In ference and Novel Android Attacks.pdf differ
diff --git a/Performance of Compressed Inverted List Caching.pdf b/Performance of Compressed Inverted List Caching.pdf
new file mode 100644
index 0000000..32a1c03
Binary files /dev/null and b/Performance of Compressed Inverted List Caching.pdf differ
diff --git a/Playground for LINQ Expression Trees.pdf b/Playground for LINQ Expression Trees.pdf
new file mode 100644
index 0000000..b819aed
Binary files /dev/null and b/Playground for LINQ Expression Trees.pdf differ
diff --git a/Practical File System Design.pdf b/Practical File System Design.pdf
new file mode 100644
index 0000000..63a0dda
Binary files /dev/null and b/Practical File System Design.pdf differ
diff --git a/Predicao de Falhas em Software SBSC2011.pdf b/Predicao de Falhas em Software SBSC2011.pdf
new file mode 100644
index 0000000..616ba50
Binary files /dev/null and b/Predicao de Falhas em Software SBSC2011.pdf differ
diff --git a/Programming in Standard ML.pdf b/Programming in Standard ML.pdf
new file mode 100644
index 0000000..93babd1
Binary files /dev/null and b/Programming in Standard ML.pdf differ
diff --git a/Programming industrial automation systems (IEC 61131-3).pdf b/Programming industrial automation systems (IEC 61131-3).pdf
new file mode 100644
index 0000000..d0bebad
Binary files /dev/null and b/Programming industrial automation systems (IEC 61131-3).pdf differ
diff --git a/Punctuated Equilibrium in the Large Scale Evolution of Programming Languages.pdf b/Punctuated Equilibrium in the Large Scale Evolution of Programming Languages.pdf
new file mode 100644
index 0000000..61170c0
Binary files /dev/null and b/Punctuated Equilibrium in the Large Scale Evolution of Programming Languages.pdf differ
diff --git a/Quantum Algorithms chap10.pdf b/Quantum Algorithms chap10.pdf
new file mode 100644
index 0000000..6e9dc3b
Binary files /dev/null and b/Quantum Algorithms chap10.pdf differ
diff --git a/RESTful Web Services.pdf b/RESTful Web Services.pdf
new file mode 100644
index 0000000..d839252
Binary files /dev/null and b/RESTful Web Services.pdf differ
diff --git a/RSA Key Extraction via Low-Bandwidth Acoustic Cryptanalysis.pdf b/RSA Key Extraction via Low-Bandwidth Acoustic Cryptanalysis.pdf
new file mode 100644
index 0000000..cd2b990
Binary files /dev/null and b/RSA Key Extraction via Low-Bandwidth Acoustic Cryptanalysis.pdf differ
diff --git a/Radecka - FPGA Emulation of Quantum Circuits.pdf b/Radecka - FPGA Emulation of Quantum Circuits.pdf
new file mode 100644
index 0000000..3c56f87
Binary files /dev/null and b/Radecka - FPGA Emulation of Quantum Circuits.pdf differ
diff --git a/Reading List Resource Virtualization.pdf b/Reading List Resource Virtualization.pdf
new file mode 100644
index 0000000..dc21af2
Binary files /dev/null and b/Reading List Resource Virtualization.pdf differ
diff --git a/RealTime Fluid Dynamics for Games.pdf b/RealTime Fluid Dynamics for Games.pdf
new file mode 100644
index 0000000..dc7491f
Binary files /dev/null and b/RealTime Fluid Dynamics for Games.pdf differ
diff --git a/Refactoring Improving the Design of Existing Code - M.Fowler.pdf b/Refactoring Improving the Design of Existing Code - M.Fowler.pdf
new file mode 100644
index 0000000..d4d4b13
Binary files /dev/null and b/Refactoring Improving the Design of Existing Code - M.Fowler.pdf differ
diff --git a/Replacing UsernamePassword with Software-Only Two-Factor Authentication.pdf b/Replacing UsernamePassword with Software-Only Two-Factor Authentication.pdf
new file mode 100644
index 0000000..7370936
Binary files /dev/null and b/Replacing UsernamePassword with Software-Only Two-Factor Authentication.pdf differ
diff --git a/Reverse Engineering ARM Based Devices.pdf b/Reverse Engineering ARM Based Devices.pdf
new file mode 100644
index 0000000..a423eb0
Binary files /dev/null and b/Reverse Engineering ARM Based Devices.pdf differ
diff --git a/Reverse Engineering services.pdf b/Reverse Engineering services.pdf
new file mode 100644
index 0000000..ebdc46f
Binary files /dev/null and b/Reverse Engineering services.pdf differ
diff --git a/Reversing Secrets of Reverse Engineering.pdf b/Reversing Secrets of Reverse Engineering.pdf
new file mode 100644
index 0000000..629f249
Binary files /dev/null and b/Reversing Secrets of Reverse Engineering.pdf differ
diff --git a/Reversing and exploiting an Apple firmware update.pdf b/Reversing and exploiting an Apple firmware update.pdf
new file mode 100644
index 0000000..6e6752b
Binary files /dev/null and b/Reversing and exploiting an Apple firmware update.pdf differ
diff --git a/Runtime Aspect Weaving Through Metaprogramming - aosd02.pdf b/Runtime Aspect Weaving Through Metaprogramming - aosd02.pdf
new file mode 100644
index 0000000..f97db7c
Binary files /dev/null and b/Runtime Aspect Weaving Through Metaprogramming - aosd02.pdf differ
diff --git a/Rust Session Types.pdf b/Rust Session Types.pdf
new file mode 100644
index 0000000..f964fa0
Binary files /dev/null and b/Rust Session Types.pdf differ
diff --git a/SPORES Towards Function-Passing Style in the Age of Concurrency & Distribution.pdf b/SPORES Towards Function-Passing Style in the Age of Concurrency & Distribution.pdf
new file mode 100644
index 0000000..704f2bd
Binary files /dev/null and b/SPORES Towards Function-Passing Style in the Age of Concurrency & Distribution.pdf differ
diff --git a/Sampling Theory for Digital Audio.pdf b/Sampling Theory for Digital Audio.pdf
new file mode 100644
index 0000000..1a2b816
Binary files /dev/null and b/Sampling Theory for Digital Audio.pdf differ
diff --git a/Scala By Example.pdf b/Scala By Example.pdf
new file mode 100644
index 0000000..9af3bff
Binary files /dev/null and b/Scala By Example.pdf differ
diff --git a/Search Algorithms for Unstructured Peer-to-Peer Networks.pdf b/Search Algorithms for Unstructured Peer-to-Peer Networks.pdf
new file mode 100644
index 0000000..fd93adf
Binary files /dev/null and b/Search Algorithms for Unstructured Peer-to-Peer Networks.pdf differ
diff --git a/Secure Peer-to-Peer Acoustic NFC.pdf b/Secure Peer-to-Peer Acoustic NFC.pdf
new file mode 100644
index 0000000..3c0ec7d
Binary files /dev/null and b/Secure Peer-to-Peer Acoustic NFC.pdf differ
diff --git a/Security Analysis of Pseudo-Random Number Generator.pdf b/Security Analysis of Pseudo-Random Number Generator.pdf
new file mode 100644
index 0000000..386772f
Binary files /dev/null and b/Security Analysis of Pseudo-Random Number Generator.pdf differ
diff --git a/Self Adjusting Computation.pdf b/Self Adjusting Computation.pdf
new file mode 100644
index 0000000..d7ed8ae
Binary files /dev/null and b/Self Adjusting Computation.pdf differ
diff --git a/Semantic Web HCI.pdf b/Semantic Web HCI.pdf
new file mode 100644
index 0000000..9e5a96d
Binary files /dev/null and b/Semantic Web HCI.pdf differ
diff --git a/Side Effect Free Functions in OO Languages.pdf b/Side Effect Free Functions in OO Languages.pdf
new file mode 100644
index 0000000..31b0192
Binary files /dev/null and b/Side Effect Free Functions in OO Languages.pdf differ
diff --git a/Simulating Content Addressable Memory.pdf b/Simulating Content Addressable Memory.pdf
new file mode 100644
index 0000000..53bfa31
Binary files /dev/null and b/Simulating Content Addressable Memory.pdf differ
diff --git a/Sorting Binary Numbers in Hardware A Novel Algorithm and its Implementation.pdf b/Sorting Binary Numbers in Hardware A Novel Algorithm and its Implementation.pdf
new file mode 100644
index 0000000..7700b22
Binary files /dev/null and b/Sorting Binary Numbers in Hardware A Novel Algorithm and its Implementation.pdf differ
diff --git a/System V Application Binary Interface AMD64 Architecture Processor Supplement.pdf b/System V Application Binary Interface AMD64 Architecture Processor Supplement.pdf
new file mode 100644
index 0000000..38755b1
Binary files /dev/null and b/System V Application Binary Interface AMD64 Architecture Processor Supplement.pdf differ
diff --git a/Taleb Antifragile.pdf b/Taleb Antifragile.pdf
new file mode 100644
index 0000000..5048905
Binary files /dev/null and b/Taleb Antifragile.pdf differ
diff --git a/Teaching Programming with the Kernel Language Approach.pdf b/Teaching Programming with the Kernel Language Approach.pdf
new file mode 100644
index 0000000..976196e
Binary files /dev/null and b/Teaching Programming with the Kernel Language Approach.pdf differ
diff --git a/Text based Captcha strengths and weaknesses.pdf b/Text based Captcha strengths and weaknesses.pdf
new file mode 100644
index 0000000..c641866
Binary files /dev/null and b/Text based Captcha strengths and weaknesses.pdf differ
diff --git a/The Book of F#.pdf b/The Book of F#.pdf
new file mode 100644
index 0000000..cdd9f9c
Binary files /dev/null and b/The Book of F#.pdf differ
diff --git a/The Definitive Guide to the ARM Cortex-M.pdf b/The Definitive Guide to the ARM Cortex-M.pdf
new file mode 100644
index 0000000..4cdfc3c
Binary files /dev/null and b/The Definitive Guide to the ARM Cortex-M.pdf differ
diff --git a/The Elliptic Curve Digital Signature Algorithm.pdf b/The Elliptic Curve Digital Signature Algorithm.pdf
new file mode 100644
index 0000000..217ccbf
Binary files /dev/null and b/The Elliptic Curve Digital Signature Algorithm.pdf differ
diff --git a/The Essence of Compiling with Continuations.pdf b/The Essence of Compiling with Continuations.pdf
new file mode 100644
index 0000000..e69bf52
Binary files /dev/null and b/The Essence of Compiling with Continuations.pdf differ
diff --git a/The Evolution of Lua.pdf b/The Evolution of Lua.pdf
new file mode 100644
index 0000000..563b502
Binary files /dev/null and b/The Evolution of Lua.pdf differ
diff --git a/The Inmates Are Running the Asylum.pdf b/The Inmates Are Running the Asylum.pdf
new file mode 100644
index 0000000..eab3167
Binary files /dev/null and b/The Inmates Are Running the Asylum.pdf differ
diff --git a/The Intel Labs Haskell Research Compiler.pdf b/The Intel Labs Haskell Research Compiler.pdf
new file mode 100644
index 0000000..adcc641
Binary files /dev/null and b/The Intel Labs Haskell Research Compiler.pdf differ
diff --git a/The Mathematics behind the fast inverse square root function code.pdf b/The Mathematics behind the fast inverse square root function code.pdf
new file mode 100644
index 0000000..0b5d9c6
Binary files /dev/null and b/The Mathematics behind the fast inverse square root function code.pdf differ
diff --git a/The Next 700 Programming Languages.pdf b/The Next 700 Programming Languages.pdf
new file mode 100644
index 0000000..26bcb60
Binary files /dev/null and b/The Next 700 Programming Languages.pdf differ
diff --git a/The Poly1305 AES message authentication code.pdf b/The Poly1305 AES message authentication code.pdf
new file mode 100644
index 0000000..438bd16
Binary files /dev/null and b/The Poly1305 AES message authentication code.pdf differ
diff --git a/The Superintelligent Will motivation and instrumental rationality in advanced artificial agents.pdf b/The Superintelligent Will motivation and instrumental rationality in advanced artificial agents.pdf
new file mode 100644
index 0000000..1c35c3f
Binary files /dev/null and b/The Superintelligent Will motivation and instrumental rationality in advanced artificial agents.pdf differ
diff --git a/Towards Optimization-Safe Systems Analyzing the Impact of Undefined Behavior.pdf b/Towards Optimization-Safe Systems Analyzing the Impact of Undefined Behavior.pdf
new file mode 100644
index 0000000..b4fac3d
Binary files /dev/null and b/Towards Optimization-Safe Systems Analyzing the Impact of Undefined Behavior.pdf differ
diff --git a/Traits Composable Units of Behaviour.pdf b/Traits Composable Units of Behaviour.pdf
new file mode 100644
index 0000000..fd638f8
Binary files /dev/null and b/Traits Composable Units of Behaviour.pdf differ
diff --git a/Type Theory - FP - PLT/A Comparative Study of Programming Languages in Rosetta Code.pdf b/Type Theory - FP - PLT/A Comparative Study of Programming Languages in Rosetta Code.pdf
new file mode 100644
index 0000000..ef70e0f
Binary files /dev/null and b/Type Theory - FP - PLT/A Comparative Study of Programming Languages in Rosetta Code.pdf differ
diff --git a/Type Theory - FP - PLT/A Simple Typed Intermediate Language for Object-Oriented Languages.pdf b/Type Theory - FP - PLT/A Simple Typed Intermediate Language for Object-Oriented Languages.pdf
new file mode 100644
index 0000000..15ac9f4
Binary files /dev/null and b/Type Theory - FP - PLT/A Simple Typed Intermediate Language for Object-Oriented Languages.pdf differ
diff --git a/Type Theory - FP - PLT/A Type directed optimizing compiler for ML.pdf b/Type Theory - FP - PLT/A Type directed optimizing compiler for ML.pdf
new file mode 100644
index 0000000..1259b84
Binary files /dev/null and b/Type Theory - FP - PLT/A Type directed optimizing compiler for ML.pdf differ
diff --git a/Type Theory - FP - PLT/A Type system equivalent to a Model Checker.pdf b/Type Theory - FP - PLT/A Type system equivalent to a Model Checker.pdf
new file mode 100644
index 0000000..2447cd1
Binary files /dev/null and b/Type Theory - FP - PLT/A Type system equivalent to a Model Checker.pdf differ
diff --git a/Type Theory - FP - PLT/A cosmology of datatypes.pdf b/Type Theory - FP - PLT/A cosmology of datatypes.pdf
new file mode 100644
index 0000000..7dd30d6
Binary files /dev/null and b/Type Theory - FP - PLT/A cosmology of datatypes.pdf differ
diff --git a/Type Theory - FP - PLT/A tutorial implementation of typed lambda calculus.pdf b/Type Theory - FP - PLT/A tutorial implementation of typed lambda calculus.pdf
new file mode 100644
index 0000000..a081d4e
Binary files /dev/null and b/Type Theory - FP - PLT/A tutorial implementation of typed lambda calculus.pdf differ
diff --git a/Type Theory - FP - PLT/A tutorial on type-based termination.pdf b/Type Theory - FP - PLT/A tutorial on type-based termination.pdf
new file mode 100644
index 0000000..13aaf31
Binary files /dev/null and b/Type Theory - FP - PLT/A tutorial on type-based termination.pdf differ
diff --git a/Type Theory - FP - PLT/Algebraic Methods for Interactive Proof Systems.pdf b/Type Theory - FP - PLT/Algebraic Methods for Interactive Proof Systems.pdf
new file mode 100644
index 0000000..cf9a4bf
Binary files /dev/null and b/Type Theory - FP - PLT/Algebraic Methods for Interactive Proof Systems.pdf differ
diff --git a/Type Theory - FP - PLT/Bird_Wadler. Introduction to Functional Programming.1ed.pdf b/Type Theory - FP - PLT/Bird_Wadler. Introduction to Functional Programming.1ed.pdf
new file mode 100644
index 0000000..5ef3fb8
Binary files /dev/null and b/Type Theory - FP - PLT/Bird_Wadler. Introduction to Functional Programming.1ed.pdf differ
diff --git a/Type Theory - FP - PLT/Blame, coercion, and threesomes.pdf b/Type Theory - FP - PLT/Blame, coercion, and threesomes.pdf
new file mode 100644
index 0000000..90406b0
Binary files /dev/null and b/Type Theory - FP - PLT/Blame, coercion, and threesomes.pdf differ
diff --git a/Type Theory - FP - PLT/CallArity-TFP.pdf b/Type Theory - FP - PLT/CallArity-TFP.pdf
new file mode 100644
index 0000000..cdee7f6
Binary files /dev/null and b/Type Theory - FP - PLT/CallArity-TFP.pdf differ
diff --git a/Type Theory - FP - PLT/Can Programming Be Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf b/Type Theory - FP - PLT/Can Programming Be Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf
new file mode 100644
index 0000000..73c45cd
Binary files /dev/null and b/Type Theory - FP - PLT/Can Programming Be Liberated from the von Neumann Style A Functional Style and Its Algebra of Programs.pdf differ
diff --git a/Type Theory - FP - PLT/Cardelli_Types.pdf b/Type Theory - FP - PLT/Cardelli_Types.pdf
new file mode 100644
index 0000000..e2df393
Binary files /dev/null and b/Type Theory - FP - PLT/Cardelli_Types.pdf differ
diff --git a/Type Theory - FP - PLT/Category Theory Gentle Intro.pdf b/Type Theory - FP - PLT/Category Theory Gentle Intro.pdf
new file mode 100644
index 0000000..0776813
Binary files /dev/null and b/Type Theory - FP - PLT/Category Theory Gentle Intro.pdf differ
diff --git a/Type Theory - FP - PLT/Category Theory for Computing Science.pdf b/Type Theory - FP - PLT/Category Theory for Computing Science.pdf
new file mode 100644
index 0000000..4b1099d
Binary files /dev/null and b/Type Theory - FP - PLT/Category Theory for Computing Science.pdf differ
diff --git a/Type Theory - FP - PLT/Combining Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension.pdf b/Type Theory - FP - PLT/Combining Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension.pdf
new file mode 100644
index 0000000..c75398f
Binary files /dev/null and b/Type Theory - FP - PLT/Combining Total and Ad Hoc Extensible Pattern Matching in a Lightweight Language Extension.pdf differ
diff --git a/Type Theory - FP - PLT/Engineering a Compiler.pdf b/Type Theory - FP - PLT/Engineering a Compiler.pdf
new file mode 100644
index 0000000..b4c3872
Binary files /dev/null and b/Type Theory - FP - PLT/Engineering a Compiler.pdf differ
diff --git a/Type Theory - FP - PLT/Evolutionary Programming and Gradual Typing in ECMAScript 4.pdf b/Type Theory - FP - PLT/Evolutionary Programming and Gradual Typing in ECMAScript 4.pdf
new file mode 100644
index 0000000..ee026df
Binary files /dev/null and b/Type Theory - FP - PLT/Evolutionary Programming and Gradual Typing in ECMAScript 4.pdf differ
diff --git a/Type Theory - FP - PLT/From Realizability to Induction via Dependent Intersection.pdf b/Type Theory - FP - PLT/From Realizability to Induction via Dependent Intersection.pdf
new file mode 100644
index 0000000..b5f6856
Binary files /dev/null and b/Type Theory - FP - PLT/From Realizability to Induction via Dependent Intersection.pdf differ
diff --git a/Type Theory - FP - PLT/Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.pdf b/Type Theory - FP - PLT/Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.pdf
new file mode 100644
index 0000000..b0cf769
Binary files /dev/null and b/Type Theory - FP - PLT/Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire.pdf differ
diff --git a/Type Theory - FP - PLT/Gradual Typing Embedded Securely in JavaScript.pdf b/Type Theory - FP - PLT/Gradual Typing Embedded Securely in JavaScript.pdf
new file mode 100644
index 0000000..823f625
Binary files /dev/null and b/Type Theory - FP - PLT/Gradual Typing Embedded Securely in JavaScript.pdf differ
diff --git a/Type Theory - FP - PLT/Homotopy is not concrete.pdf b/Type Theory - FP - PLT/Homotopy is not concrete.pdf
new file mode 100644
index 0000000..4b1cc82
Binary files /dev/null and b/Type Theory - FP - PLT/Homotopy is not concrete.pdf differ
diff --git a/Type Theory - FP - PLT/Monadic Parsing in Haskell.pdf b/Type Theory - FP - PLT/Monadic Parsing in Haskell.pdf
new file mode 100644
index 0000000..5e6a2e0
Binary files /dev/null and b/Type Theory - FP - PLT/Monadic Parsing in Haskell.pdf differ
diff --git a/Type Theory - FP - PLT/Practical Foundations for Programming Languages.pdf b/Type Theory - FP - PLT/Practical Foundations for Programming Languages.pdf
new file mode 100644
index 0000000..0b6f052
Binary files /dev/null and b/Type Theory - FP - PLT/Practical Foundations for Programming Languages.pdf differ
diff --git a/Type Theory - FP - PLT/Practical Type Inference on Success Typings.pdf b/Type Theory - FP - PLT/Practical Type Inference on Success Typings.pdf
new file mode 100644
index 0000000..d9874ae
Binary files /dev/null and b/Type Theory - FP - PLT/Practical Type Inference on Success Typings.pdf differ
diff --git a/Type Theory - FP - PLT/Programming Macro Tree Transducers.pdf b/Type Theory - FP - PLT/Programming Macro Tree Transducers.pdf
new file mode 100644
index 0000000..627a0bc
Binary files /dev/null and b/Type Theory - FP - PLT/Programming Macro Tree Transducers.pdf differ
diff --git a/Type Theory - FP - PLT/Programming in Martin Lof Type Theory.pdf b/Type Theory - FP - PLT/Programming in Martin Lof Type Theory.pdf
new file mode 100644
index 0000000..bdaa223
Binary files /dev/null and b/Type Theory - FP - PLT/Programming in Martin Lof Type Theory.pdf differ
diff --git a/Type Theory - FP - PLT/Programming with polymorphic variants.pdf b/Type Theory - FP - PLT/Programming with polymorphic variants.pdf
new file mode 100644
index 0000000..41ef140
Binary files /dev/null and b/Type Theory - FP - PLT/Programming with polymorphic variants.pdf differ
diff --git a/Type Theory - FP - PLT/Proofs and Types.pdf b/Type Theory - FP - PLT/Proofs and Types.pdf
new file mode 100644
index 0000000..63f80d9
Binary files /dev/null and b/Type Theory - FP - PLT/Proofs and Types.pdf differ
diff --git a/Type Theory - FP - PLT/Session Types.pdf b/Type Theory - FP - PLT/Session Types.pdf
new file mode 100644
index 0000000..2b490a7
Binary files /dev/null and b/Type Theory - FP - PLT/Session Types.pdf differ
diff --git a/Type Theory - FP - PLT/Strong Types for Relational Data Stored.pdf b/Type Theory - FP - PLT/Strong Types for Relational Data Stored.pdf
new file mode 100644
index 0000000..2a8cbd4
Binary files /dev/null and b/Type Theory - FP - PLT/Strong Types for Relational Data Stored.pdf differ
diff --git a/Type Theory - FP - PLT/The Two Dualities of Computation Negative and Fractional Types.pdf b/Type Theory - FP - PLT/The Two Dualities of Computation Negative and Fractional Types.pdf
new file mode 100644
index 0000000..d88cc5a
Binary files /dev/null and b/Type Theory - FP - PLT/The Two Dualities of Computation Negative and Fractional Types.pdf differ
diff --git a/Type Theory - FP - PLT/The programming language JigSaw mixins modularity multiple inheritance.pdf b/Type Theory - FP - PLT/The programming language JigSaw mixins modularity multiple inheritance.pdf
new file mode 100644
index 0000000..c0daef6
Binary files /dev/null and b/Type Theory - FP - PLT/The programming language JigSaw mixins modularity multiple inheritance.pdf differ
diff --git a/Type Theory - FP - PLT/Theory of Programs.pdf b/Type Theory - FP - PLT/Theory of Programs.pdf
new file mode 100644
index 0000000..1c24258
Binary files /dev/null and b/Type Theory - FP - PLT/Theory of Programs.pdf differ
diff --git a/Type Theory - FP - PLT/Type Inference For Recursive Definitions.pdf b/Type Theory - FP - PLT/Type Inference For Recursive Definitions.pdf
new file mode 100644
index 0000000..7e8627c
Binary files /dev/null and b/Type Theory - FP - PLT/Type Inference For Recursive Definitions.pdf differ
diff --git a/Type Theory - FP - PLT/Type Theory and Functional Programming.pdf b/Type Theory - FP - PLT/Type Theory and Functional Programming.pdf
new file mode 100644
index 0000000..069a649
Binary files /dev/null and b/Type Theory - FP - PLT/Type Theory and Functional Programming.pdf differ
diff --git a/Type Theory - FP - PLT/Type Theory should eat itself.pdf b/Type Theory - FP - PLT/Type Theory should eat itself.pdf
new file mode 100644
index 0000000..476158e
Binary files /dev/null and b/Type Theory - FP - PLT/Type Theory should eat itself.pdf differ
diff --git a/Type Theory - FP - PLT/Type-based termination of recursive definitions in the calculus of inductive constructions.pdf b/Type Theory - FP - PLT/Type-based termination of recursive definitions in the calculus of inductive constructions.pdf
new file mode 100644
index 0000000..ff2aae4
Binary files /dev/null and b/Type Theory - FP - PLT/Type-based termination of recursive definitions in the calculus of inductive constructions.pdf differ
diff --git a/Type Theory - FP - PLT/Why Functional Programming Matters.pdf b/Type Theory - FP - PLT/Why Functional Programming Matters.pdf
new file mode 100644
index 0000000..65dd383
Binary files /dev/null and b/Type Theory - FP - PLT/Why Functional Programming Matters.pdf differ
diff --git a/Type Theory - FP - PLT/X10 Language Specification.pdf b/Type Theory - FP - PLT/X10 Language Specification.pdf
new file mode 100644
index 0000000..fd7795f
Binary files /dev/null and b/Type Theory - FP - PLT/X10 Language Specification.pdf differ
diff --git a/Understanding Source Code with Functional Magnetic Resonance Imaging.pdf b/Understanding Source Code with Functional Magnetic Resonance Imaging.pdf
new file mode 100644
index 0000000..3f23031
Binary files /dev/null and b/Understanding Source Code with Functional Magnetic Resonance Imaging.pdf differ
diff --git a/Understanding and writing compilers.pdf b/Understanding and writing compilers.pdf
new file mode 100644
index 0000000..ba29609
Binary files /dev/null and b/Understanding and writing compilers.pdf differ
diff --git a/Universality in Elementary Cellular Automata.pdf b/Universality in Elementary Cellular Automata.pdf
new file mode 100644
index 0000000..bb0cb27
Binary files /dev/null and b/Universality in Elementary Cellular Automata.pdf differ
diff --git a/Unix Hater Handbook.pdf b/Unix Hater Handbook.pdf
new file mode 100644
index 0000000..0f82713
Binary files /dev/null and b/Unix Hater Handbook.pdf differ
diff --git a/Using Routers to Build Logic Circuits How Powerful is BGP.pdf b/Using Routers to Build Logic Circuits How Powerful is BGP.pdf
new file mode 100644
index 0000000..0617f61
Binary files /dev/null and b/Using Routers to Build Logic Circuits How Powerful is BGP.pdf differ
diff --git a/Variance and Generalized Constrains for CSharp Generics.pdf b/Variance and Generalized Constrains for CSharp Generics.pdf
new file mode 100644
index 0000000..6de7248
Binary files /dev/null and b/Variance and Generalized Constrains for CSharp Generics.pdf differ
diff --git a/When Good Instructions Go Bad Generalizing Return-Oriented Programming to RISC.pdf b/When Good Instructions Go Bad Generalizing Return-Oriented Programming to RISC.pdf
new file mode 100644
index 0000000..ce1f53a
Binary files /dev/null and b/When Good Instructions Go Bad Generalizing Return-Oriented Programming to RISC.pdf differ
diff --git a/Why does cryptographic software fail A case study and open problems.pdf b/Why does cryptographic software fail A case study and open problems.pdf
new file mode 100644
index 0000000..d54251f
Binary files /dev/null and b/Why does cryptographic software fail A case study and open problems.pdf differ
diff --git a/Work load analyzer.pdf b/Work load analyzer.pdf
new file mode 100644
index 0000000..0cb33d1
Binary files /dev/null and b/Work load analyzer.pdf differ
diff --git a/computer arch/Algorithms for the masses.pdf b/computer arch/Algorithms for the masses.pdf
new file mode 100644
index 0000000..1329374
Binary files /dev/null and b/computer arch/Algorithms for the masses.pdf differ
diff --git a/computer arch/Cache-Oblivious Algorithms.pdf b/computer arch/Cache-Oblivious Algorithms.pdf
new file mode 100644
index 0000000..0b031fc
Binary files /dev/null and b/computer arch/Cache-Oblivious Algorithms.pdf differ
diff --git a/computer arch/Hypercomputation - computing more than the Turing Machine.pdf b/computer arch/Hypercomputation - computing more than the Turing Machine.pdf
new file mode 100644
index 0000000..cf2ad57
Binary files /dev/null and b/computer arch/Hypercomputation - computing more than the Turing Machine.pdf differ
diff --git a/computer arch/Large Pose 3D Face Reconstruction from a Single Image via Direct Volumetric.pdf b/computer arch/Large Pose 3D Face Reconstruction from a Single Image via Direct Volumetric.pdf
new file mode 100644
index 0000000..728a015
Binary files /dev/null and b/computer arch/Large Pose 3D Face Reconstruction from a Single Image via Direct Volumetric.pdf differ
diff --git a/computer graphics/3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf b/computer graphics/3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf
new file mode 100644
index 0000000..87c1e32
Binary files /dev/null and b/computer graphics/3D Object Manipulation in a Single Photograph using Stock 3D Models.pdf differ
diff --git a/computer graphics/3D Projection Visualization.pdf b/computer graphics/3D Projection Visualization.pdf
new file mode 100644
index 0000000..f7384ae
Binary files /dev/null and b/computer graphics/3D Projection Visualization.pdf differ
diff --git a/ebnf.pdf b/ebnf.pdf
new file mode 100644
index 0000000..4dade93
Binary files /dev/null and b/ebnf.pdf differ
diff --git a/infosec/3GPP SAELTE Security NIKSUN WWSMC.pdf b/infosec/3GPP SAELTE Security NIKSUN WWSMC.pdf
new file mode 100644
index 0000000..ac93e42
Binary files /dev/null and b/infosec/3GPP SAELTE Security NIKSUN WWSMC.pdf differ
diff --git a/infosec/A Practical Attack on the MIFARE Classic.pdf b/infosec/A Practical Attack on the MIFARE Classic.pdf
new file mode 100644
index 0000000..798ad46
Binary files /dev/null and b/infosec/A Practical Attack on the MIFARE Classic.pdf differ
diff --git a/infosec/A survey of stealth malware attacks.pdf b/infosec/A survey of stealth malware attacks.pdf
new file mode 100644
index 0000000..60e969e
Binary files /dev/null and b/infosec/A survey of stealth malware attacks.pdf differ
diff --git a/infosec/AVATAR-2-25-17.pdf b/infosec/AVATAR-2-25-17.pdf
new file mode 100644
index 0000000..01570e5
Binary files /dev/null and b/infosec/AVATAR-2-25-17.pdf differ
diff --git a/infosec/Analysis of a Denial of Service Attack on TCP.pdf b/infosec/Analysis of a Denial of Service Attack on TCP.pdf
new file mode 100644
index 0000000..14c2d97
Binary files /dev/null and b/infosec/Analysis of a Denial of Service Attack on TCP.pdf differ
diff --git a/infosec/BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf b/infosec/BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf
new file mode 100644
index 0000000..38c9ac6
Binary files /dev/null and b/infosec/BlackHat USA2010 Yerazunis Confidential Mail Filtering Text Classifier.pdf differ
diff --git a/infosec/Computer Security NIST p1.pdf b/infosec/Computer Security NIST p1.pdf
new file mode 100644
index 0000000..231e04c
Binary files /dev/null and b/infosec/Computer Security NIST p1.pdf differ
diff --git a/infosec/Console Hacking Chaos 2010.pdf b/infosec/Console Hacking Chaos 2010.pdf
new file mode 100644
index 0000000..c0f071d
Binary files /dev/null and b/infosec/Console Hacking Chaos 2010.pdf differ
diff --git a/infosec/High-speed high-security cryptography on ARMs.pdf b/infosec/High-speed high-security cryptography on ARMs.pdf
new file mode 100644
index 0000000..f0f60d7
Binary files /dev/null and b/infosec/High-speed high-security cryptography on ARMs.pdf differ
diff --git a/infosec/Intro to Shellcoding.pdf b/infosec/Intro to Shellcoding.pdf
new file mode 100644
index 0000000..6206c1d
Binary files /dev/null and b/infosec/Intro to Shellcoding.pdf differ
diff --git a/infosec/Metasploit - The Penetration Tester_s Guide.pdf b/infosec/Metasploit - The Penetration Tester_s Guide.pdf
new file mode 100644
index 0000000..703b48e
Binary files /dev/null and b/infosec/Metasploit - The Penetration Tester_s Guide.pdf differ
diff --git "a/misc/A Mathematician\342\200\231s Lament.pdf" "b/misc/A Mathematician\342\200\231s Lament.pdf"
new file mode 100644
index 0000000..a0a41a2
Binary files /dev/null and "b/misc/A Mathematician\342\200\231s Lament.pdf" differ
diff --git a/misc/Anotacoes sobre mecanica e dinamica.pdf b/misc/Anotacoes sobre mecanica e dinamica.pdf
new file mode 100644
index 0000000..22bd997
Binary files /dev/null and b/misc/Anotacoes sobre mecanica e dinamica.pdf differ
diff --git a/misc/Taleb Antifragile.pdf b/misc/Taleb Antifragile.pdf
new file mode 100644
index 0000000..5048905
Binary files /dev/null and b/misc/Taleb Antifragile.pdf differ
diff --git a/ml-talk.pptx b/ml-talk.pptx
new file mode 100644
index 0000000..ef0c7c8
Binary files /dev/null and b/ml-talk.pptx differ
diff --git a/nmake.pdf b/nmake.pdf
new file mode 100644
index 0000000..fd95b8c
Binary files /dev/null and b/nmake.pdf differ
diff --git a/obstruction free synchonization.pdf b/obstruction free synchonization.pdf
new file mode 100644
index 0000000..d7d8e6b
Binary files /dev/null and b/obstruction free synchonization.pdf differ
diff --git a/performance_analysis_guide.pdf b/performance_analysis_guide.pdf
new file mode 100644
index 0000000..24ddb87
Binary files /dev/null and b/performance_analysis_guide.pdf differ
diff --git a/seL4 - Formal Verification of an OS Kernel.pdf b/seL4 - Formal Verification of an OS Kernel.pdf
new file mode 100644
index 0000000..6f3a355
Binary files /dev/null and b/seL4 - Formal Verification of an OS Kernel.pdf differ
diff --git a/shared-tech-resources (by killdream)/A Theory of Type Polymorphism in Programming.pdf b/shared-tech-resources (by killdream)/A Theory of Type Polymorphism in Programming.pdf
new file mode 100644
index 0000000..21e8e18
Binary files /dev/null and b/shared-tech-resources (by killdream)/A Theory of Type Polymorphism in Programming.pdf differ
diff --git a/shared-tech-resources (by killdream)/A Tutorial On The Universality and Expressiveness of Fold.pdf b/shared-tech-resources (by killdream)/A Tutorial On The Universality and Expressiveness of Fold.pdf
new file mode 100644
index 0000000..dd78f69
Binary files /dev/null and b/shared-tech-resources (by killdream)/A Tutorial On The Universality and Expressiveness of Fold.pdf differ
diff --git a/shared-tech-resources (by killdream)/Asymmetric Lenses in Scala.pdf b/shared-tech-resources (by killdream)/Asymmetric Lenses in Scala.pdf
new file mode 100644
index 0000000..81106b1
Binary files /dev/null and b/shared-tech-resources (by killdream)/Asymmetric Lenses in Scala.pdf differ
diff --git a/shared-tech-resources (by killdream)/Barr-Wells-ctcs.pdf b/shared-tech-resources (by killdream)/Barr-Wells-ctcs.pdf
new file mode 100644
index 0000000..4b1099d
Binary files /dev/null and b/shared-tech-resources (by killdream)/Barr-Wells-ctcs.pdf differ
diff --git a/shared-tech-resources (by killdream)/Bird_Wadler. Introduction to Functional Programming.1ed.pdf b/shared-tech-resources (by killdream)/Bird_Wadler. Introduction to Functional Programming.1ed.pdf
new file mode 100644
index 0000000..5ef3fb8
Binary files /dev/null and b/shared-tech-resources (by killdream)/Bird_Wadler. Introduction to Functional Programming.1ed.pdf differ
diff --git a/shared-tech-resources (by killdream)/Computational Contracts.pdf b/shared-tech-resources (by killdream)/Computational Contracts.pdf
new file mode 100644
index 0000000..3382533
Binary files /dev/null and b/shared-tech-resources (by killdream)/Computational Contracts.pdf differ
diff --git a/shared-tech-resources (by killdream)/DataTypesALaCarte.pdf b/shared-tech-resources (by killdream)/DataTypesALaCarte.pdf
new file mode 100644
index 0000000..c00a24d
Binary files /dev/null and b/shared-tech-resources (by killdream)/DataTypesALaCarte.pdf differ
diff --git a/shared-tech-resources (by killdream)/Domain Specific Languages.pdf b/shared-tech-resources (by killdream)/Domain Specific Languages.pdf
new file mode 100644
index 0000000..1f57bcd
Binary files /dev/null and b/shared-tech-resources (by killdream)/Domain Specific Languages.pdf differ
diff --git a/shared-tech-resources (by killdream)/Elm - Concurrent FRP for Functional GUIs.pdf b/shared-tech-resources (by killdream)/Elm - Concurrent FRP for Functional GUIs.pdf
new file mode 100644
index 0000000..c6524d2
Binary files /dev/null and b/shared-tech-resources (by killdream)/Elm - Concurrent FRP for Functional GUIs.pdf differ
diff --git a/shared-tech-resources (by killdream)/F-ing modules.pdf b/shared-tech-resources (by killdream)/F-ing modules.pdf
new file mode 100644
index 0000000..de3ff87
Binary files /dev/null and b/shared-tech-resources (by killdream)/F-ing modules.pdf differ
diff --git a/shared-tech-resources (by killdream)/Feature-Oriented Programming with Object Algebras.pdf b/shared-tech-resources (by killdream)/Feature-Oriented Programming with Object Algebras.pdf
new file mode 100644
index 0000000..d4a5535
Binary files /dev/null and b/shared-tech-resources (by killdream)/Feature-Oriented Programming with Object Algebras.pdf differ
diff --git a/shared-tech-resources (by killdream)/Fundamental Concepts in Programming Languages.pdf b/shared-tech-resources (by killdream)/Fundamental Concepts in Programming Languages.pdf
new file mode 100644
index 0000000..202cc1b
Binary files /dev/null and b/shared-tech-resources (by killdream)/Fundamental Concepts in Programming Languages.pdf differ
diff --git a/shared-tech-resources (by killdream)/Genuinely Functional User Interfaces.pdf b/shared-tech-resources (by killdream)/Genuinely Functional User Interfaces.pdf
new file mode 100644
index 0000000..ade93f8
Binary files /dev/null and b/shared-tech-resources (by killdream)/Genuinely Functional User Interfaces.pdf differ
diff --git a/shared-tech-resources (by killdream)/How to Design Programs.pdf b/shared-tech-resources (by killdream)/How to Design Programs.pdf
new file mode 100644
index 0000000..688e252
Binary files /dev/null and b/shared-tech-resources (by killdream)/How to Design Programs.pdf differ
diff --git a/shared-tech-resources (by killdream)/On Understanding Data Abstraction, Revisited.pdf b/shared-tech-resources (by killdream)/On Understanding Data Abstraction, Revisited.pdf
new file mode 100644
index 0000000..3ab53e3
Binary files /dev/null and b/shared-tech-resources (by killdream)/On Understanding Data Abstraction, Revisited.pdf differ
diff --git a/shared-tech-resources (by killdream)/Organizing Programs Without Classes.pdf b/shared-tech-resources (by killdream)/Organizing Programs Without Classes.pdf
new file mode 100644
index 0000000..3e1d65c
Binary files /dev/null and b/shared-tech-resources (by killdream)/Organizing Programs Without Classes.pdf differ
diff --git a/shared-tech-resources (by killdream)/Practical Foundations for Programming Languages.pdf b/shared-tech-resources (by killdream)/Practical Foundations for Programming Languages.pdf
new file mode 100644
index 0000000..c85c52b
Binary files /dev/null and b/shared-tech-resources (by killdream)/Practical Foundations for Programming Languages.pdf differ
diff --git a/shared-tech-resources (by killdream)/Programming Languages - Application and Interpretation.pdf b/shared-tech-resources (by killdream)/Programming Languages - Application and Interpretation.pdf
new file mode 100644
index 0000000..f1be525
Binary files /dev/null and b/shared-tech-resources (by killdream)/Programming Languages - Application and Interpretation.pdf differ
diff --git a/shared-tech-resources (by killdream)/Purely Functional Data Structures.pdf b/shared-tech-resources (by killdream)/Purely Functional Data Structures.pdf
new file mode 100644
index 0000000..d1ee092
Binary files /dev/null and b/shared-tech-resources (by killdream)/Purely Functional Data Structures.pdf differ
diff --git a/shared-tech-resources (by killdream)/QuickCheck - A lightweight tool for random testing of Haskell programs.pdf b/shared-tech-resources (by killdream)/QuickCheck - A lightweight tool for random testing of Haskell programs.pdf
new file mode 100644
index 0000000..4431a87
Binary files /dev/null and b/shared-tech-resources (by killdream)/QuickCheck - A lightweight tool for random testing of Haskell programs.pdf differ
diff --git a/shared-tech-resources (by killdream)/Relational Programming in MiniKanren - Techniques, Applications and Implementations.pdf b/shared-tech-resources (by killdream)/Relational Programming in MiniKanren - Techniques, Applications and Implementations.pdf
new file mode 100644
index 0000000..1b5bb8d
Binary files /dev/null and b/shared-tech-resources (by killdream)/Relational Programming in MiniKanren - Techniques, Applications and Implementations.pdf differ
diff --git a/shared-tech-resources (by killdream)/ScalaByExample.pdf b/shared-tech-resources (by killdream)/ScalaByExample.pdf
new file mode 100644
index 0000000..e60090c
Binary files /dev/null and b/shared-tech-resources (by killdream)/ScalaByExample.pdf differ
diff --git a/shared-tech-resources (by killdream)/Software Testing with QuickCheck.pdf b/shared-tech-resources (by killdream)/Software Testing with QuickCheck.pdf
new file mode 100644
index 0000000..82252bc
Binary files /dev/null and b/shared-tech-resources (by killdream)/Software Testing with QuickCheck.pdf differ
diff --git a/shared-tech-resources (by killdream)/The Programming Language Jigsaw - Mixins, Modularity and Multiple Inheritance.ps b/shared-tech-resources (by killdream)/The Programming Language Jigsaw - Mixins, Modularity and Multiple Inheritance.ps
new file mode 100644
index 0000000..077564c
Binary files /dev/null and b/shared-tech-resources (by killdream)/The Programming Language Jigsaw - Mixins, Modularity and Multiple Inheritance.ps differ
diff --git a/shared-tech-resources (by killdream)/The conception, evolution, and application of functional programming languages.pdf b/shared-tech-resources (by killdream)/The conception, evolution, and application of functional programming languages.pdf
new file mode 100644
index 0000000..6997671
Binary files /dev/null and b/shared-tech-resources (by killdream)/The conception, evolution, and application of functional programming languages.pdf differ
diff --git a/shared-tech-resources (by killdream)/The_Little_Schemer.pdf b/shared-tech-resources (by killdream)/The_Little_Schemer.pdf
new file mode 100644
index 0000000..fe9ae20
Binary files /dev/null and b/shared-tech-resources (by killdream)/The_Little_Schemer.pdf differ
diff --git a/shared-tech-resources (by killdream)/Traits - Composing Classes from Behavioral Building Blocks.pdf b/shared-tech-resources (by killdream)/Traits - Composing Classes from Behavioral Building Blocks.pdf
new file mode 100644
index 0000000..b12a134
Binary files /dev/null and b/shared-tech-resources (by killdream)/Traits - Composing Classes from Behavioral Building Blocks.pdf differ
diff --git a/shared-tech-resources (by killdream)/Type Systems.pdf b/shared-tech-resources (by killdream)/Type Systems.pdf
new file mode 100644
index 0000000..81f0092
Binary files /dev/null and b/shared-tech-resources (by killdream)/Type Systems.pdf differ
diff --git a/shared-tech-resources (by killdream)/Type Theory and Functional Programming.pdf b/shared-tech-resources (by killdream)/Type Theory and Functional Programming.pdf
new file mode 100644
index 0000000..069a649
Binary files /dev/null and b/shared-tech-resources (by killdream)/Type Theory and Functional Programming.pdf differ
diff --git a/shared-tech-resources (by killdream)/What Makes Code Hard to Understand.pdf b/shared-tech-resources (by killdream)/What Makes Code Hard to Understand.pdf
new file mode 100644
index 0000000..bcffba0
Binary files /dev/null and b/shared-tech-resources (by killdream)/What Makes Code Hard to Understand.pdf differ
diff --git a/shared-tech-resources (by killdream)/Why Functional Programming Matters.pdf b/shared-tech-resources (by killdream)/Why Functional Programming Matters.pdf
new file mode 100644
index 0000000..69b94cf
Binary files /dev/null and b/shared-tech-resources (by killdream)/Why Functional Programming Matters.pdf differ
diff --git a/shared-tech-resources (by killdream)/backpack-paper.pdf b/shared-tech-resources (by killdream)/backpack-paper.pdf
new file mode 100644
index 0000000..6113e17
Binary files /dev/null and b/shared-tech-resources (by killdream)/backpack-paper.pdf differ
diff --git a/shared-tech-resources (by killdream)/communicating sequential processes.pdf b/shared-tech-resources (by killdream)/communicating sequential processes.pdf
new file mode 100644
index 0000000..6a860b7
Binary files /dev/null and b/shared-tech-resources (by killdream)/communicating sequential processes.pdf differ
diff --git a/shared-tech-resources (by killdream)/cpdt.pdf b/shared-tech-resources (by killdream)/cpdt.pdf
new file mode 100644
index 0000000..fd0863c
Binary files /dev/null and b/shared-tech-resources (by killdream)/cpdt.pdf differ
diff --git a/shared-tech-resources (by killdream)/logic, programming and prolog.pdf b/shared-tech-resources (by killdream)/logic, programming and prolog.pdf
new file mode 100644
index 0000000..ded5660
Binary files /dev/null and b/shared-tech-resources (by killdream)/logic, programming and prolog.pdf differ
diff --git a/shared-tech-resources (by killdream)/parametricity.pdf b/shared-tech-resources (by killdream)/parametricity.pdf
new file mode 100644
index 0000000..4f9b3c9
Binary files /dev/null and b/shared-tech-resources (by killdream)/parametricity.pdf differ
diff --git a/shared-tech-resources (by killdream)/pause n play - formalising asynchronous c-sharp.pdf b/shared-tech-resources (by killdream)/pause n play - formalising asynchronous c-sharp.pdf
new file mode 100644
index 0000000..b47ad9e
Binary files /dev/null and b/shared-tech-resources (by killdream)/pause n play - formalising asynchronous c-sharp.pdf differ
diff --git a/software/A Distributed System Based on Web Services for Computational Science Simulations.pdf b/software/A Distributed System Based on Web Services for Computational Science Simulations.pdf
new file mode 100644
index 0000000..f017738
Binary files /dev/null and b/software/A Distributed System Based on Web Services for Computational Science Simulations.pdf differ
diff --git a/software/A Flexible replication framework for scalable and reliable .net service.pdf b/software/A Flexible replication framework for scalable and reliable .net service.pdf
new file mode 100644
index 0000000..96b33c4
Binary files /dev/null and b/software/A Flexible replication framework for scalable and reliable .net service.pdf differ
diff --git a/software/A Foreign Function Interface Generator.pdf b/software/A Foreign Function Interface Generator.pdf
new file mode 100644
index 0000000..75be686
Binary files /dev/null and b/software/A Foreign Function Interface Generator.pdf differ
diff --git a/software/A Principled Approach to Operating System Construction in Haskell .pdf b/software/A Principled Approach to Operating System Construction in Haskell .pdf
new file mode 100644
index 0000000..cb5e4c7
Binary files /dev/null and b/software/A Principled Approach to Operating System Construction in Haskell .pdf differ
diff --git a/software/A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf b/software/A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf
new file mode 100644
index 0000000..fd33f7f
Binary files /dev/null and b/software/A Scalable Concurrent malloc(3) Implementation for FreeBSD.pdf differ
diff --git a/software/A look Inside the Final Fantasy VII Game Engine (gears).pdf b/software/A look Inside the Final Fantasy VII Game Engine (gears).pdf
new file mode 100644
index 0000000..819f48d
Binary files /dev/null and b/software/A look Inside the Final Fantasy VII Game Engine (gears).pdf differ
diff --git a/software/ARM system-on-chip architecture.pdf b/software/ARM system-on-chip architecture.pdf
new file mode 100644
index 0000000..2766edd
Binary files /dev/null and b/software/ARM system-on-chip architecture.pdf differ
diff --git a/software/Achieving Usability Through Software Architecture.pdf b/software/Achieving Usability Through Software Architecture.pdf
new file mode 100644
index 0000000..e071abe
Binary files /dev/null and b/software/Achieving Usability Through Software Architecture.pdf differ
diff --git a/software/An Experiment in Software Prototyping Productivity.pdf b/software/An Experiment in Software Prototyping Productivity.pdf
new file mode 100644
index 0000000..860b8e9
Binary files /dev/null and b/software/An Experiment in Software Prototyping Productivity.pdf differ
diff --git a/software/Apollo Guidance Computer - BLOCK I.pdf b/software/Apollo Guidance Computer - BLOCK I.pdf
new file mode 100644
index 0000000..8eab692
Binary files /dev/null and b/software/Apollo Guidance Computer - BLOCK I.pdf differ
diff --git a/software/Bertrand Meyer - Object Oriented Software Construction (2Ed).pdf b/software/Bertrand Meyer - Object Oriented Software Construction (2Ed).pdf
new file mode 100644
index 0000000..3f47fa9
Binary files /dev/null and b/software/Bertrand Meyer - Object Oriented Software Construction (2Ed).pdf differ
diff --git a/software/Binary code obfuscation through C++ template metaprogramming.pdf b/software/Binary code obfuscation through C++ template metaprogramming.pdf
new file mode 100644
index 0000000..879ab6a
Binary files /dev/null and b/software/Binary code obfuscation through C++ template metaprogramming.pdf differ
diff --git a/software/Bluebook Smalltalk80.pdf b/software/Bluebook Smalltalk80.pdf
new file mode 100644
index 0000000..982a005
Binary files /dev/null and b/software/Bluebook Smalltalk80.pdf differ
diff --git a/software/Clean Code.pdf b/software/Clean Code.pdf
new file mode 100644
index 0000000..cd7a0c0
Binary files /dev/null and b/software/Clean Code.pdf differ
diff --git a/software/Creating Device Drivers.pdf b/software/Creating Device Drivers.pdf
new file mode 100644
index 0000000..0b6b30f
Binary files /dev/null and b/software/Creating Device Drivers.pdf differ
diff --git a/software/System V Application Binary Interface AMD64 Architecture Processor Supplement.pdf b/software/System V Application Binary Interface AMD64 Architecture Processor Supplement.pdf
new file mode 100644
index 0000000..38755b1
Binary files /dev/null and b/software/System V Application Binary Interface AMD64 Architecture Processor Supplement.pdf differ
diff --git a/sql.pdf b/sql.pdf
new file mode 100644
index 0000000..4c49656
Binary files /dev/null and b/sql.pdf differ
diff --git a/unpackers.pdf b/unpackers.pdf
new file mode 100644
index 0000000..a7922c5
Binary files /dev/null and b/unpackers.pdf differ