Playing with .annot files
New commands are available in the OCaml mode of Chamo. They use the .annot files generated by ocamlc. Here is a list of these commands. Def...
Emacs!
I love Emacs. I’ve been using it ever since I took my first programming language theory class in college. I had played around with it before then, but it took my professor’s recommendat…
Automating Mathematical Program Transformations
Abstract Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely heavily on variou...