Submissions from github.com/davidk01

		Presheaves as co-limits of representable functors [pdf] (github.com/davidk01)
		2 points by cosheaf on Feb 13, 2022 \| past
		Basic logic of social media platforms [pdf] (github.com/davidk01)
		1 point by flowtheorist on Feb 2, 2022 \| past
		Parser combinators in TypeScript (github.com/davidk01)
		4 points by _qc3o on Feb 11, 2015 \| past