AnhTho_FR's submissions

1.		DMATH – Formal Verification Tools (github.com/dropbox)
		4 points by AnhTho_FR 8 days ago \| past \| discuss
2.		Codex Use Cases (developers.openai.com)
		2 points by AnhTho_FR 9 days ago \| past \| discuss
3.		AI and Git Worktree: a multi-agent setup that works (memmof.dev)
		2 points by AnhTho_FR 12 days ago \| past \| discuss
4.		Loop – Bun CLI That Runs Codex and Claude Code in a Loop (github.com/axeldelafosse)
		1 point by AnhTho_FR 13 days ago \| past \| discuss
5.		United Relax Genius Marketing Campaign (twitter.com/byanhtho)
		2 points by AnhTho_FR 13 days ago \| past \| discuss
6.		Replit Is Pre‐Shopify‐2012 (github.com/getlago)
		3 points by AnhTho_FR 20 days ago \| past \| 2 comments
7.		How to Thought Lead (swyx.io)
		6 points by AnhTho_FR 20 days ago \| past
8.		Claude Chief of Staff (github.com/mimurchison)
		2 points by AnhTho_FR 20 days ago \| past \| 1 comment
9.		Clay Internal Pricing Memo (clay.com)
		1 point by AnhTho_FR 25 days ago \| past
10.		More agent tools and AI tools should be pricing on outcomes (2025) (jxnl.co)
		19 points by AnhTho_FR 28 days ago \| past \| 9 comments
11.		Complaining Is the Mind Killer (investing101.substack.com)
		2 points by AnhTho_FR 28 days ago \| past
12.		Half the AI Agent Market Is One Category. The Rest Is Wide Open (garryslist.org)
		2 points by AnhTho_FR 42 days ago \| past
13.		Former GitHub CEO raises record $60M dev tool seed round at $300M valuation (techcrunch.com)
		3 points by AnhTho_FR 52 days ago \| past
14.		Open-Source Rust Toolkit to Let AI Agents Query Billing Data (github.com/getlago)
		1 point by AnhTho_FR 84 days ago \| past
15.		What makes 5% of AI agents work in production? (motivenotes.ai)
		126 points by AnhTho_FR 6 months ago \| past \| 121 comments
16.		Why n8n gives away free AI (getlago.substack.com)
		2 points by AnhTho_FR 7 months ago \| past
17.		High Agency (highagency.com)
		2 points by AnhTho_FR 8 months ago \| past
18.		Ask HN: Why can't OpenAI, Cursor, Fyxer etc. send their invoices per email?
		4 points by AnhTho_FR 8 months ago \| past
19.		Cursor had to change its pricing (but not like that) (getlago.substack.com)
		2 points by AnhTho_FR 9 months ago \| past
20.		We Built Our Own Time-Tracking Algorithm for a Rust App (michellelim.dev)
		1 point by AnhTho_FR 9 months ago \| past
21.		Founder Learning Phases: Normalizing the Journey (motivenotes.ai)
		2 points by AnhTho_FR 9 months ago \| past
22.		Mastra Cloud (mastra.ai)
		3 points by AnhTho_FR 9 months ago \| past
23.		European Venture Prisoner's Dilemma (nodesventures.substack.com)
		1 point by AnhTho_FR 9 months ago \| past
24.		Why DAO Contribution Sucks (and How to Fix It) (finn.mirror.xyz)
		1 point by AnhTho_FR 9 months ago \| past
25.		Criteria-Eval: Evaluating Long-Form Answers to Complex Questions (samaya.ai)
		1 point by AnhTho_FR 9 months ago \| past
26.		Groq just made Hugging Face faster (venturebeat.com)
		1 point by AnhTho_FR 9 months ago \| past
27.		Core Components of a Profitable AI Billing System (getlago.com)
		2 points by AnhTho_FR 9 months ago \| past
28.		AI Labs Are Starting to Look Like Sports Teams (sequoiacap.com)
		5 points by AnhTho_FR 9 months ago \| past \| 1 comment
29.		AI in the Middle East: what will the business models be? (getlago.substack.com)
		2 points by AnhTho_FR 9 months ago \| past
30.		The Frontier Is Open (together.ai)
		1 point by AnhTho_FR 10 months ago \| past
		More