Hacker News new | ask | show | jobs
by dswilkerson 729 days ago
No. If you want a deeper understanding of programming, write your own static analysis / theorem prover.