sysss-blogs

摘要： 计算机组成与设计课程复习 与 CSAPP 中类似的部分做了忽略或者简化 性能的度量 知识回顾 七个伟大思想： 利用抽象简化设计 加速经常性事件 通过并行提高性能 通过流水线提高性能 通过预测提高性能 存储层次 通过冗余提高可靠性 对于某个计算机 X，定义性能和执行时间的关系表达式： \[\text{ 阅读全文

摘要： 《算法设计与分析》期末复习 团集 把 SAT 在多项式时间内归约到团集 对于一个可满足性实例 $ f = C_1 \wedge C_2 \wedge ... \wedge C_m $ 建立一张图 $ G (V, E) $ \[E = \{ (x_i, x_j) | x_i, x_j \text{属于 阅读全文

摘要： 《算法设计与分析》期末复习 正确性证明 正确性证明（理论上）可以分两步：最优子结构和贪心选择（贪心策略）的证明 实际上做递归证明的话，可以同时保证两个正确性，因为最优子结构是基于正确的贪心选择生成的 下面证明一下 dijkstra： 指路 线段覆盖 题面 这个题变种很多啊 考虑右端点最靠左（或者说结 阅读全文

摘要： 《算法设计与分析》期末复习 最优子结构的证明 这篇以 01 背包为例，证明其具有最优子结构性质 指路 导弹拦截 题面 定义状态 \(f(i)\) 为 \(1 ~ i\) 区间内的最大导弹拦截数量 有状态转移 \[f(j) = max \{ f(i) \} + (a[j] <= a[i]) \]直接赤 阅读全文

摘要： Abstract: Copilot 及其他辅助编程的人工智能模型被广泛使用，这篇文章探索了 Copilot 在哪些任务上表现不佳，prompt 在过程中的作用等几个问题。 Introduction: Question 1: Copilot 在 CS1 programming problems 上的表 阅读全文

摘要： Introduction : 一个好的 prompt 可以提高 LLM 的表现；prompt 可以像软件开发一样被工程化；这篇论文的主要贡献在于提出了 prompt patterns 用于 prompt engineering Comparing software patterns with pro 阅读全文

摘要： 引入 序列 List、树 Tree 具有同样的特点：可能任意长短，但是结构简单并有规律 相比于将这几种数据类型区分开，我们选择将它们概括为一种基本形式，即归纳类型 利用变式类型和元组类型，我们尝试再次定义 List 如下： NatList = <nil: Unit, cons: {Nat, NatL 阅读全文

摘要： A function is tail recursive if it calls itself recursively but does not perform any computation after the recursive call returns, and immediately ret 阅读全文

摘要： 基本类型 Base Types 用 A B C 表示基本类型 base types / atomic types 名称，$ A $ 表示基本类型组成的集合 当展示求值的结果时，将省略 λ 抽象体，直接简记为一个 <fun>，比如 λx : B . x > <fun> : B → B 单位类型 Uni 阅读全文

摘要： 函数类型 因为纯粹的 lambda 演算是 turing 完备的，因此只有运行时才能够完全确定类型，比如： if <complex evaluation> then true else (λx.x) 定义函数类型：λx.t: →；为了更加精确，加入参数 T1 T2，得到如下递归定义： 定义：类型 B 阅读全文