| 1. | | LeanPRM (twitter.com/rodney_lafuente) |
| 4 points by andes314 1 day ago | past | discuss |
|
| 2. | | Training Natural Language Verifiers with Lean (huggingface.co) |
| 3 points by andes314 22 days ago | past |
|
| 3. | | Verifiers First, Rubrics Second (rlafuente.com) |
| 1 point by andes314 23 days ago | past |
|
| 4. | | Measure a Workflow, Not a System (rlafuente.com) |
| 2 points by andes314 25 days ago | past |
|
| 5. | | Two Hills: Weights and Harnesses (rlafuente.com) |
| 2 points by andes314 26 days ago | past |
|
| 6. | | Show HN: Jev-Like Model Learns to Cook (rlafuente.com) |
| 3 points by andes314 41 days ago | past |
|
| 7. | | LLM-Native Advertising (What Ads in GenAI Will Look Like) (rlafuente.com) |
| 1 point by andes314 7 months ago | past |
|
| 8. | | AdGPT (rlafuente.com) |
| 1 point by andes314 7 months ago | past | 1 comment |
|
| 9. | | Show HN: ClawJetty: Agent Pages for Production AI (clawjetty.com) |
| 1 point by andes314 7 months ago | past |
|
| 10. | | CJ: Let your Agents send you Updates (clawjetty.com) |
| 1 point by andes314 7 months ago | past |
|
| 11. | | Give Your AI Agent a Live Status Page (clawjetty.com) |
| 1 point by andes314 7 months ago | past | 2 comments |
|
| 12. | | Show HN: ClawJetty: See what your AI Agent is Doing (clawjetty.com) |
| 1 point by andes314 8 months ago | past |
|
| 13. | | My Dev Box Setup Script (rlafuente.com) |
| 1 point by andes314 8 months ago | past | 2 comments |
|
| 14. | | I Lost $150 in 20 Minutes Market-Making on Kalshi (rlafuente.com) |
| 4 points by andes314 8 months ago | past | 1 comment |
|
| 15. | | ClawJetty: Plug-In Personal OpenClaw Box (clawjetty.com) |
| 2 points by andes314 8 months ago | past | 1 comment |
|
| 16. | | God, Theology, and AI (rlafuente.com) |
| 5 points by andes314 9 months ago | past |
|
| 17. | | On God and Machine Learning (rlafuente.com) |
| 2 points by andes314 9 months ago | past |
|
| 18. | | Hire Me: ML Engineer (rlafuente.com) |
| 1 point by andes314 on Sept 2, 2025 | past | 2 comments |
|
| 19. | | Show HN: 16-Pad Sampler from Your Videos (rlafuente.com) |
| 1 point by andes314 on Aug 10, 2025 | past |
|
| 20. | | Postman for MCP (usetexture.com) |
| 31 points by andes314 on May 17, 2025 | past | 10 comments |
|
| 21. | | Show HN: Texture: Chat with Any API (usetexture.com) |
| 4 points by andes314 on May 11, 2025 | past | 1 comment |
|
| 22. | | Show HN: Chat with Reddit (usetexture.com) |
| 1 point by andes314 on May 11, 2025 | past |
|
| 23. | | Texture – No-Code API-to-MCP (usetexture.com) |
| 1 point by andes314 on May 2, 2025 | past | 1 comment |
|
| 24. | | Show HN: Texture: Create an MCP Server from Any API (usetexture.com) |
| 2 points by andes314 on May 2, 2025 | past |
|
| 25. | | Open-Source MCP Chat That Just Works (scira.ai) |
| 1 point by andes314 on April 28, 2025 | past |
|
| 26. | | Workers AI LLM Playground (cloudflare.com) |
| 3 points by andes314 on April 20, 2025 | past | 1 comment |
|
| 27. | | Making a Crouton Server (rlafuente.com) |
| 1 point by andes314 on April 18, 2025 | past | 1 comment |
|
| 28. | | Syndeo: Secure, Portable Ray Clusters (rlafuente.com) |
| 1 point by andes314 on Feb 17, 2025 | past | 1 comment |
|
| 29. | | Show HN: A GPU-accelerated binary vector index (rlafuente.com) |
| 65 points by andes314 on Feb 17, 2025 | past | 7 comments |
|
| 30. | | Making Markets on Kalshi (rlafuente.com) |
| 56 points by andes314 on Feb 17, 2025 | past | 26 comments |
|
|
| More |
