ityonemo/2b4m
View on GitHub ↗ ★ 6 Zig
3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2026-08-17 · latest 2026-09-22
20082026
-
…cook. I have no idea how it implemented it, except that it (supposedly) "does it the way I asked: https://github.com/ityonemo/bpa For my projects that I use day to day in prod there is considerably more hand-holding and code review.
comment by dnautics · 2026-09-22 · in AI Has No Wisdom and Neither Will You -
WIP, but that is the target ethos in the prover I'm building: https://github.com/ityonemo/bpa Its painfully verbose and explicit but its designed to let you cut down to the structure of the proof with a query language
comment by dnautics · 2026-09-07 · in Finding a bug in Dummit and Foote's Abstract Algebra -
…a proof assistant language that was not in the training set and the llm does a fantastic job with it. (github.com/ityonemo/bpa) well it learned some sort of programming language and some sort of logic well can you not see that those sorts…
comment by dnautics · 2026-08-17 · in Why does Opus 5 feel worse to work with?