- 博客(20)
- 资源 (2)
- 收藏
- 关注
RSS订阅原创 windows和wsl设置代理
wsl查看host ip用脚本试试查看具体当下宿主机和wsl自身不同的两个ip或者分配固定ip或者cmd用ipconfig看或者localhost(127.0.0.1)，然后区分socks5还是http协议，然后查看代理port即可。CFS为例的话，export http_proxy="http://172.29.112.1:7890"export https_proxy="http://172.29.112.1:7890"git config --global http.proxy 'http:
2022-03-01 23:36:40
2759
原创 mark点Z3学习资料整理
mark点Z3资料文章目录Anything is NothingLess is MoreSMTz3 classeslogic programming Reasoning符号推理策略strategiesFixed-point关系代数datalog程序分析验证Anything is Nothing前几个月科研用到z3-solver，学习了下，主要注释写在源码上进行学习和试验，现在记下相关的学习资源方便自己日后查用。github仓库相关官方资料论文资料汇总：（大部分都不需要着急看,进阶按需查找才需要）
2021-08-01 15:56:38
472
原创 SonarLint黄线警告python:S125
这里写自定义目录标题SonarLint黄线警告python:S125SonarLint黄线警告python:S125刚安装了SonarLint到我的vscode上，发现有黄线警告说我的代码风格不好。黄线的原因是：程序员不应该注释掉代码，因为它使程序膨胀，降低了可读性。 应删除未使用的代码，如果需要，可以从源代码管理历史记录中检索。挺麻烦的，要么选择忽略这个下次不提醒，disable这个插件也行。因为代码需要随时修改，我决定放着不管。...
2021-02-16 18:54:44
679
原创 vscode的conda环境切换和快捷键终端切换文件所在路径
最近miniconda太多环境，vs code编辑切换太麻烦，于是整个快捷键。比如我这是gym的环境，根据cmd+shift+p输入terminalHere.create terminal可以正在打开的文件所在位置。只要给这条命令设置快捷键就行，通过cmd+shift+p，搜索keyboard看下快捷键设置，我写为ctrl+alt+e。...
2020-12-25 21:21:14
3273
原创 Manjaro-KDE自定义应用列表
目录Manjaro-KDE自定义应用列表新软件-Isabelle为例已有的执行文件脚本类想放在程序目录Manjaro-KDE自定义应用列表使用 Maanjaro-KDe 自定义应用列表，说下起因，是因为今天我需要设置新软件-Isabelle为例Isabelle20201** ,是一个压缩包，解压运行，实际上我解压到/home/tridu33/document/Isabelle2020/Isabelle2020直接输入就能运行。具体设置看步骤：已有的执行文件脚本类想放在程序目录这里用
2020-07-07 21:47:23
986
原创 Haskell大世界+思考
文章目录基石般灵活表现自由的抽象范式编程语言是什么？推荐论文大佬建议MetaHaskell 实现类型系统语言抽象/模式问题解决方案Haskell在工业界有哪些实际的应用？关于fp的一些思考递归是循环的超集。同样是a higher level of abstraction轮子封装。世界运作的规律的更加高明的现实建模的抽象万花筒，就是编程语言百态的根本原因Haskell，你就是话题之王？令人敬畏的Ha...
2019-09-02 10:43:43
8903
原创 哲学家晚餐问题的Haskell求解
最近上课讲到，哲学家晚餐死锁避免，然后发现张凇这里的代码是空白，0Bite,以为是我自己的下载错了，点开第一版源代码，发现：也是空白，然后第二版的代码好像也没找了，然后找到了神网站http://rosettacode.org/wiki/Rosetta_Code哲学家晚餐问题全家桶 import Control.Monadimport Control.Concurrentimport C...
2019-05-27 15:00:57
457
原创 组成原理---补码加减法,原码一两位乘法，补码一两位乘法，754标准
翻转课堂，学生讲课，笔记顺便贴上来吧。万一有人需要呢。源文件Excel下载链接，想着如果有闲功夫利用Excel函数DEC2BIN（）等函数实现自动化计算机组成原理相关计算Kit也不错。...
2019-05-25 18:40:09
3349
5
原创 dijkstra+Floyd图论算法的校内应急路线规划Matlab+Haskell打开方式
我的校区的图形分布，和某校区的路线，根据不同地区的学生活动区域，就近分组，对地图进行适当的简化，分组情况如下：1，2，3公寓；4+11公寓；3餐厅+9公寓；4餐厅+8公寓；13公寓；5餐+7公寓+保卫办+快递站+交通楼；5，6公寓+1餐；大虾；图书馆；二教；致远超市；一教；三教前路口；逸夫楼+管理学院；路口1；路口2；体育馆；篮球场入口；体育入口；东门；西门；南门；北门；能源动力大楼+工训中心+...
2019-05-12 12:47:49
893
原创 Johnson算法PlantSimulation解决两机器多作业排版问题
《生产系统仿真应用教程PlantSimulation》周金平Johnson算法代码写错了的源代码：is i,j,m,n,y : integer;do y := Jobs.ydim; m := 1; n := y; for i:=1 to y loop if Jobs[7,i]<=Jobs[8,i] then -- ÄÉÈëP×é Jobs[6,i] := m; ...
2019-04-19 22:07:02
1787
5
原创 推荐一个CSLab------英真时代（非广告，真心的）
https://www.codecode.net/engintime强烈推荐，我要被折服了！
2019-04-07 16:14:39
1385
3
转载 推荐一个完美的计算机科学的视频集
https://github.com/1c7/crash-course-computer-science-chinese震撼，看完之后千言万语，欲言又止，结果张嘴什么都不想说，要被这个视频集支配了，墙裂推荐。
2019-03-31 13:10:45
353
原创 利用Chrome翻译搞定大部分英文文件翻译的工作流
利用Chrome翻译搞定大部分英文文件翻译的工作流搞定大部分英文文件翻译的工作流分享pdfWord，epub,md等常用文件chmtxt，html等常用能用Chrome直接打开的文件搞定大部分英文文件翻译的工作流分享你好！ 这是我使用 英文文件所用的一些翻译技巧，希望你帮你搞定所有英文文件翻译。pdf搜索关键词：ABBBY FinReader(一款好用到哭的软件)转换称为Word，下一步见...
2019-03-25 18:20:21
2163
原创 “后序遍历二叉运算树进行Lambda演算的化简”带来的联系
今天闲来无事，想到一个自以为绝妙的想法，那就是用后序遍历二叉树Lambda演算的化简。数据结构与算法中，我们想写个计算器就必须遇到一个问题，表达式求值！其实表达式很多就是我们所谓的现实生活中的问题解法的一种抽象------“函数”的写法。看到邓俊辉老师数据结构说的用栈求解运算表达式的时候，提到一个“push代表左括号，POP代表右括号”的想法，其实也相当于写出了“逆波兰表达式”,然后求值。根据...
2019-02-07 19:40:10
328
原创 一个很好的电磁学科普视频里融入自我的意识流“翻译”
（[分享一个搬运的很好的电磁学科普的视频英文版]https://www.bilibili.com/video/av42067918/）【中译】上述视频—我的意识流中译版本视频字幕稿和我的一些笔记摘录和思考电场无旋只在静电场情况下成立 涡旋电场，感生电场是有旋场https://blog.csdn.net/sinat_34546420/article/details/78234268说...
2019-01-30 21:45:57
673
原创 一个知乎提问引发的(思考）[https://www.zhihu.com/question/263431508/answer/574084280]
表示很喜欢这个问题，深有同感！这个问题也让我这种杂家谈谈想法吧，看题主应该是骨骼精奇的奇才，我假想读者是“小学生”，所以，觉得我啰嗦的大大，忍忍吧，欢迎讨论。先说回答，再说废话。我深以为然，觉得题主真是个人才。我的观点，觉得他们是一样的，原因是，函数，矩阵等等数学语言都是不同大牛采用不同数学建模方式描述真实系统里面可观测量之间的变换规律的不同“数学方言”，他们肯定可以互相“翻译转化”-----...
2019-01-15 08:37:00
4167
1
原创 找出你的windows子系统(WSL)的安装位置
使用前提：安装了Everything,神器！0学习成本，墙裂建议你安装。当然，你如果用windows10自带的文件搜索功能我也不反对.
2018-10-04 16:33:08
63574
12
原创 Matlab意识流速成班
Matlab意识流速成班假装有目录：。。。。。。好吧，太短了，懒得添加目录了。0.好吧，本来不想说的，Matlab安装问题顾左右而言他。知乎为什么整小程序，值乎，想法等等功能？微信为什么越来越封闭，站内搜索公众号之类的?百度（虽然我已经很久不用而且逢人就劝说改用bing，当然google能用也是极好的，but sadly，估计还是很多人用的百度）家为什么总是百度优先跳转百度家的网页...
2018-09-22 22:24:16
206
matlab版大学物理
2018-02-12
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人