Submissions from l-m.dev

		Formally Verifying Peephole Optimisations in Lean (l-m.dev)
		26 points by l-mdev 4 months ago \| past \| 9 comments
		Just in Time for the Most Overengineered Calculator (2023) (l-m.dev)
		2 points by hggh 7 months ago \| past
		The V WebAssembly Compiler Back End, Rewritten (l-m.dev)
		3 points by amedvednikov on July 13, 2023 \| past
		Simulating Softbody Dynamics in Vlang (l-m.dev)
		45 points by Tozen on Feb 20, 2023 \| past \| 22 comments
		C is how old now? Learning the V programming language (l-m.dev)
		2 points by open-source-ux on Sept 7, 2022 \| past

HN For You