Hacker News new | past | comments | ask | show | jobs | submit login

Can LLM-based tools even handle the donkey's bridge of syntactic consequence ("A->B & A; B?") yet?

Lagniappe: https://www.youtube.com/watch?v=9B2ww3fiX30




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: