I wonder how many minutes/hours of my life I've wasted being momentarily confused by LaTeX errors because I forgot to put [fragile] on a beamer frame that contained code listings.

@vollmerm there's not even a sensible way to make [fragile] the default either 😢.

And if it weren't for minted being great, I'd use Powerpoint just to avoid the horrible interface that LaTeX presents for slides.

@vollmerm this is literally the reason I don't use beamer anymore.

@csgordon @vollmerm I use the beamer export of org-mode to prepare slides. Inserting code in slides is quite easy in this setup!

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.