-
4 votes
-
Postmortem for Lean kernel soundness bug #14576
12 votes -
No WebGL, no AI, no bytes to spare. My new game is a 3D 90s fever dream in 1024 bytes!
59 votes -
A theory of prompt injection (and why you should study roles)
27 votes -
Any fellow software engineers using paid GitHub copilot?
Much to my chagrin, the company I work for has done a lot in terms of steering/ pushing all software development be done through AI for some time now. And what gives me much grin, GitHub changed...
Much to my chagrin, the company I work for has done a lot in terms of steering/ pushing all software development be done through AI for some time now.
And what gives me much grin, GitHub changed their pricing structure for copilot. I'll skip the details the key fact is what used to be about $30/month per person + maybe few bucks in overages is now resulting in us hitting our usage cap on the 2nd day of the month. Overage costs this month will be hundreds of dollars per developer. I know this is an unexpected expense as I mentioned it casually to our CTO who had no idea.
I'm curious if this is going to force them to rethink the AI strategy. The incessant pushing to use more and more AI maybe will finally bite them on the ass so much they have to ask us to stop or pull back? Or maybe they'll just plunder our salaries, who knows.
I'm curious if anyone else is in the same situation.
23 votes -
What is still to be done to merge... the dragons?
12 votes -
Porting Mac OS X to the Nintendo Wii
26 votes -
microgpt - GPT in 200 lines
32 votes -
Par is a concurrent language with linear types
11 votes -
RP3A0 reverse engineering
4 votes -
Breaking out of VRChat using a Unity bug (2024)
10 votes -
Optimizing Brainfuck interpreter in the C preprocessor
4 votes -
RMK (Rust keyboard firmware)
19 votes -
T1: a RISC-V Vector processor implementation
8 votes -
Unique 0-click deanonymization attack targeting Signal, Discord and hundreds of platform
50 votes -
Comparing OSS Photo Organizers (Google Photos alternatives)
17 votes -
wordfreq will no longer be updated partly due to AI polluting the data
74 votes -
Get roasted based on your Github username and public contributions
20 votes -
Preventing the worst supply chain attack you can imagine in the Python ecosystem
28 votes -
This GitHub profile has a custom background
31 votes -
Moving beyond type systems
6 votes -
GitHub Issues Patch for Critical Exploit in Enterprise Server
8 votes -
polyfill-glibc: Patch Linux executables for compatibility with older glibc
10 votes -
So you think you know Git - FOSDEM 2024
8 votes -
What are people's thoughts on "secureblue", "bazzite" and other ublue images?
7 votes -
GitHub Actions feels bad
13 votes -
On GitHub Copilot
23 votes -
Fooocus - The most user-friendly local image-gen interface to date
42 votes -
mv src/ vs mv src: merging subfolders with mv, cp, rsync, and rclone
18 votes -
Insomnia 8 forces users to login and use cloud storage
29 votes -
GitHub slated to mandate 2FA
48 votes -
github-less-social: Filter list to make GitHub less like a social media platform
16 votes -
Textual Paint a TUI image editor inspired by MS Paint
5 votes -
komorebi - A tiling window manager for Windows 10+
25 votes -
SoftGPU: Software and hardware accelerated driver for Windows 9x Virtual Machines
5 votes -
Has anyone here actually had success with launching that reddit-master archive clone?
8 votes -
How to go about mirroring a repo to separate real identity from online identity?
I struggled to word this question. Let's say that I wish to work on a project to benefit Tildes (I don't currently have an idea, but just for example). Anything I did, I would like to keep...
I struggled to word this question.
Let's say that I wish to work on a project to benefit Tildes (I don't currently have an idea, but just for example). Anything I did, I would like to keep opensource and would encourage other users to contribute. But I would like to keep everything linked to my pseudonym as not to dox myself.
However, I would like to have a copy of everything on my personal GitHub as well, because I am a professional programmer and that is effectively my CV.
Is there a good way to mirror a repo in a way that any git history contributed by me, "John Smith", is changed to "bugsmith" on the mirrored repo? (or vice versa).
6 votes -
bkt - Memoizing calls in shell scripts
2 votes -
Build Your Own: React, ProseMirror, and Redux
12 votes -
An experiment to test GitHub Copilot's legality
11 votes -
Letter from Codeberg: We are now an employer! (Codeberg is a democratic open source github alternative)
7 votes -
GitHub will require two-factor authentication (2FA) for all users who contribute code by the end of 2023
14 votes -
Why I think "Sponsor Only" repositories introduced by Github is a terrible idea
9 votes -
GitHub availability report: November 2021
5 votes -
100% CPU: my fault?
9 votes -
FSF-funded call for white papers on philosophical and legal questions around Copilot
7 votes -
GitHub Copilot - Your AI pair programmer
20 votes -
Enhancing Photorealism Enhancement
11 votes -
Finding and fixing a rare race-condition in GitHub's session handling
6 votes -
How we built the GitHub globe
3 votes