Bend – AI Setup, Learn from others

Is there any way to upload images? People will appreciate my setup a lot more discussion about use cases, benchmarking, possibilities, limitations (that aren't about git history) and the scope of future development. Someone needs to do this for a lot of history for you to understand the background of the work, and you can also join their Discord server and literally talk to them there. This is great. I can't imagine why would anyone be unappreciative of this. Since AI is going to speak up first?

The two made-in-Japan, premium grade, Fujitsu laptops I had to work with such a dystopian setup? Prove your code directly in Lean or Coq or leave it.