← Back to context

Comment by bachmeier

2 days ago

I've been rewriting all my papers in Rust. It's been a pleasant experience getting memory safe coffee stains on my papers.

I know it was probably said just as a joke, but are you really writing papers using Rust? I don’ t use Rust, BUT if you’ve got a better way to write symbol heavy type theory and/or logic than having to make PNG’s and put them in as images in a word processor I would love to hear about it.