Hi there 👋🏻️

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

文章列表： KDD 2023 | 用于时空推断的图神经过程 TKDE 2023 | 针对路网移动对象CkNN查询的对象密度感知索引 SIGMOD 2023 | Ghost: 分布式轨迹流高性能在线相似性查询通用框架 SIGMOD 2023 | WISK: 负载感知的空间关键字查询学习索引 SIGMOD 2022 | Photon: 湖仓一体式系统快速查询引擎 ICDE 2022 | 可感知工作负载的路网最短路径距离查询 关于时空实验室 重庆大学时空实验室 (Start Lab) 成立于2021年，是一个非常年轻，非常有活力的实验室，实验室研究内容包括但不限于：大数据、分布式计算、城市计算、数据库系统、时空数据管理与挖掘、数据压缩、流式计算、AI4DB等。实验室打造了开源分布式时空数据库系统START-DB，力求将研究成果融入到数据库系统产品中，以更好地在生产实际中落地。 实验室追求顶天立地的研究成果，为国家解决难题，为社会创造价值！

前段时间由于实验室项目工作需要，用实验室邮箱额外注册了一个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 总结 很多小问题表面上看起来很麻烦，好像无从下手，但是其实只要我们清楚这些工具或者技术背后的运作原理，这些小问题都可以非常轻松的解决。