Submissions from github.com/stormj-uh

		Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem (github.com/stormj-uh)
		19 points by jsLavaGoat 1 day ago \| past \| 2 comments
		ARM64 Macros to Implement the ARMv8.5 Hardware Random Number Generator (github.com/stormj-uh)
		3 points by garbagecoder on Feb 12, 2022 \| past
		Whiff – a slightly better which for when which whiffs (github.com/stormj-uh)
		3 points by jonerikstorm on Dec 11, 2021 \| past