Submissions from lmao.bearblog.dev

		The (sometimes rocky) road to a paper (lmao.bearblog.dev)
		3 points by LolWolf 6 months ago \| past
		Acorn and the future of (AI?) theorem proving (lmao.bearblog.dev)
		31 points by LolWolf 6 months ago \| past \| 6 comments
		Proving theorems using Julia's types (or, a mini-Lean in Julia) (lmao.bearblog.dev)
		1 point by LolWolf 8 months ago \| past
		There are exponentially many vectors with small inner product (lmao.bearblog.dev)
		2 points by LolWolf 8 months ago \| past
		The minimal amount necessary, but no less (lmao.bearblog.dev)
		1 point by LolWolf 10 months ago \| past
		Have we been building blockchains wrong? (lmao.bearblog.dev)
		2 points by LolWolf 10 months ago \| past