Summer of Programming Languages 12 years ago
Any ideas why software verification videos are not published in the OPLSS web page?
phdscam.wordpress.com 12y ago
PH
noobSemanticist
Posts2
Comments3
HN user
Any ideas why software verification videos are not published in the OPLSS web page?
I wish we had a way to run KDE on a retina MBP...
only a small portion of a full compiler involves translators, though.