Hacker News new | ask | show | jobs
user: shivensinha4
created: 2017-09-12
karma: 166

submissions:

Can Language Models Falsify? Testing Algorithmic Reasoning via Counterexamples
2 points | 0 comments
Show HN: Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat IMO Geo Gold
6 points | 0 comments
Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat Gold at IMO Geometry
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Stein – Use Google Sheets as a No-Setup Database
296 points | 65 comments
0 points | 0 comments
Show HN: Stein – Use Google Sheets as a No-Hassle Database
12 points | 2 comments
Use Google Sheets as your no-setup database
3 points | 0 comments
Use Google Sheets as your no-setup database
6 points | 0 comments
Show HN: Open source tool to quickly transfer files via a neat web interface
4 points | 0 comments
Show HN: Snippet – Type frequently used text in a flash
1 points | 0 comments
How to create a successful, high-conversion landing page
1 points | 0 comments
0 points | 0 comments
Bind frequently used text snippets to short terms, type them quickly
1 points | 1 comments