Submissions from spinroot.com

		The Power of Ten - NASA JPL's Rules for Developing Safety Critical Code [pdf] (spinroot.com)
		3 points by keepamovin 58 days ago \| past
		Peter J. Weinberger's Face (spinroot.com)
		2 points by jumpocelot 72 days ago \| past
		5th floor at stair 9 in building 2 of CS research group at Bell Labs (spinroot.com)
		6 points by fisheuler 3 months ago \| past
		The Power of Ten: rules for developing safety critical code [pdf] (spinroot.com)
		1 point by harperlee 6 months ago \| past
		The Power of Ten: Rules for Developing Safety Critical Code [pdf] (spinroot.com)
		7 points by ntnbr 7 months ago \| past
		Spin: Formal verification of multi-threaded code (spinroot.com)
		7 points by fanf2 12 months ago \| past \| 2 comments
		The Power of Ten – Rules for Developing Safety Critical Code [pdf] (spinroot.com)
		1 point by Tomte on March 29, 2025 \| past
		Van der Poel's Dead Programs (2017) [pdf] (spinroot.com)
		3 points by pera on July 30, 2024 \| past
		The Power of Ten – Rules for Developing Safety Critical Code [pdf] (spinroot.com)
		4 points by todsacerdoti on April 27, 2023 \| past
		PJW's Face (spinroot.com)
		3 points by lagniappe on March 9, 2023 \| past
		Peter J. Weinberger's Face (spinroot.com)
		1 point by ryan-duve on Feb 6, 2023 \| past
		The Power of Ten – Rules for Developing Safety Critical Code [pdf] (spinroot.com)
		1 point by gsempe on June 27, 2022 \| past
		PJW's Face(2018) (spinroot.com)
		3 points by todsacerdoti on June 4, 2022 \| past
		Bell Labs and Peter J. Weinberger’s face (spinroot.com)
		4 points by andrewshadura on Feb 7, 2022 \| past \| 1 comment
		Pjw's Face (spinroot.com)
		1 point by dcminter on Sept 30, 2020 \| past
		Mars Code (2014) [pdf] (spinroot.com)
		2 points by tzhenghao on April 4, 2019 \| past
		The Power of Ten – Rules for Developing Safety Critical Code [pdf] (spinroot.com)
		5 points by okl on Feb 18, 2019 \| past
		Mars Code [pdf] (spinroot.com)
		2 points by sidereal on July 31, 2017 \| past
		Code Inflation (2015) [pdf] (spinroot.com)
		82 points by saretired on Dec 18, 2016 \| past \| 37 comments
		Rules for Writing Safety Critical Code (2006) (spinroot.com)
		166 points by mpweiher on Nov 4, 2016 \| past \| 81 comments
		The Power of Ten – Rules for Writing Safety Critical Code (spinroot.com)
		7 points by BerislavLopac on Nov 3, 2016 \| past \| 1 comment
		Verifying Multi-Threaded Software with Spin (spinroot.com)
		1 point by orbifold on Aug 28, 2016 \| past
		Code inflation [pdf] (spinroot.com)
		3 points by lil1729 on Aug 14, 2016 \| past
		The Power of Ten – Rules for Developing Safety Critical Code (spinroot.com)
		287 points by kiyanwang on July 14, 2016 \| past \| 149 comments
		Spin: verification tool of multi-threaded program that can compile to C (spinroot.com)
		2 points by vmorgulis on March 10, 2016 \| past
		The Power of 10: Rules for Developing Safety-Critical Code [pdf](2006) (spinroot.com)
		3 points by stakent on Feb 15, 2016 \| past
		Spin model checker open sourced under 3-clause BSD (spinroot.com)
		2 points by thomaslee on Jan 2, 2016 \| past
		Spin – verification of multi-threaded software (spinroot.com)
		1 point by lelf on Nov 18, 2015 \| past
		“A Three-Step Program for Recovering Hackers” [pdf] (spinroot.com)
		1 point by chaitanyav on July 25, 2015 \| past
		The Power of 10: Rules for Developing SafetyCritical Code [pdf] (spinroot.com)
		1 point by masta on June 2, 2015 \| past
		More

HN For You