HN Explorer

shivensinha4

↗ HN profile [ 45.4 ms ] full profile
Karma
164
Created
September 12, 2017 (9y ago)
Submissions
0
  1. Can Language Models Falsify? Testing Algorithmic Reasoning via Counterexamples (falsifiers.github.io)
    2 points 0
  2. Show HN: Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat IMO Geo Gold (arxiv.org)
    6 points 0
  3. Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat Gold at IMO Geometry (arxiv.org)
    3 points 0
  4. Show HN: Stein – Use Google Sheets as a No-Setup Database (steinhq.com)
    296 points 65
  5. Show HN: Stein – Use Google Sheets as a No-Hassle Database (github.com)
    12 points 2
  6. Use Google Sheets as your no-setup database (steinhq.com)
    3 points 0
  7. Use Google Sheets as your no-setup database (steinhq.com)
    6 points 0
  8. Show HN: Open source tool to quickly transfer files via a neat web interface (github.com)
    4 points 0
  9. Show HN: Snippet – Type frequently used text in a flash (shivensinha.me)
    1 points 0
  10. How to create a successful, high-conversion landing page (uxdesign.cc)
    1 points 0
  11. Bind frequently used text snippets to short terms, type them quickly (shivensinha.me)
    1 points 1
  12. How to create a successful, high-conversion landing page (uxdesign.cc)
    1 points 0