Hackernews posts about Alipay

1. A Drop in for `anyhow:Context` that reports the failure location (gist.github.com)
   1 points by alpaylan about 20 hours ago | discuss
2. Hypothesis, Antithesis, synthesis (antithesis.com)
   285 points by alpaylan 14 days ago | 104 comments
3. Lf-lean: The frontier of verified software engineering (theorem.dev)
   47 points by alpaylan 26 days ago | 9 comments
4. The mechanics of autonomous software translation (alperenkeles.com)
   24 points by alpaylan 27 days ago | 3 comments
5. Closing the verification loop: Observability-driven harnesses for agents (www.datadoghq.com)
   4 points by alpaylan 29 days ago | discuss
6. Seeing Types Where Others Don't (theconsensus.dev)
   3 points by alpaylan 25 days ago | discuss
7. Formalizing Data Structures and Algorithms with Agents (risemsr.github.io)
   3 points by alpaylan 29 days ago | discuss
8. What Is a Property? (alperenkeles.com)
   2 points by alpaylan about 3 hours ago | discuss
9. Code Quality in the Age of Coding Agents (michaeltimbs.me)
   2 points by alpaylan 26 days ago | discuss
10. The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline (symbolic.software)
    1 points by alpaylan about 1 hour ago | discuss
11. Tracing Goroutines in Realtime with eBPF (sazak.io)
    1 points by alpaylan 7 days ago | discuss
12. Indian GOVT, RBI in Talks with Alipay+ 2B LINKED2INDIA'S Digital Payments System (twitter.com)
    1 points by koolhead17 2 months ago | discuss
13. AgentUniverse: A LLM multi-agent framework (github.com)
    3 points by daemond almost 2 years ago | discuss
14. Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules? (lightcapai.medium.com)
    2 points by WASDAai 7 months ago | 1 comments
15. Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra (lightcapai.medium.com)
    1 points by WASDAai 8 months ago | 1 comments
16. Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Depen (arxiv.org)
    1 points by WASDAai 8 months ago | 1 comments
17. Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra (lightcapai.medium.com)
    1 points by WASDAai 9 months ago | 1 comments
18. Tjq: Giving Types to Jq (github.com)
    48 points by thunderbong over 1 year ago | 7 comments
19. The AGI Race is an All-Pay Auction. That's why "over‑investment" is rational (blog.cal.vin)
    8 points by temporalparts 5 months ago | discuss
20. Securing MCP Infrastructure (aliparnan.com)
    1 points by aliparnan 3 months ago | discuss
21. Test, don't just verify (alperenkeles.com)
    200 points by alpaylan 4 months ago | 140 comments
22. LLMs could be, but shouldn't be compilers (alperenkeles.com)
    133 points by alpaylan 2 months ago | 151 comments
23. Show HN: Tail – Structured Document Editor (www.tail.rocks)
    5 points by alpaylan over 1 year ago | 2 comments
24. Some Simple Economics of AGI (arxiv.org)
    5 points by alpaylan about 1 month ago | discuss
25. Repurpose AI (www.repurposeai.app)
    3 points by alihayderca 4 months ago | discuss
26. A Better Vocabulary for Testing (alperenkeles.com)
    3 points by alpaylan 8 months ago | discuss
27. AgentxSuite – an open-source control plane for AI agents and MCP servers (github.com)
    2 points by aliparnan 5 months ago | 1 comments
28. Specifiability Is the Leverage (alperenkeles.com)
    2 points by alpaylan about 1 month ago | discuss
29. AgentxSuite – Open-Source Control Plane for AI Agents Using MCP
    2 points by aliparnan 5 months ago | discuss
30. Does your code match your spec? (kiro.dev)
    2 points by alpaylan 5 months ago | discuss
31. A Claude Code Command for Hypothesis (hypothesis.works)
    2 points by alpaylan 5 months ago | discuss
32. Breaking Verifiable Abstractions (alperenkeles.com)
    2 points by alpaylan 7 months ago | discuss
33. Are We Engineers? (www.hillelwayne.com)
    1 points by alpaylan about 1 month ago | discuss
34. Dotlr – An Educational LR Parser Generator and Visualizer (github.com)
    1 points by alpaylan over 1 year ago | discuss