News New GitHub Copilot Research Finds ‘Downward Pressure on Code Quality’ By David Ramel 01/25/2024 New research on the effect of AI-powered GitHub Copilot on software development cites some adverse results. The “Coding on Copilot” whitepaper from GitClear sought to … Read more
The time-sharing computers of the 1970s meant operators could submit a job and get the results at some point in the future. Under the guise of “serverless”, everything old is new again. AWS Lambda reinvented the idea of submitting work … Read more
GitHub Actions could be so much better Programming, philosophy, pedaling. Sep 22, 2023 Tags: programming, rant, workflow I love GitHub Actions: I’ve been a daily user of it since 2019 for both professional and hobbyist projects, … Read more
{{ message }} This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository. You can’t perform that action at this time.
Subscribe to updates for Incident with Actions, Pages, Pull Requests, Codespaces, API Requests, Issues, Webhooks and Packages via email and/or text message. You’ll receive email notifications when incidents are updated, and text message notifications whenever GitHub creates or resolves an … Read more
{{ message }} This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository. You can’t perform that action at this time.
We are excited to announce that htmx has been accepted into the first class of the GitHub Open Source Accelerator! This is a tremendous opportunity to work with and learn from some of the most successful open source developers and … Read more
The quality of the modern software craftsperson can be calculated using the following formula: Q∝(stars+downloads)slocQ propto frac{(stars + downloads)}{sloc}Q∝sloc(stars+downloads) What this shows is we need to maximise engagement relative to the amount of code written in order to be recognised … Read more
General availability of GitHub’s merge queue means good-bye to traffic jams on your team’s busiest branches. No more rushing to merge your pull requests before someone else merges theirs 🥵. Turn on GitHub’s merge queue today and accelerate your merge … Read more
{{ message }} This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository. You can’t perform that action at this time.