In ~/.ssh/config, add:
Host github.com
HostName github.com
IdentityFile ~/.ssh/id_rsa_githubHow to tell git which private key to use?
This article is licensed with Creative Commons Attribution 4.0 International License
Zhenyu Lin
Hello! I'm Zhenyu Lin. I am currently a Research Assistant at SFSU Mobile and Intelligent Computing Lab, where I conduct research on efficient deep learning algorithms for resource-constrained devices. In one of my projects, namely Real-Time Machine Learning for Ultra Low-power Microcontroller, I implemented model compression techniques, achieving over 85% compression and enabling real-time processing on low-power microcontrollers. Additionally, I have also mentored high school students in an NSF-funded summer program, focusing on efficient deep learning algorithms.
Comments