# Reading Log

## List of Blogs/Articles/Papers

1. WebAssembly - [webassembly.org](https://webassembly.org/)
2. &#x20;Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design - <https://arxiv.org/html/2312.15035v1>
3. &#x20;Introduction — WebAssembly 2.0 (Draft 2025-01-28) - [webassembly.github.io/spec/core/intro/introduction.html](https://webassembly.github.io/spec/core/intro/introduction.html)
4. Understanding Wasm, Part 1: Virtualization - Chris Dickinson - [neversaw.us/2023/05/10/understanding-wasm/part1/virtualization/](https://www.neversaw.us/2023/05/10/understanding-wasm/part1/virtualization/)
5. Home | David Nicholas -[davidnicholas.dev/blog/conways-game-of-life](https://davidnicholas.dev/blog/conways-game-of-life)
6. Ask HN: What's the best implementation of Conway's Game of Life? - [news.ycombinator.com/item?id=43023875](https://news.ycombinator.com/item?id=43023875)
7. An Algorithm for Compressing Space and Time\* | Dr Dobb's - [drdobbs.com/jvm/an-algorithm-for-compressing-space-and-t/184406478](https://www.drdobbs.com/jvm/an-algorithm-for-compressing-space-and-t/184406478)
8. The Floating-Point Guide - [floating-point-gui.de/basic](https://floating-point-gui.de/basic/)
9. Double-precision floating-point format - Wikipedia - [wikipedia.org/wiki/Double-precision\_floating-point\_format](https://en.wikipedia.org/wiki/Double-precision_floating-point_format)
10. Types and Programming Languages by Benjamin C. Pierce - [cis.upenn.edu/\~bcpierce/tapl](https://www.cis.upenn.edu/~bcpierce/tapl/)
11. mov is Turing-complete - [wiki](https://esolangs.org/wiki/Mov), [paper](https://web.archive.org/web/20190331191157/https://www.cl.cam.ac.uk/~sd601/papers/mov.pdf)
12. One-instruction set computer - [wikipedia](https://en.wikipedia.org/wiki/One-instruction_set_computer)
13. Writing that changed how I think about PL - [Max Bernstein Blog](https://bernsteinbear.com/blog/pl-writing/?=\&aid=recwG5Qdrv4uil8AL)
14. Why I'm excited about effect systems - [osa1 blog](https://osa1.net/posts/2025-06-28-why-effects.html)
15. PLDI 2025 [Papers](https://pldi25.sigplan.org/)
16. Intro | Putting the "You" in CPU - [article](https://cpu.land/)&#x20;
17. A Software Engineer's Guide to Reading Research Papers - [blog](https://blog.codingconfessions.com/p/a-software-engineers-guide-to-reading-papers)
18. Abhinav Upadhyay on X: "Everyone recommends reading research papers, but few talk about how to do it effectively. Like any skill, it gets easier with time, but starting out can be daunting. It helps to know that the struggles you face are common, and that there are ways to overcome them. I wrote about <https://t.co/73k5q5jLxa>" -  [X post](https://x.com/abhi9u/status/1897574637053349959)

***

## List of Talks/Videos

1. Andy's [Signals and Threads](https://signalsandthreads.com/programmable-hardware/) episode is also worth a listen[ ](https://signalsandthreads.com/programmable-hardware/)
2. [How to Build an Exchange](https://blog.janestreet.com/how-to-build-an-exchange/), [Multicast & Markets](https://signalsandthreads.com/multicast-and-the-markets/) by Brian Nigito&#x20;

***

\*hashlife is an unbelievably fast algorithm to compute Conway's game of life.