-
2024-11-09 #lan
译者按:这是一篇通俗易懂的Lisp入门小品文,原文刊于《科学美国人》,你可以在这里找到原文的副本,以下为此文的中文翻译(LLM+人工细修)
在80年代中期,当我翻阅室友收藏的一系列《科学美国人》旧刊时,我遇到了道格拉斯·霍夫斯塔特写的这篇介绍Lisp的文章。当时我觉得它非常迷人,并且在这里(稍微非法地)提供给新一代Lisper以启发他们。
为了证明了Lisp的永恒性,如果您安装了以下别名,您仍
-
2024-07-22 #tools
在批量改Verilog信号名的时候很管用
方法一:多行编辑
按住
shift+alt
,然后再用鼠标选择另外一行,即可在每一行相同列位置出现光标,同时编辑多行方法二:正则表达式
比如我要替换下面的文本
.o_arburst (mst0_arburst), .o_arlock (mst0_arlock), .o_arcache (mst0_arcache
-
2024-06-04 #lan
理论
- 并行和串行:是否有执行次序
- 一个内核启动一个网格,一个网格由多个线程块组成,同一线程块内包含多个线程,同一网格中共享相同的全局内存空间,同一线程块内的线程可以通过同步和共享内存实现协作,不同线程块内的线程不能协作。
- CPU是MIMD,而GPU是SIMT
- SM(流多处理器)相当于一个CPU核,但每次同时计算多个任务
- 任务执行:锁步思想
lock-step
,一个SM中的N个SP核,每个SP输入
-
2024-05-09 #linux
标题党了一下www,总之下面整理了一些平时用起来感觉很方便的软件
- 使用ubuntu-drivers安装NVIDIA显卡驱动
- nala代替apt,nala支持镜像测速,更好看的交互界面
- 安装autojump,使用
j
命令代替cd
- 安装tldr,迅速查看某个命令的常见使用示例
- zsh代替bash,并且装上theme(powerlevel10k),历史命令速查等诸多插件
- 安装fzf(最好通过git源
-
2024-05-08 #lan
做rCore时的随手备忘 施工中🚧
Rust
所有权
- 堆上的变量才需要考虑所有权,因为栈上的变量直接深拷贝了。
- 可变引用
&mut
同时只能存在一个 - 可变引用与不可变引用不能同时存在
fn main() { let mut s = String::from("hello world"); let word = first_word(&s);
-
2024-02-16 #lan
为了开发Steam VR平台上面的东西,不得不在Windows系统上使用Visual Studio进行开发。Visual Studio上面很多配置都是需要去层层菜单里面找,用鼠标去点UI来配置(除非你还想直接碰xml这种玩意儿),这对于习惯了Linux上使用代码,CLI等等配置环境的我来说,感到非常不适应,踩了很多坑,在此总结一下这种 ~~UI操作构建系统~~ 的要点。
下面具体的菜单操作都是以
V