Submissions from dyer.me

		A Curried Composition Puzzle (dyer.me)
		97 points by 082349872349872 52 days ago \| past \| 15 comments
		A Temporal System of Logic (dyer.me)
		3 points by 082349872349872 52 days ago \| past
		Lessons from implementing Sokoban for the Intel 8080 (dyer.me)
		19 points by franklin_p_dyer 53 days ago \| past \| 1 comment
		Asymptotic speedup and data structure interpolation (dyer.me)
		1 point by franklin_p_dyer 4 months ago \| past
		Simple dependency injection using monads (dyer.me)
		2 points by franklin_p_dyer 6 months ago \| past
		Totality and non-standard recursion in Idris (dyer.me)
		6 points by franklin_p_dyer 7 months ago \| past \| 1 comment
		Show HN: Asymptotic Growth Order Calculator (dyer.me)
		3 points by franklin_p_dyer 10 months ago \| past
		Discovering copy-on-write in R (dyer.me)
		63 points by franklin_p_dyer 10 months ago \| past \| 22 comments
		A Curried Composition Puzzle (dyer.me)
		1 point by franklin_p_dyer 10 months ago \| past
		Show HN: Visual Brainfuck Interpreter (dyer.me)
		60 points by frpzzd on May 16, 2020 \| past \| 12 comments