miniblog.

← Back to all 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.

Related Posts

May 5, 2021 at 04:17
42
Tectonic is a fabulous new implementation of TeX that doesn't require a large distribution, doesn't write intermediate files, and automatically loops TeX and BibTeX!
The Tectonic Typesetting System — The Tectonic Typesetting System
A modernized, complete, standalone TeX/LaTeX engine.
Jun 12, 2019 at 23:25
TIL eager macro expansion can mean very different things. Rust macros must expand to valid code, so eager macro expansion allows illegal intermediate states: https://docs.rs/eager/0.1.0/eager/macro.eager.html#macro-expansions Elisp macros are expanded at runtime unless expansion is eager:
eager in eager - Rust
Emulates eager expansion of macros.
Emacs 24.3’s Killer Feature: Eager Macro-Expansion
Looks like this change has gone largely unnoticed, aside from occasional bug reports when it failed and emitted a warning.
Feb 3, 2018 at 00:48
Macro-expanded lisp works surprisingly well as an intermediate representation for some tasks. Today, I was able to enumerate all the bound variables pretty straightforwardly, because elisp only has four ways of introducing bindings! (let, let*, lambda and condition-case)