Ask HN: How to be careful with phishing and domain redirects?

2021-01-15

Certificate verification vulnerability in Erlang/OTP 23.2

2021-01-15

Ability of Living Cells to Sense Magnetic Fields Verified for the First Time

2021-01-14

Napkin Problem 14: Using checksums to verify syncing 100M database records

2021-01-14

Netflix logins from AppleTV failing with Code 113

2021-01-14

F*: A Higher-Order Effectful Language Designed for Program Verification

2021-01-11

Automated Symbolic Verification of Telegram's MTProto 2.0

2021-01-11

Ask HN: Solar Powered Multimeter/Voltmeter?

2021-01-10

Private.sh: Verifiable Private Search

2021-01-10

Twitter Verified Accounts Hacked to Promote Scam

2021-01-09