@ -7,6 +7,8 @@ A collection of articles & links
## Reading
- [The Challenges of Formally Proving HPC Systems Software](https://www.osti.gov/biblio/1500167)
### Development
- [CatchTS](https://catchts.com/) - A TypeScript blog
