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.

to reference sf ... on 12 December 2012

Lessons In Electric Circuits edit / delete

Good-looking textbooks on electronics.

to electronics etext reference ... on 27 November 2008

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom