notes
notes copied to clipboard
let me know if my notes help you :D (it's a mess, I know)
Site: https://www.wireguard.io/ FOSDEM: https://fosdem.org/2017/schedule/event/wireguard/
[2015] Deep Neural Networks are Easily Fooled: High Confidence Predictions for Unrecognizable Images
URL: https://arxiv.org/abs/1412.1897 Repo: https://github.com/Evolving-AI-Lab/fooling Site: http://www.evolvingai.org/fooling
URL: https://www.microsoft.com/en-us/research/publication/secrets-of-the-glasgow-haskell-compiler-inliner/
![foundation](https://cloud.githubusercontent.com/assets/2716047/22838387/d4211432-efff-11e6-9778-2b65418e8fbc.jpg) ISBN-13: 978-3319133133 ISBN-10: 3319133136 Amazon: https://www.amazon.com/Foundations-Programming-Languages-Undergraduate-Computer/dp/3319133136/ CoCo: http://knuth.luther.edu/~leekent/CoCo/
![computation](https://cloud.githubusercontent.com/assets/2716047/22838142/be64b8fc-effe-11e6-9b8f-6ebd6b28ddb0.jpg) ISBN-13: 978-1449329273 ISBN-10: 1449329276 URL: http://computationbook.com/ Amazon: https://www.amazon.com/dp/1449329276
![vmss16](https://cloud.githubusercontent.com/assets/2716047/22832003/5531781e-efe7-11e6-8853-a8ed28d95562.png) URL: http://soft-dev.org/events/vmss16/
![haskell](https://cloud.githubusercontent.com/assets/2716047/22580036/0c6d67be-ea10-11e6-9a07-bb0c66ade141.png) URL: http://haskellbook.com/ 章節介紹: http://haskellbook.com/progress.html
相關資源: * FLOLAC'16: http://flolac.iis.sinica.edu.tw/flolac16/mltt.html * Wikipedia - Intuitionistic type theory: https://en.wikipedia.org/wiki/Intuitionistic_type_theory * Intuitionistic Type Theory (Stanford Encyclopedia of Philosophy): https://plato.stanford.edu/entries/type-theory-intuitionistic/ 相關語言: * Agda * Idris * Coq