Dynamically generating shellcode using an SMT solver: almost magical! https://sean.heelan.io/2009/06/01/fun-uses-for-an-smt-solver/
Related Posts
I made some changes to a node express project that I haven't touched in almost five years. I was pleasantly surprised that I only needed to update one dependency to get it working again!
(It was sqlite3, which is a native dependency using node-gyp.)
Difftastic has been cited in a paper!
Modernizing SMT-Based Type Error Localization https://arxiv.org/abs/2408.09034
The authors use difftastic to work out which parts of a buggy program have actually changed, a great use case :)
Exploring design ideas using AI as a learning assistant, for creative exploration: https://andymatuschak.org/hmwl/