Hackernews posts about Alipay

1. Why Don't Lowercase Letters Come Right After Uppercase Letters in ASCII? (tylerhillery.com)
   23 points by alpaylan 15 days ago | discuss
2. Nondeterminism's Not the Problem (isaacvando.com)
   6 points by alpaylan 18 days ago | discuss
3. What Is Random Generation? (alperenkeles.com)
   3 points by alpaylan 11 days ago | discuss
4. What's Easy Now? What's Hard Now? (brooker.co.za)
   2 points by alpaylan 4 days ago | discuss
5. Indian GOVT, RBI in Talks with Alipay+ 2B LINKED2INDIA'S Digital Payments System (twitter.com)
   1 points by koolhead17 4 months ago | discuss
6. AgentUniverse: A LLM multi-agent framework (github.com)
   3 points by daemond almost 2 years ago | discuss
7. Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules? (lightcapai.medium.com)
   2 points by WASDAai 9 months ago | 1 comments
8. Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra (lightcapai.medium.com)
   1 points by WASDAai 10 months ago | 1 comments
9. Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Depen (arxiv.org)
   1 points by WASDAai 10 months ago | 1 comments
10. Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra (lightcapai.medium.com)
    1 points by WASDAai 10 months ago | 1 comments
11. Tjq: Giving Types to Jq (github.com)
    48 points by thunderbong over 1 year ago | 7 comments
12. The AGI Race is an All-Pay Auction. That's why "over‑investment" is rational (blog.cal.vin)
    8 points by temporalparts 7 months ago | discuss
13. A Drop in for `anyhow:Context` that reports the failure location (gist.github.com)
    1 points by alpaylan about 2 months ago | discuss
14. Securing MCP Infrastructure (aliparnan.com)
    1 points by aliparnan 5 months ago | discuss
15. Hypothesis, Antithesis, synthesis (antithesis.com)
    285 points by alpaylan about 2 months ago | 104 comments
16. Test, don't just verify (alperenkeles.com)
    200 points by alpaylan 5 months ago | 140 comments
17. LLMs could be, but shouldn't be compilers (alperenkeles.com)
    133 points by alpaylan 4 months ago | 151 comments
18. What is a property? (alperenkeles.com)
    89 points by alpaylan about 2 months ago | 26 comments
19. Lf-lean: The frontier of verified software engineering (theorem.dev)
    47 points by alpaylan 2 months ago | 9 comments
20. The mechanics of autonomous software translation (alperenkeles.com)
    24 points by alpaylan 2 months ago | 3 comments
21. Show HN: Tail – Structured Document Editor (www.tail.rocks)
    5 points by alpaylan almost 2 years ago | 2 comments
22. EsoNatLangs Bring the Complexity of Natural Language into Code (esoteric.codes)
    5 points by alpaylan about 1 month ago | discuss
23. Some Simple Economics of AGI (arxiv.org)
    5 points by alpaylan 3 months ago | discuss
24. Closing the verification loop: Observability-driven harnesses for agents (www.datadoghq.com)
    4 points by alpaylan 2 months ago | discuss
25. Seeing Types Where Others Don't (theconsensus.dev)
    3 points by alpaylan 2 months ago | discuss
26. Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)
    3 points by alpaylan 2 months ago | discuss
27. Repurpose AI (www.repurposeai.app)
    3 points by alihayderca 5 months ago | discuss
28. A Better Vocabulary for Testing (alperenkeles.com)
    3 points by alpaylan 9 months ago | discuss
29. I built a canvas where AI agents work together as a design team (designagents.app)
    2 points by aliparnan about 1 month ago | 1 comments
30. AgentxSuite – an open-source control plane for AI agents and MCP servers (github.com)
    2 points by aliparnan 6 months ago | 1 comments
31. The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline (symbolic.software)
    2 points by alpaylan about 2 months ago | discuss
32. Code Quality in the Age of Coding Agents (michaeltimbs.me)
    2 points by alpaylan 2 months ago | discuss
33. Specifiability Is the Leverage (alperenkeles.com)
    2 points by alpaylan 3 months ago | discuss
34. AgentxSuite – Open-Source Control Plane for AI Agents Using MCP
    2 points by aliparnan 6 months ago | discuss