每日HackerNews RSS
Show HN: ShadowCat – 通过浏览器中的二维码传输文件 Show HN: ShadowCat – file transfer through QR Codes in a Browser
5 天前
这是一个单文件、离线式的 HTML 工具，旨在通过二维码在设备间传输数据。对于那些无线功能损坏但摄像头和浏览器仍可工作的旧硬件来说，这是一个理想的解决方案。 **工作原理：** * **发送端：** 将文件编码为循环播放的二维码序列。用户可以调整数据块大小、每秒帧数 (FPS) 和纠错级别，以平衡传输速度与稳定性。如果漏掉某些数据块，可手动重新发送。 * **接收端：** 通过摄像头扫描二维码序列。系统会自动追踪已接收的数据块，识别缺失数据，并在传输完成后通过 CRC32 校验文件完整性。 **技术要求：** * **托管：** 由于浏览器安全权限 (getUserMedia) 的限制，该文件必须通过 HTTPS 或本地网络（例如 Python 的 `http.server`）进行托管。 * **性能：** 传输效率受二维码密度和硬件性能限制。典型吞吐量约为 0.8 KB/s。对于性能较差的设备，建议降低 FPS、减小数据块大小并提高纠错级别，以确保成功解码。 这款轻量级工具为无法使用现代无线协议的设备提供了一种稳健的“离线优先”数据迁移方案。
“ShadowCat”是一款基于浏览器的工具，通过一系列动态二维码在设备间传输文件。该项目将文件分块，接收端通过摄像头扫描重组数据，并利用喷泉码（fountain codes）确保即使丢失部分帧也能保证数据完整性。
Hacker News 的讨论强调了这种方法在离线系统或网络受限环境中的实用性。社区成员分享了类似的方案（如 Txqr、qr-send.com 和 get-beam），并指出虽然基于摄像头的传输速度慢于 Wi-Fi 或 WebRTC，但它是一种有效的“握手”方式，或可用于绕过网络监控及数据防泄漏（DLP）系统。
尽管一些用户质疑其传输大文件的实用性，但其他人强调了其在高度私密、离线通信等安全场景下的潜力。舆论共识认为，虽然这项技术较为“挑剔”，且受限于摄像头帧率和二维码密度，但它依然是离线数据导出和传输的一种巧妙且极简的解决方案。
Circle Medical 是一家以虚拟医疗为主的初级保健提供商，致力于通过无缝的数字平台，让医疗服务变得触手可及、个性化且高效。该公司每月为超过 3 万名患者提供服务，利用人工智能和现代设计理念，架起了数字医疗与线下护理之间的桥梁。 他们目前正在招聘一名**高级移动端工程师**，负责主导其 Android 应用程序的技术路线图。理想的候选人需具备 7 年以上的移动端开发经验，精通 Kotlin 和 Jetpack Compose，并致力于符合 HIPAA 标准的安全开发。你将与包括临床医生和设计师在内的跨职能团队协作，以保持与 iOS 端的功能同步，并提供直观的用户体验。 **核心要求：** * 精通 Android 架构（MVVM、Dagger、响应式编程）。 * 具备扩展商业应用程序的成功经验。 * 精通人工智能辅助开发工具。 * 热衷于改善医疗健康成果。 这是一个远程办公友好的全职职位，提供具有竞争力的透明薪酬（与美国和加拿大市场水平对齐），以及全面的福利待遇，包括 401(k)/RRSP 配套养老金、灵活的带薪休假（PTO）和职业发展支持。Circle Medical 是一家平权雇主，致力于构建多元化且具有影响力的工程文化。
本文通过形式化验证的视角探讨国际象棋，将该游戏视为一种交替执行的并发系统。通过定义游戏的“模型与问题”空间，作者展示了如何推导出数学不变量，以确保系统逻辑的完备性。 作者将这些不变量分为两类： * **状态不变量：** 定义有效游戏状态的谓词，例如“回合奇偶性”（TurnParity，将玩家回合与走棋步数关联）和“前一玩家未被将军”（PreviousPlayerNotInCheck，确保走棋的合法性）。 * **转移不变量：** 控制状态变化的谓词，例如“棋子数量不递增”（PieceCountNonIncreasing）和“恰好两格变化”（ExactlyTwoSquaresChange），这些谓词定义了棋子移动的物理机制。 分析强调，虽然基本棋规易于建模，但诸如王车易位或吃过路兵等复杂动作会破坏简单的平庸不变量，从而需要更细致的约束条件。最终，文章指出，即使是对国际象棋这样复杂的游戏，将其规则形式化也是发现潜在逻辑属性及识别边缘情况（例如关于兵升变的各种历史细微差别）的强大方法。
致力于保存人类知识并提供全球访问的非营利组织 Anna’s Archive，专门为人工智能开发者发布了一个 `llms.txt` 文件。 该组织鼓励大语言模型通过高效且符合伦理的方式访问其数据，而非绕过网站的验证码。开发者无需抓取网站内容，而是被引导使用所提供的批量资源，包括其 GitLab 仓库、种子文件以及 Torrents JSON API。 对于高频需求，该档案馆建议开发者捐款以支持项目的使命。企业级捐赠者可获得高速 SFTP 访问权限，这比使用种子下载更为高效。通过财务支持，人工智能开发者能够帮助维持档案馆的基础设施，确保浩瀚的人类文化遗产得以保存，并可供未来的模型训练使用。此外，该档案馆还接受门罗币（XMR）匿名捐赠，以进一步实现其让人类和机器都能平等获取知识的目标。
这场 Hacker News 上的讨论聚焦于“安娜档案”（Anna’s Archive，简称 AA）发布的一篇颇具争议的帖子。该影子图书馆鼓励大语言模型（LLM）抓取其数据，同时呼吁用户捐款以维持项目运营。
辩论的要点包括：
* **“我们的数据”之伦理争议：** 用户对于 AA 使用“我们”一词来描述盗版书籍产生了分歧。批评者认为，一个盗版网站声称对其并不拥有的知识产权享有所有权是虚伪的；支持者则认为，“我们”指的是 AA 所维护的具体存档副本和基础设施，而非底层的知识产权。
* **盗版的角色：** 许多评论者认为盗版是一个“服务问题”而非价格问题。一些学者和研究人员捍卫影子图书馆，认为它们是获取被付费墙或区域限制锁定的全球知识的重要工具。
* **提示注入（Prompt Injection）：** 植入在网站 `llms.txt` 文件中的捐款请求被一些人视为“提示注入”，这引发了关于大语言模型是否能够或应该被“诱导”进行财务捐赠的讨论。
* **“黑手党”的类比：** 反对者将 AA 视为机会主义实体，将其比作通过盗版作品牟利的“黑手党”；而支持者则认为它是一个现代化的非营利性“公共图书馆”，为那些无法从传统出版商处获得足够服务的群体提供了至关重要的帮助。
这篇文章批判了“布尔思维”——即认为每一项陈述都必须被归类为真或假的教条。作者指出，虽然布尔逻辑在特定的封闭系统中十分有用，但将其应用于“现实世界”是一种缺陷，会导致非黑即白的二元对立思维。 核心问题在于语境。所有的真理都依赖于潜在的前提，然而没有任何单一的通用框架能够涵盖世界的复杂性。通过强行将现实塞入“真/假”的二元模具中，我们忽略了细微差别，压制了模棱两可的可能性，且往往会陷入只允许一种视角存在的威权式思维模式。 作者主张以“直觉主义”或构造性逻辑作为替代方案。这种方法不再追求二元真理，而是侧重于在特定语境下“构建证明”。该框架承认三种可能性：一个陈述可以被证明为真、被证明为假，或者在给定语境下保持未证/无意义状态。拥抱这一视角能让多种框架并存，使我们从错误二分法的“布尔牢笼”中解脱出来，从而能够更诚实、更灵活地应对生活与政治中的复杂性。
最近 Hacker News 上一篇题为《反对布尔逻辑》的文章引发了社区的强烈批评。评论者普遍认为该文章逻辑混乱，并指出其滥用技术术语，且未能提出布尔逻辑的可行替代方案。
批评者认为，作者混淆了语义真值与认知状态（如“未知”或“无意义”），而这些区别在标准一阶逻辑中早已可以轻松处理。许多人指出，布尔逻辑是一项基础工具，而非对人类心理或政治的全面模型；一些人认为反对布尔逻辑是对其在计算和形式验证中作用的误解。
此外，技术领域的贡献者指出，“二进制”逻辑并不等同于乔治·布尔最初的代数工作，后者为现代计算提供了机械基础。尽管参与者承认三值逻辑、模糊逻辑或直觉逻辑在特定情境下（如数据库中的空值或构造数学）确实存在且有用，但他们坚持认为经典的布尔逻辑仍然是一个必要、高效且通用的框架。总的来说，社区将这篇文章视为一种“稻草人谬误”，认为它未能深入探讨形式逻辑的既有领域。
此基准测试评估了六款 AI 编码工具使用 OpenSCAD 构建 3D 万神殿模型的能力。选择 OpenSCAD 是因为它基于文本且具有参数化特性，这使得大语言模型（LLM）能够通过代码（如用于圆柱的循环或用于圆顶的布尔运算）来推演几何结构，而无需操作复杂的 3D 软件界面。
**主要发现：**
* **工具与判断力：** 所有智能体均能成功对接 OpenSCAD 命令行界面以进行渲染和预览迭代。瓶颈不在于技术接口，而在于几何判断力和空间推理能力。
* **性能表现：** 响应速度较快的模型（如 Cursor）往往表现最差，而响应较慢、更谨慎的模型（如 Gemini 3.5 Flash High）通过结合真实尺寸和复杂的建筑细节（如方格天花板），取得了最高的质量。
* **人在回路（Human-in-the-Loop）：** 虽然全自动生成技术正在进步，但对于复杂的 CAD 任务，通过人工对渲染图进行标注来提供视觉反馈的“ModelRift”工作流程，仍优于纯文本指令。
* **可靠性：** 预览渲染与最终 STL 导出之间的差距仍然是一个长期存在的问题，这表明开发循环中的视觉保真度并不能保证生成整洁、可打印的网格模型。
总体而言，虽然目前没有任何模型能实现完美的建筑重建，但自动参数化设计的基准水平正在显著提升。
Hacker News 近期关于 OpenSCAD 建筑 3D 大模型基准测试的讨论，凸显了 AI 在降低 CAD 建模门槛方面的日益增强的能力。用户反馈称，虽然大模型在专业工程领域尚不完美，但在通过照片或尺寸将需求转化为 OpenSCAD 脚本以进行简单的“氛围编码”方面，其效用正不断提升。
然而，此次讨论中充斥着对 Google “Antigravity” 工具及其近期更新的严重质疑。开发者们对碎片化的计费方式、严苛的使用限制，以及相较于 Claude 等现有方案在可靠性上的下降表示不满。许多用户批评该“基准测试”本身过于主观且容易产生幻觉，并指出，尽管大模型能重现万神殿等标志性建筑，但在精确的、基于约束的机械设计方面仍显得力不从心。
讨论中反复出现的一个主题是：关于快速创新的“AI 兄弟”式乐观态度，与优先考虑稳定、供应商中立工作流的开发者务实关切之间存在冲突。尽管许多人对进步速度印象深刻，但普遍的共识是，目前的工具更适合业余爱好者的迭代尝试，而非关键任务工程，且厂商锁定效应依然是阻碍其广泛应用的主要障碍。
在最近的大峡谷州立大学毕业典礼上，苹果公司联合创始人史蒂夫·沃兹尼亚克就人工智能的兴起提出了令人耳目一新的见解。与其他因谈论人工智能而招致批评的演讲者（如埃里克·施密特）不同，沃兹尼亚克提醒毕业生们，他们最大的资产是“真正的智能”，这番话赢得了阵阵欢呼。 沃兹尼亚克承认人工智能是试图复制人类大脑功能的雄心勃勃的尝试，但他没有危言耸听，而是选择专注于人类的潜能。当毕业生们准备进入因自动化和新技术而迅速变化的就业市场时，沃兹尼亚克鼓励他们拥抱苹果公司标志性的理念：“不同凡想”（Think different）。他敦促学生们开辟属于自己的道路，而不是盲从他人的传统路径，并强调在不断演变的职业环境中，创造力和独特的个人视角仍然是成功的必备工具。
史蒂夫·沃兹尼亚克（Steve Wozniak）最近在毕业典礼演讲中表示，毕业生们拥有“真正的智慧”，这一言论赢得了阵阵欢呼。对于那些担忧自身在人工智能主导的就业市场中前景的学生来说，这番话产生了强烈共鸣。
这番演讲在 Hacker News 上引发了热烈且两极分化的讨论。许多用户将沃兹尼亚克的鼓舞语调，与当前科技公司首席执行官（如埃里克·施密特）常发表的那些“令人尴尬”或脱离现实的言论进行了对比，施密特关于人工智能的言论曾遭到外界的抵制。
讨论逐渐演变为一场关于科技行业现状的更广泛辩论。争论的焦点在于，人工智能究竟是一场真正的革命性进步，还是仅仅被企业用作“虚假繁荣”和榨取财富的工具。批评者认为，该行业已变得愈发“缺乏灵魂”，将激进的自动化和股东利润置于人的能动性和产品质量之上。
归根结底，这场对话凸显了一种代际和哲学上的分歧：尽管有些人仍对人工智能作为进步工具持乐观态度，但许多年轻的专业人士和观察者却深感愤世嫉俗，他们将当前的炒作视为对自身就业保障和人类专业价值的威胁。
欧洲联盟法院（CJEU）已批准欧洲自由软件基金会（FSFE）作为第三方介入 T-359/25 案，即“苹果诉欧盟委员会案”。这场法律纠纷的核心在于苹果公司对欧盟委员会的一项指令提出质疑，该指令要求苹果根据《数字市场法案》（DMA）为其设备提供硬件和软件的互操作性。
欧盟委员会的这一决定旨在提高透明度并改善开发者访问权限，确保他们能够将其应用程序与苹果的操作系统进行整合。FSFE 此次介入是为了支持委员会，旨在捍卫软件自由，并防止“守门人”公司将竞争对手拒之门外。
法院承认，该裁决将对自由及开源软件的发展产生重大影响，特别是在开发者将其工具连接到苹果生态系统的能力方面。这是 FSFE 第二次针对苹果参与与 DMA 相关的法律干预。通过参与此案，FSFE 旨在确保民间社会的利益得到体现，倡导以对开发者友好的方式执行《数字市场法案》，从而防止市场垄断，并为用户和创作者保留开放的互联性。
一个 Go 应用程序在监控面板显示健康的情况下，仍反复出现“context deadline exceeded”错误。根本原因是 Kubernetes/Docker 中的 **CFS（完全公平调度器）节流**机制，该机制将 CPU 限制为一种时间预算，而非固定的处理能力。
当容器化进程出现突发负载时，它可能会在短时间内耗尽 100 毫秒的 CPU 总预算，导致内核在周期剩余时间内暂停其执行。由于这种情况发生在毫秒级，平滑处理后的平均 CPU 指标往往维持在较低水平，从而掩盖了后台严重的延迟瓶颈。
对于延迟敏感型工作负载，标准的“平均 CPU”图表具有误导性。为诊断此问题，工程师应监控：
* **cgroup `cpu.stat`**：重点关注 `nr_throttled` 和 `throttled_usec`。
* **内核 PSI**：使用 `cpu.pressure` 检测资源饱和情况。
* **Steal Time**：在虚拟化环境中可通过 `top` 命令中的 `%st` 查看。
* **应用层检测**：监控 Goroutine 调度延迟，以识别应用程序何时因缺少 CPU 时间而被阻塞。
归根结底，开发者必须超越平均利用率指标，以检测实际的 CPU 匮乏问题，从而确保系统性能优良，而非仅仅停留在“高效”节流的表象上。