1
Introduction to Compilers and Language Design (2021)
来自圣母大学编译器课程的系统教材，第二版更新至2021年，适合自学或教学。
Article URL: https://dthain.github.io/books/compiler/ Comments URL: https://news.ycombinator.com/item?id=48793454 Points: 236 # Comments: 39
2
How I'm re-discovering computer science with LLM revolution
从LLM革命中重新发现计算机科学的魅力，技术老兵的自省与前行。
I've been in this business for years and the best (or worst?) thing is that once I gain enough experience to feel comfortable as an expert, something …
3
Post-AGI Economies: Superposition and the Second Fundamental Theorem of Welfare Economics
探讨AGI后经济新范式，融合叠加态与福利经济学第二定理，为AI经济学提供前沿理论框架。
arXiv:2606.08267v1 Announce Type: cross Abstract: The classical Second Welfare Theorem decentralizes any Pareto efficient allocation through prices an…
4
A Comparative Study of Student Perspectives on Technical Writing Feedback Quality: Evaluating LLMs, SLMs, and Humans in Computer Science Topics
学生眼中的AI反馈靠谱吗？这项研究对比了LLMs、SLMs与人类在技术写作反馈中的质量差异，为AI教育应用提供了实证参考。
arXiv:2601.11541v2 Announce Type: replace-cross Abstract: To address the scalability of feedback in computer science while mitigating the privacy and …
5
Show HN: Threshold Concepts in CS – ideas that permanently change how you think
77个改变认知的计算机科学阈值概念，按思维转变而非课程组织，每个概念都是理解突变的钥匙
Article URL: https://github.com/nikitph/awesome-threshold-concepts Comments URL: https://news.ycombinator.com/item?id=48383223 Points: 1 # Comments: 0
6
Error Bounds for a Diffusion Model-Based Drift Estimator
一站式访问全球学术预印本，免费获取数学、物理、计算机等领域最新研究论文
arXiv:2606.02115v1 Announce Type: cross Abstract: Parameter estimation in stochastic differential equations is a classical statistical problem of much…
7
Towards Optimal Robustness in Learning-Augmented Paging
探索学习增强分页算法如何实现最优鲁棒性，理论突破值得关注
arXiv:2606.01342v1 Announce Type: cross Abstract: Learning-augmented paging has been extensively studied in recent years. A key advantage over naive M…
8
Why Study CS? Thoughts on LLM-assisted software engineering
AI写代码占比飙升，计算机科学学习还有必要吗？作者从现实争议出发，探讨编程教育本质。
Article URL: https://kmicinski.com/claude-code-and-why-study-cs Comments URL: https://news.ycombinator.com/item?id=48365109 Points: 2 # Comments: 0
9
Envy-Free Allocation of Indivisible Goods via Noisy Queries
噪声查询下公平分配不可分割物品的算法上下界，为真实场景中的公平性保障提供理论支撑。
arXiv:2602.06361v2 Announce Type: replace-cross Abstract: We introduce a problem of fairly allocating indivisible goods (items) in which the agents' v…
10
Claude Code 创始人切尔尼建议计算机科学毕业生创业：现在是黄金时代
Claude Code创始人直言：用AI写代码已是常态，毕业生创业正逢其时！
IT之家 5 月 28 日消息，据《商业内幕》今日报道，Anthropic 的 Claude Code 创建者鲍里斯 · 切尔尼给 22 岁计算机科学毕业生的建议很直接：可以找工作，但有创业想法的人， 现在就该去创业 。“如果你想进公司工作，当然还是 OK 的，入门级岗位还有，能做的事情也很多。但如…
11
Do Modern Post-Hoc Watermarking Methods Beat Broken-Arrows?
免费获取全球最新学术论文预印本，覆盖计算机科学等多领域，开放获取助力科研效率
arXiv:2605.27135v1 Announce Type: cross Abstract: With the rapid proliferation of generative models, such as diffusion models, digital watermarking ha…
12
Ask HN: How do LLMs work really?
探索LLM核心迷思：所有输出真的只是概率分布游戏吗？Hacker News上的一场硬核讨论。
Sorry I know this has been discussed to death sort of, but I feel like it's not always explicitly stated in some discussions and people have different…
13
Show HN: Decoding the Language Machine – AI video series and CC repo
从香农到Transformer，6集AI历史视频系列+开源仓库，4个月假期精心制作，带你拆解语言机器的黑盒。
Hi HN! I released 3 parts of an educational video series (out of 6 planned), paired with a GitHub repository containing scripts and artifacts (release…
14
Instance Discrimination for Link Prediction
这篇论文提出了用于链接预测的实例判别方法，在图学习领域有重要创新，适合研究人员快速了解前沿进展
arXiv:2605.20257v1 Announce Type: new Abstract: Recently, instance discrimination models have emerged as a major solution for self-supervised learning…
15
Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
结合Lean与理论计算机科学，可规模生成形式-非形式配对的定理证明挑战，助力AI数学推理研究。
arXiv:2508.15878v2 Announce Type: replace-cross Abstract: Formal theorem proving (FTP) has emerged as a critical foundation for evaluating the reasoni…
16
Learning How to Cube
arXiv最新预印本，系统探讨如何通过机器学习方法实现立方操作，理论严谨，适合算法研究者深读。
arXiv:2605.16632v1 Announce Type: new Abstract: Despite the effectiveness of Cube-and-Conquer (C&C) for solving challenging Boolean Satisfiability…
17
Prediction-Intervention Games and Invariant Sets
探讨预测与干预博弈中不变集的数学结构，为理解智能体交互提供理论框架。
arXiv:2605.16828v1 Announce Type: cross Abstract: We consider the following two-player game: using observational data, the leader chooses a prediction…
18
Evaluating Chinese Ambiguity Understanding in Large Language Models
首个基于潜在歧义理论构建的中文歧义理解评估数据集，半自动管道生成，规模可扩展
arXiv:2605.15635v1 Announce Type: new Abstract: Linguistic ambiguity is critical to the robustness of Large Language Models (LLMs), yet existing resea…
19
Rethinking Agentic Reinforcement Learning In Large Language Models
重新审视大语言模型中智能体强化学习的范式转变，传统RL vs 开放任务新思考。
arXiv:2604.27859v3 Announce Type: replace Abstract: Reinforcement Learning (RL) has traditionally focused on training specialized agents to optimize p…
20
DeltaPrompts: Escaping the Zero-Delta Trap in Multimodal Distillation
快速获取全球最新学术预印本，本论文即通过该平台浏览，支持PDF与HTML双模式阅读。
arXiv:2605.15532v1 Announce Type: cross Abstract: Distillation enables compact Vision-Language Models (VLMs) to obtain strong reasoning capabilities, …