berns

Karma: 437
Created: 12 years ago

Recent Submissions

1. ▲ MoonBit 0.9 Introduces First-Class Formal Verification (moonbitlang.com) 3 points · 8 days ago · 0 comments
2. ▲ Europe's Vega rocket crashes back to Earth (bbc.com) 6 points · 3 years ago · 1 comment
3. ▲ Managing Work and Workloads on Remote Teams with Discourse (blog.discourse.org) 1 point · 4 years ago · 0 comments
4. ▲ Discord and Discourse (meta.discourse.org) 1 point · 4 years ago · 0 comments

All submissions on HN · View profile on HN