News for hackers. Stuff that matters.

A comment on Programming in Z3 by learning to think like a compiler. Parent comment

Re:Programming in Z3 by learning to think like a compiler by jbn on Thursday May 06, 2021 @09:02AM (#27062561)
What a great HN comment. This is super-informative, thank you. This makes my day and guarantees I will come back on HN for more!
[ Parent | on HN ]

There are no comments on this comment yet.