Hexo

背景

接触了一个python项目,发现格式化有点奇怪.
因此想使用lsp的功能来格式化,发现微软给python搞的 pyright 还没有太大进展.
许多功能都欠缺

• 格式化代码
• 整理imports

于是在不使用传统 ls-python-ms 的情况下,计划使用其他格式化工具.

背景

用yay安装 aur/python-torchvision-cuda,编译也太费劲了,单核.

解决方案

据说yay使用makepkg来编译内容.
只需要修改 /etc/makepkg.conf 内容.
设置上

背景

工作中需要写大量的sql语句,
但 datagrip 免费版需要注册账户才能使用,比较麻烦,也不再有重复性.
其他的DB工具异常难用,无论是键位设置还是自动补全功能都十分孱弱.
偶然得知emacs中sql拥有了lsp的支持.因此尝试.

配置

lsp的后端是以go书写的.相对来说比node,gem等方面许多.

背景

最近要写一些项目的文档,需要用到UML,
考虑到修改的可分析性,希望能找一个能描述图形的语言,来绘制UML图.

UML

统一建模语言(Unified Modeling Language),
大约在1994-1995年被开发,2005年时被国际标准化组织接纳.

背景

用electron封装网页微信时,出现了下载文件时不容易看到进度的问题.
于是想实现一个模板,然后绑定变量,更新下载进度.
但不想麻烦太多去使用复杂的框架.
因此手动实现.

方案

1. 用Proxy监控变量的变化,并随时调用渲染用的函数
2. 渲染用的函数替换页面上的内容

背景

试用electron时,在renderer层面,手动完成了变量绑定.
而后希望让变量变起来,就准备用rxjs,结果报错了.

方案

在普通的html+js结构下,使用rxjs依然是可能的.
这一点在tampermonkey上已经体现了.