I guess my feeling is that formal verification _even in the LLM era_ still feels heavy-handed/too expensive for too little value for...
I guess my feeling is that formal verification _even in the LLM era_ still feels heavy-handed/too expensive for too little value for a lot of the problems I'm working on.
Posted by devin on Mar 6, 2026, 7:56 PM
Tags
Related issues
- Yeah, the plan is far too expensive for what it provides.
- Crashed demand after one of the big AI labs (probably Anthropic because they focus way too hard on expensive frontier models) become inso...
- /dev/random is much too expensive for this.
- Yeah, this always bugged me.
- A year ago, I had the opinion that it'd be too expensive for developers to support offline mode, peer to peer, or community servers after...
- The weird thing about this product is that its biggest competitor is "an old ipad." I feel like most of their target customer base alread...
Raise real-world problems, find people facing the same issue, and discuss solutions.2,000 issues0 comments
pricing (Other)
Yeah, the plan is far too expensive for what it provides.
Newpricing (Other)0 comments
Crashed demand after one of the big AI labs (probably Anthropic because they focus way too hard on expensive frontier models) become inso...
Newpricing (Other)0 comments
/dev/random is much too expensive for this.
pricing (Other)0 comments
Yeah, this always bugged me.
pricing (Other)0 comments
A year ago, I had the opinion that it'd be too expensive for developers to support offline mode, peer to peer, or community servers after...
pricing (Other)0 comments
The weird thing about this product is that its biggest competitor is "an old ipad." I feel like most of their target customer base alread...
pricing (Other)0 comments
There's a talk from Travis Kalanick recently on a podcast about this.
pricing (Other)0 comments
>nobody ever bought German cars for their low prices, except the Beetle Huh?
pricing (Other)0 comments
I guess my feeling is that formal verification _even in the LLM era_ still feels heavy-handed/too expensive for too little value for...
devinMar 6, 2026, 7:56 PM
I guess my feeling is that formal verification _even in the LLM era_ still feels heavy-handed/too expensive for too little value for a lot of the problems I'm working on.
Comments (0)
No comments yet. Start the discussion.