Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
gjulianm
on April 19, 2015
|
parent
|
context
|
favorite
| on:
Propositions as Filenames, Builds as Proofs: The E...
Just as a practical tip: use latexmk, it's an utility that runs all the necessary tools the necessary number of times to get everything right (labels, cross references, indexes, etc). It works really nice with Make.
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: