notes icon indicating copy to clipboard operation
notes copied to clipboard

let me know if my notes help you :D (it's a mess, I know)

Results 66 notes issues
Sort by recently updated
recently updated
newest added

![vm](https://cloud.githubusercontent.com/assets/2716047/21747780/60e11c4e-d5ae-11e6-8865-d181292c7a55.jpg) ISBN-10: 146658260X ISBN-13: 978-1466582606 Author: https://people.apache.org/~xli/

Book
GC
JIT
Language VM

Category Theory for Programmers * https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ * https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_ Slides * Category Theory for Programming: https://yogsototh.github.io/Category-Theory-Presentation/

Math

![s6953789](https://cloud.githubusercontent.com/assets/2716047/21709651/a243efb4-d41d-11e6-8104-73090f13a8d1.jpg) ISBN-10: 1420082795 ISBN-13: 978-1420082791 URL: http://gchandbook.org/

Book
GC

![unum](https://user-images.githubusercontent.com/2716047/29749968-a89e4daa-8afc-11e7-9926-50dfbbb0bf40.jpg) ISBN-13: 9781482239867 CRC Press: https://www.crcpress.com/The-End-of-Error-Unum-Computing/Gustafson/p/book/9781482239867 Amazon: https://www.amazon.com/End-Error-Computing-Chapman-Computational/dp/1482239868

Book
Math

![12499329324_0dc9514980_b](https://cloud.githubusercontent.com/assets/2716047/25304988/5337c7ca-27a5-11e7-885d-d6019d112df2.jpg) 原文: The Dictator’s Learning Curve: Inside the Global Battle for Democracy ISBN:9789866723995 博客來: http://www.books.com.tw/products/0010618578 Amazon: https://www.amazon.com/Dictators-Learning-Curve-Inside-Democracy/dp/030747755X

Book

![coq](https://cloud.githubusercontent.com/assets/2716047/24578317/d4607df6-1710-11e7-8138-a5687eba96ce.jpg) ISBN-10: 0262026651 ISBN-13: 978-0262026659 URL: http://adam.chlipala.net/cpdt/ Amazon: https://www.amazon.com/gp/product/0262026651/

Book
Coq
Formal Verification

![agda](https://cloud.githubusercontent.com/assets/2716047/24578275/e12822e2-170f-11e7-93fe-198ee00ea2dd.jpg) ISBN-13: 978-1970001273 ISBN-10: 1970001275 Amazon: https://www.amazon.com/gp/product/1970001275

Book
Agda
Formal Verification

AFL (American Fuzzy Lop): http://lcamtuf.coredump.cx/afl/

Testing

URL: https://github.com/sdiehl/write-you-a-haskell

Book
Haskell

![dsl](https://cloud.githubusercontent.com/assets/2716047/23501470/ed2910aa-ff6e-11e6-9407-2d2a29cc2ca8.jpg) URL: https://martinfowler.com/books/dsl.html Amazon: https://www.amazon.com/Domain-Specific-Languages-Addison-Wesley-Signature-Fowler/dp/0321712943

Book