归档
- 05 / 04
- 05 / 04 低延迟字符串驻留（interning）
- 05 / 04 基于文件内容隐式去重而不是显式约定存放规则的系统包管理器
- 04 / 04
- 03 / 04
- 28 / 03
- 26 / 03 DHT一致性语义
- 25 / 03 支持超大规模（如PB级别）账户状态的拜占庭复制协议
- 25 / 03 基于P2P存储向开发者提供中心化存储的编程抽象
- 25 / 03 基于众包的点对点大批数据传输
- 25 / 03
- 24 / 03
- 23 / 03
- 08 / 03
- 07 / 03 Entropy简史
- 28 / 02
- 27 / 02
- 27 / 02 去中心化存储系统一览
- 25 / 02
- 24 / 02
- 21 / 02
- 13 / 02
- 12 / 02
- 11 / 02
- 10 / 02
- 25 / 01
- 24 / 01
- 23 / 01
- 21 / 01
- 16 / 01
- 15 / 01
- 14 / 01 引用币（Citecoin）和参考文献交易所（Reference Exchange）
- 14 / 01
- 14 / 01 将全连接交流改为与人工智能代理的多对一交流以提升效率
- 14 / 01 对脉冲神经网络做傅里叶变换到频域做训练
- 13 / 01
- 09 / 01
- 01 / 01 新年好
- 27 / 12 度假季 - 终
- 18 / 12 回来看看
- 18 / 12 去中心化是对可变共享状态的去中心化
- 13 / 12 过山车坐得脑浆都摇匀了
- 11 / 12 生成式（图像）分类
- 11 / 12 为GitHub组织命名
- 10 / 12 Submission deadline in 21 hours
- 09 / 12 Agent4IR点子候选
- 07 / 12 点子 / AAAI / 形式化验证
- 06 / 12 未命名检查点
- 03 / 12 浏览器标签页快照
- 02 / 12 计划外调试一则
- 02 / 12 无可奉告
- 29 / 11 Interlude
- 28 / 11 Interlude
- 27 / 11 Maple Mono
- 27 / 11 未命名检查点
- 26 / 11 TLSe样例服务器 / 双份编译Redis
- 25 / 11 简易IO多路复用服务器 / C代码风格配置
- 24 / 11 从前慢
- 23 / 11 卡皮巴拉 / 幂等复制文件夹
- 22 / 11 用户连接
- 21 / 11 分布式系统，不变式，可信偏序
- 21 / 11 统一化配置方案
- 19 / 11 实验室台式机升级
- 18 / 11 卡皮巴拉设计
- 17 / 11 模仿者
- 17 / 11 卡皮巴拉代码结构和接口设计考量
- 17 / 11 无可奉告
- 15 / 11 卡皮巴拉 / R / DSLabs
- 14 / 11 DSLabs / CSC奖学金
- 13 / 11 会议纪要 / 围绕编辑体验设计编程语言 / 向后兼容的内容站构建系统
- 12 / 11 Cover基本介绍
- 12 / 11 借助Rust的异步语法编写适合模型检查的RPC风格分布式协议
- 12 / 11 （大）语言模型中的隐词元
- 10 / 11 重装
- 06 / 11 SOSP'24 - 第三天
- 06 / 11 SOSP'24 - 第二天
- 05 / 11 SOSP'24 - 第一天
- 04 / 11 关于大语言模型的结构化输出
- 04 / 11 SOSP'24 - 第零天
- 30 / 10 连接性可训练的深度学习网络
- 30 / 10 关于大模型的结构化输出
- 30 / 10 卡皮巴拉 / 准备SysDW小发言
- 28 / 10 卡皮巴拉设计思路和难点
- 26 / 10 卡住 / 摸鱼 / 用Python写C
- 17 / 10 模型检查 / 基准测试 / 出行
- 11 / 10 类型系统是实现与规范之间的桥梁
- 06 / 10 开幕致辞