HN Explorer

p0llard

↗ HN profile [ 68.8 ms ] full profile
Karma
564
Created
December 24, 2018 (7y ago)
Submissions
0
  1. Ask HN: Why don't you use formal methods?

    I'm interested to gauge what the prevailing opinions on formal methods are amongst "software developers at large", specifically those outside of academia or of companies with serious R&D wings. Some specific questions…

    8 points 4
  2. Ask HN: What added value do academic publishers provide?

    As per the title; this is something I've wondered about for quite a while, but the recent news about MIT and Elsevier (and UC a while ago, although it looks like negotiations have started anew there) reminded me. It…

    8 points 11
  3. MIT Emergency Management: Students reimbursed $500 to leave campus by Sunday (emergency.mit.net)
    2 points 0
  4. Ask HN: How do you organise PDFs/eBooks?

    I try to obtain a digital copy of every physical book I buy, and I have quite a lot of books in digital format only; recently I decided to try and organise the mess. I practically live in the terminal, and I use very…

    12 points 5
  5. Formal Reasoning About Programs (2017) [pdf] (adam.chlipala.net)
    83 points 23
  6. Formal Reasoning About Programs (2017) [pdf] (adam.chlipala.net)
    3 points 0
  7. Optimization: An Introduction (2006) [pdf] (www3.imperial.ac.uk)
    96 points 20
  8. Problem-solving ability of unicellular amoeboid organism and its mechanism (royalsocietypublishing.org)
    1 points 0