US Guidelines on Minimum Standards for Developer Verification of Software [pdf]

2022-09-21

Ask HN: How to stop potential Google Wallet phishing campaign?

2022-09-21

Ask HN: How do you find other fields problems?

2022-09-19

Aneris: Program logic for developing and verifying distributed systems

2022-09-19

Ask HN: Explain P != NP in plain english

2022-09-18

Scammed for my airline reservation info

2022-09-16

Tell HN: Access to my personal Gmail blocked

2022-09-16

Ask HN: Would you recommend such software in your org?

2022-09-15

Ask HN: Discord banned me with no recourse

2022-09-15

Using Pushdown Automata to Verify Packet Sequences

2022-09-15