Viewing profile — noobSemanticist

noobSemanticist

HN member

No profile information was provided.

comment
Comment #7997536
Any ideas why software verification videos are not published in the OPLSS web page?

Mon, Jul 07, 2014, 7:26 AM UTC
comment
Comment #7878365
I wish we had a way to run KDE on a retina MBP...

Wed, Jun 11, 2014, 3:07 PM UTC
story
PhD scam
Thu, Feb 27, 2014, 8:41 AM UTC
story
Big Ball of Mud
Sat, Nov 16, 2013, 7:01 PM UTC
comment
Comment #6644358
only a small portion of a full compiler involves translators, though.

Wed, Oct 30, 2013, 11:52 PM UTC