Submissions from twitter.com/getjonwithit

		"About a decade ago... I developed an automated theorem-proving framework" (twitter.com/getjonwithit)
		2 points by Ariarule 12 days ago \| past \| discuss
		The speed of light is the "spacetime exchange rate" (twitter.com/getjonwithit)
		6 points by yashvg 7 months ago \| past \| 4 comments
		Any non-deterministic finite machine has a deterministic equivalent (twitter.com/getjonwithit)
		3 points by jchook on Nov 5, 2023 \| past \| 3 comments
		Nature doesn't care about coordinate systems (twitter.com/getjonwithit)
		3 points by Zanni on Nov 2, 2023 \| past \| 1 comment