跳转到内容
Jason's Study

HCI / 软件工程研究 · 论文 · 第 1 组

待复核

返回论文全景索引

本分块共 21 条，稳定上限为 100 条。

论文Slug难度可信状态简介
Beck TDD — 用红绿重构循环让设计自己长出来beck-tddunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
BIG-bench — 204 道题给大模型出考卷bigbench-2022unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
No Silver Bullet — 软件工程里的本质与偶然brooks-no-silver-bullet-1986unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Cognitive Load Theory — 学不会不是不努力，是工作记忆装不下cognitive-load-theoryunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Copilot RCT — AI 编程助手的第一个严格随机对照实验copilot-rctunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Debugging Dichotomy — 程序员真实 debug 行为分两轨debugging-dichotomyunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Dijkstra 1968 — Go To Statement Considered Harmfuldijkstra-gotounknownUNVERIFIED解释 goto 如何破坏程序位置与执行状态之间的可推理关系，并推动结构化控制流
FSRS — 让 Anki 知道每张卡什么时候快被你忘掉fsrs-spaced-repetitionunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
GLUE — 给 NLU 模型出一张包含 9 道题的统考卷glue-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Great SWE — 资深工程师”伟大”的标准是 humble + always learninggreat-sweunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
HELM 2022 — 给语言模型做全身体检helm-2022unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Hoare Logic — 把”程序对不对”变成”数学证明对不对”hoare-logicunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Lampson Hints — 把做系统的隐式品味写成 27 条经验法则lampson-hintsunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Lampson Hints 1983 — 系统设计思维起点lampson-hints-1983unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
MMLU — 用 57 个学科的多选题考一考语言模型mmlu-2021unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
No Silver Bullet — 软件难度的二分手术刀no-silver-bulletunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Pair Programming — 两个人共用一台机器写代码pair-programmingunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Parnas 信息隐藏 1972 — 模块化设计原则parnas-information-hiding-1972unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Program Comprehension fMRI — 程序员读代码时大脑亮的是语言区不是数学区program-comprehension-fmriunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Programmer Interruption — IDE 数据告诉你被打断后多久才能继续敲代码programmer-interruptionunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Sillito 44 问题 — 程序员改代码时到底在问什么sillito-questionsunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。