0xcafefood Karma 541 Created 3 years ago Recent Submissions 1. ▲ Quint: Executable Specs for Reliable Systems (quint-lang.org) 4 points · 15 days ago · 0 comments 2. ▲ Mythical Agent-Month (wesmckinney.com) 2 points · 21 days ago · 1 comment 3. ▲ Berkshire's Alphabet Buy Doesn't Sound Like Buffett (bloomberg.com) 1 point · 4 months ago · 0 comments All submissions on HN · View profile on HN