Submissions from ryanbrewer.dev

		Getting Started with Category Theory (ryanbrewer.dev)
		51 points by hoping1 47 days ago \| past \| 32 comments
		Getting Started with Category Theory (ryanbrewer.dev)
		1 point by hoping1 5 months ago \| past
		Advanced Typechecking for Stack-Based Languages (ryanbrewer.dev)
		4 points by mooreds 8 months ago \| past
		The Type of Sprintf (ryanbrewer.dev)
		13 points by verdagon 8 months ago \| past \| 21 comments
		The Type of Sprintf (ryanbrewer.dev)
		1 point by hoping1 8 months ago \| past
		Simple Programming Languages (ryanbrewer.dev)
		1 point by hoping1 9 months ago \| past \| 1 comment
		Simple Programming Languages (ryanbrewer.dev)
		3 points by thunderbong 9 months ago \| past
		Advanced Typechecking for Stack-Based Bytecode (ryanbrewer.dev)
		1 point by hoping1 11 months ago \| past \| 1 comment
		Advanced Typechecking for Stack-Based Bytecode (ryanbrewer.dev)
		1 point by hoping1 11 months ago \| past \| 1 comment
		A Beginner's Guide to Programming Language Academia (ryanbrewer.dev)
		3 points by hoping1 11 months ago \| past \| 1 comment
		Safe Manual Memory Management with Coeffects (ryanbrewer.dev)
		3 points by hoping1 11 months ago \| past \| 1 comment
		SaberVM (ryanbrewer.dev)
		135 points by hoping1 11 months ago \| past \| 18 comments
		Security and crashing with modal logic (ryanbrewer.dev)
		17 points by cbarrick on Dec 19, 2023 \| past