http://pipe.b3log.org/blogs/DoctorKey 2019-09-25T15:35:25+08:00 tag:pipe.b3log.org,2019-09-25:/blogs/DoctorKey/articles/2019/09/25/1569396925335

系统路径获得当前路径 os.getcwd()文件操作新建文件 ifnoos.path.exists(file_path):os.makedirs(file_path)软链接 src='/usr/bin/python'dst='/tmp/python'#创建软链接 os.symlink(src,dst)

DoctorKey 2019-09-24T14:00:29+08:00 tag:pipe.b3log.org,2019-09-24:/blogs/DoctorKey/articles/2019/09/24/1569304828698

本文旨在，当系统中存在多个版本的 GCC 时，如何使用指定版本的 GCC。通过 whichgcc 查看当前默认使用的 gcc.$whichgcc 一般结果为/usr/bin/gcc.进入/usr/bin，查看当前系统中安装了哪些 gcc.$llgcc*如图，默认使用的/usr/bin/gcc，实际上链接到/usr/bin/gcc-4.8，即 4.8 版本的 gcc。另外，系统中有 7 版本的 gcc。下面我们将 gcc 的版本切换

DoctorKey 2019-09-24T13:29:28+08:00 tag:pipe.b3log.org,2019-09-24:/blogs/DoctorKey/articles/2019/09/24/1569302968054

化简等式对于简单的等式，可以使用 simpl 将等式进行化简，然后用 reflexivity 即等号的自反性证明。Theoremplus_O_n:foralln:nat,0+n=n.Proof.introsn.simpl.reflexivity.Qed.Coq 系统中可以自动化简，故只使用 reflexivity 也可证明定理。Theoremplus_O_n:foralln:nat,0+n=n.Proof.int

DoctorKey 2019-09-22T10:26:17+08:00 tag:pipe.b3log.org,2019-09-22:/blogs/DoctorKey/articles/2019/09/22/1569119176614

下载及安装下载地址：https://coq.inria.fr/downloadWindows 环境下，安装 coq-8.9.1-installer-windows-x86_64.exe 即可。安装完成后可以打开 CoqIde.一个简单的例子采用《SoftwareFoundation》中的一个例子。输入下方代码 Inductiveday:Type:=|monday|tuesday|wednesday|thurs

DoctorKey 2019-09-22T09:55:25+08:00 tag:pipe.b3log.org,2019-09-22:/blogs/DoctorKey/articles/2019/09/22/1569117325277

压缩：tarjcvffilename.tar.bz2dirname 解压：tarjxvffilename.tar.bz2

DoctorKey 2019-09-21T13:07:37+08:00 tag:pipe.b3log.org,2019-09-21:/blogs/DoctorKey/articles/2019/09/21/1569042456763

RuntimeError:cudaruntimeerror(4):unspecifiedlaunchfailure 在跑一个分割任务时发生如下错误。THCudaCheckFAILfile=/opt/conda/conda-bld/pytorch_1525796793591/work/torch/lib/THC/generic/THCStorage.culine=58error=4:unspecifie

DoctorKey 2019-09-19T12:52:44+08:00 tag:pipe.b3log.org,2019-09-19:/blogs/DoctorKey/articles/2019/09/19/1568868763843

使用技巧功能快捷键注释多行多行选择后按下 ctrl+/取消注释多行多行选择后按下 ctrl+/显示顶部菜单栏隐藏顶部菜单：“view”->“hidemenu”显示顶部菜单：Ctrl+Shifp+p,出现一个框，在框里输入“View:ToggleMenu”解决变卡的问题在设置文件中添加"index_files":false,卸载插件按 Ctrl+Shift+P 来打开控制选项列表输入 remove，选择 Pack

DoctorKey 2019-09-18T20:17:25+08:00 tag:pipe.b3log.org,2019-09-18:/blogs/DoctorKey/articles/2019/09/18/1568809045219

本文主要参考极路由刷个人编译的 openwrt 固件全过程准备极路由 1s（HC5661）电脑网线一些软件（如 Xshell，WinSCP）breedubootOpenWrt 固件其中 breeduboot 在官网下载 https://breed.hackpascal.net/，极 1s 需要下载 breed-mt7620-hiwifi-hc5761.binOpenWrt 固件可从官网上下载，也可下载作者的固件 https:

DoctorKey 2019-09-18T15:40:31+08:00 tag:pipe.b3log.org,2019-09-18:/blogs/DoctorKey/articles/2019/09/18/1568792431022

官方网站分析链接在线解析安装从官网下载安装包解压安装包启动 PanDownload.exe 登录百度账号选择文件下载常见问题如无法登录百度账号，可以下载 Webkit 内核。点击下载 Webkit 内核，然后重新打开程序，登录百度账号。

DoctorKey 2019-09-18T14:50:19+08:00 tag:pipe.b3log.org,2019-09-18:/blogs/DoctorKey/articles/2019/09/18/1568789418583

SAIL-VOSSAIL-VOS(SemanticAmodalInstanceLevelVideoObjectSegmentation)是一个非模态物体分割的数据集。主页下载页面论文@inproceedings{HuCVPR2019,author={Y.-T.HuandH.-S.ChenandK.HuiandJ.-B.HuangandA.~G.Schwing},title={{SAIL-VOS:Se

DoctorKey 2019-09-18T14:16:05+08:00 tag:pipe.b3log.org,2019-09-18:/blogs/DoctorKey/articles/2019/09/18/1568787365264

检测可使用设备 fromtensorflow.python.clientimportdevice_libprint(device_lib.list_local_devices())

DoctorKey 2019-09-18T12:56:59+08:00 tag:pipe.b3log.org,2019-09-18:/blogs/DoctorKey/hello-world

Pipe 博客平台已经初始化完毕，可在管理后台-设置-基础设置中调整更多细节。如果需要导入已有博客文章，请参考文档 Hexo/Jekyll/Markdown 文件导入。另外，出于安全考虑请尽快完成如下操作：使用 GitHub 账号登录社区在社区个人设置-B3 中更新 B3Key 在 Pipe 管理后台-设置-账号中也进行同样的 B3Key 更新最后，如果你觉得 Pipe 很赞，请到项目主页给颗星鼓励一下 ❤️

DoctorKey