A remarkable post introducing a GHC plugin that proves your programs obey laws:
miniblog.
Related Posts
Optimising GHC, implementing assembly pretty-printers, and the tradeoffs of implementing against an interface: https://www.tweag.io/blog/2022-12-22-making-ghc-faster-at-emitting-code/
Lovely example of using fuel to debug compiler optimisation passes in GHC:
Why GHC still uses its own native code generator, and long term development prospects with LLVM: