I use Racket's slideshow package. Can call to LaTeX if you really need a formula, supports animations, allows embedded GUI widgets for nice demos.
Conversation
Can it do syntax highlighting of custom programming langs? That would be super handy.
1
If they're Lispy then the included lib does a good job. If not, then you'd have to build a little lexer.
1
1
At least you get to use a reasonable language to build extensions...
1
1
1
That'll do it. If you don't want to use the #lang for anything but slides, then this might be overkill relative to just writing some regexps to dump a highlighted picture out of a string.
1
1
Might be good procrastination material for my next talk! At least I'd learn more about Racket's language implementation stuff! Always wanted to have an excuse to learn. 🤔
1
1
You can also go completely over the top like I did for ICFP 16 and have your compiler talk to your slides over a socket for a mini ide in the slides...
1
1
Hah, I liked that one! Where you showed off Pie? Looked super nice.
1
This one was Idris: m.youtube.com/watch?v=pqFgYC
2
1
Ah dang, I don't think I've seen that one yet, and I've been meaning to learn more about elaborator reflection. Got the paper on the queue for when I need it. Might get around to watching the talk tomorrow! 🥰
Make sure to read the Lean tactic paper too - they made something similar go faster and have better tools!
2