Submissions from reperiendi.wordpress.com

		A Modest Proposal for Operator Overloading in JavaScript (reperiendi.wordpress.com)
		1 point by metaweta on June 30, 2021 \| past
		TypeScript dependent types and function bivariance (reperiendi.wordpress.com)
		19 points by metaweta on Jan 27, 2021 \| past \| 2 comments
		How we recovered $300k of Bitcoin (reperiendi.wordpress.com)
		998 points by mathgenius on April 3, 2020 \| past \| 198 comments
		A modest proposal for overloading arithmetic operators in JavaScript (reperiendi.wordpress.com)
		2 points by metaweta on April 19, 2019 \| past
		Q-derivatives of data types (reperiendi.wordpress.com)
		7 points by metaweta on Aug 5, 2014 \| past
		Category Theory for the Java Programmer (2007) (reperiendi.wordpress.com)
		42 points by llambda on Dec 31, 2011 \| past \| 2 comments
		Formal axiomatic divination (reperiendi.wordpress.com)
		22 points by samstokes on Sept 2, 2010 \| past \| 4 comments
		Category Theory for the Java Programmer (reperiendi.wordpress.com)
		19 points by TriinT on June 22, 2009 \| past \| 4 comments