BoVeX

BoVeX is a two-goal optimization typesetting system created by Dr. Tom Murphy VII, Ph.D. in 2024. BoVeX can automatically rewrite the wording of the article slightly if this helps the paragraphs look nicer when the best line breaks are applied to it. BoVeX uses a tunable parameter to decide the importance of two goals: the parahgraphs looking nicer, and the rephrasing preserving more of the wording.

BoVeX uses Facebook's large language model “Llama” for the rewriting, which is why Tom uses his new computer with 128 gigabytes of RAM and the world's largest video card to run this typesetting system. BoVeX is implemented mostly on a new functional programming language, also called BoVeX, and the articles to be typeset are also written in this programming language. BoVeX is algebraically typed with Hindley-Milner type inference similar to standard ML, but with custom extensions to the type system that are somewhat more specialized for typesetting.

As of this writing, BoVeX is unreleased, but a research article describing the project and typeset in it is published in two versions, one with and one without the automatic rewriting. The project was also summarized in a live talk on the SIGBOVIK 2024 robot dance party, and there will be a video on Tom7's youtube channel that extends that live talk.

External links

• Dr. Tom Murphy VII, Ph.D., “Badness 0 (Epsom's version)”, March 2024, in a record of the proceedings of SIGBOVIK 2024 the eigtheenth annual intercalary robot dance party in celebration of workshop on symposium about 2⁶th birthdays; in particular that of Harry Q. Bovik, Carnegie Mellon University, p. 131., ed. The Association for Computational Heresy, Pittsburgh, PA, April 0, 2024.
• Dr. Tom Murphy VII, Ph.D., “Badness 0 (Knuth's version)”, March 2024, in a record of the proceedings of SIGBOVIK 2024 the eigtheenth annual intercalary robot dance party in celebration of workshop on symposium about 2⁶th birthdays; in particular that of Harry Q. Bovik, p. 145., Carnegie Mellon University, ed. The Association for Computational Heresy, Pittsburgh, PA, April 0, 2024.
• Unknown material “Coming soon” as of 2024-04-11, presumably BoVeX source code
• Blog article claiming that there will be a video.