Thanks for the information.
Posts
-
Texas Needs Equivalent of 30 Reactors to Meet Data Center Power Demand -
Texas Needs Equivalent of 30 Reactors to Meet Data Center Power DemandWhy put water back in the environment at all if it's needed to make steam again?
-
GitHub - LadybirdBrowser/ladybird: Truly independent web browserExcellent edit. Did you make it?
-
What are some good resources to learn to write very reliable/formally verifiable software?The Software Engineering Handbook PDF appears to just be a single page with a broken link on it; is there an archive for the document that's supposed to be there?
-
What are some good resources to learn to write very reliable/formally verifiable software?The University of Pennsylvania offers a free series of books called Software Foundations with the following description:
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.
The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant.
The series includes Verifiable C, which seems very appealing as a way to avoid some of C's infamous "footguns." I haven't read the series myself, but I might in the future because I like math, logic & programs that do what they're supposed to do.
Are there any materials that would be good as alternatives or complements to this series?