敢问你是哪个学校的呀 我也做形式化验证的工作
写:
-
LaTeX (没什么好说的,AucTeX + Yasnippet + 辅助性bash代码,不要太爽;天天用吧)
-
Matlab (只写代码,一边开着matlab运行和debug;当然HPC另说,我一般本地调好,写好bash,passive mode直接跑了)
-
R (ESS + 别的编辑助件,高效)
-
Python (科学计算,如机器学习,不会大到非得大型IDE,高效编辑是重点,补全什么的需求不大,如常用的scipy、pytorch,基本都记住了,没记住的光要个补全也没用,得读文档甚至查书理解数学先)
-
Magit (没什么说的)
另外:
-
Orgmode (记记笔记、会议、思路什么的; 以前也用的复杂,现在返朴)
-
偶尔 Bash (批处理一些数据或文件,懒) 和 Markdown (readme和blog
常用就这些了吧,Emacs + Ivy/Helm 打开文件太方便了,所以一般工作从Emacs开始。
有 dvisvgm 么?试试先 sudo tlmgr install dvisvgm
?
嗯 已经安装 并且能在文件目录下生成正确的svg 但是就是显示不出😂
奇怪,svg 都生成了还显示不出来,那不太清楚了
没有显示svg需要的动态连接库? 找个正常的svg用emacs打开试试?
有没有办法让 latex src block 生成图片和 latex fragment 预览生成图片的方式不同,方便分别设置?因为可能会使用 latex src block 来生成一些较复杂的图片(费曼图什么的)。
目前 latex fragment 和 latex src block (除了输出文件是 tikz,svg,html,pdf) 都是用的 org-preview-latex-default-process。
svg 在 latex 中不常用;pdf 图片不能 inline 显示。
的确,无法显示正常的svg。和这个问题描述的一致 Org Latex Preview: Generates SVG But Doesn’t Display 但是解决办法是装别的版本的Emacs或自己重新编译? 是否有其他的解决方法?
算了 还是老老实实装 Emacs Mac Port 了😂
弱弱的问一下,下面这句配置放到spacemacs配置文件的哪个部分能起作用?谢谢了
1.用来写latex
2.用来写python
3.用来记点笔记和备忘
4.用来练习打字