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