miniblog.

Amusingly, parts of atom-beautify use Emacs to format code! https://github.com/Glavin001/atom-beautify/search?q=emacs&unscoped_q=emacs Presumably there aren't many options for formatting of Verilog, VHDL or Fortran.

I've started reading Construction of Thinned Gated Single-Assignment Form by Paul Havlak, because I hear this SSA form is way underrated. It uses a crazy archaic 3-way IF from Fortran as a motivating example: IF (I) 10, 20, 30 This goes to 10/20/30 based on i being +ve/-ve/0!

I think of FP practices as being young, but *Fortran* supports annotations for explicit inputs, outputs and purity!