Bookmarks
Formal Methods
- http://alloytools.org/
- https://learntla.com/introduction/
- https://www.apress.com/us/book/9781484238288
- https://www.microsoft.com/en-us/research/uploads/prod/2018/05/book-02-08-08.pdf
- https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/#fn:sel4
- https://blog.adacore.com/amazon-relies-on-formal-methods-for-the-security-of-aws
- https://www.microsoft.com/en-us/research/publication/euclid-writes-algorithm-fairytale/
- https://anee.me/solving-a-simple-crackme-using-z3-68c55af7f7b1?gi=3a7fadc86e8a Using theorem prover for crack-me challenges.
Programming Languages
- https://blog.cloudflare.com/building-fast-interpreters-in-rust/
- http://matt.might.net/articles/best-programming-languages/
- https://github.com/howerj/forth-cpu
- http://pinksquirrellabs.com/blog/2017/08/04/racket-macros-scurry/
- https://xmonader.github.io/letsbuildacompiler-pretty/
- https://github.com/codr7/g-fu/tree/master/v1 Lisp in GO
- http://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html
- https://www.rascal-mpl.org/
Racket
- https://www.infoq.com/presentations/Racket
- https://cacm.acm.org/magazines/2012/1/144809-creating-languages-in-racket/fulltext
- https://github.com/soegaard/minipascal
- https://docs.racket-lang.org/ragg/
Prolog
- http://www.amzi.com/AdventureInProlog/a1start.php Adventure in prolog.
Web/Distributed
- http://ocsigen.org/eliom/6.6/manual/intro Ocaml client-server application as same codebase.
- https://github.com/MLstate/opalang/wiki/A-tour-of-Opa
Interviews
Math
- https://usamo.files.wordpress.com/2019/02/napkin-v15-20190220.pdf Layman explanation of group theory and related topics.
Backups
- https://kevq.uk/i-nearly-lost-all-of-my-data/
- https://www.duplicati.com
- https://wiki.odroid.com/accessory/add-on_boards/xu4_cloudshell2/xu4_cloudshell2
- https://ameridroid.com/products/odroid-hc2
- https://shop.kobol.io/
- https://www.reddit.com/r/DataHoarder/comments/aoinh8/recommendations_on_hardware_for_low_power_diy_nas/
- https://www.gigabyte.com/Motherboard/GA-J3455N-D3H-rev-10#sp
- https://wiki.archlinux.org/index.php/dm-crypt/Device_encryption
Computer Science
Operating System Design
Hobby OS
Learning UNIX Kernel Design
- https://pdos.csail.mit.edu/6.828/2019/xv6/book-riscv-rev0.pdf
- https://github.com/mit-pdos/xv6-public
Information Security
SMS Security
- https://medium.com/coinmonks/the-most-expensive-lesson-of-my-life-details-of-sim-port-hack-35de11517124
- https://www.itnews.com.au/news/telcos-declare-sms-unsafe-for-bank-transactions-322194
- https://news.ycombinator.com/item?id=19971953
Music - Look up Later
- https://store.cdbaby.com/cd/camilleandkennerly69
- https://www.youtube.com/watch?v=8C-h6vECLlI&list=OLAK5uy_ljbE4YfmeHUj-nyIPJV8dJxCWbYuofebo
- https://en.wikipedia.org/wiki/The_Residents
- https://en.wikipedia.org/wiki/Primus_(band)#Musical_style,_legacy_and_influences
- https://en.wikipedia.org/wiki/Les_Claypool
- https://www.reddit.com/r/listentothis/comments/buie3g/discussion_looking_for_albums_that_are_one/