Computing optimal 8501 instructions for rotations using an SMT solver and Racket with Rosette:
miniblog.
Related Posts
I've written difftastic packaging instructions: https://difftastic.wilfred.me.uk/packaging_difftastic.html
The different distros have taken different approaches, so I'm trying to help with common gotchas — don't forget the man page!
Feedback welcome, especially if you've ever packaged something 🙂
A decent part of VMs being faster than AST interpreters is just memory layout AIUI.
VM instructions are largely flat arrays, so there's less pointer chasing.
Displaying syntactic diffs is a really hard problem. GumTree has instructions for using it with Docker, so it's easy to try: https://github.com/GumTreeDiff/gumtree/tree/main/docker#usage
I compared some C++ with difftastic. GumTree does pretty well in the first case, but it's highlighting too much in the second.



