如果要让我列出名为"让我感觉Chisel比verilog/sv好用的特性"的一个列表的话,"最后赋值生效"(Last Assignment Wins)这个赋值原则肯定位列其中。这个玩意非常之好用,但是也会出问题,今天发现自己因此写了一个隐秘的bug,故总结一下。

在 Chisel 的思维模式中,:=其实应该看作是一种"提议连接"(Proposing a connection),而非verilog中

传统的计算机基于晶体管的电流开关(0 和 1)进行逻辑运算。而以 PsiQuantum 为代表的光量子计算机,则利用光子(单个光粒子)的量子叠加、相位延迟与波的干涉实现量子计算。

预备知识

量子态的01

在经典计算机中,"0"和"1"是高低电压。而在 PsiQuantum 的光量子芯片中,使用双轨编码 (Dual-rail Encoding)来表示0和1,其光量子芯片内部就像一个微缩的两路高速公路

基础概念

• TLA+是一种基于集合论和时序逻辑的形式化规范语言
• TLC是一个专门为 TLA+ 设计的模型检测器(Model Checker),通过穷举法遍历系统所有可能的状态,验证这些状态是否符合 TLA+ 写下的规范。

基础语法

• 不等号是/=或#
• 逻辑是TRUE和FALSE
• 元组(Tuples):<<"a",-3,"bc">>
  • 下标访问:<<"a",-3,

总述

Chisel封装了一个非常强大的Queue,同时还建立了一个非常好的抽象模型,了解使用这个玩意可以有助于我们理解很多种类的缓冲。

Queue(io.in, entries = 4, pipe = false, flow = false)

参数介绍如下:

• entries (Int):队列的深度(容量)。
• pipe (Boolean):默认为false,是否允许 valid 信号的组合逻辑穿

序

首先先解释一下什么是NAS,NAS(Network Attached Storage)可以简单理解为就是一个私人自建网盘,当然除了存东西,你还可以干很多事情。

很久以前买了个树莓派3B(Raspberry Pi 3 Model B),当时的树莓派还不是理财产品(乐),还很便宜,但没过多久就吃灰了,最近想起来这个家伙了,正好打算重新开始玩PT,于是就有这次的树莓派NAS大改造(其实也没啥改啥hh

看似简单,但是踩了挺多坑

首先虽然VMware被博通收购之后变成免费软件了,但是博通把它藏得很深(无语了),你需要先注册一个账户,然后根据这个帖子找到下载的地方。你需要下载的是类似VMware-Workstation-Full-17.6.3-24583834.x86_64.bundle这样以bundle后缀名结尾的文件。

下载好之后,运行这个安装软件

chmod +x VMware-Worksta

删除所有nvidia的Python库

pip list | grep nvidia | awk '{print 1ドル}' | xargs pip uninstall -y

输出当前目录下最大的10个文件夹

du -h --max-depth=1 | sort -rh | head -n 10

查找目录大于500M的目录并且输出最后修改时间

du -h --max-depth=4 -t 500M

把CUDA官方源加入到apt中后,每次apt upgrade的时候都会尝试安装最新的cuda工具链(cuda-toolkit,cuda-*,libcu*等等),但是很多项目的CUDA环境还停留在上一个版本,而且也不需要最新的CUDA版本,需要一种方法禁止CUDA相关工具链自动更新。

sudo apt-mark hold通配符匹配一系列cuda包禁止升级的方法不太好用,通配符很难做的很好,不如使用下

给服务器上的Ubuntu系统装了xrdp,然后用Remmina客户端连接gnome桌面,但是发现成功登录后,直接闪退,找了半天原因,最后查询xrdp-sesman的日志:

sudo systemctl status xrdp-sesman.service

部分输出如下:

[WARN ] Window manager (pid 31300, display 10) exited with non

Gerber文件是一种指示光绘机绘制的脚本文件,用于制造PCB电路板,下面介绍Gerber文件的格式,并分析嘉立创的立创EDA(EasyEDA)导出的Gerber文件格式的特征。

文件组成

一般来说,EDA输出的制造文件包含以下内容:

• Routing(丝印层):如果是两层以上板,将分为上、下或中间走线层
• Silkscreen(丝印层):多层板有上、下两层,如果底层没有丝印,则不用出;
• Plane

这是一篇通俗的、直接面向应用的NFC天线设计教程,笔者只是电子业余爱好者,若有纰漏恳请指正。

参数计算

NFC(Near Field Communication),又称近场通信,是一种近距离的RFID技术,要实现NFC功能,不仅需要NFC标签芯片(诸如ST25DV,NT3H2111等等芯片),还需要一个恰好为13.56MHz的感应天线。通常,我们利用PCB上按一定规则放置的环形铜线来实现一个13.

Scheme是一种Lisp方言,在Scheme中可以采用continuation来实现非常强大的程序流控制,而且代码异常简洁优雅,下面介绍并讲解一种有栈协程的实现。

先贴代码(改编自The Scheme Programming Language, 4th Edition p.64):

(define lwp-list '())
(define lwp 
 (lambda (thunk)
 

译者按:这是一篇通俗易懂的Lisp入门小品文,原文刊于《科学美国人》,你可以在这里找到原文的副本,以下为此文的中文翻译(LLM+人工修正)

在80年代中期,当我翻阅室友收藏的一系列《科学美国人》旧刊时,我遇到了道格拉斯·霍夫斯塔特写的这篇介绍Lisp的文章。当时我觉得它非常迷人,并且在这里(稍微非法地)提供给新一代Lisper以启发他们。

为了证明了Lisp的永恒性,如果您安装了以下别名,您仍

标题党了一下www,总之下面整理了一些平时用起来感觉很方便的软件

• 使用ubuntu-drivers安装NVIDIA显卡驱动
• nala代替apt,nala支持镜像测速,更好看的交互界面
• 安装autojump,使用j命令代替cd
• 安装tldr,迅速查看某个命令的常见使用示例
• zsh代替bash,并且装上theme(powerlevel10k),历史命令速查等诸多插件
• 安装fzf(最好通过git源

为了开发Steam VR平台上面的东西,不得不在Windows系统上使用Visual Studio进行开发。Visual Studio上面很多配置都是需要去层层菜单里面找,用鼠标去点UI来配置(除非你还想直接碰xml这种玩意儿),这对于习惯了Linux上使用代码,CLI等等配置环境的我来说,感到非常不适应,踩了很多坑,在此总结一下这种 ~~UI操作构建系统~~ 的要点。

下面具体的菜单操作都是以V