sidechaining Karma 16 Created 6 years ago Recent Submissions 1. ▲ OmniFocus MCP (github.com) 1 point · 3 months ago · 1 comment 2. ▲ Renaming Coq (coq.discourse.group) 17 points · 4 years ago · 24 comments 3. ▲ Show HN: Human Clock New Tab Chrome Extension (github.com) 2 points · 5 years ago · 1 comment All submissions on HN · View profile on HN