Launch HN: Moonrepo (YC W23) – Open-source build system

2023-02-21

Optimizing Haskell Code for Runtime Verification

2023-02-21

Ask HN: What is your idea of a Verified Professional Network?

2023-02-21

The Iowa Type Theory Commute Podcast: Verified Memory Management

2023-02-19

Meta selling new “Meta Verified” blue badge for $12-15/month

2023-02-19

Meta announces a paid subscription model for Instagram called 'Meta Verified'

2023-02-19

Instagram and Facebook to get paid-for verification

2023-02-19

Meta’s testing $12 per month paid verification on Instagram and Facebook

2023-02-19

Meta will also sell blue badge on Instagram and Facebook

2023-02-19

Meta Verified: Zuckerberg Follows Elon Musk

2023-02-19