6h ago

Developer Uses 300k Tokens to Teach Claude Bend Termination Checker

——0——
Original post
OPTaelin#1047Taelin@VICTORTAELIN

300k tokens trying to teach 4.8 how Bend's termination checker works 🫠 maybe not so bright, but somehow a pleasure to talk to and definitely my favorite model of all time

9:29 AM · May 29, 2026 View on X
QUOTE POSTTaelin#1047Taelin@VICTORTAELIN

Today I taught Opus 4.8 how to write a termination checker without the bloated shit they put in other proof assistants 🥳

Took longer than I wished, but now I have a clean prompt I can re-use if I ever need this again!

I'll post it below as you may need it too. Who doesn't?

TaelinTaelin@VictorTaelin

300k tokens trying to teach 4.8 how Bend's termination checker works 🫠 maybe not so bright, but somehow a pleasure to talk to and definitely my favorite model of all time

4:29 PM · May 29, 2026 · 11.3K Views
10:49 PM · May 29, 2026 · 45 Views