opus132's submissions

1.		Ask HN: Why don't you use formal methods?
		8 points by opus132 on July 1, 2020 \| past \| 4 comments
2.		Ask HN: What added value do academic publishers provide?
		8 points by opus132 on June 19, 2020 \| past \| 11 comments
3.		MIT Emergency Management: Students reimbursed $500 to leave campus by Sunday (mit.net)
		2 points by opus132 on March 13, 2020 \| past
4.		Ask HN: How do you organise PDFs/eBooks?
		12 points by opus132 on Jan 30, 2020 \| past \| 4 comments
5.		Formal Reasoning About Programs (2017) [pdf] (chlipala.net)
		83 points by opus132 on Dec 31, 2019 \| past \| 23 comments
6.		Formal Reasoning About Programs (2017) [pdf] (chlipala.net)
		3 points by opus132 on Dec 15, 2019 \| past
7.		Optimization: An Introduction (2006) [pdf] (imperial.ac.uk)
		96 points by opus132 on Jan 1, 2019 \| past \| 18 comments
8.		Problem-solving ability of unicellular amoeboid organism and its mechanism (royalsocietypublishing.org)
		1 point by opus132 on Dec 27, 2018 \| past