What is GitHub?

GitHub is a platform for software development and version control.

• Oct 2025 - Satya Nadella said that what GitHub did in its first 10-15 years was done in the last year because coding is no longer a tool.
• May 2026 - Jake Cooper described GitHub’s original sin as being like a series of broken pointers.
• May 2026 - Daniel Miessler said that for the next year or two, GitHub might be better when creating multiple agents.
• Jun 2026 - Kyle Daigle reported that GitHub now has over 200 million users, and that it is now doing more in a month than it did in a year last year.
• Jun 2026 - Kyle Daigle noted that more projects appear to be moving towards monorepo, reversing an industry trend.
• Jul 2026 - David Dalrymple said that a proof assistant called Colon is on GitHub, very early but starting to be coded, and will be the proof assistant for Safeguarded AI.