shivensinha4

Recent Submissions

1. 1. ▲ Can Language Models Falsify? Testing Algorithmic Reasoning via Counterexamples (falsifiers.github.io) 2 points · 11 months ago · 0 comments
2. 2. ▲ Show HN: Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat IMO Geo Gold (arxiv.org) 6 points · 1 year ago · 0 comments
3. 3. ▲ Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat Gold at IMO Geometry (arxiv.org) 3 points · 1 year ago · 0 comments
4. 4. ▲ Show HN: Stein – Use Google Sheets as a No-Setup Database (steinhq.com) 296 points · 6 years ago · 65 comments
5. 5. ▲ Show HN: Stein – Use Google Sheets as a No-Hassle Database (github.com) 12 points · 6 years ago · 2 comments
6. 6. ▲ Use Google Sheets as your no-setup database (steinhq.com) 3 points · 6 years ago · 0 comments
7. 7. ▲ Use Google Sheets as your no-setup database (steinhq.com) 6 points · 6 years ago · 0 comments
8. 8. ▲ Show HN: Open source tool to quickly transfer files via a neat web interface (github.com) 4 points · 7 years ago · 0 comments
9. 9. ▲ Show HN: Snippet – Type frequently used text in a flash (shivensinha.me) 1 point · 7 years ago · 0 comments
10. 10. ▲ How to create a successful, high-conversion landing page (uxdesign.cc) 1 point · 7 years ago · 0 comments