notes
notes copied to clipboard
wdv4758h
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/
 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/
 ISBN-13: 978-1449329273 ISBN-10: 1449329276 URL: http://computationbook.com/ Amazon: https://www.amazon.com/dp/1449329276
 URL: http://soft-dev.org/events/vmss16/
 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