深度安全 Deepsec 6 分钟前

DeepSeek 是一款基于智能体(Agent)的自托管漏洞扫描器,专为对大规模代码库进行深入分析而设计。与常规扫描器不同,它利用具备高级“思考”能力的尖端 AI 模型来发掘复杂且长期存在的安全漏洞。 主要特性包括: * **可扩展性:** 支持通过并行工作节点(利用 Vercel Sandbox)进行分布式执行,并具备容错和断点续传功能,可从上次中断处精确恢复扫描。 * **工作流:** 采用智能体驱动的设置,用户可以通过定义项目特定上下文(在 `INFO.md` 中)来引导 AI 关注关键组件,从而最大限度地减少噪音。 * **操作:** 提供全面的 CLI 工具,用于扫描、分类、重新验证和报告。用户可以执行全库扫描,或针对变更代码进行定向的 PR 模式分析。 * **安全与成本:** 鉴于计算需求密集,扫描成本可能较高;系统支持通过 Vercel AI Gateway 实现高并发访问。在安全方面,通过在隔离沙箱中运行扫描,可限制潜在风险并防止 API 密钥泄露。 DeepSeek 专为开发者打造,将高阶 AI 推理转化为可执行的安全情报,是维护庞大且持续演进的代码库安全状态的有效(尽管定位为高端)工具。

抱歉。

从手机到电脑,无需线缆。以原始质量传输照片、视频和文档。在两台设备上打开 AirDows 并扫描二维码。在另一台设备上也打开它并扫描二维码。无需账户,无需重新压缩,传输过程中两台设备均保持活跃状态。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 我用 WebRTC 构建了一个基于浏览器的 P2P 文件传输工具 (airdows.com) 6 分,作者:SamOkampo,2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 jschveibinz 2 小时前 | 下一条 [–] 你网页上有些内容是英语,有些是西班牙语或葡萄牙语。在发布到 HN 之前,你可能需要仔细检查一遍。 回复 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:
帕索伊德 Parsoid 35 分钟前

Parsoid 是一个双向运行时解析器,用于将 MediaWiki 维基文本转换为 HTML/RDFa,并能将其还原。它最初于 2012 年作为 Node.js 服务开发,旨在支持可视化编辑器(VisualEditor),并于 2019 年移植到 PHP。自 MediaWiki 1.35 版本起,Parsoid 已被整合进 MediaWiki 核心。 该项目旨在实现“解析器统一”,目标是用 Parsoid 替换 MediaWiki 原生的解析器。截至 2024 年初,它已开始在部分维基媒体生产站点上作为阅读视图的默认解析器,并正在分阶段推广,最终将覆盖所有维基站点。 Parsoid 确保了高保真的转换,防止在编辑过程中出现数据丢失和“脏差异”(dirty diffs)。虽然过去是通过 RESTBase 进行代理,但该系统目前正被紧密集成到 MediaWiki 的核心架构中。对于开发者而言,Parsoid 可作为 composer 库使用。尽管存在遗留的内部 REST API,但该 API 正逐步被弃用,转而采用核心 REST HTML 页面端点。开发和代码审查通过维基媒体的 Git 仓库和 Gerrit 进行管理,并为本地环境和持续集成提供了全面的测试工具。

抱歉。

Macintosh 图标:一张图片胜过千言万语,而图标则是探索复古应用程序的有趣方式!将鼠标悬停在任何图标上,即可查看文件名称、来源国家及媒体名称;随后前往“关于”页面,即可找到指向 Macintosh Garden 原始媒体的链接。Finder 应用程序和文档图标以绿色高亮显示,悬停在它们上方将显示其文件类型和创建者代码。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿 登录 复古 Macintosh 软件可视化目录 (marciot.com) 10 分,作者 zdw,2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 gblargg 10 分钟前 [–] 如果能把热门软件放在前面就好了。我翻了好几页,虽然我在 2000 年代末大量使用过经典 Mac OS,但其中只有百分之一是我认识的。 回复 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

2026年7月17日,美国食品药品监督管理局(FDA)批准了Lipfendra(enlicitide),这是首款获批用于治疗成人高胆固醇血症(包括杂合子家族性高胆固醇血症,即HeFH)的口服PCSK9抑制剂。与以往需要注射的PCSK9抑制剂不同,Lipfendra是一种每日服用一次的药片,与饮食控制和运动相结合,可用于降低“坏”LDL胆固醇。 此次获批基于两项成功的临床试验,共有超过3200名正在接受他汀类药物治疗的受试者参与。与服用安慰剂的患者相比,服用Lipfendra的患者LDL-C水平显著降低,其中动脉粥样硬化性心血管疾病患者平均降低56%,杂合子家族性高胆固醇血症患者平均降低59%。该药物耐受性良好,副作用主要局限于轻微的腹泻和头晕。 Lipfendra为胆固醇管理提供了一种非注射性的替代方案,标志着在治疗心脏病发作和中风这一主要风险因素方面取得了重大进展。该药物由默沙东(Merck Sharp & Dohme LLC)研发,因其有望解决国家公共卫生领域的关键需求而被授予优先审评资格。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 FDA 批准了一种新型胆固醇药物 (fda.gov) 5 分 | mgh2 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 JumpCrisscross 14 分钟前 [–] “前蛋白转化酶 (PPCs) 是一类能够激活其他蛋白质的蛋白质家族。许多蛋白质在最初合成时处于无活性状态,因为它们含有阻碍其活性的氨基酸链。前蛋白转化酶通过移除这些链来激活蛋白质” [1]。 [1] https://en.wikipedia.org/wiki/Proprotein_convertase 回复 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 指导方针 | 常见问题 | 列表 | API | 安全性 | 法律 | 申请 YC | 联系我们 搜索: ```

本多元微积分课程为基于向量的数学和高维分析提供了全面的基础。课程分为四个主要模块,结构安排如下: * **向量与空间几何:** 涵盖向量运算、点积与叉积、行列式,以及直线和平面方程。 * **向量函数:** 探讨参数曲线的行为及其性质。 * **偏导数:** 聚焦于多元微分,包括链式法则、方向导数、梯度、切平面以及拉格朗日乘数法等优化技术。 * **重积分:** 详述二重和三重积分,运用极坐标系、柱坐标系、球坐标系以及变量替换。 * **向量微积分:** 最后介绍进阶主题,包括向量场、线积分、保守场、格林定理、斯托克斯定理,以及旋度和散度分析。 本系列课程共35讲,专为数学和工程专业的学生设计,旨在系统地建立掌握多元微积分所需的理论与实践技能。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 LLM 集成多元微积分课程 (academa.ai) 6 分,由 sinaatalay 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 sinaatalay 1 小时前 [–] 该大语言模型(LLM)拥有视频的完整上下文,包括视觉内容。试着与它对话吧。跳转到视频的任何时间点,并针对你所看到的内容提问。 回复 考虑申请 YC 2026 年秋季批次!申请开放至 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

2026年7月16日,欧洲人权法院(ECHR)裁定,瑞士未能在两名个人被拘留期间提供充足的纯素餐食,侵犯了他们的权利。 此案源于2018年,当时日内瓦尚多隆监狱(Champ-Dollon prison)的一名动物权利活动人士被拒绝提供营养均衡的纯素饮食。在瑞士国内法律上诉失败后,此案被提交至欧洲人权法院,另一名曾接受精神病治疗的患者也加入了此案。法院结论认为,瑞士违反了《欧洲人权公约》第9条,该条款保障思想、良心和宗教自由。 至关重要的是,该判决正式承认伦理纯素主义和反物种歧视主义属于受保护的哲学信仰。法院强调,除非存在无法克服的实际或经济困难,否则当局有“积极义务”去满足这些信仰的需求。 这一里程碑式的裁决与此前类似的先例一致,例如2020年英国就业法庭裁定伦理纯素主义是一种受保护的特征。通过确认这些保护措施,欧洲人权法院要求其司法管辖区内的国家,必须在机构要求与被剥夺自由者真诚持有的信仰之间取得公平平衡。

抱歉。

前中情局官员拉里·约翰逊(Larry Johnson)认为,1993年美国针对中国“银河号”货轮的事件(美方当时切断了该船的GPS信号)促使中国开启了历时数十年的北斗卫星导航系统(BDS)建设。 起初,在2025年的一场冲突中,伊朗军队因导弹过度依赖GPS而遭到美国和以色列电子战部队的轻易压制。然而,到2026年,伊朗成功将北斗系统整合进其武器库中。这一转变起到了决定性作用,得益于北斗先进的抗干扰能力、卓越的区域精度以及安全通信,伊朗弹药得以绕过西方防空系统,并以全新的精度打击了高价值目标。 约翰逊认为,美国过去将GPS武器化的做法无意中刺激了中国,促使其开发出一种能够抗压且已足以媲美甚至超越美国能力的全球性替代系统。通过向伊朗等盟友提供独立且抗干扰的导航网络,北京有效地抵消了美国的一项关键战略优势。这一转变不仅提高了伊朗打击行动的战术效能,也降低了波斯湾地区国家对美国安全保障的信心。

几个世纪以来,数学家们一直认为传统的小学乘法运算(复杂度为 $O(n^2)$)是可能的最快方法。直到 1960 年,23 岁的阿纳托利·卡拉茨巴(Anatoly Karatsuba)发现了一种代数技巧,通过用加法代替部分乘法,减少了所需的乘法运算次数。通过对大数进行递归拆分,卡拉茨巴算法实现了约 $O(n^{1.585})$ 的复杂度,在处理大数据集时明显优于标准方法。 乘法是计算中的一项基本操作,支撑着从加密到人工智能的一切应用。由于这些运算的效率具有巨大的经济意义,寻找乘法“终极”速度极限的探索已经持续了数十年。2019 年,数学家大卫·哈维(David Harvey)和约里斯·范德霍芬(Joris van der Hoeven)开发出一种复杂度为 $O(n \log n)$ 的算法,这在理论上是迄今为止最高效的方法。然而,这是一种“银河算法”,意味着它只有在极其庞大的数据规模下才表现出优越性,目前在实际应用中尚不可行。$O(n \log n)$ 是否代表了乘法运算的绝对数学极限,仍是该领域的“圣杯”,这为未来可能再次挑战当前共识的突破留下了空间。

Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 数学家们仍然不知道相乘数字的最快方法 (scientificamerican.com) 13 点 由 beardyw 2 小时前发布 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助 bombela 7 分钟前 [–] 文章在描述完问题后就结束了吗?我感觉意犹未尽。 回复 考虑申请 YC 2026 年秋季班!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

知名播客主兼美国民主社会主义者协会(DSA)成员艾玛·维格兰(Emma Vigeland)在《Vox》播客节目中表示,只要政治人物的政策主张符合社会主义目标,其个人信仰就无关紧要。维格兰暗示,即使候选人是“秘密纳粹分子”,只要他们在议题上投下“正确的一票”,她对此也毫不在意,此番言论引发了巨大争议。 这些言论让主持人阿斯特德·赫恩登(Astead Herndon)感到震惊,并招致了猛烈的抨击。批评者指出,这证明了极左派内部存在一种危险的“目的证明手段正确”的政治哲学。在此次风波之前,DSA 已因其党内候选人出现与纳粹相关的“骷髅头”(Totenkopf)纹身而受到审视。维格兰的言论进一步加剧了外界对调查 DSA 资金来源及其动机的呼声,一些政治内部人士甚至将该组织视为威胁民主党及国家稳定的负面因素。

这份摘要概括了本文关于当前企业采用人工智能现状的核心论点。 *** 作者观察到,私营和公共部门中普遍存在一种“集体精神错乱”,各机构在缺乏证据表明这些项目能带来生产力提升的情况下,仍强制推进人工智能的整合。根据丰富的实地经验,作者指出所观察到的人工智能计划成功率为零,并指出失败往往被操纵的指标或完全缺乏衡量标准所掩盖。 这种动态是由领导层中的“狂热信徒”和为了满足管理层要求、避免被解雇而进行“人工智能洗白”的愤世嫉俗的员工共同驱动的。由于高管担心承认人工智能的局限性会损害他们自身的信誉和董事会层面的战略,一种欺骗循环由此产生。这种环境扼杀了诚实的决策,浪费了资源,并惩罚了持不同意见的声音。 对于身处此类机构中的人,作者建议: * **对于试图改善现状者:** 利用一对一会议建立信任,让一线员工参与进来,避免在群体场合挑战宏大的人工智能叙事。 * **对于试图生存者:** 减少对人工智能相关炒作的接触,优先寻找新的、更理智的工作机会,并接受当前组织功能失调很可能会持续到泡沫不可避免地破裂为止这一事实。

```Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿登录 AI 热潮正在摧毁全球决策机制 (mataroa.blog) 11 分,发布者:subset,1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 gnabgib 1 小时前 [–] 昨天的小规模讨论(43 分,7 条评论) https://news.ycombinator.com/item?id=48956153 回复 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

布兰登·史密斯(Brandon Smith)认为,美国宪法是为同质化、有道德且有宗教信仰的社会而设计的,而他认为这些条件已不复存在。他主张,现代社会对“包容性”民主的推动,已经破坏了共和制运作所需的社会结构,导致在他看来,一些不合格或有害的群体——包括他所称的患有精神疾病、智商低下或在意识形态上具有破坏性的人——获得了过大的影响力。 史密斯断言,当前的政治体制已受到根深蒂固的官僚主义和选举操纵的腐蚀,无法挽救。他质疑“自由意志主义者”对严格遵守宪法的崇敬,并认为开国元勋在投票权和政治参与方面采取的排他性做法对于国家安全是必要的。最终,他认为现行政府已无法通过现有的法律途径(如通过选民身份法)进行自我改革。因此,史密斯得出的结论是,共和国的生存可能需要“超越宪法”——通过党派性的法外行动或民众革命,来剥夺他所认为的“内部敌人”的权力。他认为,不采取行动等同于国家自杀。

Mag World 致力于培养一种直观的尺度感——不仅是“更大”或“更小”,而是具体大多少、小多少。每一个量级又是什么样的呢?为了建立这种认知,我们采用了一种侧重于数量级的简化记数法。我们将这种记数法广泛应用于对生命、宇宙以及万物的观察之中。阅读更多

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 培养直觉化的尺度感 (magworld.pw) 4 分,vismit2000 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

**Castor** 是一款命令行工具,旨在简化将网页视频流投屏至智能电视的过程,从而绕过传统屏幕镜像带来的延迟和分辨率问题。通过利用无头模式(headless)的 Chrome 提取视频流,并使用 FFmpeg 进行转码,Castor 允许你直接在任何支持 DLNA/UPnP 的设备(如三星、LG、索尼等)上播放网页内容。 **主要功能:** * **集成发现与浏览:** 使用交互式终端界面扫描设备、通过 TMDB 浏览电影,或直接按 IMDb/TMDB ID 进行搜索。 * **自动化提取:** 处理导航、iframe 以及基础的机器人防御机制(如 Cloudflare Turnstile),以获取视频链接。 * **字幕:** 支持通过 Whisper 自动生成字幕,并将其直接压制进视频流中。 * **灵活部署:** 提供原生二进制文件(通过 Homebrew 安装)或 Docker 镜像(包含 Chrome、FFmpeg 和 FFprobe)。 **快速上手:** 1. 运行 `castor scan` 以识别你的电视。 2. 配置 `config.yaml`,填入你的设备名称和 TMDB API 密钥。 3. 运行 `castor cast` 进行浏览,或运行 `castor cast player [URL]` 直接进行投屏。 *注:macOS/Windows 需要原生安装以通过主机网络实现正常的设备发现。*

最近的一场 Hacker News 讨论引起了人们对一个新 GitHub 项目的关注,该项目是一个用于流媒体播放的命令行工具。用户可以通过该软件选择电影,它能自动从各大网站定位流媒体资源,进行实时视频转码,并在投屏到电视前将字幕嵌入视频中。 讨论帖中的用户探讨了该工具绕过 Cloudflare “Turnstile” 安全验证的能力。尽管一些人对其绕过方式之简便感到惊讶,但项目作者澄清称,该工具不仅是模拟简单的鼠标点击,还通过伪造浏览器签名来规避检测。观察人士指出,该工具本质上是 IPTV 的一种替代方案,为用户提供了一种直接从流媒体平台获取并投屏内容的精简方式。

“外挂工程”(Harness engineering)是指通过优化人工智能代理的外部环境,而非修改底层模型来提升其性能的一种实践。由于通用 AI 模型缺乏组织特定的运营背景,它们往往难以适应专有工作流程、质量标准和非功能性需求。 通过创建一个结构化的“外挂”——一个包含组织内部流程、编码标准、异常历史和约束条件的存储库,开发人员可以显著改善代理的输出。该环境充当了一座桥梁,将代理转化为能够理解本地意图、权限和安全边界的胜任工作者。 这种方法依赖于一个迭代反馈循环,即从过去的成功和失败中吸取的经验被编写进存储库中。这使得组织的判断能够累积:随着环境的演变,代理的性能会变得更加连贯和可靠。归根结底,“外挂工程”是为代理提供必要的背景、工具和可执行约束的“最后一公里”工作,旨在有效地执行特定领域的任务,并确保组织的隐性知识——即流程冰山水面下的部分——能够被 AI 完全获取。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Harness Engineering (github.com/lopopolo) 6 分,由 handfuloflight 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 lopopolo 1 小时前 [–] 大家好,我是本文作者,也是 OpenAI 关于此主题开创性博客文章的作者。请告诉我我能如何帮助大家开始使用。 回复 考虑申请 YC 2026 年秋季班!申请截止日期为 7 月 27 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

**transcribe.cpp** 是一个基于 ggml 的全新高性能转录库,旨在解决跨平台本地语音转文字应用的分发难题。该库由 Handy 的维护者开发,旨在解决现有方案(如 ONNX 或 whisper.cpp)中常见的碎片化和可靠性问题。 主要功能包括: * **广泛的模型支持:** 兼容 16 个自动语音识别 (ASR) 系列(60 多种模型),并经过完整的数值验证和词错率 (WER) 测试,以确保准确性与参考实现一致。 * **硬件加速:** 可在 Vulkan、Metal、CUDA 和 TinyBLAS 上高效运行。 * **易于使用:** 可作为 whisper.cpp 的近乎直接替代品,并支持流式和批量转录。 * **多语言绑定:** 提供对 Python、JavaScript/TypeScript、Rust 和 ObjC/Swift 的原生支持。 transcribe.cpp 旨在使本地推理更加普及和可靠,让开发者无需依赖云服务即可在 Mac、Windows 和 Linux 上运行最先进的模型。作为 v0.1.0 版本,作者欢迎社区提供反馈和贡献,以随着项目的成熟进一步完善该库。所有模型均可通过 Hugging Face 的 `handy-computer` 组织获取。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Transcribe.cpp (cjpais.com) 17 点,由 sebjones 发布于 51 分钟前 | 隐藏 | 过往 | 收藏 | 2 条评论 aarvin_roshin 8 分钟前 | 下一条 [-] 非常精准: > 我认为展望未来,出于各种原因,更多的推理任务将开始在本地进行。这使得分发问题变得至关重要。为了让更多应用程序在本地运行推理,我们需要降低运行推理的门槛。 这使得这些项目更值得信赖,也更容易上手: > 这里面的任何文字是由人工智能编写的吗?没有。它们出自我的口述或我的指尖。 回复 arikrahman 15 分钟前 | 上一条 [-] 出色的工作。结合今天头条那个 500kb 的 TTS(语音合成)模型,我可以看到整个技术栈正在整合到一起。 回复 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题解答 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:

自 2006 年以来,“游戏实时渲染进展”(Advances in Real-Time Rendering in Games)SIGGRAPH 课程一直是游戏图形领域尖端发展的首要论坛。在过去的二十年里,该系列课程宛如一个“活的时间胶囊”,汇集了业内远见卓识之士,共同推动电子游戏制作的技术边界。 该课程不仅仅是一个技术展示平台,更强调诚实、严谨的经验分享。演讲者不仅分享他们的成功与创新,还分享他们在面对现实约束、权衡取舍以及从失败的实验中汲取的宝贵教训。这种透明与协作解决问题的文化,孕育了一个致力于持续学习和技术成长的社区。 通过深入探讨复杂渲染管线背后的“如何实现”与“为何如此”,该项目为业内最具挑战性的软件难题提供了深刻见解。所有往届演讲均已存档,并可在“Advances in Real-Time Rendering”官方 YouTube 频道观看,为全球的开发者、研究人员和技术美术提供了全面的资源。

``` Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 游戏实时渲染技术的进展 (realtimerendering.com) 6 分,由 oumua_don17 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助 jfim 21 分钟前 [-] 他们的 YouTube 频道对虚幻引擎的 Nanite 虚拟几何系统进行了非常深入的解析:https://youtu.be/eviSykqSUUw 去年关于 idTech 8 全局光照的那期也非常有趣。 回复 欢迎申请 YC 2026 年秋季班!申请截止日期为 7 月 27 日。 社区准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

彼得·C·厄尔(Peter C. Earle)认为,我们已经进入了“万亿斯坦”(Trillionistan)时代。在这个时代,曾经仅见于天文学和物理学领域的万亿级数字,已成为全球经济的常态。这一转变是由真正的技术创新、企业规模化、货币通胀以及不断膨胀的国家债务共同驱动的。 厄尔警告称,不要将这些高额的名义数字与实际生产力混为一谈。虽然一些万亿级的估值反映了合理的财富创造和对未来盈利能力的资本化,但另一些则是货币贬值、信贷宽松和投机性“错误投资”的征兆。当这些庞大的数字变得司空见惯时,可能会导致公众对债务和购买力下降产生麻木感。 归根结底,厄尔强调并非所有的万亿都是等价的。区分真正的价值创造与通胀性或投机性增长至关重要。随着我们逐渐习惯这些天文数字,我们可能会忽略底层经济究竟是在真正增长,还是仅仅在膨胀;与此同时,通往“千万亿斯坦”(Quadrillionistan)的财政基础已然在铺设之中。

汽车记者乔尔·费德(Joel Feder)和蒂姆·埃斯特达尔(Tim Esterdahl)最近在驾驶捷豹路虎媒体试驾车时,遭到了警方高风险的截停检查。在两起事件中,警员均将车辆围堵并拔枪逼近,起因是“Flock Safety”自动车牌识别(ALPR)系统发出的警报。 这些拦截是由一个错误的数据库条目引发的:系统将报失车牌“34 DTM”判定为搜索关键词,导致Flock的人工智能标记了任何包含这些字符的车辆,而忽略了中间的特殊数字。尽管Flock坚持认为该系统通过识别部分匹配已按设计运行,但这些事件突显了自动化警务中缺乏核实环节的危险性。 鉴于Flock每月处理200亿次读取数据,即使准确率很高,仍会产生数百万次潜在错误。这些案例加剧了隐私倡导者对广泛且监管不足的ALPR网络部署的担忧。批评人士认为,依赖有缺陷的AI警报会导致不必要的武装对峙,并助长了对守法公民的大规模监控。虽然Flock目前正与联邦调查局(FBI)合作以提高数据准确性,但此次事件有力地提醒了人们:当警方依赖算法生成的“命中结果”而非个别针对性怀疑时,存在巨大风险。

本系列更新记录了 OpenAI 对 Codex 和 ChatGPT Work 使用限额的频繁调整。在用户数量激增至 900 万活跃用户的背景下,团队始终将用户体验放在首位,通过主动重置速率限制来满足需求。 这些重置主要有两个目的。首先,它们是一种“善意”的体现,旨在庆祝里程碑时刻、发布新功能,或在系统维护、意外延迟及技术故障(如缓存错误或账户限额异常)期间对用户进行补偿。其次,它们也是一种实用的故障排查工具;重置限额使工程团队能够在不影响用户的前提下,维持系统稳定,同时深入调查所报告的问题或基础设施瓶颈。 这些沟通传达出的基调体现了一种透明且敏捷的文化,内部常称之为“重置周”(RESET week)。尽管流量激增带来了高昂的成本和基础设施挑战,团队仍经常提供“储备”重置,使用户能够补充账户配额并继续进行大规模实验。总而言之,这些更新突显了该平台在扩展过程中对快速迭代和“客户至上”理念的承诺。

最近 Hacker News 上的一场讨论突显了“Codex 重置”的趋势,即用户频繁遇到 AI 使用限额在未预先通知的情况下被重置的情况。许多用户对这种“超值体验”感到兴奋,并指出这些重置使得他们能够进行高强度任务(例如运行复杂的“Sol”模型),而如果按标准 API 定价计算,这些任务的成本会高得令人望而却步。 关于 OpenAI 战略的猜测甚嚣尘上。尽管一些用户很欣赏这种慷慨之举以及由此带来的“炒作效应”,但另一些人认为,该公司是在大举消耗资金,以在潜在的 IPO 前保持市场主导地位。观察人士指出,这种重置创造了一种不可持续的使用模式,让资深用户不禁怀疑这种慷慨还能维持多久。 此次讨论还将此与 Anthropic 更严格、有时限的重置窗口进行了对比,一些人认为后者对用户不太友好。归根结底,虽然社区目前正享受着这种“免费盛宴”,但大家达成了一个共识:这种在算力上的激进投入只是为了巩固开发者心智份额的临时策略,而非其商业模式的长期特征。

这篇文章由安德烈亚·威德伯格(Andrea Widberg)撰写,重点揭露了《观点》(*The View*)节目主持人桑妮·霍斯汀(Sunny Hostin)被指存在的伪善行为。霍斯汀常在节目中抨击美国社会的“特权”现象,然而,当她的儿子加布里埃尔(Gabriel)因擅闯韦斯特切斯特县(Westchester County)的铁路轨道被拘留时,霍斯汀却被指利用自己的地位试图干预此事,从而引发舆论质疑。 执法记录仪画面显示,霍斯汀在向警方施压、要求不传讯其子时,多次亮出自己前联邦检察官和《观点》节目主持人的身份。她还反复强调儿子就读于哈佛大学且无犯罪记录,以此凸显其精英地位。威德伯格认为,霍斯汀试图利用财富、媒体平台和职业背景为儿子寻求从轻发落,这与她公开反对利用影响力逃避后果的立场直接矛盾。文章最后指出,尽管保护子女是人之常情,但霍斯汀依赖她平日里口诛笔伐的“特权”,暴露了其政治言论中根本的双重标准。

在最近的一次新闻发布会上,LANA项目组公布了关于望月新一(Shinichi Mochizuki)的宇宙际泰希米勒(IUT)理论形式化验证的阶段性成果。 经过两年的分析,该团队得出结论,望月新一论文中定理3.11到推论3.12之间的逻辑转换目前是“不可形式化”的。不过,他们选择暂不做出最终定论,并指出望月新一本关于该特定点的解释近期已开始发生变化。 LANA项目的一项重大成就是发布了一份由外部研究人员撰写的综合报告,为更广泛的数学界提供了对IUT核心论证易于理解的分析。该报告还包含了与2018年Scholze-Stix报告的对比研究。完整的演示文稿和详细文档可通过其项目网站及YouTube频道获取。

```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录望月新一的ABC猜想证明漏洞已被Lean验证 (twitter.com/fumiharukato)10 分,ogogmad 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论帮助 r721 19 分钟前 [–] /r/math/ 讨论:https://old.reddit.com/r/math/comments/1uz6po8/latest_iut_fo...回复 考虑申请 YC 2026 秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

所提供的文本是 PDF 文档的原始编码二进制数据。由于其中包含非文本结构元素、元数据和压缩对象流,因此无法作为普通文本进行阅读。简而言之,这是一种机器可读的文件格式,而非包含可读信息的一致性文档。

一篇名为《实时 LuaTeX》(Real-Time LuaTeX)的新论文介绍了一种能够以 1 毫秒延迟重新编译大型 LaTeX 文档的架构。该系统通过逐段重编译,实现了 $O(1)$ 的性能表现,即无论文档总大小如何,编译耗时均保持不变——这比 Typst 的 $O(n)$ 线性缩放有了显著提升。这种性能提升的代价是不可见页面在短期内会出现不一致,但这些页面会在后台自动收敛。 该技术为“texlode”提供了支持,这是一个基于浏览器的协作编辑器,计划于 2026 年 10 月发布。Texlode 旨在提供一套现代化的功能,包括基于 CRDT 的协作、Word 转 LaTeX 导入以及可印刷的 PDF 生成。 Hacker News 上的讨论褒贬不一;虽然评论者承认其性能基准令人印象深刻,但也有人批评该论文对 Typst 持有轻视态度。批评者认为,Typst 优越的语法仍然是一个主要优势,并暗示作者的论调可能受到其商业竞争对手身份的影响。

Amiga 免费软件档案馆是一个规模庞大的精选合集,旨在保护 32 位计算的黄金时代。它免费提供数以千计的经典游戏、应用程序、演示、音乐和实用程序,这些软件最初发布于 20 世纪 80 年代中期至 90 年代末。 该档案馆汇集了超过 10GB 的软件,资源来源广泛,包括英国的 17 Bit Software 和标志性的 Fred Fish 合集等传奇公共领域库。它还保存了包括 The Assassins 和 LSD 在内的各个国际“圈内”组织的成果,以及来自各地 Amiga 用户群的专业内容——从 TBAG 和新西兰 Amiga 用户组等普通爱好者俱乐部,到 Amiga 业余无线电用户组等利基社区。此外,档案馆还收录了英国 JAM 磁盘杂志等经典数字出版物。 通过将这些分散的合集整合到一个可搜索的存储库中,该档案馆为那些希望探索定义了 Amiga 互联网前时代的软件生态系统的爱好者们,提供了一份至关重要的历史资源。

Hacker News 新闻 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 经典 Amiga 游戏,免费下载 (downer.tech) 14 点,由 doener 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 帮助 Lerc 1 分钟前 | 下一条 [–] Fish 磁盘集对 Amiga 社区做出了不可思议的贡献。一位敬业且富有争议的策展人所产生的影响怎么强调都不为过。 我认为,如果当今的许多平台能有人像 Fred Fish 那样做出类似的贡献,它们将会发生质的改变。 我没有能力付出这样的努力,我想很少有人能做到,而且我不确定这种事能否通过商业化手段实现。其动力必须纯粹源于对工作质量的追求。 回复 urbandw311er 6 分钟前 | 上一条 [–] 每次去这个存档里查找我卖出的第一款软件时,总是很有趣。 回复 考虑申请 YC 2026 年秋季批次吧!申请开放至 7 月 27 日。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

美国哥伦比亚特区联邦巡回上诉法院已发布临时中止令,允许美国邮政署继续推行一项拟议规则,即要求各州在寄出选票前,必须先根据联邦“公民身份名单”核实选民登记信息。这一裁决暂停了此前地方法院因美国全国有色人种协进会(NAACP)诉讼而发布的禁令。 上诉法院合议庭认定,由于该规则尚处于提议阶段,NAACP提出的挑战为时过早。此外,法院认为该规则不太可能违反2021年关于选举邮件投递的和解协议。法官们强调,阻挠该规则将导致美国邮政署无法在2026年11月大选前敲定其政策,并指出选举一旦结束便无法“重来”。 虽然此项裁决对政府而言是一次程序上的胜利,但并未就相关行政令的最终合法性做出裁定。值得注意的是,马萨诸塞州一名法官发布的另一项禁令目前仍在阻止该规则在23个州的实施。关于选举安全与投票便利性之间平衡的问题,该政策仍是激烈争论的焦点。

纽约市长佐兰·马姆达尼(Zohran Mamdani)发起了一项打击欺诈性住房行为的新举措。此前,一系列名为“租房欺诈听证会”的活动收集了数千名租户的证词。 这项举措的核心在于一项新规定:要求房东和房地产经纪人在房源列表中标注图片是否由人工智能生成或经过数字化修改。该政策旨在保护租户——尤其是远程签署租约的租户——免受因照片无法准确反映房屋真实状况而产生的误导。 除了解决数字化欺诈问题外,该政府发布的《租房欺诈报告》还引入了更广泛的保护措施,包括正式承认租户工会的地位以及对城市法规执行系统进行现代化升级。这些措施是在有关霉菌、害虫和隐性收费等长期未决问题的广泛举报后提出的。通过将租户的经历转化为政策,马姆达尼市长旨在追究房东责任,并确保全市五个行政区拥有更安全的住房标准。

纽约市长曼达尼(Mamdani)正在打击房地产挂牌信息中滥用人工智能生成图像的行为,称这些做法具有欺骗性,误导了潜在租户。房东越来越多地利用人工智能对公寓进行“虚拟布置”,往往扭曲房间尺寸或凭空捏造本不存在的结构特征。 这一举措在“黑客新闻”(Hacker News)网站上引起了广泛讨论,并得到了用户的强烈支持,他们认为这些挂牌信息具有欺骗性,且在物理上是不可能实现的。评论者指出,当前的人工智能工具经常歪曲空间,导致租房者在实地考察时发现实际单元与网上呈现的情况不符,从而产生挫败感。 尽管一些用户质疑现行法规是否足够,或者是否需要出台新的条例,但共识是该技术目前助长了虚假广告。这项倡议旨在强制要求透明度,许多人建议披露信息是最低要求,尽管有些人更倾向于彻底禁止。归根结底,此次打击行动旨在让房东对误导性内容负责,确保房地产的数字化呈现能够立足于现实。

在这一期《EconTalk》节目中,主持人拉斯·罗伯茨(Russ Roberts)采访了全球玩具巨头斯平玛斯特(Spin Master)的联合创始人、同时也是《无需经验》(*No Experience Necessary*)一书的作者罗南·哈拉里(Ronnen Harary)。 哈拉里认为,在二十多岁时创业是“押注自己”的有力方式。他指出,许多年轻人因为对财务风险的误解而回避创业,却忽视了为他人工作而虚度时光、埋没潜能这一更大的风险。 在回顾自己的创业历程时,哈拉里分享了他首款产品“Earth Buddy”的故事——这是一款简单的草坪种植新奇玩具,它促成了一笔与凯马特(Kmart)合作的改变人生的交易。他强调,年轻其实是一种优势,因为成熟的专业人士往往乐于指导和支持年轻且充满激情的创新者。 讨论探讨了玩具行业的演变,从“魔术棒”(Devil Sticks)这类风靡一时的流行玩具,到《爆丸》(*Bakugan*)和《汪汪队立大功》(*PAW Patrol*)这类复杂的叙事性热门产品。哈拉里强调了这些产品如何为儿童创造出有意义的“生活体验”。最终,哈拉里将商业重新定义为一种极具创造性的协作艺术形式,一场旨在为世界带来新价值和快乐的人际互动“交响乐”。

```Hacker News新消息 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿登录从锯末到《汪汪队立大功》:斯平玛斯特的故事(嘉宾:Ronnen Harary)[音频] (econtalk.org)3 分,mooreds 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 考虑申请 YC 2026 年秋季批次!申请截止日期为 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索: ```

“硬核独立网络”(Hardcore IndieWeb)是一种追求全面数字自主的哲学,它拒绝使用复杂的内容管理系统(CMS)和基于订阅的博客服务,主张回归 90 年代式的网页简洁性。 其核心前提是:如果你的内容仅存储于第三方数据库中,那么你并不真正拥有它。为了实现独立,Newbold 提倡一种“本地优先”的工作流程:直接在电脑硬盘上以原始 HTML 文件的形式创作网站。通过仅使用文本编辑器和基础文件传输协议(SFTP)将文件上传至主机,你可以确保网站完全可移植并处于你的完全掌控之下。 这种手动管理过程——将索引页、归档和 RSS 订阅源作为独立文件处理——消除了对框架、数据库或每月 SaaS 费用的依赖。虽然这需要学习基础的 HTML 知识,但这种方法被认为具有深刻的回馈感与赋能感。通过剥离现代技术层,你重新夺回了自己在网络上的存在权,确保即使托管服务消失,你整个数字足迹仍能安全备份,并随时准备迁移至任何服务器。

最近一篇名为“硬核独立网络”(Hardcore IndieWeb)的 Hacker News 讨论探讨了以每天约 0.01 美元的成本独立托管个人网站的优劣与挑战。 参与者就真正的“自托管”与依赖现代基础设施的实用性展开了辩论。一些用户提倡使用 Nginx 或 Caddy 等工具在家庭硬件上进行本地托管,以避开 GitHub Pages 或 Cloudflare 等第三方平台;而另一些用户则强调了其中的重大障碍,包括将家庭网络暴露给机器人带来的安全风险、住宅宽带服务商(ISP)的限制、管理动态 IP 地址的复杂性,以及域名注册商的脆弱性。 最终,讨论得出的共识是折中方案:虽然运行个人服务器是一种怀旧且具有教育意义的“回归本源”方式,但许多人更倾向于租用低成本的 VPS。这在独立性与可靠性之间实现了平衡,既能保护家庭网络免受不必要的流量干扰,又能保持对自己数字内容的自主权。这场对话凸显了技术社区中一种日益增长的愿望:在不受中心化平台限制的情况下,夺回在线个人空间。

在为《美国思想家》(*American Thinker*)撰写的一篇评论文章中,J.B.舒克(J.B. Shurk)批评了学术界的现状。文章重点提及了近期国会听证会上的一个片段:加州大学旧金山分校校长、儿科医生塞缪尔·霍古德(Samuel Hawgood)拒绝确认“只有女性能够怀孕”。 舒克认为,这种对基本生物学事实的拒绝承认,是现代大学内部腐败与意识形态被俘获的一个警示信号。他指出,这些享有盛誉的学术领袖已经放弃了对“真理”(veritas)的传统追求,转而追逐高薪、职业主义以及对“觉醒”(woke)正统观念的盲从。 作者认为,大学曾是开放辩论和严谨学术探究的殿堂,如今已演变成意识形态的“修道院”,将政治正确置于事实之上。他指出,这些机构目前正以基于身份的录取取代择优录取,并推广从性别理论到气候政策等一系列缺乏科学依据的论述,以维持其地位。最终,舒克将这一趋势视为对学术诚信的危险背叛,并认为学术界在不诚实和洗脑方面的堕落,对西方文明的未来构成了重大威胁。

**ADA(自动化数据分析师)** 是一款开源、零配置的工具,旨在将 CSV 或 Excel 文件转化为可落地的商业智能。与隐藏推理过程的传统 AI 聊天机器人不同,ADA 通过在本地使用 Python 和 pandas 进行所有核心分析,将透明度和可审计性放在首位。 主要功能包括: * **确定性分析:** 自动检测业务架构,以生成交互式 Plotly 仪表板、异常检测和基准预测,并明确显示背后的数学计算过程。 * **可审计问答:** 用户可以使用自然语言提问,ADA 将其转换为可在本地执行的可审计查询计划。 * **隐私优先:** 该工具无需 API 密钥即可完全运行。可选的 AI 集成仅限于架构和证据摘要,确保原始行数据绝不外传。 * **可落地洞察:** 提供优先调查功能及“变动瀑布图”,用于解释数据变化的原因。 ADA 专为非技术人员设计,用透明的“展示工作过程”方法取代了复杂的商业智能工具。它采用 MIT 许可证,可通过 Streamlit 轻松实现自托管,专为需要可验证的证据驱动决策而非不可验证的生成式文本的用户打造。

```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录Ada:一款基于CSV和Excel的AI商业智能软件(是的,用了大模型,但不仅限于此)(github.com/saineshnakra)由 saineshnakra 在 1 小时前发布,4 分 | 隐藏 | 过往 | 收藏 | 讨论 帮助 考虑申请 YC 2026 年秋季批次吧!申请开放至 7 月 27 日。 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```
联系我们 contact @ memedata.com