News for hackers. Stuff that matters.
Re:LangPro: Natural Language Theorem Prover by saghm on Friday September 01, 2017 @05:07PM (#15152388)
It didn't come across as bragging to me; it provided useful context for the question. For a naive reader like me, it demonstrated to me that someone much more experienced in this area than me was confused by it. For a reader capable of answering their question, it provided a baseline of their knowledge, which is useful for determining what level of detail to go into when answering.

There are no comments on this comment yet.