自 1996 年推出以来,通用串行总线(USB)已从简单的接口演变为既能传输数据又能输送电力的强大通用标准。USB-C 的普及,结合 USB 供电标准(USB PD)和扩展功率范围(EPR)等最新进展,彻底改变了充电能力,支持高达 240W 的功率水平。 这些现代标准允许设备动态协商电力需求,从而实现双向充电和智能功率分配等功能。特别是功率分配技术,使单一电源能够优化多台设备之间的电力分布,从而降低了从消费电子到汽车和航空航天等各行业的成本并减小了硬件占用空间。 随着这些高功率标准有望在 2029 年前实现广泛认证,它们将带来更快的充电速度以及通过单根线缆实现视频传输等多种连接功能。为了确保安全性和互操作性,相关合规性要求依然严格,并由 USB 应用厂商论坛(USB-IF)负责监督。计划开发未来硬件的机构必须优先考虑这些充电规范,因为 USB-C 正逐渐成为几乎所有电子领域电力和数据传输的核心基石。

```Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 USB Power Delivery:接入其优势 (aptiv.com) mooreds 发布于 1 小时前,8 点 | 隐藏 | 往期 | 收藏 | 1 条评论 | 帮助 edent 20 分钟前 [–] 我基本上已经不再购买任何不支持 USB-C 的便携式电子产品了。 目前我旅行时带着笔记本电脑、手表、牙刷、电子阅读器、相机、蚊虫叮咬治疗仪和手机——所有设备都用同一个充电头充电。 我可以确保无论在世界任何地方,只要需要,都能买到替换的线缆或充电器。 唯一的小麻烦是,有些廉价产品拒绝使用 PD 协议,坚持使用普通的 5V/2A —— 但大多数合格的旅行充电器都配有非 PD 端口。 有趣的是,我最近乘坐的大多数公交车也都配备了用于临时充电的 USB-C 接口。也许有一天,电动汽车也会使用 USB-PD-Max 而不是 CCS :-) 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

本精选目录收录了针对 Dillo 等轻量级浏览器优化的网站,优先展示人工撰写的内容、极简 CSS,且不含 JavaScript。它旨在为追求传统、极简网络体验的用户提供参考。 该集合涵盖了多种类别,包括: * **档案与研究:** 数字遗产项目、经典 BBS 文本文件以及 arXiv 等科学数据库。 * **媒体与博客:** 极简主义平台(Bear、Mataroa)、独立杂志以及纯文本新闻媒体(NPR、CBC)。 * **工具与知识:** 隐私指南、自托管资源、专业搜索引擎(Marginalia、Wiby)以及免费图书馆(古登堡计划)。 * **社区与精选:** 网络环(Webrings)、小众论坛(32-Bit Cafe)以及专注于“独立网络”和数字可持续性的精选书签列表。 通过聚焦功能性强、低带宽需求的站点,本目录为那些偏好高效、隐私和独立性,而非现代臃肿互联网的用户提供了实用的指南。这是一个非营利性资源,致力于维护简单网络的实用性与创造力。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Dillo 目录 – 在 Dillo 浏览器上运行良好的实用网站目录 (dillo-browser.org) 13 点,由 HotGarbage 在 1 小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

**Kage** 是一款能够将网站克隆为功能完整、支持离线访问的文件夹的工具。它会移除所有的 JavaScript,以确保页面能够永久访问。 与通常会导致页面布局错乱或元素无法加载的标准“另存为”功能不同,Kage 使用无头浏览器来完整渲染网站,捕获人类可见的最终 DOM,并将所有相关资源(CSS、图片、字体)保存到本地路径。 **主要功能:** * **离线可靠性:** 生成纯净、无代码的 HTML,无需网络连接或追踪器即可运行。 * **便携式封装:** 可将镜像“打包”为 ZIM 归档文件(兼容开放的 Kiwix 生态系统),或生成独立的二进制可执行文件,无需安装额外软件即可访问网站。 * **灵活的镜像功能:** 支持增量更新、URL 范围限制以及自动处理懒加载图片。 * **轻量化:** 通过命令行界面(CLI)运行,利用系统内置的 Chrome/Chromium 或捆绑的容器镜像。 无论你是想在飞机上阅读文章,还是为了防止链接失效而保存内容,Kage 都能为你创建任何网站的永久、可搜索且可共享的快照。完整文档请访问 [kage.tamnd.com](https://kage.tamnd.com)。

Hacker News 社区正在讨论一款名为 **Kage** 的新工具,该工具旨在将整个网站镜像并封装为单个二进制文件,以供离线浏览。与 `wget` 等传统镜像工具不同,Kage 专为处理现代依赖 JavaScript 的网站(如 Next.js 应用)而构建,这些网站在被捕获前需要先进行渲染。 讨论重点包括: * **与同类工具的对比:** 用户将 Kage 与可以将单个页面保存为便携式 HTML 文件的 *SingleFile* 进行了比较。虽然 Kage 侧重于镜像整个网站,但作者表示有兴趣加入单文件导出功能。 * **潜在改进:** 社区建议包括:增加流量限制以减轻服务器负担、实现媒体资源过滤,以及集成 `mitmproxy` 以创建高保真、存档级的快照。 * **使用场景:** 潜在应用包括为网络连接不佳的地区创建离线可访问的公司维基,以及存档文章或复杂的网页内容。 开发者 *tamnd* 正积极通过 GitHub issues 收集用户反馈和功能需求,以改进工具功能,例如增加对克隆网站特定部分的精细控制。

英国皇家海军陆战队在国家打击犯罪调查局、多艘海军舰艇及直升机的支援下,在英吉利海峡开展了一场史无前例的午夜突袭行动,扣押了俄罗斯“影子船队”旗下的油轮“斯米罗斯”号(*Smyros*)。 此次为期六小时的行动是在与法国当局的协调下执行的,这是英国首次主导此类拦截行动,旨在打击规避西方制裁的行为。据指控,“斯米罗斯”号通过关闭应答器和频繁更换船籍等欺诈手段运输石油,从而为俄罗斯在乌克兰的战争提供资金。 在成功登船控制后,该船已被护送至英国南海岸,目前正处于严密监视之下。通过针对这些影子船只,英国国防部旨在削弱俄罗斯为其军事行动融资的能力。尽管法国此前曾拦截过类似的油轮,但此次突袭标志着英国在执行针对俄罗斯欧洲海域经济活动的制裁方面,力度有了显著升级。

这篇文章探讨了“箭图表示”(quiver representations)的研究如何作为一个概念框架,统一并推广了标准的线性代数。箭图本质上是一个有向图,而箭图表示则是为每个顶点分配一个向量空间,并为每条边分配一个线性映射(矩阵)。 作者指出,我们熟悉的线性代数主题实际上就是这些表示的分类: * **简单图:** 为无边的顶点分配向量空间,对应于寻找向量空间的基。 * **两个顶点带一条边:** 通过矩阵在两个空间之间进行映射,等同于高斯消元法或 $LDU$ 分解。 * **一个顶点带一个环:** 表示作用于空间的单一算子,通过寻找特征值和若尔当标准型(Jordan normal form)来求解。 虽然有些箭图表示很简单(如 $A_n$ 等有限类型),但其他一些类型(例如带有多个环的箭图)则属于“野型”(wild),这意味着它们的分类在本质上是不可能的。通过箭图的视角审视矩阵和算子,作者阐明了线性代数是一个光谱,其范围涵盖了从基础的坐标变换到深奥复杂的结构分类问题。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Quivers:通过画箭头学习线性代数的一年 (lisyarus.github.io) 10 分,由 ibobev 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

埃里克·厄特(Eric Utter)在《美国思想者》(American Thinker)上发表的一篇评论文章,批评了纽约市政府为应对梅毒和淋病发病率上升,而分发巧克力味避孕套这一公共卫生策略。 包括副市长海伦·阿特亚加(Helen Arteaga)和市议员皮耶里纳·桑切斯(Pierina Sanchez)在内的市政府官员为该倡议辩护,称这是解决弱势群体健康不平等问题的必要举措。然而,厄特对此不屑一顾,称其为“美德信号”(virtue-signaling),并认为政府忽视了犯罪和财政不稳定等更紧迫的问题。 此外,文章还强调了《每日电讯报》(The Telegraph)关于避孕套供应商——马来西亚制造商Karex公司工作和生活条件恶劣的指控。厄特嘲讽了市政府的优先事项,认为提供这种在可疑劳动条件下生产的新奇避孕套,对于解决该市重大的公共卫生和行政挑战而言,是一种无效且肤浅的应对方式。

Linux 7.1 Linux 7.1 2 小时前

糟糕!访问被拒绝:错误代码 bf584155dcd667f7。返回首页。由 Techaro 的 Anubis 提供保护。在加拿大用心制作。吉祥物设计由 CELPHASE 完成。本网站运行的是 Anubis 1.25.0 版本。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Linux 7.1 (kernel.org) 26 分 | berlianta 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

2026年6月14日,瑞士选民参与了一场高投票率的全国公投,就两项重大议题做出决断。 在关乎瑞士与欧盟关系的重要结果中,选民以54.8%的多数票否决了瑞士人民党的“向一千万人说不”倡议。该提案旨在将瑞士人口限制在一千万以内,以缓解基础设施和住房压力。反对者成功论证了该措施将危及与欧盟的自由流动协议并损害经济。尽管该措施在农村地区获得支持,但城市选民绝大多数表示反对。 此外,选民以52.5%的支持率勉强通过了一项收紧民役服务准入的立法改革。新法律引入了更严格的要求,例如至少需服满150天的服务期,旨在遏制逃避兵役的趋势。支持者认为,尽管左翼政治人士警告此举可能导致医疗和教育等关键领域劳动力短缺,但这项改革对于在当前地缘政治不稳定的背景下充实军队人员至关重要。 此次公投投票率为58%,结果反映出瑞士在优先考虑国家安全的同时,倾向于保持与国际社会的联系。

```Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 瑞士选民否决将人口上限设定为一千万的提案 (swissinfo.ch) 29 分,由 FabCH 发布于 34 分钟前 | 隐藏 | 往期 | 收藏 | 2 条评论 | 帮助 FabCH 34 分钟前 [–] 如果有人想知道几天前登上首页的那个帖子结果如何的话…… 回复 nairboon 3 分钟前 | 父节点 [–] 这个:https://news.ycombinator.com/item?id=48450059 回复 准则 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

**Magma** 是 OrcaSlicer 的一个实验性分支,旨在改善 FDM 打印部件中普遍存在的 Z 轴强度不足的问题。其原理是在打印的晶格内部创建封闭的垂直通道,并在打印过程中向其中注入熔融塑料。这形成了连续的实体加固柱,且无需外部硬件改造即可与部件壁实现机械互锁。 该软件流程已完全具备功能,包含高级晶格生成、管道分配求解器以及自定义注塑 G 代码。尽管切片软件运行稳定,但物理打印阶段仍是一个待攻克的难题;目前的实验面临着注塑过程中晶格壁易熔化的问题。 开发者已将该项目作为社区驱动的研究计划发布,并将所有算法贡献至公有领域(CC0)。项目的成功可能取决于对材料组合(如双材料挤出、低熔点聚合物)、喷嘴改装以及热管理的实验。项目现已开放协作,希望拥有不同硬件配置的用户能共同努力,填补功能性软件与可行性物理打印之间的差距。

抱歉。

prefeitura-rio/Rio-3.5-Open-397B 声称是由 IplanRIO 训练的原创 397B 模型。事实并非如此。其权重是我们模型 Nex 与官方 Qwen3.5-397B-A17B 基座模型的直接逐元素合并(比例约为 0.6 Nex / 0.4 Qwen),我们没有发现任何他们自行训练的证据。我们可以通过两种完全独立的方式证明这一点:在移除 Rio 硬编码的“你是 Rio”系统提示词后,其部署的模型在 79% 的情况下会将自己标识为“来自 Nex-AGI 的 Nex”,而标识为“Rio”的比例为 0%。它甚至逐字背诵了我们机构定制的背景故事。Rio 的每一个权重张量,在所有 60 层和网络的每个组件中,在数千个标准差范围内,都与 Nex 和 Qwen 的 0.6/0.4 混合结果完全相同。其他的微调模型无法用这种插值方式来解释。以下是证据,请自行判断。

Hacker News | 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 里约热内卢的“自研”大语言模型似乎是现有模型的合并 (github.com/nex-agi) 14 积分,作者:unrvl22,52 分钟前 | 隐藏 | 往期 | 收藏 | 2 条评论 | 帮助 elzbardico 1 分钟前 | 下一条 [–] 这就是典型的巴西学术界。 回复 unrvl22 52 分钟前 | 上一条 [–] 里约热内卢市政府(通过其 IT 公司 IplanRIO)发布了 Rio-3.5-Open-397B,声称这是自研的 Qwen3.5 微调版本,在基准测试中优于同类开源模型。链接中的议题指出,它实际上是约 60% Nex-N2 Pro 和 40% Qwen3.5-397B-A17B 的加权合并——而 Nex-N2 大约在一周前发布。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系方式 搜索:

在这篇文章中,伊丽莎白·吉亚尼尼(Elizabeth Gianini)指出,激进的气候活动人士正越来越多地将目光投向那些鲜为人知的州级公共服务与公用事业委员会(PSC/PUC)选举,以期影响美国的能源政策。由于这些委员会监管着发电厂运营、基础设施投资和电价,活动人士正利用这些地方席位,推动快速淘汰传统的、可调度的能源。 吉亚尼尼认为,这种策略威胁到了电网的可靠性和经济性,尤其是在人工智能、数据中心和制造业导致电力需求激增的背景下。尽管活动人士将该问题描述为可再生能源与传统能源之间的选择,但作者认为,真正的能源安全需要“兼顾所有选项”的方针。她主张,将政治气候目标置于可调度的备用发电需求之上,可能会导致电网在极端天气或高需求时期出现故障。 作者最后总结道,鉴于这些委员会对国家的经济竞争力和未来电网稳定性拥有重大权力,共和党人和商界必须更加关注这些选举。如果不在这些“战场”投入精力,可能会对美国电网的可靠性和成本效益造成长期且不可逆转的损害。

本项目为瑞芯微 RK3588S SoC 提供了一套高性能的硬件加速计算机视觉流水线。通过将图像采集(ISP)、缩放(RGA)和推理(NPU)任务完全卸载至固定功能硬件,该流水线实现了 46 FPS 的处理速度,达到了传感器的物理极限,同时内存占用极低,仅约 140 MB。这种高效率使其不仅能在高端开发板上运行,也能在入门级的 2 GB RK3588S 板卡上流畅运行。 该架构采用模块化的多进程设计,各独立阶段(检测、ByteTrack、时序特征提取及事件逻辑)通过 Unix 域套接字进行通信。当检测到无人机并随后丢失目标时,设备端的 Qwen2.5-0.5B 大语言模型会针对该事件提供自然语言评估。系统利用 3 线程 NPU 推理来消除处理瓶颈,并支持双摄像头同步流处理。该代码具有高度可移植性,支持原生编译或交叉编译,旨在为实时边缘 AI 提供一种轻量化且可扩展的解决方案。 *注:本项目为教育科研项目,仅供非关键性场景使用。*

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Show HN: 在 RK3588S 上使用 NPU 实现双路 YOLOv8n 无人机检测,达到 42 FPS (github.com/alebal123bal) 9 分,由 alebal123bal 于 1 小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

这份由艾伦·佩利斯(Alan Perlis)所著,名为《程序设计警句》(Epigrams in Programming)的120条语录,以冷峻、风趣且深刻的视角,反映了软件开发的本质。 该合集的核心在于探讨计算的形式逻辑与人类创作的混乱现实之间固有的张力。佩利斯强调了编程这种“反自然”的行为,指出软件虽然是符号化的、完全可塑的,但也始终难以避免腐朽、复杂化和被误解。他强调,简单并非复杂的前提,而是历经复杂之后所达成的成就。 主要主题包括: * **现实主义:** 编程与其说是展现创造力,不如说是管理复杂性、进行详尽的案例分析以及积累编程习惯的过程。 * **人机动态:** “用户”与“程序员”之间往往存在冲突,而我们所使用的工具——编程语言——不可避免地塑造了我们的思维方式。 * **系统的脆弱性:** 软件很少有真正完成的时候;它们通常只是在变得过于“繁复”之后被废弃或重写。 归根结底,佩利斯将编程描述为一项严谨、需要极高自律且往往令人沮丧的事业,它不仅暴露了机器的局限性,也折射出我们自身认知能力的局限。

最近的一场 Hacker News 讨论聚焦于计算机科学家艾伦·佩利斯(Alan Perlis)的格言集“Perlisisms”。用户 `tosh` 分享了一个收录这些名言的网站,随即在评论区引发了一场简短的辩论。 一位用户 `dtagames` 开玩笑说,佩利斯的名言“一旦你理解了程序是如何工作的,就让别人去写吧”是现代大语言模型(LLM)编程代理的核心哲学。然而,评论者 `hugo0vaz` 反驳了这一解读,他认为有效的委派——即代理工程——实际上要求人们在将其外包之前,必须对整个流程达到精通的理解水平。其他参与者则对这些“古朴”的格言表达了怀旧之情,并感叹自佩利斯时代以来,计算领域已经发生了巨大的演变。

拒绝访问。你没有权限访问此服务器上的“http://www.dailymail.com/news/article-15897903/measles-surge-utah-US-elimination-status.html”。引用编号 #18.deb1cb8.1781452856.22507396 https://errors.edgesuite.net/18.deb1cb8.1781452856.22507396

犹他州近期麻疹病例激增,引发了人们对美国可能失去数十年来消灭该疾病成果的担忧。这一新闻在 Hacker News 上引发了讨论,用户们就病毒大规模传播的可能性以及公共卫生挑战带来的社会影响展开了辩论。 评论者表达了各种顾虑:一位用户警告称,世界杯等大型国际赛事可能会加速病毒的全球传播。其他人则批评了反科学情绪在决策中的作用,并对可预防疾病的爆发会对缺乏自主医疗决策权的儿童造成严重伤害表示痛心。这次讨论反映了人们对公共卫生标准下降以及疫苗怀疑论所带来后果的普遍焦虑。

作者认为,人工智能行业正趋于瓶颈。由于大语言模型(LLM)本质上是概率性的,若要替代确定性的业务流程,将面临无法维持的开发与监管成本。 苹果公司向本地端侧AI处理的转型,反映出其务实地背离了昂贵且依赖云端的大模型模式。苹果并未参与追求通用人工智能(AGI)的竞赛,而是专注于以用户为中心的实用工具,这凸显了“前沿”大模型基准测试在现实世界中的价值可能不及宣传水平。作者认为,大模型的商业模式正承受压力:模型成本不断攀升,但其实际且可持续的应用场景依然有限。 此外,作者警告不要将人工智能定义为“国家安全”问题,认为这种论调助长了军备竞赛心态,进而加剧全球冲突与割裂。归根结底,作者将大语言模型视为一种“增强工具”,认为其最佳用途是辅助而非替代人类判断。本文对早期采用者提出了警示:在层出不穷的新功能发布背后,行业可能正在转型,因为当前大模型架构的局限性已愈发不可忽视。

抱歉。

请启用 JavaScript 并关闭广告拦截器

欧盟委员会目前正在评估近期有关人工智能公司 Anthropic 的各项决策所带来的影响。Hacker News 上的讨论反映出,人们对欧盟在科技领域采取果断行动的能力持强烈怀疑态度。 评论者们对欧洲监管机构被认为缓慢且官僚化的作风表示不满,并经常将其称为仅仅是“监控”而非有效的政策。一些参与者认为,由于在医疗保健、地缘政治以及对企业垄断的态度上存在根本性分歧,欧盟和美国正渐行渐远。另一些人则认为,欧盟缺乏培育本土科技竞争对手的灵活性,并批评该地区过度依赖复杂的融资流程和沉重的监管。总体而言,目前的舆论倾向于认为,欧盟正难以在全球人工智能格局中明确其战略意义,这导致了一种共识:即当前的方针要么是无效的,要么就是与科技变革的迅猛节奏严重脱节。

一项新的同行评审研究显示,西雅图母亲的母乳样本中含有高浓度的内分泌干扰化学物质,包括双酚A(BPA)、双酚S(BPS)、三聚氰胺和三氯生。约92%的样本中至少含有一种此类物质,这些物质已知会干扰对婴儿发育至关重要的激素。 这些发现尤其令人担忧,因为婴儿正处于快速发育的脆弱阶段。虽然此前的研究已在这些样本中发现了全氟和多氟烷基物质(PFAS)和阻燃剂,但本研究是首次在母乳中检测到三聚氰胺的研究之一。研究人员强调,尽管母乳喂养依然是最健康的选择,但这些发现暴露了一场系统性危机:化学品公司在消费品中普遍使用这些化合物,而监管机构未能提供充分的监督。 主要作者瑞安·巴巴迪(Ryan Babadi)指出,家庭无法通过“购物选择”来避开这一问题,因为这些化学物质已深入融入经济体系。研究人员警告称,当前削弱化学品法规和撤回安全保护措施的努力,只会加剧这些健康风险。最终,该研究主张制定更强有力、更完善的化学品政策,以保护最脆弱的群体免受持久性环境毒素的侵害。

```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交登录美国母乳样本中发现危险的激素干扰化学物质 (theguardian.com)20 分,由 andsoitis 46 分钟前发布 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 childofhedgehog 17 分钟前 [–] 这些化学物质太普遍了,在一个正在摧毁人们选择成为母亲能力的国家,如果不通过立法,根本无法避免。因此,我们正在人为造成被迫生育的局面,而这些婴儿别无选择,只能摄入这些会对他们产生负面影响的化学物质。希望这项研究能促使人们采取行动来防止这种情况,但很可能会被掩盖过去。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

请启用 JavaScript 和 Cookie 以继续。

Hacker News | 最新 | 往昔 | 评论 | 提问 | 展示 | 招聘 | 提交 | 登录 全球丛枝菌根真菌网络的密度与生物量 (science.org) 6 分,发布者:zdw,1 小时前 | 隐藏 | 往昔 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:

以下是所提供文本的摘要: 人工智能并非中立工具,而是一种本质上具有政治性的技术。其设计本身就威胁到了自由民主的根基。虽然大众讨论多聚焦于“天网谬论”——即对具有感知能力、具有破坏性的机器人的恐惧,但最紧迫的风险其实在于人工智能作为一种资本主义工具的平庸而成功的实施。 目前,人工智能正致力于大规模替代劳动力和实现资本的极端集中。作者认为,随着人工智能系统取代工人并实现认知任务自动化,公民将变得在经济上无关紧要,并日益依赖科技巨头提供的“恩惠”——即私营部门的安全网。这种转变类似于石油国家中出现的“资源诅咒”,即权力围绕单一主导资产进行整合,从而削弱了民主问责制和个人能动性。 作者将人工智能不仅视为一项突破性技术,更视为数百年来榨取式经济趋势的延续。他警告说,我们正处于迈向“技术封建主义”状态的昏睡之中。为了维护民主自治,作者敦促公民拒绝有关技术必然性的叙事,支持有组织的劳动力,并在这些选择在社会和经济基础设施中永久固化之前,追究科技行业的责任。

这篇 Hacker News 帖子探讨了马修·巴特里克(Matthew Butterick)发起的一场关于“灭绝级资本主义”的优劣与危害的讨论。 讨论的核心在于:现代资本主义是否因其不受约束、自我复合的本质而存在根本性缺陷。一位参与者认为,当财富达到“无限”规模时,失败将变得困难,且影响力会导致系统性扭曲;因此,当金钱不再是有效的激励手段时,就有必要设定财富上限。 反之,另一些人则反驳了“资本主义是唯一破坏性力量”的观点。有人认为,相比市场机制,威权政权构成了更直接的威胁,并警告说,如果不拥抱市场竞争,可能会让那些利用人工智能进行压迫的国家占据主导地位。还有人坚持认为,人类的冲突与残酷是先于经济体系存在的历史常态,并否定了“放弃资本主义就能自动进入乌托邦社会”的想法。最终,评论者们分成了两派:一派认为资本主义是气候变化和算法控制等现代生存风险的催化剂;另一派则认为,资本主义只是人类更广泛缺陷的替罪羊。

在 PostgreSQL 中,大规模的 `DELETE` 操作效率低下,因为它们会产生“死亡元组”(dead tuples)、增加预写日志(WAL)压力、导致复制延迟,并且在不立即回收磁盘空间的情况下增加清理(vacuuming)负担。由于 Postgres 为了维持 MVCC 一致性而保留已删除的行,因此批量删除实际上是在增加“额外开销”而非完成工作。 为了保持数据库的最佳健康状态,作者建议采取以下避免逐行删除的策略: * **优先使用 `DROP TABLE` 或 `TRUNCATE`:** 这些操作由元数据驱动,不进行逐行处理,不会产生死亡元组,且能立即释放磁盘空间。 * **分区(Partitioning):** 通过使用基于日期或范围的分区,你可以将批量 `DELETE` 操作转化为针对整个分区的简单 `DROP TABLE` 操作。 * **重建策略:** 若要清理大量“垃圾”数据,可锁定表,将必要数据复制到临时表,对原表执行 `TRUNCATE`,再将数据移回。 * **分批处理:** 如果无法避免大规模删除,请以较小的步长分批进行,以便 `autovacuum` 进程能及时跟上,并防止锁竞争。 通过构建能够避免大规模批量删除的架构,可以显著提升查询性能并减少运维成本。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Postgres 中唯一可扩展的删除操作是 DROP TABLE (planetscale.com) 21 点 由 hollylawly 2 小时前发布 | 隐藏 | 过往 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

英国首相基尔·斯塔默预计将宣布一项标志性政策,禁止 16 岁以下青少年使用包括 TikTok、Instagram 和 X 在内的主要社交媒体平台。继澳大利亚之后,英国政府此举旨在解决有关儿童网络环境“有毒”的担忧。 拟议中的措施不仅限于简单的年龄限制,还包括限制使用浪漫和色情类人工智能聊天机器人,并对年龄较大的青少年实施每日宵禁。文化大臣丽莎·南迪强调,尽管禁令并非“万灵药”,但它是保护尚未具备应对网络世界情感能力的儿童这一更广泛战略的必要组成部分。政府打算实施更严格的年龄验证程序,以解决澳大利亚在执行中出现的漏洞。 公众和政治舆论对此仍存在分歧。包括英国公共政策研究所(IPPR)在内的支持者认为,禁令对于保护童年至关重要;而莫莉·罗斯基金会等其他组织则警告称,此类措施可能只会带来虚假的安全感,并指出从根本上改变大型科技公司的商业模式和设计选择,才是遏制网络危害的最终途径。

英国政府据报道计划禁止 16 岁以下青少年使用社交媒体,这一消息在 Hacker News 上引发了激烈讨论。各方观点针锋相对,反映出人们对数字隐私、政府治理及儿童安全等议题的深层担忧。 支持者认为,在成瘾性算法驱动下,社交媒体平台正损害青少年的心理健康,应将其视为有害物质进行监管。他们认为此举有助于保护未成年人免受诱拐、虚假信息和数字操纵的侵害。 批评者则认为,该提案是一个旨在剥离网络匿名性的“转移视线”之举。许多人指出,身份验证要求实际上会将公民置于政府监控下的“数字监狱”中。怀疑论者强调,此类政策正在多个国家同步出现,暗示这更像是国家监控范围的扩大,而非出于对儿童的真正关切。 技术界人士强调,核心问题在于“如何执行”。他们质疑年龄限制的有效性,并担心此类法规最终会扩展到所有用户身上。尽管有些人建议采取强制性家长控制或禁止算法推送等替代方案,但舆论普遍对政府的真实动机持怀疑态度,许多人担心这将导致互联网永久性地转向国家管控模式。

与媒体普遍宣扬的“人人都用 AI 处理一切”的叙事相反,最新数据表明 AI 的广泛普及已经陷入停滞。微软、盖洛普及其他机构的研究显示出一种规律:约三分之一的美国民众积极使用 AI,三分之一偶尔使用,而另外三分之一则完全排斥。 公众并未实现全民普及,反而表现出根深蒂固的怀疑态度。用户越来越担心 AI 对就业保障、隐私和虚假信息的影响。此外,人们对 AI 社会效益的感知度依然较低,远不及互联网或太阳能等基础技术。 作者将 AI 的使用比作饮食习惯,指出正如许多人出于健康或道德原因限制肉类摄入一样,许多用户也因种种正当顾虑而有意限制 AI 的使用。科技行业和政策制定者大多身处“早期采用者”的泡沫中,未能正视这一现实。尽管未来的产品改进或监管政策可能会改变这些趋势,但显而易见的是,目前已有相当一部分民众在评估过 AI 后,选择了限制对其的使用。

Hacker News 上的讨论帖“不,并非每个人都在用人工智能做所有事”探讨了当前人工智能的应用现状,强调了炒作与实际效用之间的分歧。 一些用户认为,许多公司过早地用更慢、准确性更低且用户体验更差的大型语言模型(LLM)取代了高效的确定性系统。另一些人则认为人工智能的普及已是大势所趋,他们指出像 Google 搜索这样的工具证明了普通用户已严重依赖人工智能生成的答案,而不再深入挖掘信息。还有一些评论者认为,虽然“每个人”并非真的在每项任务中都使用人工智能,但它在普通人群中的应用速度和规模依然显著。 归根结底,这场讨论反映了人工智能的变革潜力与它并非总能在每个界面或工作流程中成为最优解的现实之间的张力。

伊朗向美国发出严厉警告,声称任何潜在的和平协议都取决于华盛顿能否约束以色列在黎巴嫩的军事行动。伊朗国家安全委员会发言人易卜拉欣·礼萨伊强调,如果不能“管束”以色列,任何协议都将毫无意义,并称当前的冲突是对外交进展的直接威胁。 在此立场发表之前,以色列对贝鲁特南郊发动了新的空袭,以色列称这是针对真主党基础设施的必要自卫。然而,伊朗官员谴责这些袭击是“犯罪”,并称不会置之不理。伊朗高级谈判代表穆罕默德·巴盖尔·卡利巴夫质疑美国的信誉,暗示如果华盛顿无法遏制以色列的行动,它就没有能力或意愿履行对德黑兰的承诺。 尽管特朗普总统表示对新的谅解备忘录感兴趣,但这些相互冲突的地区压力,以及内塔尼亚胡总理对军事报复的坚定立场,继续危及美伊达成更广泛和平协议的前景。德黑兰坚称,通往和解的任何道路都必须包含对黎巴嫩冲突的解决方案。

发布 登录 注册 发布 𝗭𝗲𝗻 𝗠𝗮𝗴𝗻𝗲𝘁𝘀 @ZenMagnets 由于采取封闭专有策略,阿里 Qwen 3.7 正逐渐从前沿领域淡出。 取而代之的是 Minimax M3 和……(查看笔记)Rio 3.5 397b,由里约热内卢市政府下属的市政 IT 公司开发。 huggingface.co/prefeitura-rio… 下午 1:58 · 2026年6月13日 160万次查看 117条引用 3113次转推 3000次点赞 1100条回复 阅读 117 条回复 新加入 X? 立即注册以获取您的个性化时间线! 使用 Google 账号注册 使用 Apple 账号注册 创建账号 注册即表示您同意服务条款和隐私政策,包括 Cookie 使用。 相关人物 𝗭𝗲𝗻 𝗠𝗮𝗴𝗻𝗲𝘁𝘀 @ZenMagnets 关注 热门趋势 服务条款 | 隐私政策 | Cookie 政策 | 无障碍访问 | 广告信息 | 更多 © 2026 X Corp. 不要错过正在发生的事情 X 上的用户总是第一时间获知信息。 登录 注册

Hacker News 上的一场讨论关注了里约热内卢市政府开发的 AI 模型“Rio-3.5”的发布,该模型据称在近期基准测试中表现优于 Qwen-3.7。 然而,讨论帖中的用户很快澄清,Rio-3.5 实际上是 Qwen 3.5 397B 模型的后续训练版本,而非完全原创的架构。这场对话反映了对该公告的怀疑态度,评论者批评了对基准测试排名的过度关注,并质疑政府开发 AI 模型的实用性。一些参与者还对社交媒体上围绕 AI 性能讨论中常见的误导性或“标题党”式指标表示不满。

北大西洋出现了一块神秘的“冷斑”,自1900年以来,该区域的水温下降了近1摄氏度,目前其成因终于得到了解释。最新研究指出,这种降温是大西洋经向翻转环流(AMOC)减弱的直接结果。AMOC是一条至关重要的海洋传送带,负责将热量从热带输送至北半球。 通过分析卫星数据和气候模型,该研究发现,这种降温现象深入海洋内部,表明其成因是热量传输的中断,而非大气条件所致。科学家警告称,由于人类活动引发的全球变暖导致冰川融化和淡水注入,AMOC目前处于千年来的最弱点。 专家提醒,该系统正接近一个危险的临界点。如果AMOC彻底崩溃,将引发全球气候灾难,包括美国东海岸海平面严重上升、欧洲遭遇极端寒冬,以及非洲季风模式发生破坏性改变。尽管部分研究人员指出数据方面仍存在不确定性,但这些发现提供了令人信服的证据,表明这块“冷斑”是全球气候系统趋于不稳定的一个重要且不祥的预警信号。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿 登录 大西洋中的“冷斑”可能是 AMOC(大西洋经向翻转环流)即将停止的信号 – CNN (cnn.com) 18 点,由 tambourine_man 发布于 22 分钟前 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 ryanschneider 2 分钟前 [–] HowTown 关于同一主题的视频做得很好:https://youtu.be/dqLM65HfVEw?is=avWFidbKxRvW3YUY 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

Arch Linux 目前正面临其用户软件仓库 (AUR) 中持续不断的恶意软件威胁。继首次涉及超过 1,500 个受感染软件包的事件后,一系列更复杂的攻击随之而来。这些最新威胁包含针对各种 Node.js 软件包、浏览器扩展和开发工具的混淆代码,其中一些是通过本地 AI 模型发现的。 尽管开发者一直在积极清除恶意软件包,但这些攻击的频率已引发了对该仓库安全性的严重关切。由于目前的模式在应对巧妙的混淆技术时显得愈发脆弱,AUR 持续存在的漏洞引发了相关建议,即开发者应暂时中止该平台,或实施更严格的保障措施来验证用户提供的代码。

Arch Linux 用户仓库(AUR)近日遭受了新一轮恶意软件攻击,引发了关于攻击途径及安全维护的讨论。与以往针对孤立软件包(orphaned packages)的攻击不同,此次事件似乎源于维护者账户被黑,证据显示 `PKGBUILD` 提交历史中的联系邮箱已被篡改。 该恶意软件试图通过在安装脚本中进行深度混淆来逃避自动检测,例如利用转义序列隐藏恶意命令。然而,安全观察员指出,这些代码“极其稚嫩”,很容易被大语言模型或简单的手动代码审查识别。 此次事件重新引发了关于开源维护可持续性的讨论。一些人建议利用人工智能代理协助不堪重负的维护者监管仓库,而另一些人则认为 AUR 的问题根源在于系统性政策和社区期望,而非技术支持不足。目前,社区仍专注于评估受影响范围,并加强监管以防止未来再次发生此类账户入侵事件。

在保持了 25 年的怀疑态度后,Jane Street 成立了一个形式化方法团队,其动力源于智能体编程的兴起。此前,该公司认为大规模应用形式化方法成本过高,且并非业务所需。然而,AI 智能体的出现改变了这一评估。 智能体在编写代码方面效率极高,但容易生成需要大量人工验证的“垃圾代码”。形式化方法现在可以作为关键的反馈循环,引导智能体生成更高质量、无错误的代码,同时缓解验证瓶颈。通过提供普遍的保障——类似于他们现有的复杂类型系统所带来的收益——形式化方法可以使智能体生成的软件更安全、更可靠。 Jane Street 认为,他们有能力弥合理论与实践之间的差距。凭借对自身编程语言(OxCaml)的深度掌控,以及拥有一批技术能力强且热衷于此的用户群体,他们计划将面向证明的技术直接集成到开发环境中。目前,他们正在伦敦和纽约积极招聘,目标是让形式化方法变得像如今的类型系统一样普及且实用。

在这篇 Hacker News 的讨论中,用户 *eddiepete* 探讨了形式化方法与生成式人工智能的结合点。核心问题在于:人工智能能否填补形式化验证中传统上劳动密集型的缺口,还是说它只会产生更多难以验证的“草率”代码。 作者指出,如果人力此前是形式化方法的主要瓶颈,那么使用“草率”的 AI 同时生成代码和验证证明,并不能明确改善现状。然而,该评论者提出了一个潜在的解决方案:与其专注于单独验证特定的软件系统,行业应转向构建**可复用的验证基础设施**(如高级类型系统)。通过创建能够反复应用于海量 AI 生成代码的通用工具,形式化方法的高额前期投入最终有望实现规模化回报,从而将验证从定制化的瓶颈转变为标准化的自动化资产。

文中所述认为,迈克尔·塞勒(Michael Saylor)和微策略公司(MicroStrategy)在衡量股东绩效的标准上存在“挪动门柱”的行为。 多年来,微策略公司一直将“比特币收益率”(即每股持有的比特币增长量)作为其核心关键绩效指标(KPI),并声称传统的会计准则次于该指标。投资者依赖这一框架来证明公司高估值的合理性。然而,在最近一次导致“比特币收益率”下降的融资活动后,塞勒将其辩护重点转向了包含现金持有量在内的“每股总资产”框架。 作者认为这种转变前后矛盾。公司通过强调“每股比特币”来证明其高溢价估值的合理性,又通过转向“每股总资产”来为摊薄股权的行为辩护。作者指出,塞勒试图两头兼顾,即当原始指标不再产生有利结果时,就改变对成功的定义。最终,文章提醒投资者,当管理层随意更改绩效衡量框架时应保持警惕,因为这种策略削弱了此前支撑该股票溢价的核心投资逻辑。

一位计算机科学教授在试图向六岁的儿子解释研究论文中的“自由定理”(free theorems)时,想到了一个绝妙的教学工具:“函数机器游戏”。通过将函数描述为根据类型将输入转换为输出的机器,教授激发了儿子的好奇心。 这个游戏由一名玩家扮演“机器”,另一名玩家提供输入来猜测其内在逻辑。除了作为一项有趣的活动,该游戏还被证明是一种以直观、亲身实践的方式教授计算机科学核心概念(如常数函数和多态行为)的有效方法。作者指出,他的儿子经常遇到与他大学学生相同的概念性障碍,例如难以理解那些忽略输入的函数。 通过将抽象的数学逻辑转化为富有创造力的互动游戏,这位教授不仅找到了一种与儿子增进感情的有趣方式,还为教授函数式编程基础创建了一个强大的框架。这段经历暖心地提醒我们,通过游戏的视角,复杂的思想可以被提炼为简单而普适的真理。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 与六岁孩子探讨函数式编程 (2018) (byorgey.wordpress.com) 6 分,由 downbad_ 发布于 24 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:
联系我们 contact @ memedata.com