**Thoreau BASIC 3.2** 是 GW-BASIC 风格编程语言的现代 64 位演进版本。它可运行于 Windows，也可直接从 UEFI 固件启动而无需操作系统；程序可打包为独立的 Windows EXE 文件或可启动的 EFI 应用程序。 3.2 版本新增了 BASIC 原生文件浏览器和菜单、保留文件名大小写、最长 4,095 字节的路径、交替校验状态检查点、分阶段保存和经验证的备份、CRC32、文本统计、扩展的系统报告、JIT 优化，以及改进的程序重新启动功能。 其功能包括 24 位图形、精灵、鼠标输入、TCP/IP 和 HTTP、调试与性能分析工具、多核 `PARFOR`、原生 x64 JIT 编译，以及复数、四元数和八元数运算。多媒体支持涵盖 GM/GS 波表，以及 MIDI、WAV、FLAC 和 Opus 播放，并可在播放前扩展音色库。 Windows 和 UEFI 版本使用相同的解释器和波表。该版本还包含 BASIC 示例程序 Pixel Prose 及其独立应用程序。可通过项目的 itch.io 页面下载并获取更多信息。
每日HackerNews RSS
Thoreau BASIC 是一个免费的 x64 BASIC 解释器，灵感来自 GW-BASIC，旨在探索 BASIC 如果持续发展，而不是逐渐过时，会呈现怎样的面貌。3.2 版本保留了熟悉的语法——行号、GOTO、GOSUB、PRINT、图形和声音——同时加入了现代功能。
主要亮点包括原生 x64 JIT 编译和解释器回退、多线程 PARFOR 循环、SSE2/AVX2 加速、64 位寻址、超大数组、超复数、24 位图形、精灵图、多边形渲染、鼠标输入、TCP/IP 网络，以及调试、性能分析、执行跟踪和系统诊断。它最多支持 32 个乐器通道、64 个音效通道和 256 个声部。
程序可以使用 CREATEEXE 打包成独立的 Windows 可执行文件，也可以使用 CREATEEFI 打包成可启动的 UEFI 应用程序。Windows 和 UEFI 环境旨在运行基本相同的语言。演示项目包括实时交互式曼德博集合探索器、3D 和程序化图形、精灵图、网络、游戏以及超复数分形。本项目欢迎 GW-BASIC/QBasic 用户、编译器开发者，以及任何希望在裸机硬件上直接运行现代 BASIC JIT 编译器的人提出反馈。
JEFFY 是一个采用 MIT 许可证、基于 CPU 的文本分类工具包，内置 13 个预训练分类器，并支持使用 CSV、TSV 和 JSONL 数据训练自定义模型。它使用共享的 BGE-large 英文编码器（约 1.2 GB，首次使用时下载），并以可移植的 NumPy 文件形式存储轻量级逻辑回归分类头。
内置任务包括垃圾短信检测、银行和语音意图识别、新闻主题、情感、情绪、自然语言推理（NLI）以及冒犯性语言检测。模型可通过本地网页界面、REST API 或 Python SDK 访问。自定义模型可配置正则化强度、测试集划分和交叉验证，并可与预训练分类器一同使用。
据报告，留出测试集的准确率从 SMS 垃圾邮件检测的 99.1% 到 SNLI 的 65.6% 不等。CPU 推理通常需要 50–80 毫秒，约占用 2 GB 内存。其局限性包括概率未经校准、情绪类别覆盖有限，以及部分任务上的性能较弱。模型清单提供数据集详细信息和完整性哈希。数据集许可证因数据集而异，相关说明记录在 `ATTRIBUTION.md` 中；自定义 pickle 备份只能从可信来源加载。
**在 HN 展示：Jeffy——无需 GPU 的本地预训练分类器**
Jeffy 是一组可在普通计算机上运行的轻量级分类器。它包含 13 个预训练模型，可用于垃圾邮件检测、意图路由、主题分类、情感分析，甚至用于玩《DOOM》。用户还可以使用相同的架构训练自定义分类器，并构建更多应用。
该项目在 Hacker News 上获得了 7 分和两条评论。一位评论者将它与马尔可夫链机器人作比较，作者因此承认这可能是一个有趣的项目。作者邀请大家分享实用的任务方向，以及其他值得尝试的分类器架构。
这篇文章将探讨理解之边界的实质哲学，与某些科技圈中流行的技术官僚式“网络杠精功利主义”进行了对比。其核心问题是：自由意志能否与科学唯物主义并存？决定论似乎消除了真正的选择、道德责任和人生意义，但否定决定论，或把自由归因于量子随机性，同样难以令人信服。由于对现实的认识依赖知觉经验，作者认为物理还原论可能并不完整。
随后，文章考察了唯我论、“缸中之脑”情境、模拟理论和玻尔兹曼大脑——随机形成的有意识心智。这些思想实验很难被证伪，却存在概念和概率方面的问题。即使设定外部现实与模拟现实完全镜像一致，通过语言限制来解决这些问题的尝试也难以奏效。最终，关于模拟现实的猜测，重点不在于现实是否“真实”，而在于是否有某个主体创造了它，并且可能对它进行干预——这实际上使模拟理论成了由技术人士重建的神学。
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
职位
|
提交
登录
**被物质主义的幽灵纠缠**
（coredump.cx）
7 分
由 surprisetalk 提交
1 小时前
隐藏 | 往期 | 收藏 | 1 条评论
**help**
**plastic-enjoyer**
5 分钟前
[–]
> 唉，在科技人士中唯一流行的哲学，我会称之为“极端主义功利主义”——一堆唯尔伪数学的信仰，深得旧金山湾区理性主义社群的青睐。
>
> 这很可悲，因为技术哲学确实存在，而且它在哲学中仍是一门年轻的学科。
回复
考虑申请 YC 2027 年冬季批次！
申请截止至 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系我们
搜索：
科斯莫·韦恩曼讲述了他为获取罗丹博物馆已受资助创作的公有领域雕塑三维扫描文件而进行的八年法国信息自由斗争。法国行政文件获取委员会（CADA）认定，这些由公共资金创建的扫描文件属于行政文件。但自2019年提起诉讼后，巴黎行政法院基本支持了韦恩曼的诉求，并命令博物馆提供多种格式的文件。韦恩曼称，博物馆和文化部无视了该判决。
在二审中，法国最高行政法院认定，这些扫描文件不属于行政文件，而是罗丹博物馆不可处分馆藏的一部分，可与实体复制品相提并论。法院驳回上诉，判令博物馆支付3000欧元诉讼费用，从而实际上推翻了下级法院此前对韦恩曼有利的裁决。
此案凸显了一个核心的文化获取问题：由公共资金创建、且作品本身已进入公有领域的扫描文件，是否应可自由获取和再利用，包括用于商业用途？韦恩曼警告说，保密、诉讼和对机构权威的顺从，可能使信息透明法律形同虚设。他将于2026年10月13日在COMMUNIA举办的“罗丹案”沙龙活动上讨论这些问题。
# Hacker News
最新 | 往期 | 评论 | 提问 | 展示 | 职位 | 提交
登录
## 罗丹博物馆 3D 扫描案的不端行为裁决
（cosmowenman.substack.com）
12 分
作者：CosmoWenman
1 小时前
隐藏 | 往期 | 收藏 | 1 条评论
帮助
**simonw**
6 分钟前
[–]
我真的很想了解这件事另一方的立场。为什么这家博物馆如此在意这个问题？他们似乎投入了大量法律精力，试图阻止这些点云扫描数据被公开。为什么？
回复
---
考虑申请 YC 2027 年冬季批次！
申请截止日期为 11 月 2 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律条款 | 申请加入 YC | 联系 YC
搜索：
图灵奖得主杨立昆否定了有关人工智能可能导致人类灭绝的诸多警告。他将失控智能体事件视为本可通过网络安全、监督和系统设计来预防的失败。他批评有效利他主义者和人工智能安全倡导者——包括 Anthropic 首席执行官达里奥·阿莫代——过于恐惧，并认为这种态度会损害公众信任。他同时主张，大型人工智能公司造成的监管俘获，比人工智能本身更危险。 离开 Meta 后，杨立昆创办了 AMI Labs。该公司正在开发基于 JEPA 的“世界模型”，用于机器人、异常检测和理解复杂物理系统等工业应用。这家公司体现了他对人工智能发展的信念：下一阶段的重大突破将超越语言模型，转向能够学习物理世界运行方式的系统。尽管他在人工智能安全和监管问题上存在争议，杨立昆仍看好人工智能的潜力，并坚持认为这项技术远未发展到成熟阶段。
Hacker News 上一则讨论回应了《财富》的一篇报道：扬·勒昆对 AI 消灭人类“毫不担忧”，尽管近期发生了多起 AI“失控”事件。
大多数评论者认同勒昆对 AI 接管世界的怀疑。他们认为，目前的 AI 系统还不具备通用智能，而人类在某些专业任务上仍可能发挥作用。他们更担心的，是 AI 在较近时期带来的社会和经济冲击，包括失业、不平等、收入和生活不稳定，以及社会动荡。
一些评论者认为 AI 的发展不可避免，因此社会应提前做好准备，而不是把注意力放在推测性的灭绝情景上。不过，也有人质疑这种乐观态度，指出比尔·盖茨等 AI 领域领导者认真对待 AI 带来的生存风险，并主张主动监管。总体而言，这场讨论的重点逐渐从假设中的“机器起义”，转向人类行为、企业激励以及政府的治理能力。
David Buchanan 演示了 C2PA 的“排除项”功能如何削弱内容真实性。C2PA 通常会签署文件的哈希值，而可信时间戳则证明该哈希值在特定时间之前已经存在。如果将文件中的所有字节都排除在签名范围之外，恶意签署者就可以使这项声明仅涵盖空字符串的 SHA-256 哈希值。此后对文件进行编辑，签名和时间戳仍会保持有效。
Buchanan 的演示方法是：先拍摄一张彩票，附加真实的 C2PA 签名和可信时间戳，然后在开奖后修改彩票上的号码。元数据在密码学上仍然有效，但现有的验证工具并未明确标示这种篡改。
虽然排除整个文件很容易被发现，但范围较小的排除项也可能影响安全关键数据，而且很难自动评估。不能简单地取消所有排除项，因为 PNG 等格式在签名后发生变化时，某些字节（包括 CRC 校验和）必须随之改变。因此，Buchanan 建议为每种格式明确规定允许排除的内容，并要求验证工具拒绝任何超出规定范围的排除项。
Hacker News
最新
|
往期
|
评论
|
提问
|
展示
|
招聘
|
提交
登录
如何利用 C2PA 篡改时间
（da.vidbuchanan.co.uk）
6 分
由 Retr0id 提交
1 小时前
|
隐藏
|
往期
|
收藏
|
1 条评论
帮助
bawolff
0 分钟前
[–]
> C2PA 允许设置任意“排除项”。这些是被排除在签名计算之外的文件字节范围。
很高兴看到我们吸取了 SAML 的教训。
回复
考虑申请 YC 2027 年冬季批次！
申请截止至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律
|
申请加入 YC
|
联系我们
搜索：
请启用 JavaScript 和 Cookie 以继续。
Hacker News 上的一篇讨论认为，相较于传统的“记忆”系统，编程智能体更需要明确且持久有效的文档。原作者编写了一套版本化的原则，要求智能体遵循这些原则，并将原则直接关联到代码；他表示，智能体对这些原则的遵守程度很高，而且使用较新的模型时能取得更好的效果。
另一些人更倾向于使用面向人的标准资料，例如 README 文件、贡献指南、编码规范、架构决策记录、规格说明和 GitHub issue，而不是智能体专用文档。有些人还构建了更丰富的系统：从对话中提取主张，将其映射到代码，并在文件发生变化时通过钩子检索相关上下文。
主要问题包括知识过时、跨文件失效、维护成本，以及随着记忆库不断增长而迅速增加的 token 使用量。一位评论者认为，可搜索的会话历史或许已经足以提供所需的记忆。另一位评论者则指出，文档无法完整保留程序员的心智模型，因此 AI 系统可能需要新的方式来外化并重建上下文。
前NASA推进工程师蒂姆·康纳斯认为，NASA有可能让SR-71的844号机重新升空，但他认为这架飞机再次飞行的概率仅为25%。据报道，NASA已开始检查这架长期停放的“黑鸟”，并准备进行外接电源开机测试，以评估其电气和机械状态。
康纳斯认为，这架飞机不太可能主要用于气动力研究，因为现代CFD建模的成本相对较低。相反，他怀疑SR-71可能成为一个对公众开放的大型高马赫数发动机试验平台，填补常规飞机、无人机、火箭与高超音速系统之间的空白。
主要障碍包括飞机已有27年的老化问题、老化的线路和弹性材料、性能退化的液压系统、专用维护设备、飞行员培训以及成本的不确定性。J58发动机似乎已无法使用，而NASA库存的JP-7燃料也已被处理，不过或许可以找到合适的替代燃料。博物馆保存的机体可能能够提供零部件和技术资料。
康纳斯还认为，人们再次产生了对马赫2至4飞行的战略兴趣，因为这种飞行可以作为高超音速武器的廉价替代方案；但他警告称，官僚机构对风险的反感可能会推迟甚至破坏该项目。
Hacker News 上一篇讨论中介绍了一篇 TWZ 文章，内容涉及一位前 SR-71 工程师，以及 NASA 试图重启“黑鸟”项目的努力。置顶评论强调了这款飞机极端的工程设计：冷却空气温度超过 800°F；由于电子元件无法承受发动机产生的高温，机上使用了液压机械计算机；此外还配备外置的 400 立方英寸别克 V8 启动发动机。
据报道，热衷于改装汽车的玩家有时会让启动机持续运转过久，从而损坏启动机，并据称导致废品场中的替换零件被消耗殆尽。
另一位评论者提到，他曾拍卖过一台用于测试这些飞机的、叉车大小的独特“喷气燃料分析器”。该讨论串还链接到此前一篇 Hacker News 讨论，主题是 NASA 寻找曾参与 SR-71A 项目的人员，以推进一项重启计划。
联邦法官裁定，俄克拉何马州塔尔萨县警长的一名警员未经令状查询 Flock Safety 的车牌数据库，侵犯了一名女子的《美国宪法第四修正案》所保障的权利。法官莎拉·希尔表示，警员搜索该女子加州车牌 seemingly 没有合理依据，唯一的理由只是该车牌来自外州。尽管据称警员在搜查她的车辆时发现了 91 磅甲基苯丙胺，但法官下令排除通过 Flock 搜索获得的所有证据，将其视为 unconstitutional search 的衍生证据。 这项不具约束力的裁决，是首批认定 Flock 搜索违宪的判决之一。希尔还批评 Flock 可能对车辆位置进行不加区分的被动大规模监控。该裁决反映了两党日益增强的反对态度：佛罗里达州和得克萨斯州计划停止使用这项技术，而参议员伯尼·桑德斯提出立法，拟限制联邦政府使用自动车牌识别系统。Flock 首席执行官加雷托·兰利主张在隐私与安全之间寻求折中，并向那些因执法机构使用该系统而遭到跟踪的女性道歉。公司还提出了员工自愿买断方案，以应对相关服务被取消的情况。
一则关于 Hacker News 讨论的报道提到，一名联邦法官将 Flock 的车牌追踪称为“无差别的大规模监控”。评论者围绕 widespread tracking 是否侵犯第四修正案或公众对隐私的期待展开争论，也质疑政府机构是否在利用私人承包商规避宪法限制。
另一些人则认为，这项技术取得了正当的公共安全成果。他们提到，据称 Flock 的车辆行驶历史数据帮助警方找到一辆车，并在其中查获了 91 磅冰毒。评论者还质疑该法官在政治上是否保持中立，并指出，近几任总统任命的法官越来越极端，尽管司法独立仍然很重要。
总体而言，这场讨论凸显了大规模监控、宪法权利与有效执法之间的矛盾。
请启用 JavaScript 和 Cookie 以继续。
黑客新闻
最新
|
往期
|
评论
|
提问
|
展示
|
工作机会
|
提交
登录
Valve 的 Timur Kristóf 改进 Linux 上旧款 AMD GPU 的工作
（Phoronix）
27 分
由 speckx 提交
3 小时前
|
隐藏
|
往期
|
收藏
|
讨论
|
帮助
考虑申请 YC 的 2027 年冬季批次！
申请截止至 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律声明
|
申请加入 YC
|
联系我们
搜索：