Activity, over time
Daily observations from the public event archive.
Attention
Daily stars & forks
Star accumulation
Cumulative stars
Pull requests
Daily opens & merges
Conversations
Daily issues & comments
Community
Daily accounts & reviews
Releases
Daily releases
Trending history
Daily top 10 · last 90 days · UTC
Mentions
Stars
Forks
Contributors
Latest stargazers
The last 10 distinct accounts we observed this year.
Most active participants
PR, issue, comment & review events in the past year.
Packages
Scan pending.
Live mentions badge
Show how many posts mention your project in the last 30 days.
Live mentions · last 30 days
Mentions
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
AI-assisted proof of optimal packing for 11 squares Queuingtheorydotcom/11SquaresFormalized (news.ycombinator.com)