Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

If your paper has results, it has code of some sort which can be put into a github repo.

That's the bare minimum. If you don't know how to make code agnostic to file paths or dependencies, that's too bad, but fortunately a field practitioner picking your code up will know how to work around those issues. At least they're not starting from scratch on trying to rewrite your code.



As a theorist, not it goddamn doesn't.


How do you validate your theories?


I prove them.


What about an agda proof?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: