We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
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 paragraphs 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.
A research articles 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 is a video on Tom7's youtube channel that extends that live talk. The source code is also published.
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 26th 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 26th birthdays; in particular that of Harry Q. Bovik, p. 145., Carnegie Mellon University, ed. The Association for Computational Heresy, Pittsburgh, PA, April 0, 2024.
- Some improvements discussed in Dr. Tom Murphy VII, Ph.D., “No one can force me to have a secure website!!!”, March 2026, in a record of the proceedings of SIGBOVIK 2026 the twentieth intercalary robot dance party in celebration of workshop on symposium about 26th birthdays; in particular, that of Harry Q. Bovik, p. 1094, Carnegie Mellon University, Pittsburgh, PA, ed. The Association for Computational Heresy (the video livestream refers to the conference as The Association for Computational Heresy in conjunction with The Essteemed Harry Quixsuvertine Bovik, present this 20th Annual Intercalary Robot Dance Party In Celebration of Workshop on Symposium with Conference Overtones of 26 birthdays, with a known and more commonly used alias : SIGBOVIK 2026)
- BoVeX homepage
- BoVeX source code
- popular description video.
- Blog article claiming that there will be a video.
- Blog article announcing the video.