ROScon requires a talk outline and an audio abstract, that they use to select talks.

aeon has file-based imports that are not includes. Includes paste the code inline, and then you parse everything together. In aeon, each import will parse the imported file individually. But yes, files are not being abstracted.

allowing imports is indeed a huge mistake. Let the file size be the guardian against complexity. 512kb ought to be enough for every program.

ilyasergey.net/assets/pdf/p... looks pretty cool!

wait until you try lean. There’s no going back!

In out seminars, we now have real-time cc over the slides. You can’t not have them.

in which universe?

Mathematics use Alphabetical Ordering for authors. Aaron Abdul will become a popular academic name in 25 years :D