News for hackers. Stuff that matters.
Re:Kind: A Modern Proof Language by raesene9 on Wednesday August 11, 2021 @01:17PM (#28144824)
Finding go things is a pain (for me) because go is a very general word, I generally use golang to avoid that.

Python is easy 'cause the other meaning is a real noun, so disambiguation is easy.

Kind is a general word, another tech project, and also a programming term.

just an opinion ofc :)

Re:Kind: A Modern Proof Language by haskellandchill on Wednesday August 11, 2021 @02:11PM (#28145555)
Kindlang, problem solved
Re:Kind: A Modern Proof Language by LangMakers on Wednesday August 11, 2021 @04:28PM (#28147314)
Speaking of names, I love yours