Kirancodes.me 是一个可搜索的数据库，收录 **33,580 篇编程语言论文**，其中包含 **26,107 篇摘要**，时间跨度从 1973 年首届 POPL 到 2026 年。内容涵盖 POPL、PLDI、ICFP、OOPSLA、ICSE、FSE、ASE、CAV 和 TOPLAS 等主要学术会议，以及许多专业会议。
用户可以按关键词、标题或作者搜索，并按会议、日期范围和获奖论文筛选结果。结果可按相关度或发表日期排序。元数据来自采用 CC0 许可的 DBLP，摘要则来自 SIGPLAN OpenTOC、OpenAlex 和 Semantic Scholar。摘要的版权归各自的作者和出版方所有。
每日HackerNews RSS
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
工作
|
提交
登录
pldb：编程语言论文
(
kirancodes.me
)
39 分
由 matt_d 提交
1 天前
|
隐藏
|
往期
|
收藏
|
3 条评论
btrettel
12 小时前
|
下一条
[–]
我把它加入了我的专题书目列表：
https://github.com/btrettel/specialized-bibs
回复
remywang
23 小时前
|
上一条
[–]
相比 https://dblp.org/，它增加了什么内容？
回复
btrettel
12 小时前
|
上级
[–]
关于页面 [1] 提到，它向 dblp 数据中添加了摘要。
[1]
https://pldb.kirancodes.me/about
回复
准则
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
正在检查您的浏览器……需要启用 JavaScript。
一则关于**《更深入地了解非洲南方古猿》**的 Hacker News 讨论指出，深远的时间虽然难以想象，却依然充满魅力。评论者谈到人类演化的数百万年历史、人属谱系中反复发生的基因交流，以及农业在相对短暂的时期内如何彻底改变了人类社会。
一位评论者推荐了维尔纳·赫尔佐格的纪录片**《遗忘之洞》**，其中探索了史前洞穴艺术。他尤其喜欢看到同一洞穴中叠加着相隔数千年的艺术作品，包括后来呼应、描摹早期作品的作品。讨论还将这种悠久的艺术传承与古埃及remarkably continuous history相提并论：埃及学家本身就是生活在其所研究的文明之中的。
**56k.rip** 在浏览器中重现 1996 年的拨号上网体验。摘机、拨号音和真实的调制解调器握手完成后，页面会逐个文本块加载。可选择 14.4、28.8 或 56k；传输速度取决于所选的字节率，因此图片会逐渐变清晰，下载缓慢爬行；当家里有人使用电话时，连接有时会失败。 浏览一个符合当时年代特色的小型网站：钓鱼、食谱、分类广告、天气、电视节目指南、访客簿和网页环。你还可以查看电子邮件、进入聊天大厅、玩扫雷纸牌，使用绘图程序和命令提示符，以及观看屏幕保护程序。声音根据乐谱合成，图片采用程序生成的 216 色网页安全调色板。无需注册账号，活动记录仅保存在你的浏览器中。建议启用 JavaScript 和声音。
Hacker News 用户讨论了 **56k.rip**：这是一个对 1996 年拨号上网电脑的互动式复刻，许多人喜欢它怀旧的界面、游戏、电子邮件、音效，尤其是其中的实时聊天功能，再现了早期网络社交空间那种尴尬而生疏的感觉。也有人批评它加载速度快得不够真实、调制解调器音效不准确、视觉元素不符合时代背景、游戏存在漏洞，而且整体看起来像他们所说的“AI 垃圾内容”。支持者则表示，它更像一座有趣的“主题乐园”，而不是一座精确还原历史的历史博物馆。
技术讨论中有人指出，56K 调制解调器直到 1996 年末才出现，起初价格昂贵，支持互不兼容的 X2 和 Kflex 两种标准，而且实际连接速度通常低于标称最高速度。要达到 56Kbps，需要干净的电话线路，以及电话公司与 ISP 之间的数字连接；上传速度通常则被限制在 33.6Kbps 左右。
讨论串还勾起了人们对 BBS、CompuServe、AOL、时不时的断线、昂贵的电话费、缓慢的图片加载，以及那个一上网就像进入了另一个世界的时代的回忆。几位评论者还推荐了类似项目，包括 **Sim95** 和限制网络带宽的浏览工具。
EDG C/C++ 编译器是一个开源项目，核心是一个高度可配置的 C/C++ 前端。它强调与 Clang、GCC 和 MSVC 的兼容性，包括缺陷仿真、完善的文档，以及将编译器适配到多种产品的能力。 该代码库还包括： - 一个用于将 C++ 程序编译为 C 代码的 C 代码生成后端； - 一个用于源到源转换的 C++ 代码生成后端； - 一个用于自动实例化模板的预链接器； - 一个精简运行时库； - 中间语言工具； - 名称反修饰工具； - 开发工具。 对于大多数用户，建议使用 Git 的部分克隆方式： `git clone --filter=blob:none [email protected]:edgcpp/compiler.git` 有关文档、构建说明、贡献指南、开发环境和教程，可通过项目的文档资源获取。
```
黑客新闻
最新
|
往期
|
评论
|
提问
|
展示
|
工作
|
提交
登录
[重复]
EDG C++ 编译器现已开源
(
github.com/edgcpp
)
26 分
由
zx2c4
发布
1 天前
|
隐藏
|
往期
|
收藏
|
1 条评论
帮助
WalterGR
1 天前
[–]
重复自：
https://news.ycombinator.com/item?id=49913192
回复
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
```
关于 媒体 版权 联系我们 创作者 广告推广 开发者 条款 隐私 政策与安全 YouTube 的运作方式 测试新功能 © 2026 Google LLC
Hacker News
新帖
|
往期
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
分子马达的机械化学【视频】
（
youtube.com
）
17 分
由
surprisetalk
发布于 1 天前
|
隐藏
|
往期
|
收藏
|
2 条评论
帮助
gcanyon
1 天前
|
下一条
[–]
纳米系统！我在 20 世纪 80 年代读过《创造之引擎》，后来很遗憾地发现自己的知识还不够基础，无法完全理解《纳米系统》这本书。
回复
llsf
1 天前
|
上一条
[–]
太 fascinating 了！如果人工智能能帮助分子工程取得进展，那就太了不起了……我们或许可以制造出那种能够修复、修补人体组织的微型机器。
看到这一领域取得的进展非常有意思。
回复
考虑申请 YC 2027 年冬季批次！
申请截止日期为 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
请启用 JavaScript 和 Cookie 以继续。
# 黑客新闻
新内容
|
往期内容
|
评论
|
提问
|
展示
|
工作机会
|
提交
登录
## 在 ESP32 上自动执行 Wi-Fi 设置测试
（groundrun.io）
29 分
作者：adunk
1 天前
|
隐藏
|
往期内容
|
收藏
|
2 条评论
|
帮助
**Tajnymag**
15 小时前
|
下一个
**回复 [–]**
所谓“结论”，其实根本没有结论。这篇文章可以概括为：“我们让 Claude 生成了五个 Wi-Fi 配置示例和一些测试场景，其中一些比另一些更慢。”仅此而已。文中几乎没有介绍具体是如何实现的，也没有针对常见场景给出建议做法。甚至作为一篇营销博客，它也没有发挥应有的作用。
**回复**
**anujdeshpande**
20 小时前
|
上一个
|
下一个
**回复 [–]**
很棒！
**回复**
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
请启用 JavaScript 和 Cookie 以继续。
Lathoa 是一款面向 10 至 14 岁儿童的数学应用，旨在教授错误分析和审慎看待 AI。机器人 Errol 会逐步解决问题，但其中有些解答会包含故意设置的错误，或看起来像是错误的步骤。儿童必须找出第一个错误步骤，解释原因，并判断解答实际上是否正确。
生成具有迷惑性的错误并不容易，因此系统会通过精确的算术检查和第二个模型进行验证；两者意见不一致的内容会被丢弃。系统仍有一些不足，尤其是对德语和希腊语中小数逗号写法的处理。
Hacker News 上的讨论质疑，与独立解题相比，找出 AI 的错误是否真的具有教育意义。开发者表示，大约五分之一的案例是正确的，这样可以避免孩子认为所有答案都有问题。应用还取消了速度评分，以防止孩子急于求成。评论者还指出了一些问题，例如题目过于简单、呈现方式令人困惑、网站文案像是由 Claude 编写、用户界面问题，以及 GDPR 合规方面的顾虑。
应用通过经验值授予从“新手”到“夏洛克”的等级，并提供由家长选择开启的排行榜，不设置任何可购买的奖励。
约翰·科特兰为优素夫·拉蒂夫绘制过一张鲜有解释的图示，它似乎将四度圈或五度圈与几何图形结合起来，以呈现和声关系。 八度内等距排列的音可以构成对称结构：全音阶形成六边形，减七和弦形成正方形，增三和弦形成三角形，三全音则表现为直径。这些对称和弦具有不明确的根音，并且存在多种可能的解决方式。与此同时，圆周上相邻的位置代表彼此关系密切的调。 这个圆将 ii–V–I 进行表现为向主音逐步推进的过程，其中导音平滑地解决。三全音替代则将圆周上不同位置的属和弦连接起来，常常形成半音化的低音线条。科特兰的《巨人步进》通过简写和完整的 ii–V–I 模式，在 B、G 和 E♭ 三个音之间循环；这三个音构成一个增三和弦。调式关系也可以理解为七个音组成的“窗口”沿圆周移动。 尽管科特兰的创作意图尚不确定，这张图仍以简洁的方式统一了调性关系、对称和声、声部进行、替代以及科特兰式变化等概念。
一个互动式的“Coltrane 音调圆环”可视化了约翰·柯特雷在《巨人步阶》（“Giant Steps”）中的和声进行。Hacker News 上的讨论探讨了这些变化为何难以掌握：速度过快、频繁进行大三度移调、削弱了调性指向性，还是三者兼有。
一些音乐家认为，这些音型可以通过训练掌握，具有旋律性，并与调式倒置及熟悉的和弦进行有关；另一些人则强调，它们不同寻常地缺少传统终止式。讨论中还将其与《Lush Life》、迪齐·吉列普的《Con Alma》以及汤米·弗拉纳根后来的演绎进行了比较。
不少用户认为，这个工具对初学者来说信息量过大，建议先掌握基础爵士乐术语、布鲁斯、 Bebop，以及识别 ii–V–I 和弦进行。此外，还有人报告了 Safari/iOS 系统中音频嵌入播放的技术问题，包括数字版权管理（DRM）限制。总体而言，这项可视化工具受到好评，尤其适合已经熟悉柯特雷音乐的演奏者。
解密记录揭示了美国空军和NRO长达四十年的近地轨道“搭便车”电子情报（ELINT）计划。1963年起，手提箱大小的自旋稳定卫星先搭载在大型侦察航天器上，随后被部署到轨道上，用于收集、记录，有时还会直接中继雷达和通信信号。
这些廉价而定制化的系统最初被重新编号为“989计划”，后来称为“7300任务”，之后逐渐发展为标准化航天器。URSALA负责大范围雷达搜索和辐射源定位，而RAQUEL专注于窄波束技术情报。它们取得的成功使电子情报从一种战略情报产品转变为对外派部队的直接作战支持，并推动了战术利用国家能力（TENCAP）以及移动式地面处理系统的发展。
FARRAH combines URSALA and RAQUEL functions, added onboard processing, and could downlink data directly to ships, aircraft, and tactical units. Two smaller FARRAHs launched from HEXAGON satellites and operated until 2004; three enlarged versions later launched on Titan II rockets, with FARRAH IV failing. LORRI, GLORIA, and CARRIE conducted specialized spectrum surveys or communications intelligence, including on classified shuttle missions. The program’s ultimate fate remains unclear, but its legacy was integrating space-based SIGINT into routine military operations.
一场 Hacker News 讨论围绕一份 2025 年报告展开，内容涉及美国三颗最高机密侦察卫星——URSALA、RAQUEL 和 FARRAH——以及它们可能具备的先进能力。评论者将美国国家侦察局（NRO）的系统与哈勃太空望远镜联系起来，包括双方在光学设备和制造技术上的共享专长、将退役侦察光学设备移交给 NASA，以及哈勃存在的球面像差问题。后者实际上是测试设备故障造成的，并非望远镜本身的设计缺陷。
讨论还延伸到卫星的可见性和保密性，包括异常轨道、隐身涂层、未公开的位置，以及在尼莫点等偏远海域上空进行受控处置。参与者推测，机密雷达、信号情报、实时地形测绘和其他侦察系统的能力远超公开影像，同时指出俄罗斯和中国也拥有复杂的监视系统。
其他争论则质疑，技术优势能否转化为有效的政府治理或军事成果，并提到了浪费性的国防开支、保密机制、领导层失误以及近期冲突。讨论还涉及 NASA 相对较小的预算、美国太空军、商业卫星影像、Starlink，以及未来可能出现的 AI 辅助分析。
愚蠢的服务器，聪明的客户端：使用 Quarry 分发操作系统镜像 Dumb servers, smart clients: Distributing OS images with Quarry
2 天前
Amutable 推出 Quarry，这是一套基于 TUF 的客户端和发布工具链，用于安全分发不可变的 Linux 镜像及其他制品。它构建于 systemd-sysupdate 之上，采用静态 TUF 元数据和 blob，因此仓库可以镜像并缓存到不提供智能服务的主机环境中。 Quarry 强调委派签名角色、灵活的密钥所有权与托管、自主且可恢复的更新、细粒度目标匹配、最小必要权限访问，以及对常见仓库攻击的防护。TUF 提供角色分离、元数据过期、一致性检查，以及密钥泄露后的恢复能力。 其核心设计是让每台机器对应一个仓库，并与共享的操作系统、配置、应用或厂商仓库关联。这样既能将每台设备需要的数据限制在相关范围内，又能保留去重和可组合性。Quarry 还扩展了 TUF，支持带版本号的文件名和逐级更新，并提供包含信任根及快照信息的签名跨仓库链接。 目前，Quarry 正在与 systemd-sysupdate 集成，计划直接从 TUF 元数据生成临时传输清单。Quarry 是开源的，同时也支持传统仓库布局。
# 黑客新闻
最新 | 往期 | 评论 | 提问 | 展示 | 职位 | 提交
登录
**简单服务器，智能客户端：使用 Quarry 分发操作系统镜像**
（amutable.com）
28 分
由 Levativistic 提交
1 天前
隐藏 | 往期 | 收藏 | 1 条评论
帮助
**jcgl**
10 小时前
这让我非常兴奋。`systemd-sysupdate` 是用于交付更新的一个很好的基础组件，但如果能有一个带有明确主张且安全的存储库系统，供 `sysupdate` 使用，将会非常理想。
回复
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系方式
搜索：