- Community aggregator
- Country: United States
YouTube-dl repository restored at GitHub
Comments
Latest coverage
- Country: Germany
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average. But 25 Fields Medal winners warn that mass-producing mathematical truths could destroy fertile…
- Community aggregator
- Country: United States
Open Generative AI GitHub Repo: A Self-Hosting Teardown (2026)
TL;DR: If you search "open generative ai github" in 2026, the repo you land on is Anil-matcha/Open-Generative-AI : an MIT-licensed Next.js and Electron studio for image, video, and lip sync generation, at roughly 29.7k stars and 5.4k forks as of October 6. The UI is open source and self-hostable.…
- Trade press
- Country: United States
OpenAI Dumps 377 New Math Results on GitHub, Publishes Hand-Wringing Blog Post
If you're a professional mathematician, you might not be thrilled.
- Country: Japan
OpenAI、社内AIがリーマン予想の関連難問を証明と主張 論文722本をGitHubで公開
OpenAIは、社内のフロンティアモデルが生み出した数学の成果722本をGitHubで公開した。多くに証明支援系「Lean」による形式証明が付く。数学者らの独立組織AGMAIの提言を参考にしたもので、計算量や推論過程の要約も開示。過去の発表を巡る論争を踏まえ、数学界との対話や理解促進に向けた支援も進める。
- Community aggregator
- Country: United States
I built a game that only grows when you push real GitHub commits. Roast it?
I'm the solo dev behind this, so take my enthusiasm with salt. My problem: I start side projects and quietly drop them around week three. So I built Vigilante, a free game where you connect one repo, and your settlement only grows when you push verified work. No push, no daily supply crate. How it…
- Community aggregator
- Country: United States
GitHub Refuses To Remove Cracked Copies Of My Software Even After A Month
- Community aggregator
- Country: United States
How to Download a GitHub README as PDF (Badges, Tables and Mermaid Included)
Every so often someone asks me for "the docs as a PDF": a client, a reviewer, a manager who wants to read it on a plane. The docs are a GitHub README, and GitHub has no "Download as PDF" button. Printing the page from the browser drags in GitHub's navigation, and most converters quietly break the…
- Community aggregator
- Country: United States
How to make your GitHub README stand out with one URL
Your GitHub README is the first thing people see when they open your project. Most of them look the same: a title, a few badges, some text. Making something better usually means opening a design tool, exporting images, and redoing it every time your stats change. We got tired of that, so we built…
- Community aggregator
- Country: United States
Your GitHub README Isn't a Profile. It's a Storefront. (Here Are the 5 Rules I Used
Description: "I stopped decorating my GitHub profile and started shipping it like a product page. Four apps, four download buttons, zero widgets." I [stopped / spent a weekend] treating my GitHub profile like a résumé and started treating it like a product page . Now a stranger lands on it and can…