Hackernews posts about Alipay

1. I built 337 API tools behind a paywall. 3 free calls, then €0.50 (swarm.gadgethumans.com)
   2 points by apipaywall 24 days ago | discuss
2. Indian GOVT, RBI in Talks with Alipay+ 2B LINKED2INDIA'S Digital Payments System (twitter.com)
   1 points by koolhead17 7 months ago | discuss
3. I built an Android-like OS that runs in the browser
   3 points by haozaz 3 months ago | 1 comments
4. Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules? (lightcapai.medium.com)
   2 points by WASDAai 12 months ago | 1 comments
5. Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra (lightcapai.medium.com)
   1 points by WASDAai about 1 year ago | 1 comments
6. Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Depen (arxiv.org)
   1 points by WASDAai about 1 year ago | 1 comments
7. Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra (lightcapai.medium.com)
   1 points by WASDAai about 1 year ago | 1 comments
8. Tjq: Giving Types to Jq (github.com)
   48 points by thunderbong over 1 year ago | 7 comments
9. The AGI Race is an All-Pay Auction. That's why "over‑investment" is rational (blog.cal.vin)
   8 points by temporalparts 10 months ago | discuss
10. From Specialists to Builders: How AI Agentic Coding Is Reshaping Software Teams (aliparnan.com)
    3 points by Alpn13 3 months ago | 1 comments
11. A Drop in for `anyhow:Context` that reports the failure location (gist.github.com)
    1 points by alpaylan 5 months ago | discuss
12. Securing MCP Infrastructure (aliparnan.com)
    1 points by aliparnan 8 months ago | discuss
13. Hypothesis, Antithesis, synthesis (antithesis.com)
    285 points by alpaylan 5 months ago | 104 comments
14. Test, don't just verify (alperenkeles.com)
    200 points by alpaylan 8 months ago | 140 comments
15. LLMs could be, but shouldn't be compilers (alperenkeles.com)
    133 points by alpaylan 7 months ago | 151 comments
16. What is a property? (alperenkeles.com)
    89 points by alpaylan 5 months ago | 26 comments
17. Lf-lean: The frontier of verified software engineering (theorem.dev)
    47 points by alpaylan 5 months ago | 9 comments
18. The mechanics of autonomous software translation (alperenkeles.com)
    24 points by alpaylan 5 months ago | 3 comments
19. Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII? (tylerhillery.com)
    23 points by alpaylan 4 months ago | discuss
20. Understanding Is the New Bottleneck (www.geoffreylitt.com)
    9 points by alpaylan about 2 months ago | 2 comments
21. Nondeterminism's Not the Problem (isaacvando.com)
    6 points by alpaylan 4 months ago | discuss
22. EsoNatLangs Bring the Complexity of Natural Language into Code (esoteric.codes)
    5 points by alpaylan 4 months ago | discuss
23. Some Simple Economics of AGI (arxiv.org)
    5 points by alpaylan 6 months ago | discuss
24. A Little Explanation of Little's Law (rugu.dev)
    4 points by alpaylan 3 months ago | 1 comments
25. Closing the verification loop: Observability-driven harnesses for agents (www.datadoghq.com)
    4 points by alpaylan 5 months ago | discuss
26. Buy Willow and Make Me Rich (willowai.app)
    3 points by aliparnan 2 months ago | 2 comments
27. Show HN: Latex Diff Viewer (github.com)
    3 points by alpaylan about 1 month ago | discuss
28. Representation-Free Editing (alperenkeles.com)
    3 points by alpaylan 2 months ago | discuss
29. What Is Random Generation? (alperenkeles.com)
    3 points by alpaylan 3 months ago | discuss
30. Seeing Types Where Others Don't (theconsensus.dev)
    3 points by alpaylan 5 months ago | discuss
31. Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)
    3 points by alpaylan 5 months ago | discuss