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