May 15th, 2026

今日记录

恭喜高子博的论文“Fuzzing Open-Source GPU Hardware with SIMT Program Generation”被USENIX Security 2026录用。该工作提出首个面向通用图形处理器（GPGPU）寄存器传输级（RTL）微架构的硬件模糊测试器，专注于随机构造控制流和数据流生成单指令多线程（SIMT）测试程序，触发多样化的硬件行为，在RTL仿真中利用差分测试实现漏洞定位。
- 估计是vortex，不太会是承影（bug过多）
- 得学，但也不知道学了干啥用
  - 如果设上倒计时就探索欲减退了
犯蠢了，乱插话尬住了😢🤐
公众科学日讲解，太难了，篇幅差距过大
- 算筹（计数）、算盘（），机械计算器（替代人数数、拨算珠）
- 电子计算机不足百年，早期电子管、晶体管，到集成电路（也就类似今天家用电器的PCB印刷电路板），一步步缩小，从……到如今跨越了xx个量级
- 存储设备也是，早期，到磁带、机械硬盘、光盘，再到固态硬盘乃至玻璃硬盘/DNA存储，容量越来越大体积越来越小，读写越来越快
- 图灵（只要识别纸带上0/1决定前进后退就能……）、冯诺伊曼（5架构）、图灵奖。去年诺奖也发给hopfield神经网络
- 计算机建立在高低电平二进制上，只认识0-1，人很难读懂，就有了汇编。汇编没有循环、没有如果xx的分支，进而有了高级语言，如C/Java/Python
- 接下来是软件世界的基石，操作系统。就像政府，各种软件互不干扰、恶意软件被牢牢拴住。也使得软件只编写一次就能在无数硬件组合上运行。
- 操作系统之上应用软件的基石是数据库。数据怎么保存、怎么存才能井井有条，比如微信聊天记录；不懂算法的人怎么高效分析数据，SQL声明查询；银行支付宝、双十一、12306怎么支撑每秒几亿人下单转账，国产数据库崛起
- 每个人的计算机怎么连接，美国军方，民用。IP地址，网络世界的门牌号，路由器。TCP可靠传输，
- 综合区
  - 信息安全，国家安全、财产安全，个人信息保护。可信实验室。
  - 嵌入式软件，高可靠。工业软件、办公软件，造芯片EDA，造飞机汽车CFD“数字风洞”。
  - 人机交互，VR怎么更容易玩、爷爷奶奶辈怎么更好用
  - 人工智能，识别分类、决策下棋，通用生成
- 中国软件历史
  - 政策、所/大学历史
  - 编码，汉化，乱码
  - 中间的物件。3K内存，300x300照片。打孔纸带。