noobSemanticist··on Summer of Programming LanguagesAny ideas why software verification videos are not published in the OPLSS web page?
noobSemanticist··on KDE Ships Second Beta of Next Generation Plasma WorkspaceI wish we had a way to run KDE on a retina MBP...
noobSemanticist··on Let’s Build a Compiler (1995)only a small portion of a full compiler involves translators, though.