| ▲ | Tiberium 3 days ago | |
Very impressive, makes one wonder what do some companies have in private compared to public tools that we stitch together. E.g. you can combine LLMs with statical analysis/proving to get much better results. | ||
| ▲ | huflungdung 11 hours ago | parent [-] | |
[dead] | ||