noobSemanticist

3 ms·

1. 1.▲
   by noobSemanticist 12y ago

   Any ideas why software verification videos are not published in the OPLSS web page?
2. 2.▲
   by noobSemanticist 12y ago

   I wish we had a way to run KDE on a retina MBP...
3. 3.▲
   PhD scam(phdscam.wordpress.com)

   2 points by noobSemanticist 13y ago|1 comments
4. 4.▲
   Big Ball of Mud(laputan.org)

   97 points by noobSemanticist 13y ago|21 comments
5. 5.▲
   by noobSemanticist 13y ago

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