Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

> Is a gymnasium a school in Europe? It's an exercise facility in the USA.

https://en.wikipedia.org/wiki/Gymnasium_(school)

> I've gone through high school and taken CS (and a bit of discrete math and logic) in college, and never seen the ⊢ symbol before.

Interesting. I was taught ⊢ first semester in CS in Logic class. Along with most other common logic notation.



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

Search: