Hacker News with Generative AI: GitHub

Watching AI drive Microsoft employees insane (reddit.com)
Jokes aside, GitHub/Microsoft recently announced the public preview for their GitHub Copilot agent.

Artificial Intelligence, Software, Microsoft, GitHub

1005 points by laiysb 2 days ago | 539 comments

Open Source Maintainers Demand Ability to Block Copilot-Generated Issues and PRs (socket.dev)
Open source maintainers are urging GitHub to let them block Copilot from submitting AI-generated issues and pull requests to their repositories.

Open Source, Artificial Intelligence, GitHub, Software Development, Copyright

14 points by gpi 3 days ago | 0 comments

Allow us to block Copilot-generated issues (and PRs) from our own repositories (github.com/orgs)

GitHub, Software Development, Open Source, AI Tools, Code Review

64 points by pera 3 days ago | 4 comments

Kilo: A text editor in less than 1000 LOC with syntax highlight and search (github.com/antirez)
Kilo is a small text editor in less than 1K lines of code (counted with cloc).

Text Editors, Programming, Open Source, GitHub

221 points by klaussilveira 4 days ago | 78 comments

GitHub Copilot Coding Agent (github.blog)
Backlog getting you down? Drowning in technical debt? Delegate issues to Copilot so you can focus on the creative, complex, and high-impact work that matters most. Copilot coding agent makes this possible.

Software, AI, Programming, Productivity, GitHub

556 points by net01 4 days ago | 356 comments

GitHub Copilot: Meet the new coding agent (github.blog)
We are excited to introduce a new coding agent for GitHub Copilot. Embedded directly into GitHub, the agent starts its work when you assign a GitHub issue to Copilot or prompt it in VS Code. The agent spins up a secure and fully customizable development environment powered by GitHub Actions.

GitHub, Coding, AI, Tools, Software

9 points by meetpateltech 4 days ago | 0 comments

RepoRoulette: Randomly sample repositories from GitHub (github.com/gojiplus)
Spin the wheel and see which GitHub repositories you get!

GitHub, Software, Programming, Tools, Randomness

22 points by deontology 5 days ago | 3 comments

Catalog of Novel Operating Systems (github.com/prathyvsh)
Catalogue of novel operating systems

Operating Systems, Software, GitHub

187 points by prathyvsh 6 days ago | 63 comments

GitHub Models API now available (github.blog)
You can now use the GitHub Models REST API to programmatically explore and run inference with models hosted on GitHub.

GitHub, API, Software, Machine Learning

14 points by msolujic 6 days ago | 1 comments

New open source AI projects on GitHub (github.blog)
Every day, new public and open source repositories appear on GitHub, and navigating the sheer amount of activity can be a challenge for the best of us. Luckily, we’ve done the heavy lifting for you.

Open Source, AI, GitHub, Software

3 points by weinzierl 7 days ago | 0 comments

Prompts for our Grok chat assistant and grok bot on X (github.com/xai-org)
Prompts for our Grok chat assistant and @grok bot on X.

Chatbots, Social Media, Artificial Intelligence, GitHub

39 points by taubek 7 days ago | 23 comments

Catalogue of Novel Operating Systems (github.com/prathyvsh)
Catalogue of novel operating systems

Operating Systems, Software, GitHub

3 points by lioeters 8 days ago | 0 comments

Show HN: Real-Time Gaussian Splatting (github.com/axbycc)
LiveSplat is an algorithm for realtime Gaussian splatting using RGBD camera streams.

Real-Time Rendering, Computer Vision, 3D Graphics, Algorithm, GitHub

144 points by markisus 8 days ago | 53 comments

GitHub AI protection denies access to users without account (infosec.exchange)

GitHub, Security, AI, Access Control

5 points by rapnie 9 days ago | 0 comments

Updated rate limits for unauthenticated requests (github.blog)
To provide a secure and dependable experience on GitHub, we’re rolling out updates to rate limits for requests made without authentication.

GitHub, Security, API, Rate Limits

13 points by nolist_policy 9 days ago | 1 comments

You can no longer browse open source code on GitHub without logging in first (github.com/orgs)
"I'm experiencing an issue when trying to access files from a GitHub repository without logging in. After 3 attempts, I receive an Error 429 (Too Many Requests) and the page fails to load. I've tried accessing different repositories and files, but the issue persists."

Software, Open Source, GitHub, Security, Access Control

57 points by confusing3478 9 days ago | 10 comments

Mozilla Firefox – Official GitHub repo (github.com/mozilla-firefox)
The official repository of Mozilla's Firefox web browser.

Web Browsers, Open Source, Software, Mozilla, GitHub

854 points by thefilmore 10 days ago | 465 comments

Show HN: The missing inbox for GitHub pull requests (github.com/pvcnt)
Mergeable is a better inbox for GitHub pull requests.

GitHub, Software, Productivity, Tools

26 points by pvcnt 11 days ago | 7 comments

Show HN: CLI that spots fake GitHub stars, risky dependencies and licence traps (github.com/m-ahmed-elbeskeri)
CLI tool to detect fake-star campaigns, dependency hijacks, licence red flags, and other signals of open-source risk.

Security, Open Source, GitHub, Tools, CLI

122 points by artski 11 days ago | 72 comments

Ask HN: Did GitHub UI become unbearably slow? (ycombinator.com)
I remember being able to review even large PRs (70-100 files changed) from the web UI fairly easily, but now every time I click a button, the page becomes unresponsive for many seconds.

GitHub, User Experience, Web Development, Software

14 points by zaphodias 11 days ago | 10 comments

Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical (youtube.com)

Mathematics, Proof Assistance, Programming, AI, GitHub

6 points by admingirl 11 days ago | 0 comments

Using Git-upload-pack for a simpler CI integration (screenshotbot.io)
One of the early decisions we made in Screenshotbot was to not have read-access to your GitHub repositories.

Software Development, CI/CD, Git, Security, GitHub

20 points by tdrhq 14 days ago | 8 comments

Updated rate limits for unauthenticated requests (github.blog)
To provide a secure and dependable experience on GitHub, we’re rolling out updates to rate limits for requests made without authentication.

GitHub, Rate Limiting, Security

108 points by xena 14 days ago | 176 comments

Anchor links copied from project READMEs now add a query parameter (github.com/orgs)
Anchor links copied from project READMEs now add a `?tab=readme-ov-file` query parameter, making them harder to read

GitHub, Software, Readme Files, Web Development, User Experience

7 points by mooreds 14 days ago | 0 comments

Enforcement of Copilot premium request limits moved to June 4, 2025 (github.blog)
We’re delaying the enforcement of Copilot premium request limits to June 4th, 2025.

GitHub, Software, AI, Programming, Delays

5 points by kjhughes 15 days ago | 0 comments

OpenAI Launches GitHub "Connector" for ChatGPT Deep Research (neowin.net)
OpenAI has introduced a new feature for its ChatGPT deep research tool: a connector that allows it to access and analyze content directly from a user's GitHub repositories.

OpenAI, ChatGPT, GitHub, Software

5 points by bundie 15 days ago | 0 comments

LurkHub – Store your bookmarks, articles, feeds and posts in GitHub (lurkhub.com)

Bookmarks, Social Media, GitHub, Content Management, Web Development

10 points by leslielurker 15 days ago | 4 comments

Building a more accessible GitHub CLI (github.blog)
At GitHub, we’re committed to making our tools truly accessible for every developer, regardless of ability or toolset.

Accessibility, GitHub, CLI, Open Source

14 points by four_fifths 18 days ago | 0 comments

Make music from GitHub contribution graphs (ayitey.me)
Generate Graph

Music, GitHub, Data Visualization

14 points by yawboakye 20 days ago | 1 comments

GitDroid: A third party Android app manager for apps uploaded to GitHub releases (github.com/TechnicJelle)
An app store for apps uploaded to GitHub releases

Android, GitHub, Software, App Management, Open Source

131 points by amadeuspagel 21 days ago | 67 comments