Tag: archive
-
useful tools
Markdown editors, code formatters and other small tools worth keeping — HackMD, StackEdit and the rest. -
2016 review
A short 2016 list of what was read and built, and what was not. -
symbolic exection introduction
What symbolic execution is: running a program on symbolic inputs to work out which inputs reach which part of it.