Spent the last 9 days building ProofPatcher for the Meta AI Hackathon.
It's built with PHP, Laravel, Meta Muse, and my own Hari core.
The idea is simple: AI-generated code shouldn't get a free pass just because the diff looks convincing. ProofPatcher reviews PRs and uses…
X (formerly Twitter)Pratik Bhujel (@prateekbhujel) on XAI ships convincing slop in seconds. Who checks it? Built ProofPatcher with PHP, Laravel & Meta Muse: PR reviews, inline comments, fix checks, and evidence to catch bad shortcuts. @alexandr_wang @AIatMeta Demo: https://t.co/lj8Q9TPAZG Code: https://t.co/YJbS1yG2f6
