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

See also Coq, the theorem prover.



Git also isn't a very nice word. https://www.merriam-webster.com/dictionary/git


Git doesn't have sexual connotations. any term with sexual connotations is a hot potato nowadays in software biz/collaboration


Everything is a hot potato when your basic needs are met and you’re bored and more importantly you desperately feel the need be “right” about something, perhaps listened.




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

Search: