Hacker News new | ask | show | jobs
by munin 3838 days ago
Formal methods and verification, analysis, compiler technology, type systems, concurrency, and education. Why?