Web Reads

• https://www.quantamagazine.org/sci-fi-writer-greg-egan-and-anonymous-math-whiz-advance-permutation-problem-20181105/
• https://www.usenix.org/system/files/osdi22-lou-demystifying.pdf
• https://serokell.io/blog/rust-vs-haskell
• https://srconstantin.github.io/2019/02/25/humans-who-are-not-concentrating.html
• https://arxiv.org/abs/2010.07763
• https://writings.stephenwolfram.com/2023/02/what-is-chatgpt-doing-and-why-does-it-work/
• https://www.st.cs.uni-saarland.de/edu/seminare/2005/advanced-fp/docs/huet-zipper.pdf
• https://rust-lang.github.io/async-book/04_pinning/01_chapter.html
• https://xavierleroy.org/bibrefs/Leroy-ZINC.html
• https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-yuan.pdf
• https://docs.rs/dtolnay/0.0.9/dtolnay/macro._02__reference_types.html
• https://fs.blog/thinking-rate-fixed/
• https://tom.preston-werner.com/2008/11/03/how-to-meet-your-next-cofounder.html
• https://matt.might.net/articles/intro-static-analysis/
• https://redirect.cs.umbc.edu/courses/471/papers/turing.pdf
• https://prog21.dadgum.com/
• https://www.microsoft.com/en-us/research/uploads/prod/2018/03/build-systems.pdf
• https://www.cs.virginia.edu/~robins/YouAndYourResearch.html
• https://arxiv.org/abs/2211.03622
• https://web.media.mit.edu/~minsky/papers/Why%20programming%20is--.html
• https://norvig.com/chomsky.html
• https://sci-hub.se/https://dl.acm.org/doi/10.1145/871895.871901
• https://sci-hub.se/https://doi.org/10.1063/1.2811188
• https://blog.brownplt.org/2023/02/06/typed-untyped-comparison.html