noobSemanticist's comments | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit | noobSemanticist's comments

noobSemanticist on July 7, 2014 | parent | context | [–] | on: Summer of Programming Languages

Any ideas why software verification videos are not published in the OPLSS web page?

noobSemanticist on June 11, 2014 | parent | context | | [–] | on: KDE Ships Second Beta of Next Generation Plasma Wo...

I wish we had a way to run KDE on a retina MBP...

noobSemanticist on Oct 30, 2013 | parent | context | [–] | on: Let’s Build a Compiler (1995)

only a small portion of a full compiler involves translators, though.

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