Submissions from github.com/gruhn

		TypeScript Sudoku (github.com/gruhn)
		4 points by SenHeng on Aug 20, 2024 \| past
		Playing Sudoku in TypeScript while the type checker highlights mistakes (github.com/gruhn)
		229 points by mjcurl on Aug 19, 2024 \| past \| 90 comments
		TypeScript Sudoku (github.com/gruhn)
		1 point by ngruhn on Aug 19, 2024 \| past \| 1 comment
		When “naming things” is done right (github.com/gruhn)
		2 points by ngruhn on Oct 21, 2019 \| past
		Naming things is hard. These names are pretty good though (github.com/gruhn)
		3 points by ngruhn on Oct 19, 2019 \| past
		When “naming things” is done right (github.com/gruhn)
		17 points by ngruhn on Oct 18, 2019 \| past \| 5 comments