旧硬盘放久了，原来Windows数据分区上似乎有坏区，GParted和Windows设备管理器都读不出来。GParted显示为“LDM Partition”。LDM（Logical Disk M...
自译 PRIMOZIC, D. T. (2001). On Merleau-Ponty. Belmont, Calif, Wadsworth/Thomson Learning. pp. 13...
这里的.dz文件是字典压缩文件。在 Arch Linux 上解压.dz的名称不是dictzip，而是dictd，而且虽然制作.dz压缩文件的命令与其它 linux 一样是dictzip，但是解压...
sudo alsamixer and enable Auto-Mute.
先用yay安装vmd。此前需要自己在UIUC网站下载压缩包放到~/.cache/yay/vmd/下。下载卡了一夜，第二天换了个美国的代理，完成。yay安装gromacs（2021.2），直接ya...
报错： ➜ ~ sudo pacman -Syu ......错误：无法准备事务处理 (无法满足依赖关系):: 安装 lib32-libcanberra (0...
很久没有更新，Sublime Text的密钥又错了。报错：➜ ~ sudo pacman -U sublime-text 错误：sublime-text: 密钥 "F57D4F59BD3D...
主要用加拿大多语言标准键盘「français (Canada)」。附标 ç 和Ç： ] (右大括号) 和 shift+] (右大括号) 闭音符，字母e上方 é和É：...
类与类型自定义类型 用data指定有限的值列表，得到类型构造器 用type组合已有的类型函数与多态 在函数类型声明中用a指代任意类型，从而定义多态的函数。cards.hs 在类型定义中用...
高阶函数 匿名函数：(\param1[.. paramn] -> <function_body>) 映射：map (\param1[.. paramn] -> <...
函数式 只有函数没有对象； 通常来说，给定相同输入，这些函数将返回相同的值； 这些函数通常没有副作用，也就是说，它们不改变程序的状态； 任何变量都只能赋值一次。Haskell 上句结果...
新装的plotly使用iplot方法时报错：KeyError: proxy_username来自proxy_auth = basic_auth(creds["proxy_username"], ...
递归与通常的命令式语言相对，Prolog是声明式的。声明式语言处理集合时更多用递归而非迭代。实现递归的方法是，在一个规则中包含若干子目标，其中一个子目标是该规则本身，这个子目标就成为递归子目标。...
概况语法结构 句末加点| ?- write('Hello,'), nl, write('world').Hello,worldyes| ?- halt.4 种元素（term）： atom ...
Object原型包含了处理消息传递的一切行为。当你把消息发送给对象的时候，对象将完成下列事情： (1) 计算所有参数，这些参数其实就是消息； (2) 获取消息的名称、目标和发送者； (3) 尝试...
如何用Io的槽和消息构造核心行为。控制流循环 loop(<...>) while(i <= stop, <...>, i += step) for(i, st...
基于原型编程（prototype-based programming）或称为原型程序设计、原型编程，是面向对象编程的子系统和一种方式。行为重用（继承）是通过复制已经存在的原型对象实现的。或称...
元编程 用Ruby自定义语法 动态地改变类 既便于解释器，又便于人类阅读理解。BuilderActiveRecord开放类在某个类名上首次调用class会定义一个类；但如果该类...
更新 yay 时报错fatal: 无法访问 'https://aur.archlinux.org/linuxqq.git/'：OpenSSL SSL_connect: SSL_ERROR_SYS...
Gitgit config --global http_proxy socks5://127.0.0.1:1080curlcurl --socks5-hostname 127.0.0.1:108...
更改 Github 邮箱设置后重置了 SSH 密钥。Windows系统WSL中新产生的密钥存储位置是：C:\Users\<username>\AppData\Local\Packag...
函数如果你没有显式指定某个返回值，函数就将返回退出函数前最后处理的表达式的值。数组[] 是 Array 类的方法，[] 和 []= 不过是访问数组的语法糖而已。 % irb>> [1...
今天，是第一天。 Ruby 是一种通用的、解释的编程语言。Ruby 是一种真正的面向对象编程语言。Ruby 是一种类似于 Python 和 Perl 的服务器端脚本语言。Ruby 可以用来编写...
直接使用无法在 jupyter-notebook 中显示图窗，安装插件jupyterlab-plotly后可用。安装[^ 1]conda install nodejsjupyter labext...
从音频制作 lrc 歌词文件https://lrc-maker.github.io/注意把每句之间都空起一行，用来记录句子的结束时间manim 场景LrcScene.py：from manim ...
编译于2019年9月23日，VASP版本5.4.4。根据sobereva给出的CentOS7上的编译过程改写，请参考原帖。安装 Intel 编译器下载的版本是 parallel_studio_x...
以此旧文测试博客功能。fcitx下恢复搜狗输入法提示栏关闭进程重启ps aux | grep sogou-qimpanelkillsogou-qimpanel单行命令kill $(ps aux ...
