Signal
Advertise
Signal
Advertise
Sign in
Submit
Discover trends that matter
Trending repositories
Daily
Weekly
Monthly
Yearly
Live mentions
Topics
GitHub trending
Repositories
Developers
Insights
Stats
Log in
GrigoryEvko/gtz — GitHub trending stats & insights | Trendshift
Featured
open-connector
GrigoryEvko/gtz
"Moscow problem" proof for (n,k) matrices
Visit GitHub
Lean
1 contributors
Social mentions
Recent discussions about this repository across the web
>Jarred prompted Claude to try again, and it spent a day and a half coordinating about 60 Claude subagents, which this time went much deeper: between them, they ran 2,400 shell commands and wrote…
@GrigoryEvko · x.com
2k+ maybe, really depending on what it is :) If it turns out to be fairly similar to achieve i would of course be happy with 1.25k you suggested. meh at this point i should just take and honestly…
@GrigoryEvko · x.com
Btw try to prove this for real numbers with any model! tricky geometrical problem in disguise
@GrigoryEvko · x.com
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues
