Nothing here yet.
Nothing here yet.
1d ago · 12 min read · 🙋 I’m Luhui Dev, a developer who has been breaking down Agent engineering and exploring how AI can be applied in education. I focus on Agent Harness, LLM application engineering, AI for Math, and th
Join discussion
4d ago · 8 min read · Videos can be embedded. Documents can be embedded. Spreadsheets can be embedded. But what about geometry? For the past decade, whenever a product needed users to draw a geometry problem, edit a dynami
Join discussionApr 22 · 9 min read · A great discovery from my recent project work: DSPy. While building the content generation pipeline for Canviz, I encountered a recurring engineering problem—it was extremely difficult to maintain sta
Join discussion
Mar 8 · 10 min read · This article focuses only on AlphaGeometry DSL itself. It does not cover model training, search strategy, or paper results. The goal is to treat the DSL as an engineering-facing protocol document and
Join discussion
