• 0 Posts
  • 75 Comments
Joined 1 year ago
cake
Cake day: April 13th, 2024

help-circle
  • The original developer of Git is Linus Torvalds and he wrote it for the use of developing Linux. He handed off the project to Junio Hamano after a short while who still leads it. They use a process where you submit patches by mail, for Linux and for Git itself too.

    To make this easier they have the commands git format-patch, git send-email and git applymbox later changed to git am to apply them. They also added git request-pull to generate a short plaintext email like message to request a pull.

    The Pull Request as a bigger concept of data and discussion that should be kept around came from GitHub and was put over top of Git. The concept has been rebuilt by various competitors separately. But it doesn’t match the Linux and Git development model so they never used GitHub Pull Request, even though there is a GitHub mirror of Linux and a GitHub mirror of Git. For them the discussions happens in the mailing list.

    So it’s very unlikely they would start including the stuff that was added by others over top, that they don’t need.













  • 9 years and 4 months ago I bought an Acer laptop with a 4 core Intel Skylake with hyperthreading (i7-6700HQ) and a Nvidia GTX 960M, because the laptop I had was slow for compiling in my classes at Uni, and I wanted a discrete GPU for the occasional game when away from my Desktop PC (winter break and such (still use it for that btw)). I regretted that three times:

    • First when I wanted to install Linux instead of just using VMs. In early 2016 the kernels on live system ISOs didn’t properly support Skylake yet, so I fucked around with Arch a bunch, but didn’t end up keeping it installed. Don’t remember why, probably got busy with schoolwork.

    • Then a while later, after I had installed Ubuntu or Fedora at some point, the next issue was that cooperative mode of Bluetooth and Wifi on the included Intel wireless chip wasn’t well supported (even found an Intel Bluetooth dev saying as much on a mailing list), and it hung sometimes, so I had to make a script to turn the chip off and then rescan the PCI bus, that worked as a workaround but was still annoying.

    • Finally when we had Machine Learning classes I thought I might be able to use CUDA locally, so I tried installing the proprietary Nvidia driver and was greeted by a black screen on the next boot. Had to boot from a live system and chroot in to remove the proprietary crap again.

    On my Desktop PC I have used AMD GPUs for quite a while and dual booting Windows and Linux has always been a breeze.






  • If you divide an inequality by a negative number you have to flip the sign.

    If you want to divide out the g before knowing if it’s positive or negative you need to make the case distinction.

    If you make the case distinction and one branch results in a false statement (5 < 2 in this case), you have disproven the original inequality, or at least discovered a constraint on the original inequality. Then you arrive back at FooBarrington’s statement that includes the constraint :-)