Adam Sampson's reference bookmarkshttps://bookmarks.offog.org/ats/referenceAdam Sampson2014-05-03T12:48:56ZReasoning About the Heap in Rusthttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fjohnbender.us%2F2013%2F04%2F30%2Freasoning-about-the-heap-in-rust%2F2014-05-03T12:48:56ZQuote: "it's still worth applying Separation logic to get a feel for what's happening to the heap". I'm kind of impressed that the Rust designers have managed to come up with a design for reference types that's *more* complex than C++'s.The Encyclopedia of Science Fictionhttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.sf-encyclopedia.com%2F2012-12-12T17:31:50ZTerse but comprehensive.Lessons In Electric Circuitshttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.ibiblio.org%2Fkuphaldt%2FelectricCircuits%2F2008-11-27T15:54:46ZGood-looking textbooks on electronics.