[Draft] Sketch Structure

April 15, 2024 · 0 min · 0 words · cc0de

[Draft]OpenMP Series

April 1, 2024 · 0 min · 0 words · cc0de

Pybind11:从Python到C++

背景 最近在做深度学习中张量数据压缩的实验,需要用到我们自己编写的压缩器🗜️。然而,我们自己的压缩器只有Java和C++版本,并没有专为Python适配的版本。如果专为这个场景额外编写一个Python版本的压缩器,成本未免有些高。好在Python是典型的“胶水语言”,天然具备调用其他编程语言所编写的库的优势。所以为了能够低成本地在Python中使用我们自己的压缩器🗜️,需要找到一个“桥梁”,使得Python能够调用我们现有的压缩器二进制包。 Pybind11

March 23, 2024 · 1 min · 3 words · cc0de

Github单机多帐号ssh配置管理方法

前段时间由于实验室项目工作需要,用实验室邮箱额外注册了一个Github帐号。但是个人帐号还得继续用,所以尝试着配置一下系统的ssh工具,希望能够控制项目git使用的ssh key。 分析 首先,两个帐号肯定是不能共用一个ssh key的,否则Github是无法辨别来自电脑的请求的身份的,也就是说,两个账号必须有各自的ssh key。 其次,当本机和Github远程服务器通信时,本机的ssh工具如何确定该使用哪个key?所以我们需要确定一个 规则 来让本机的ssh程序自动选择正确的key。 实践 首先,由于本地已经有一个ssh key了,我们只需要再生成一个即可: ssh-keygen -t rsa -C "Whatever you want to put here." ssh工具会提醒你在何处存放你的新key以及它们的口令,这里按照个人喜好设置就可以了。 然后我们编辑 ~/.ssh/config (如果没有这个文件就创建一个),在其中加入两条规则,对应我们的两个账号:(这里的Host名可以根据自己的需要修改,为了方便可以改为自己容易记忆的词,因为之后我们每次使用git的时候需要指定Host) # Key of mine Host github_personal HostName github.com IdentityFile ~/.ssh/key_personal # Key of lab Host github_lab HostName github.com IdentityFile ~/.ssh/key_lab 这样下次使用git的时候就可以通过指定Host来指定使用哪个key,例如: git clone git@github_personal:ThatcherChen/De.git # 使用自己的key git clone git@github_lab:StartLab/xxx.git # 使用实验室的key 其实这里还可以添加default规则,方便我们平时使用。 # 默认使用我们自己的key Host github.com HostName github.com IdentityFile ~/.ssh/key_personal 总结 很多小问题表面上看起来很麻烦,好像无从下手,但是其实只要我们清楚这些工具或者技术背后的运作原理,这些小问题都可以非常轻松的解决。

November 20, 2022 · 1 min · 68 words · cc0de