Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Programming in Z3 by learning to think like a compiler. Parent comment
"practical uses" tends to mean whatever the speaker wants it to mean, so no guarantees, but i think it covers a number of small useful tasks, in addition to many of the common code golf type things.
There are no comments on this comment yet.
"practical uses" tends to mean whatever the speaker wants it to mean, so no guarantees, but i think it covers a number of small useful tasks, in addition to many of the common code golf type things.