Afterpay is sending out mass verification codes

2022-07-18

I just clicked on an api.equifax.com link in a text message

2022-07-17

Carge-crev: A cryptographically verifiable code review system for Rust

2022-07-16

Using the Kani Rust Verifier on a Firecracker Example

2022-07-16

Verus: Verified Rust for low-level systems code

2022-07-15

What is going on with DoorDash second credit card verification?

2022-07-15

Ask HN: How to stop Google Play Store from replacing apps from other app stores

2022-07-14

Using the Kani Rust Verifier on a Firecracker Example

2022-07-14

Twitter Inc vs. Elon Musk complaint [pdf]

2022-07-14

Ask HN: How do you verify backups?

2022-07-14