Hackernews posts about Alipay

1. 01
   

   newTesting Race Conditionsprojectzero.google

   ▲ 67alpaylan25d💬 4savesaved
2. 02
   

   newA Design Space Exploration of Async/Awaitcel.cs.brown.edu

   ▲ 2alpaylan24ddiscusssavesaved
3. 03
   

   newIndian GOVT, RBI in Talks with Alipay+ 2B LINKED2INDIA'S Digital Payments Systemtwitter.com

   ▲ 1koolhead17244ddiscusssavesaved
4. 04
   

   newI built an Android-like OS that runs in the browser

   ▲ 3haozaz129d💬 1savesaved
5. 05
   

   newAlpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?lightcapai.medium.com

   ▲ 2WASDAai404d💬 1savesaved
6. 06
   

   newShaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebralightcapai.medium.com

   ▲ 1WASDAai425d💬 1savesaved
7. 07
   

   newTransfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Depenarxiv.org

   ▲ 1WASDAai433d💬 1savesaved
8. 08
   

   newShaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebralightcapai.medium.com

   ▲ 1WASDAai444d💬 1savesaved
9. 09
   

   newTjq: Giving Types to Jqgithub.com

   ▲ 48thunderbong681d💬 7savesaved
10. 10
    

    newThe AGI Race is an All-Pay Auction. That's why "over‑investment" is rationalblog.cal.vin

    ▲ 8temporalparts339ddiscusssavesaved
11. 11
    

    newFrom Specialists to Builders: How AI Agentic Coding Is Reshaping Software Teamsaliparnan.com

    ▲ 3Alpn13125d💬 1savesaved
12. 12
    

    newA Drop in for `anyhow:Context` that reports the failure locationgist.github.com

    ▲ 1alpaylan181ddiscusssavesaved
13. 13
    

    newSecuring MCP Infrastructurealiparnan.com

    ▲ 1aliparnan277ddiscusssavesaved
14. 14
    

    newHypothesis, Antithesis, synthesisantithesis.com

    ▲ 285alpaylan194d💬 104savesaved
15. 15
    

    newTest, don't just verifyalperenkeles.com

    ▲ 200alpaylan286d💬 140savesaved
16. 16
    

    newLLMs could be, but shouldn't be compilersalperenkeles.com

    ▲ 133alpaylan240d💬 151savesaved
17. 17
    

    newWhat is a property?alperenkeles.com

    ▲ 89alpaylan181d💬 26savesaved
18. 18
    

    newLf-lean: The frontier of verified software engineeringtheorem.dev

    ▲ 47alpaylan206d💬 9savesaved
19. 19
    

    newThe mechanics of autonomous software translationalperenkeles.com

    ▲ 24alpaylan208d💬 3savesaved
20. 20
    

    newWhy Don't Lowercase Letters Come Right After Uppercase Letters in ASCII?tylerhillery.com

    ▲ 23alpaylan150ddiscusssavesaved
21. 21
    

    newUnderstanding Is the New Bottleneckwww.geoffreylitt.com

    ▲ 9alpaylan94d💬 2savesaved
22. 22
    

    newIntroduction to Property-Based Testingantithesis.com

    ▲ 6alpaylan41ddiscusssavesaved
23. 23
    

    newNondeterminism's Not the Problemisaacvando.com

    ▲ 6alpaylan153ddiscusssavesaved
24. 24
    

    newEsoNatLangs Bring the Complexity of Natural Language into Codeesoteric.codes

    ▲ 5alpaylan171ddiscusssavesaved
25. 25
    

    newSome Simple Economics of AGIarxiv.org

    ▲ 5alpaylan221ddiscusssavesaved
26. 26
    

    newA Little Explanation of Little's Lawrugu.dev

    ▲ 4alpaylan120d💬 1savesaved
27. 27
    

    newClosing the verification loop: Observability-driven harnesses for agentswww.datadoghq.com

    ▲ 4alpaylan209ddiscusssavesaved
28. 28
    

    newBuy Willow and Make Me Richwillowai.app

    ▲ 3aliparnan108d💬 2savesaved
29. 29
    

    newShow HN: Latex Diff Viewergithub.com

    ▲ 3alpaylan87ddiscusssavesaved
30. 30
    

    newRepresentation-Free Editingalperenkeles.com

    ▲ 3alpaylan110ddiscusssavesaved
31. 31
    

    newWhat Is Random Generation?alperenkeles.com

    ▲ 3alpaylan146ddiscusssavesaved
32. 32
    

    newSeeing Types Where Others Don'ttheconsensus.dev

    ▲ 3alpaylan206ddiscusssavesaved

· edit