logoalt Hacker News

IshKebablast Saturday at 7:23 PM0 repliesview on HN

That's because it's a review paper. There are plenty of computer science papers that are impenetrable, or leave out all the important details.

Build systems don't involve anything really complex. Go and read some papers on unbounded model checking if you want unapproachable.