- 博客(4)
- 问答 (2)
- 收藏
- 关注
RSS订阅原创 Anaconda卸载过程“删不干净”的一个插曲
今天想搭Python开发环境，听说Anaconda很好用，于是便安装了最新的Anaconda。然而才发现国内的conda源都被禁了，使用体验极差，所以后知后觉想要删掉Anaconda，改用其它管理工具。卸载的时候自作聪明，先把环境变量Path中的Anaconda的路径删了，导致卸载程序一直没有删掉整个文件夹！所以正确的做法就是把环境变量添加回去！（此条博客仅仅记录让我难受了一个晚上的一个插...
2019-06-12 23:58:05
11735
原创 通过《Software Foundation》学习Coq语言的基本用法——1.Basics
Basics摘录总结自《Software Foundation》的Basics一章，旨在交流与学习Coq的基本用法； 强烈建议大家下载源码自己运行一遍用Inductive定义一个Type定义一个类型(type):Inductive day : Type := | monday : day | tuesday : day | wednesday : day | thursda...
2018-12-03 11:44:12
7452
3
原创 Ubuntu18.04上编译AOSP最新版(Android Pie)遇到的问题及解决方法
在使用Ubuntu18.04 编译(build) AOSP时，遇到了以下错误。一开始我选择lunch的是aosp_arm64-eng，即：source build/envsetup.shlunch aosp_arm64-engmake -j16 #取决于机器的cpu核心数量emulator但是运行emulator之后，在输出信息没有error或者failed的情况下，emulator...
2018-11-29 12:53:52
6093
4
空空如也
vs2015控制台cout中文，结果出现乱码，，，
2016-05-12
c++ 用decltype定义的问题
2016-04-15
TA创建的收藏夹 TA关注的收藏夹
TA关注的人