Jevotron 使用选定字段、自然语言指导、可选示例和可配置的警告阈值，扫描结构化文件中的异常。 工作流分为三个阶段： 1. **预览**——在消耗 API 调用之前，检查数据块、字段路径以及实际的模型请求。 2. **扫描**——统一评估每个条目，并保留字段级概率、条目分数、来源位置和日期。 3. **审查**——优先处理可疑条目，将结果导出为 CSV，或将 JSONL 数据传入现有的 Shell 工作流。 支持 CSV、YAML、JSON、TOML、文本、OBO 和压缩文件。通过字段选择、指导文件和本地 Python 配置，可以实现可复用或自定义的解析。SQLite 用于持久化成功结果、缓存未更改的条目，并支持重新排序、调整阈值以及恢复中断的运行，而无需重新评估未更改的数据。 应用示例包括检测错误的机场所属国家、审查库存、评估本体定义以及对智能体执行轨迹进行分类。在一项包含 24 条轨迹的试点测试中，Jevotron 匹配了 163 个步骤质量标签中的 130 个（79.8%），有害步骤检测的精确率为 89.7%，召回率为 70.3%。
每日HackerNews RSS
```
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
工作
|
提交
登录
Jevotron：从命令行进行多种 Jev 集成
(
cmungall.github.io
)
12 分
作者：
chrismungall
23 小时前
|
隐藏
|
往期
|
收藏
|
1 条评论
help
octoberfranklin
21 小时前
[–]
我们能不能别再搞这种愚蠢的机器人水军把戏了？
回复
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
```
加利福尼亚州禁止童婚，但美国仍有32个州允许童婚。 California bans child marriage, a practice still legal in 32 US states
3 天前
她于2011年与演员道格·哈奇森结婚。哈奇森因出演《绿里奇迹》《杀戮时刻》和《我是山姆》而成名。这段婚姻引发的争议，以及她参加美国多档真人秀节目（包括VH1的《夫妻心理治疗》）的举动，曾成为国际媒体报道的焦点。
一则 Hacker News 讨论帖关注加州禁止 18 岁以下结婚的规定，而美国仍有 32 个州允许未成年人在获得父母和法官批准后结婚。许多评论者支持这项禁令，认为未成年人可能面临胁迫、剥削、贫困、学业中断，以及难以离开可能拥有其法律监护权的成年配偶等问题。
其他人则质疑这种讨论方式，指出受影响的未成年人大多只有 16 或 17 岁，而且 Often 只会与比自己年长几岁的配偶结婚。他们质疑，18 岁是否真的代表成熟度会有显著提升，也质疑仅靠禁令能否解决更广泛的文化、经济和家庭支持问题。讨论还涉及年轻父母是否已经准备好、较高的离婚率，以及附近祖辈照护孩子的好处。
讨论后来扩展到了驾驶、服兵役、签订合同、投票、饮酒以及性别肯定医疗等领域，评论者批评了不同活动之间年龄门槛的不一致。人们还讨论了其他国家的结婚年龄以及法律例外。后来的争论变得更加激烈，并被标记。
根据404媒体查阅的公开记录和法院文件，特朗普政府正利用长期存在的“高强度毒品贩运地区”（HIDTA）项目，集中存储地方警察以及Flock、Axon等供应商的自动车牌识别仪数据。
参与该项目的城市会将摄像头数据发送至HIDTA的地区和联邦系统，使其他执法机构也能进行搜索，即使这些机构并未直接与相关供应商签约。部分数据还会流入美国缉毒署的国家车牌读取系统。
这种安排因规避地方隐私限制且透明度有限而受到批评。在佐治亚州，各城市若要在州有土地上使用摄像头，必须与HIDTA签署协议。休斯敦HIDTA资助建立了一个可搜索的数据库，汇总了多个自动车牌识别仪提供商的数据。
批评人士称，这种分散的体系掩盖了数据的流向、访问者的权限以及数据的保存期限。HIDTA记录还可能不受信息公开申请的限制。今年7月，政府向HIDTA追加拨款2.77亿美元。
一场关于城市被迫与联邦监控项目共享车牌识别数据的 Hacker News 讨论，焦点集中在隐私、移民执法，以及驾驶员能否避开 ALPR（自动车牌识别）网络。评论者普遍认为，换车牌、遮挡车辆、制造对抗性行驶模式或其他规避手段，要么不现实，要么属于违法行为，要么只能短暂奏效，而且很容易被发现。
许多人认为，有效的应对方式是政治行动：在当地组织起来，联系 representatives（代表），反对监控项目资金，支持隐私保护团体，并通过法律限制或更严格的数据治理规则来约束数据使用。一些人批评对政府权力的反对过于选择性，指出监控问题跨越党派界线，而更换政府也无法解决系统性的滥用问题。
其他人则提到，ALPR 在减少车辆盗窃和催化器盗窃方面已有明确成效，但其广泛的隐私代价也不容忽视。因此，改革在政治上依然困难重重。后续的一条侧支讨论探讨了全国性监控是否能够支持“毒品战争”；几名评论者认为，以禁酒禁毒为导向的目标并不现实，而治疗和减少伤害可能更有成效。
Show HN：Yantra——一款用于 C++ 的 LALR(1) 解析器生成器 Show HN: Yantra – an LALR(1) parser generator for C++
3 天前
Yantra 是一款 C++23 编译器和 LALR(1) 解析器生成器，除标准库外不依赖任何其他库。它提供集成式推入式词法分析器、Unicode/UTF-8 支持、词法分析器模式、AST 构建以及多种自顶向下 AST 遍历器。它既可以生成包含 `main()` 的独立合并式解析器，也可以生成独立的 `.hpp` 和 `.cpp` 文件。
与 Bison、Yacc 和 Lemon 不同，这些工具在归约过程中自底向上执行语义动作；Yantra 会先构建完整的 AST，然后自顶向下遍历它，从而允许父节点的动作在子节点之前执行。它具备 LALR(1) 的效率，同时避免了 ANTLR 的 LL(*) 和自适应预测开销，并且仍然是原生 C++ 工具，不需要 JVM。不过，Yantra 较新、成熟度较低，仅支持 C++，并且并非为增量解析或 tree-sitter 一类的编辑器集成而设计。
使用 CMake 构建它以生成 `ycc`，然后从 `.y` 语法文件生成解析器，并使用 Clang、GCC 或 MSVC 编译。输入可以来自文件、字符串、交互式会话，或套接字等流式数据源。Yantra 采用 MIT 许可证，由 Renji Panicker 维护。
Yantra 是一个处于早期阶段的、采用 MIT 许可证的 C++23 LALR(1) 解析器生成器。它可以从一份语法规则生成词法分析器、解析器、抽象语法树（AST）以及 AST 遍历器。它与 Yacc、Bison 或 Lemon 的主要区别在于，会先构建完整的 AST，然后在独立的自顶向下遍历中执行语义操作。这样，父节点的操作可以先于子节点执行，并且支持多种遍历器，例如从同一次解析结果中生成 C++ 和 Java 代码。它还提供词法分析器模式、可选的合并输出，以及自动检测语法冲突的功能。
HN 上的讨论主要围绕为什么在生产级编译器通常更倾向于手写递归下降解析的情况下，仍然要使用生成的解析器。递归下降通常能提供更好的上下文相关错误处理、错误恢复能力和可调试性；而解析器生成器对于声明式 DSL 语法和多目标代码生成仍然很有用。评论者澄清/errors的质量更多地与自顶向下还是自底向上的解析方式有关，而不是取决于解析器是生成的还是手写的，并提到了 ANTLR 和 Chumsky 等工具。
Yantra 目前不支持错误恢复，生成的错误信息大多是通用的语法错误。其他建议包括添加 Python 绑定，以及修正文档中有关表达式结合性的说明。
《帕尔米吉亚诺奶酪与金融化：以奶酪为黄金，以黄金换奶酪》 Parmiagiano and Financialisation: Cheese as Gold for the Gold of Cheese
3 天前
正在检查您的浏览器……需要启用 JavaScript。
一则 Hacker News 讨论帖以帕尔米吉亚诺-雷吉亚诺奶酪轮作为金融抵押品为切入点，起因是文章把“parmigiano”拼错了。评论者讨论了受保护的意大利名称、泛称的“帕尔马森奶酪”，以及美国销售的廉价刨丝奶酪之间的区别。
讨论的核心是，奶酪如何成为一种具有升值潜力的资产。大型奶酪轮可以在熟成期间获得融资，通常需要大约三年；之后可以以更高的溢价出售，或进行再融资。这种模式依赖于持续的需求、正确的熟成过程以及市场信心。
一位意大利评论者认为，这种策略在经济上是合理的，但感叹意大利登上国际财经新闻的主要方式，竟然是通过食品和其他“低技术”产品。另一位评论者则回应称，这类产品或许代表着现代经济中的护城河：人工智能也许能取代医生和律师，却无法取代手工制作的佩科里诺奶酪或意大利火腿。总体而言，这串讨论将商标法、饮食文化、抵押融资，以及对奶酪抵押投资模式的质疑结合在了一起。
``` 请启用 JavaScript 并关闭任何广告拦截器 ```
一场 Hacker News 讨论回应了美国 10 年期国债收益率突破 5.3% 的消息，这一水平为 24 年来最高。评论者将收益率上升与联邦赤字扩大、利息支出激增、福利支出、医疗成本、减税、军费以及人口老龄化等因素联系起来，因此认为，拿当前情况与 1990 年代实现预算平衡的时期进行比较，已不再那么适用。
讨论中提出的解决方案包括：对财富、资本利得和企业征收累进税；调整工资税；改革医疗体系；实行全民医疗；削减国防开支；以及减少福利支出增长。批评者则认为，如果仅仅依靠财政紧缩或设定硬性支出上限，政府在衰退或金融危机中的应对能力将受到严重限制。
另一些评论者认为，收益率上升源于实际经济增长加快和人工智能领域的大量投资，而非通货膨胀；他们指出，目前通胀预期仍相对稳定。多个国家出现类似的收益率上升，也表明这可能是更广泛的债券市场趋势。总体而言，这场讨论充满争议：各方对统计数据存在分歧，并对问题的根源究竟是财政收入不足、支出过高、福利政策、军事政策，还是政治问责机制衰退，持截然不同的看法。
这个宽达728英尺的新巨型陨石坑对未来月球基地意味着什么？ What a Massive New 728-Foot-Wide Crater Means for Future Moon Bases
3 天前
请启用 JavaScript 并禁用任何广告拦截器。
一个新发现的深达 728 英尺（222 米）的月球环形山，再次凸显了高速撞击带来的持续风险，以及未来月球基地所面临的工程挑战。 commenters 认为，栖息地需要大幅加固的防护层、地下建筑、辐射防护措施，或许还需要小行星防御系统。地球的存在并不会显著保护月球正面，而对于飞向地球的小行星，月球本身也起不到什么有效的保护作用。
讨论还质疑了定居月球在经济和社会层面是否现实。多数人认为，最初的据点很可能只是临时研究设施或军事设施；要建立永久性社区，就必须具备可靠的食物、水、电力、医疗、商业往来以及其他类似地球的基础设施。南极洲被作为一个有用的参照。
一些评论者开玩笑讨论了环形山尺寸的换算、月球运动，以及以每秒 20 公里速度飞行的小物体是否真的危险。其他人则争论了《纽约时报》的付费墙、档案链接和具有误导性的订阅者统计数据。总体而言，这个环形山既体现了月球的科学研究价值，也展示了其恶劣的生存环境。
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。摘要的版权归各自的作者和出版方所有。
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** 和限制网络带宽的浏览工具。