Ask HN: Are there any authorization systems that use PKI instead of tokens?

2022-10-27

VideOracle: A protocol to verify real-world events on-chain through video

2022-10-26

Securely Verifying Signature Hashes

2022-10-24

Ask HN: Best way to translate my app into other languages?

2022-10-23

Show HN: Dido – .NET framework to facilitate distributed computing

2022-10-19

Google word master seen in Germany

2022-10-17

Semgrep: Writing quick rules to verify ideas

2022-10-17

Verify data integrity with hyper-realistic human faces

2022-10-16

Ask HN: What device do you use to read PDFs (papers and eBooks)?

2022-10-12

Verifying distributed systems with Isabelle/HOL

2022-10-12