shivensinha4

6 ms·

1.
Can Language Models Falsify? Testing Algorithmic Reasoning via Counterexamples(falsifiers.github.io)
2 points by shivensinha4 2y ago|0 comments
2.
Show HN: Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat IMO Geo Gold(arxiv.org)
6 points by shivensinha4 2y ago|0 comments
3.
Symbolic AI at Silver Medal, Boosts AlphaGeometry to Beat Gold at IMO Geometry(arxiv.org)
3 points by shivensinha4 2y ago|0 comments
4.
by shivensinha4 7y ago
There's an open-source product I'm working on that helps with exactly that. Find it at https://steinhq.com . We've launched recently, and would love it if you could try it out! Let me know how it goes.
5.
by shivensinha4 7y ago
- Do updates show immediately (for both directions)? Yes, changes are apparent immediately. - What are the limits of read/write queries? The details are mentioned on https://steinhq.com/pricing . - What are the lim
6.
by shivensinha4 7y ago
Sorry for coming off as pretentious, but that's just the default message that comes with create-react-app. And I conveniently disregarded the idea of making a change!
7.
by shivensinha4 7y ago
Keep them guessing ;)
8.
by shivensinha4 7y ago
I mentioned No-JS because you don't need to write it yourself. But you do need to import a pre-built script in your HTML. No HTML templating wizardry!
9.
by shivensinha4 7y ago
Stein is completely open-source itself, and the documentation includes instructions for self-hosting. It consolidates all such features in a single API. Find it at https://github.com/SteinHQ/Stein
10.
Show HN: Stein – Use Google Sheets as a No-Setup Database(steinhq.com)
296 points by shivensinha4 7y ago|65 comments
11.
by shivensinha4 7y ago
Oops! That was mainly because of legacy reasons, stakeholders' stuff. It was later planned to update this before the release, which I conveniently missed I'll be pushing an updated release in a few minutes. Thanks for pointing tha
12.
Show HN: Stein – Use Google Sheets as a No-Hassle Database(github.com)
12 points by shivensinha4 7y ago|2 comments
13.
Use Google Sheets as your no-setup database(steinhq.com)
3 points by shivensinha4 8y ago|0 comments
14.
Use Google Sheets as your no-setup database(steinhq.com)
6 points by shivensinha4 8y ago|0 comments
15.
Show HN: Open source tool to quickly transfer files via a neat web interface(github.com)
4 points by shivensinha4 8y ago|0 comments
16.
Show HN: Snippet – Type frequently used text in a flash(shivensinha.me)
1 points by shivensinha4 8y ago|0 comments
17.
How to create a successful, high-conversion landing page(uxdesign.cc)
1 points by shivensinha4 9y ago|0 comments
18.
by shivensinha4 9y ago
Snippet, a chrome extension, helps you type faster by binding your frequently typed phrases to short terms. iOS style text replacement, for the cross-platform Chrome. Be a power user with some serious flair! And for free. Or, use it to quic
19.
Bind frequently used text snippets to short terms, type them quickly(shivensinha.me)
1 points by shivensinha4 9y ago|1 comments