Reading Log
queue of materials I want to to review.
List of Blogs/Articles/Papers
WebAssembly - webassembly.org
Hardcaml: An OCaml Hardware Domain-Specific Language for Efficient and Robust Design - https://arxiv.org/html/2312.15035v1
Introduction — WebAssembly 2.0 (Draft 2025-01-28) - webassembly.github.io/spec/core/intro/introduction.html
Understanding Wasm, Part 1: Virtualization - Chris Dickinson - neversaw.us/2023/05/10/understanding-wasm/part1/virtualization/
Home | David Nicholas -davidnicholas.dev/blog/conways-game-of-life
Ask HN: What's the best implementation of Conway's Game of Life? - news.ycombinator.com/item?id=43023875
An Algorithm for Compressing Space and Time* | Dr Dobb's - drdobbs.com/jvm/an-algorithm-for-compressing-space-and-t/184406478
The Floating-Point Guide - floating-point-gui.de/basic
Double-precision floating-point format - Wikipedia - wikipedia.org/wiki/Double-precision_floating-point_format
Types and Programming Languages by Benjamin C. Pierce - cis.upenn.edu/~bcpierce/tapl
One-instruction set computer - wikipedia
Writing that changed how I think about PL - Max Bernstein Blog
Why I'm excited about effect systems - osa1 blog
PLDI 2025 Papers
Intro | Putting the "You" in CPU - article
A Software Engineer's Guide to Reading Research Papers - blog
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
List of Talks/Videos
Andy's Signals and Threads episode is also worth a listen
How to Build an Exchange, Multicast & Markets by Brian Nigito
*hashlife is an unbelievably fast algorithm to compute Conway's game of life.
Last updated