It's a gap between physics and mathematics. Undecidable statements exist mathematically, but don't exist physically: mathematics and physics have different concepts of existence. Ironically, even mathematical universe hypothesis deliberately limits mathematics-as-physics to specifically resemble physics of a spontaneous material world, and this limitation is just an axiom.
I think they have the same interface. Pull requests are renamed to merge requests, that's all the difference I see. Wait for github to reshuffle the ui in a redesign churn.
>3. It puts the effort on the readers to decide whether each paper is valuable, and particularly scientifically valuable, for which most readers will be unequipped.
You say it as if replication crisis doesn't exist and publish or perish is not a thing.
It's network effect. People use ms office not because they need its features, but because they receive ms office documents.
We converted some our docs from docx to markdown. The twist is that markdown supports tables, so it can replace both Word and Excel. Then I guess gitlab renders it. Literally markdown. It's stored in git, supports diffs, version history, collaboration is done with merge requests.
Word is just a bloated wordpad, and that's how people use it - to write text with paragraphs and justifications (recently wordpad supports docx). Excel is just a bloated csv viewer, that's how people use it - to make tables with text in them, notably price lists. My company is an ms shop and uses ms office offline and google docs for collaboration. First time I hear that ms office can into collaboration beyond sharepoint.