alkhemyst

↗ HN profile [ 20.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. I’ve been developing a project called the Mirrors Reasoning Stack (MRS): a lightweight reasoning substrate for AI systems. It blends Prolog, Datalog, and Z3 into a single stack that can infer, verify, and preserve truth…

  2. Over the past 6 months, I’ve been working on a system that replaces most internal business operations — approvals, reporting, lead handling, onboarding — with private agents that live inside the business logic itself.…