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

Yes. Includes those who work on compilers, formal verification, functional languages, OO languages, and so on. Not the hottest topic these days (compared to ML).


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

Search: