|
You are here |
manishearth.github.io | ||
| | | | |
borretti.me
|
|
| | | | | A survey of type systems for memory safety. | |
| | | | |
coredumped.dev
|
|
| | | | | Updated: 2023-01-06 About a year ago I was bitten by the PL bug. It started with reading Crafting Interpreters and discovering the wonders hidden under the hood of a compiler. I am also been a big fan of Emacs, and this started to get me interested in how its interpreter works. At the same time, I was reading the Rust book and trying to understand the concepts there. This all came to a head, and I decided to write an Emacs Lisp interpreter called rune in Rust. | |
| | | | |
limpet.net
|
|
| | | | | [AI summary] This article explains Rust's memory safety guarantees by reframing the compiler's borrowing and lifetime checks as a system of unique versus shared access to data. | |
| | | | |
nagekar.com
|
|
| | | [AI summary] The author reflects on their 2018 journey, highlighting career advancements in full-stack and security development, personal growth through reading, and areas for improvement like fitness and open source contributions, while outlining goals for 2019. | ||