« earlier | later » Page 1 of 1
Reasoning About the Heap in Rust edit / delete
Quote: "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.
to formal-methods language-design memory reference rust separation-logic ... on 03 May 2014
The Encyclopedia of Science Fiction edit / delete
Terse but comprehensive.
Lessons In Electric Circuits edit / delete
Good-looking textbooks on electronics.
to electronics etext reference ... on 27 November 2008
« earlier | later » Page 1 of 1
| - reference | |
| 1 | + electronics |
| 1 | + etext |
| 1 | + formal-methods |
| 1 | + language-design |
| 1 | + memory |
| 1 | + rust |
| 1 | + separation-logic |
| 1 | + sf |
tasty by Adam Sampson.