2022-03-01 Can the clang/llvm optimizer be used as a problem solving assistant?
2022-02-28 Draw control flow graphs with MIASM, BinaryNinja, and Mermaid.
2022-02-08 How can Z3 solve magic square and variants?
2022-02-07 How many irreducible degree 32 polynomials are there?
2022-02-03 Pipe from dwarfdump to graph DWARF DIEs.
2022-01-20 use dwarfdump to find prototype of function
2022-01-10 interactive binomial distribution with .SVG/.js
2019-01-10 Make cool graphical effects with relatively simply plane mappings.
2017-04-12 monetary unit sampling with html5 canvas, javascript