miniblog.

← Back to all posts
Jan 31, 2022 at 17:34
Lovely example of using fuel to debug compiler optimisation passes in GHC:
Debugging compilers with optimization fuel : ezyang’s blog

Related Posts

Jul 27, 2024 at 04:13
Bril is a cute intermediate language for teaching (think simplified LLVM IR): https://www.cs.cornell.edu/~asampson/blog/bril.html The idea of providing a standard JSON format to help students write basic passes is really elegant.
Bril: An Intermediate Language for Teaching Compilers
Bril: An Intermediate Language for Teaching Compilers
I created a new intermediate language, called Bril, for teaching my funky open-source, hands-on compilers course. Because it’s for education, Bril prioritizes simplicity and regularity over more typical compiler priorities like performance and concision. This is an overview of Bril’s design, its quirks, and the ecosystem that has grown up around it since 2019.
Apr 3, 2024 at 04:57
tap> is an elegant Clojure debugging feature: it passes the argument to any functions registered with add-tap. You might set up a custom printer for your data type, or save values for later examination, and you can easily disable the tap too.
Debugging Clojure at the REPL using tap>
Debugging Clojure at the REPL using tap>
Sometimes, old habits die hard. For a long time, I've done a lot of debugging in my Clojure code at...
Sep 1, 2021 at 04:34
Fun post looking at an impressive transformation in clang and tracing it through the different optimisation passes:
Exploring Clang/LLVM optimization on programming horror