Activity
Stars and mentions · Last 30 days, Oct 6 – Nov 4
Top repositories
Queuingtheorydotcom’s repositories ranked by pull request authors, as on trending.
Contributes to
Repositories outside Queuingtheorydotcom’s account where Queuingtheorydotcom opened or reviewed pull requests in the past 365 days.
Who noticed Queuingtheorydotcom
Everyone who starred or forked Queuingtheorydotcom’s repositories since the archive began in 2011.
Notable accounts
Ordered by the stars their own repositories have received.
Biggest fans
Accounts that starred the most of these repositories.
Breakout weeks
Each repository’s best week of new stars, with the release published around it.
Achievements
Awards earned by the repositories Queuingtheorydotcom owns. Select an award to embed its badge.
No awards yet
Repositories earn awards by reaching the top three in a completed trending day or week.
A repository earns an award for finishing first, second or third in a completed trending day or week, ranked by new stars, new forks or pull request authors. Awards follow a repository through renames and transfers and count toward its current owner. Weeks run Monday to Sunday, UTC.
Mentions
@jatloe Lean repo: Queuingtheorydotcom/Jatloe12SquaresFormalized
AI-assisted proof of optimal packing for 11 squares Queuingtheorydotcom/11SquaresFormalized news.ycombinator.com
AI-assisted proof of optimal packing for 11 squares Queuingtheorydotcom/11SquaresFormalized (news.ycombinator.com)
AI-assisted proof of optimal packing for 11 squares
AI-assisted proof of optimal packing for 11 squares (github.com) Discussion | Main Link
AI-assisted proof of optimal packing for 11 squares Queuingtheorydotcom/11SquaresFormalized (news.ycombinator.com)
إنجاز رياضي بالذكاء الاصطناعي: إثبات أمثل حزم لـ11 مربعًا. هذا مهم لأنه يثبت قدرة الذكاء الاصطناعي على دعم براهين دقيقة قابلة للتحقق. Queuingtheorydotcom/11SquaresFormalized #MachineLearning #MLOps #GenerativeAI t.co
Researchers have published a formalized, AI-assisted proof of the optimal packing for 11 squares in a unit square. Queuingtheorydotcom/11SquaresFormalized
AI-assisted proof of optimal packing for 11 squares Queuingtheorydotcom/11SquaresFormalized (news.ycombinator.com)
AI-assisted proof of optimal packing for 11 squares