- 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.
Latest coverage
- 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…
- Community aggregator
- Country: United States
Turn Your GitHub Contributions Into a City With Java and Quarkus
Turn your contribution calendar into an SVG skyline, add it to your profile, and add a DEV landmark with a small Java customization. GitHub's contribution calendar gives you a familiar picture of your activity over the year. Each day has a square, and its color changes with the contribution level.…
- Community aggregator
- Country: United States
When GitHub Is Blocked but You Still Need to Push
Corporate firewalls are rarely all-or-nothing. They are usually the result of a proxy policy, a TLS inspection rule, or a category filter that someone applied years ago and forgot about. That is why you can end up in a situation where github.com:443 is silently dropped, while api.github.com and…
- Community aggregator
- Country: United States
I IPO'd my GitHub profile. You can buy shares in me.
My GitHub profile is a stock now. It's called $VJK , it trades in rupees during Indian market hours, and anyone with a GitHub account can buy or sell it. My commits decide what it's worth. vineetjk (Vineet J Karni) · GitHub Best things need time! . vineetjk has 80 repositories available. Follow…