sysss-blogs

摘要： (* Exercise: mystery operator 1 *) let ( $ ) f x = f x;; (* 使得函数的连续调用具有一部分右结合的特质 square $ 2 + 2 与 square 2 + 2 的运行结果分别是 16 和 6 *) (* Exercise: repeat 阅读全文

摘要： (* Exercise: list expressions *) let list1 = [1; 2; 3; 4; 5];; let list2 = 1 :: 2 :: 3 :: 4 :: 5 :: [];; let list3 = [1] @ [2; 3; 4;] @ [5];; (* Exerc 阅读全文

摘要： 计算机组成与设计课程复习 与 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 阅读全文