Do all the things like ++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatarSign Up
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple APILearn More
webketje1213224dI know that some people use it as file storage ( hence why there are file & repo size limits), but what else?
HitWRight1411224dIt's a great collaboration tool for documentation. Github pages
eo28753380224dYeah my partner is using it for a research project as a collaborative file storage. They seem to use a bit of branches here and there
lbfalvy8676224dToday I got a PDF copy of the D&D fifth edition Monster Manual from github.
C0D467116224dYou can apply version control to pretty much anything though, it's great seeing designers use GitHub instead of having:
LotsOfCaffeine3430224dGit is great at managing anything that is saved as text files
I wrote my thesis in LaTeX and had all the files in a repo
87percentrum176224dLAW! It should be used for legislation, writing bills etc
eo28753380223d@87percentrum actually, I've been thinking about a law programming language to avoid all of the ambiguities of laws, and make explicit the ones that are intentionally ambiguous. Ideally, you'd input some parameters for your case and the program would tell you "you have to prove that you did not appear to be a threat, so the cops shot you without provocation and it's their fault".
Then I think about how this would shift the balance of power too much since it'd be harder for politicians to twist meanings, so they'd never approve its use 😝
AlmondSauce14977223dDocumentation and papers are my two non-programming use cases. That's the main reason I use Latex - it's a non binary format that actually looks decent.
RememberMe16313223d@eo2875 it's really really difficult to capture all relevant information in a formal system because there's a degree of abstraction involved, even if you're using a really advanced system like Twelf or Coq which implement pretty powerful dependent types. If it was possible to do quite that easily it would've been done already. The real world is (almost necessarily) messy. There's research into this though, and for subsets it's definitely possible to do.
It'd also require rewriting the law, which is a difficult exercise even if everyone was willing.
I'd say these are bigger barriers than lawyers and politicians not wanting to change the status quo.
justpat13223dI'm a tech book writer and editor. All my books (and my authors' books) are on GitHub, written in MD, in various stages of editing.