HNHacker News
TopNewBestAskShowJobs

p0llard

564 karma · joined December 24, 2018

submissionscomments

Ask HN: Why don't you use formal methods?

8 pts·p0llard·
4

Ask HN: What added value do academic publishers provide?

8 pts·p0llard·
11

MIT Emergency Management: Students reimbursed $500 to leave campus by Sunday

emergency.mit.net·2 pts·p0llard·
0

Ask HN: How do you organise PDFs/eBooks?

12 pts·p0llard·
4

Formal Reasoning About Programs (2017) [pdf]

adam.chlipala.net·83 pts·p0llard·
23

Formal Reasoning About Programs (2017) [pdf]

adam.chlipala.net·3 pts·p0llard·
0

Optimization: An Introduction (2006) [pdf]

www3.imperial.ac.uk·96 pts·p0llard·
18

Problem-solving ability of unicellular amoeboid organism and its mechanism

royalsocietypublishing.org·1 pts·p0llard·
0