> formalized languages is really the future Hmm, maybe it's time for symbolism t... | Hacker News

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

login

est 6 months ago | parent | context | favorite | on: AlphaProof's Greatest Hits

> formalized languages is really the future

Hmm, maybe it's time for symbolism to shine?

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