Submissions from injuly.in

		Data.Maybe, and Thoughts on Library Design (injuly.in)
		1 point by todsacerdoti 3 months ago \| past
		Functional TypeScript #1: Algebraic Data Types (injuly.in)
		1 point by todsacerdoti 5 months ago \| past
		Compiling higher order functions with GADTs (injuly.in)
		1 point by todsacerdoti 6 months ago \| past
		The internet is slipping out of our reach (injuly.in)
		125 points by injuly 8 months ago \| past \| 121 comments
		An interactive guide to Fourier series (2022) (injuly.in)
		131 points by todsacerdoti 8 months ago \| past \| 14 comments
		But can you give up GitHub? (injuly.in)
		2 points by todsacerdoti 9 months ago \| past \| 2 comments
		But can you give up GitHub? (injuly.in)
		3 points by injuly 9 months ago \| past