感谢补充信息。我主要是只见过他在微博上用 Emacs 来写 latex。再加上他经常提到 lispworks 的使用体验。同时没见过他有介绍自己形式化证明的开发环境。
哈哈,感谢,你说的已经mark!虽然已经过了需要写公式排版的时候,一般markdown排版足够用了。
这几年沉迷平铺和vim,对键盘工具比较有兴趣,emacs之前啃了一段时间入坑教程,不用就忘了 ![]()
不存在坚守,因为是最近两年才上手的,目前用的正欢,还找不到要放弃的理由
08年开始用,当时选择Emacs的原因是LInux下gdb没有好用的图形界面,正好Emacs带的gud满足需求,就学着用起来了。后面又做Python/Golang开发时,已经离不开Emacs了,到现在,仍然不习惯vs code等现代编辑器的操作习惯。
是的,我那硕士时,能当堂latex记数学笔记也就只有Emacs做得到。当时也有个vim插件fork的auctex,bug多到不能用(我当时本来先入坑的vim),现在(n)vim已经有很好fork的auctex、cdlatex了,效率也没问题了。
至于vscode早期的latex插件,当时效率功能也只是个初步。其实latex更多的是针对性编辑特性提升,感觉并不是人家vscode主流所关心的(它还是更关心开发功能支持,细碎的编辑高效性并不是主要点),当然后面要是有位vscode大佬搞个更完备的latex插件也完全有可能。注:我试vscode的tex插件还是早些年,不排除现在有牛b插件了。
我觉得可扩展性编辑器最大的特点就是取长补短,有好的编辑特性,其实大家很快就学过来了,包括现在大家探索在编辑器上好用的AI辅助特性。这点很好,相互学习提高,其实没什么是某个编辑器独有的,有好特性就fork一个嘛
分享个更牛b的vim大佬,他工作流不止能当堂记数学笔记,居然能当堂连画图也搞定,将vim与inkscape连动,实在geek 
22年飘过
vscode 现在应该还不能 inline preview latex 公式吧。应该是是 vscode 的文本编辑界面不支持插入别的控件元素,所以一直难产。目前 latex 只支持在另外一个新窗口的实时预览,这个效果就差点意思了。
至于 emacs,这个是一直早就支持的功能了,不只是 latex, org / markdown 的数学公式也支持 inline 预览。
有趣的是现在 neovim 也支持了,这个得归功于 kitty 一直以来坚定的推广终端显示协议的不懈努力。现在 neovim 也已经可以支持 inline preview 公式了,某种意义上有1维生物升级成2维生物,打破次元壁的感觉,十分有意思。
没用过 neovim, 光看描述的话这已经不能算普通终端了吧. 似乎是那种 GUI 下的终端才能实现的协议. 既然这样为啥不直接用 GUI?
可以用本地终端连接 ssh 啊。X11 转发使用体验太差了,而且巨卡。ssh 对网络的要求低多了。而且 server 也不一定有装 X11 那一大堆库。
而且 neovim 本身就是一个终端的 app,根本就没有 GUI。(所有的 neovim GUI 和 TUI 本质上没有区别、因为 neovim/vim 基本没有对 GUI 控件元素的支持)
妙啊,inkscape矢量图转latex,latex fragment还能塞回inkscape,我想只要稍微拓展一下org 就可以做到。
是挺妙的,因为inkscape天然有设计这些接口和快捷键的自由度;而且inkscape是python扩展的,某些想法如果直接实现不了,可写插件实现。
PS:我并没有当堂实时画图的需求,这个记笔记强度太高,下来复习再整理其实也不错
有一个很老的项目inkmacs,思路是通过dbus代理与inkscape通信。可惜现在不能正常工作。
直接在后台挂一个inkscape,用python脚本给它传参数好像也够用了。只是画图的话我会考虑用一些更现代的工具。不过,利用Emacs产生的latex fragment嵌入latex图片这个功能我觉得很有意思,因为很少有编辑器提供Emacs这么强大的latex编辑能力。
「why emacs」这个话题,似乎每隔一段时间就会被讨论一次,大概这是相对小众的工具难以摆脱的宿命——很难想象 vscode、photoshop 社区会讨论类似话题
六年前我在另一个帖子下的[[开放性议题:各位Emacs党为什么没跳出神之编辑器这个坑 - #56,来自 wenno][回复]],现在看起来也还大体适用
变化主要有三个:
-
第一,以前我写的是“只针对把编程当作长久事业的人”,但现在我觉得对于不编程的人而言,emacs 也是非常值得推荐的,因为我觉得长期的写作对于大部分人都是有益的,而 emacs 能极大地提高编辑效率 → 我现在不用工作,编程变成了偶而为之的事,emacs 的使用比重反而上升了
-
第二,以前我用「心流」来论证全键盘操作的优势,但现在不需要这个略显抽象的概念了,为了尽量少坐,我现在使用电脑时,要么在室内仰卧(投影到天花板)或散步(投影到墙壁 + treadmill),或者在室外散步,在这几种使用场景下,「全键盘操作」都远比「需要不时使用鼠标」方便得多
-
第三,以前我觉得 modal editing 更高效,自己使用原生按键只是因为天性和习惯(类似于五笔 vs 拼音),但我越来越觉得 modal editing 并不明显更高效,特别是在因为 android emacs 而试用了 god-mode、evil、xah-fly-keys 之后,事实上,线上线下我都没有见过编辑效率特别高的 vim/evil 使用者 → 看到楼上 3vau 的[[2025年了,坚守Emacs的人还有多少呢?来举个手吧 - #65,来自 3vau][回复]]颇有同感
愿望:一个更精简的、更快速的、用 common lisp 而非 elisp 的、有完美网页渲染 和 office 套件的 emacs
这个你是在说云文档吧,网页里面的office,这个已经事实上在很多公司流行,但依然有人拒绝这个东西,就只愿意用本地版的office,然后导出pdf分享,我也是不喜欢的,但还得用。 emacs我也不希望那天变得像web office一样
随便一写,并未深思,当时心里想的是 rms 讲了挺久的所见即所得的“字处理”(类似 libreoffice writer / microsoft word)+ 其他常用 office 功能(类似 excel、ppt)
emacs 挺好用的,算不上坚持,大概50%的开发用的 emacs