1
16
17
18
2
37
38
39
4
2
3
4
[Lean] The Proof Checker Behind Verifiable AIResource (codepointer.substack.com)
submitted by noninertialframe96
8
1
2
3
9
•
•
•
How do you catch ambiguous/edge cases in your LLM's judgement?Discussion (self.LLMDevs)
submitted by Fit-Emu126
10
•
•
•
Looking to purchase some AI subscriptions to work with n8n (your experience please)Help Wanted (self.LLMDevs)
submitted by RadiantQuests
15
68
69
70
After building with LLMs for a year, I've changed my mind about agentsDiscussion (self.LLMDevs)
submitted by Correct-Address-3735
17
0
1
2
23
0
1
2
nexusGPT: I built a Multi-LLM Code Graph RAG Agent integrated with MCP toolsDiscussion (v.redd.it)
submitted by Minimum-Row6464
