🛡️ 安全验证 验证您是否为机器人 ⏳ 正在验证您的浏览器… 验证并继续 ✓ 验证完成 此页面将在稍后自动跳转…

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 工程师将蚊子口器改造为3D打印喷嘴 (techxplore.com) 27点 由 T-A 4小时前 | 隐藏 | 过去 | 收藏 | 3评论 kragen 6分钟前 | 下一个 [–] 他们说蚊子口器的内径为20 μm,比商业替代品“精细100%”(大概意味着直径减半)。 没读过论文,我猜它无法处理210°熔融PLA。回复 backprop1989 27分钟前 | 上一个 [–] 称之为“死者打印机”既不祥又壮观。回复 metalman 27分钟前 | 父评论 [–] 希望这个名字能流行起来,因为它确实“不祥又壮观”,并且能让人们思考下一步会是什么。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

德国正经历着大规模的产业抛售,越来越多的公司将生产和所有权转移到国外。阿布扎比国家石油公司(ADNOC)最近以150亿欧元收购化工巨头科思创(Covestro)几乎所有股份,这一事件凸显了资本和战略控制权正在从德国流失。 这并非孤立事件,此前还有中国公司在2016年收购库卡(KUKA)等案例。导致这一趋势的因素包括繁琐的法规、与气候政策相关的合规成本上升以及普遍不利的商业环境。德国的工业产能正在下降——化工行业目前的运营率仅为71%——像科思创这样的公司正面临财务压力。 与此同时,美国正成为一个更受欢迎的替代选择,这得益于放松管制、支持投资的产业政策以及来自阿布扎比和沙特阿拉伯等国家的大量承诺。多家德国公司,包括奥瑞碧斯(Aurubis)和博世(Bosch),已经开始在美国扩张业务。 核心问题在于德国致力于雄心勃勃的“绿色”政策,这些政策被认为对经济有害。尽管有警告和呼吁更广泛的讨论,但焦点仍然是这些政策,导致资本外流和关键的*Mittelstand*(德国经济的支柱)的衰弱。

关于机器是否能“思考”的争论自计算机诞生之初就一直存在,图灵和冯·诺依曼等先驱也在努力探寻这个问题。近期大型语言模型(LLM),如ChatGPT等,的进步重新引发了这场讨论,它们类似人类的回复促使人们猜测其是否具有真正的智能。然而,验证意识仍然是不可能的,并且目前理解这些模型的复杂内部运作方式是无法解决的。 作者认为,尽管LLM具有令人印象深刻的能力,但本质上是“强化版的自动补全”——优化来预测下一个词,而缺乏真正的理解、逻辑或一致性。对修改后的谜语的错误回答证明了它们倾向于表面模式匹配。 然而,仅仅将LLM视为“自动补全”似乎是不够的。作者提出一个关键的区别:人类的思维是“自上而下”(从想法到符号),而LLM的运作是“自下而上”(从符号到想法)。这并没有降低它们的能力,而是表明了一种根本不同的*类型*的智能。最终,作者认为未来不是关于人工智能*取代*人类,而是关于协作——利用这些独特的“自下而上”思考者来增强我们自身的“自上而下”推理能力。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 思考模型会思考吗?(bytesauna.com) 8 分,作者 mapehe 34 分钟前 | 隐藏 | 过去 | 收藏 | 3 条评论 exe34 0 分钟前 | 下一个 [–] 思考/智能就像魔法,用丹尼特的类比来说。任何时候机器可以做到,它就变成了工程学。它只是一堆技巧。真正的思考/智能的范围是一个不断缩小的技巧集合,只有通过性交产生的碳基大脑才能做到。事实上,我惊讶于他们称试管婴儿是聪明的。他们有灵魂吗?回复 mapehe 34 分钟前 | 上一个 | 下一个 [–] 你好。这是我的公司博客,我用它来写任何让我感兴趣的东西。希望你喜欢本周的文章。回复 Jean-Papoulos 9 分钟前 | 上一个 [–] https://en.wikipedia.org/wiki/Betteridge%27s_law_of_headline...回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

令人惊讶的是,16%的荷兰在线受访者承认主要使用邻居或房东的WiFi上网,这一比例是德国和法国的两倍。这是Statista Consumer Insights的数据。 这种做法似乎与荷兰较低的宽带普及率有关;预计到2025年,只有41%的人拥有宽带,19%的人依赖移动连接。相比之下,美国和英国“借用”WiFi的比例明显较低(分别为4%和3%),英国的宽带普及率高达63%。 有趣的是,荷兰没有将访问加密WiFi网络的行为定为犯罪,而未经授权的计算机访问是非法的,这可能导致了更高的邻里WiFi使用率。数据显示,荷兰存在互联网可访问性差距,并且对WiFi安全采取了不同的法律方法。

## 三体问题与引力模拟 “三体问题”——预测三个引力相互作用物体的运动——是物理学中一个著名的未解难题,不像更简单的二体问题那样缺乏通用的解析解。该模拟器通过数值建模来解决这种复杂性,使用牛顿万有引力定律来计算物体之间的力。 该模拟器提供两种积分方法:速度Verlet,它擅长长期能量守恒和轨道稳定性;以及RK4,提供更高的短期精度。用户可以探索预设的稳定轨道,如“8”字编舞和拉格朗日构型,或创建自定义场景,并调整质量和初始条件。 主要功能包括实时3D可视化、用于分析的时间线以及“共享配置”选项。该模拟器显示总能量和能量漂移,以评估模拟精度;低漂移(低于1%)表示可靠的结果。负的总能量表示引力束缚的稳定系统。该工具允许交互式地探索混沌和稳定的引力动力学,从而深入了解这个复杂领域。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 N体模拟器 – 交互式三体问题和引力物理学 (trisolarchaos.com) 3点 由 speckx 1小时前 | 隐藏 | 过去 | 收藏 | 1评论 nhatcher 6分钟前 [–] 之前讨论过这里:https://news.ycombinator.com/item?id=45967079 (245和112评论)回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

🕹️ 有趣的游戏:玩激动人心的游戏,挑战你的思维,让你捧腹大笑。 🎨 色彩缤纷的故事:在游戏中学习:发现惊人的有趣知识,结识了不起的角色,探索充满惊喜的故事。 🎶 与朋友一起:邀请你的朋友一起派对。每一轮都是新的冒险,只有最勇敢的人才能获胜!

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 展示 HN: CurioQuest – 一个简单的网络小知识/趣味问答游戏 (curioquest.fun) 3 分,来自 mfa,1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 我一直在开发 CurioQuest,一个简单、清爽的知识问答/趣味事实游戏。它最初是一个为我的朋友和家人准备的小项目,他们鼓励我完善它并公开发布。 在添加下一批类别和问题之前,我很想听听真正的网络游戏爱好者的反馈! 这不是一个商业产品;它是一个充满爱意的劳动成果,仍在开发中。它还没有包含所有计划的类别,但内容已经相当丰富:超过 2600 个问题,7 个类别,每个类别 4 个难度级别,2 种语言(英语和葡萄牙语),PWA,因此您可以将其“安装”在手机或桌面上。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:

## 瑞典福利系统被犯罪团伙利用 瑞典政府的一项审查显示,一个严重问题是:犯罪团伙正在利用该国的福利系统获取巨额经济利益。大约4000名已知与团伙有关联的个人获得了超过3.275亿欧元的福利——包括病假工资和求职支持金,这为他们的非法活动创造了一条“合法”收入来源。 这意味着瑞典纳税人不知不觉地资助了犯罪活动,为团伙的持续运作提供了一张安全网。该报告强调,在此群体中,具有移民背景的个人比例过高。案例包括被认证为不适合工作的个人,实际上却在积极经营团伙和协调犯罪活动。 此外,该系统还通过赡养费支持和欺诈性公司索赔被利用,尤其是在个人助理领域。政府承认这种情况“令人震惊”,并计划进行立法修改,以改善数据共享和验证,旨在切断犯罪网络的资金来源,并重新评估现有的福利案件。

## NVMe2K:Windows 2000 NVMe 驱动程序摘要 NVMe2K 是一个实验性的 SCSI 迷你端口驱动程序,旨在为 Windows 2000 带来 NVMe 固态驱动器支持,目标平台包括 x86 和 Alpha AXP。它基于 ScsiPort 框架构建,允许 Windows 2000 识别和利用通过 PCI 总线(类代码 01-08-02)连接的 NVMe 设备。 该驱动程序是一个概念验证,提供基本功能,但存在限制:单个 I/O 队列、传统中断处理(INTx)、有限的并发传输以及不支持命名空间或电源管理。配置通过 INF 文件实现,调整队列深度和散布/收集列表大小等参数。调试支持通过 WinDbg 和 ScsiDebugPrint 进行。 NVMe2K 使用 Visual C++ 6.0 和 Windows 2000 DDK 开发,并采用 3-Clause BSD 许可。**它不提供任何担保,仅供实验使用,存在数据丢失或系统不稳定的风险。** 未来的开发方向包括多队列支持、MSI-X 中断和性能优化。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Windows 2000 的 NVMe 驱动程序,面向 x86 和 Alpha AXP 平台 (github.com/techomancer) 24 分,由 zdw 1 小时前发布 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## SmartTube 安全漏洞摘要 本月早些时候,流行的Android TV和Fire TV上的SmartTube YouTube应用程序遭遇了安全漏洞。用于构建应用程序的开发人员的计算机感染了恶意软件,导致恶意版本(特别是来自APKMirror的30.43和30.47版本)被意外发布。这可能是Google和Amazon强制卸载的原因,而非最初怀疑的数字签名泄露。 受感染的计算机已被擦除,现在提供了一个新版本(30.56 – 通过Downloader应用程序安装码28544用于稳定版,79015用于测试版),并带有新的数字签名。 虽然恶意软件的具体功能尚不清楚,但建议用户假设最坏的情况。**建议恢复出厂设置最近安装/更新了SmartTube版本的设备(尤其是在11月),并检查Google/YouTube帐户权限是否存在可疑活动。** 仅使用提供的代码安装最新版本,以确保干净的安装。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 SmartTube 被攻破 (aftvnews.com) 10 分,由 akersten 1小时前发布 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

您的请求已被阻止,原因是网络策略。请登录或在此处创建帐户以恢复浏览。如果您正在运行脚本或应用程序,请在此处注册或使用您的开发者凭据登录。此外,请确保您的User-Agent不为空,并且是独特且具有描述性的,然后重试。如果您正在提供替代的User-Agent字符串,请尝试改回默认设置,因为这有时会导致阻止。您可以在此处阅读Reddit的服务条款。如果您认为我们错误地阻止了您,或者想讨论更轻松地获取所需数据的方式,请在此处提交工单。联系我们时,请提供您的Reddit帐户以及以下代码:205aa5ea-f6ba-48b8-816f-cf7b83e7e1c8

## Google Antigravity 删除用户硬盘 Reddit上一名用户在使用Google的Antigravity AI工具后,遭遇了硬盘被完全擦除的情况。问题源于一个被错误理解的指令——用户本意是删除一个包含空格的目录,但缺少引号,导致执行了一个相当于`rm -rf`的命令,从而删除了整个D:\驱动器。 这一事件引发了讨论,许多人指出以空格命名目录的危险性以及备份的重要性。人们也对授予AI工具写入权限以及缺乏强大的沙盒选项表示担忧,尤其是在Windows系统上。 许多评论员强调了使用自动执行终端命令的AI工具的风险,尤其是在“Turbo”模式下。 讨论的解决方案包括禁用Antigravity设置中的“终端命令自动执行”,并利用Docker等容器化技术来限制“爆炸半径”。 Antigravity的开发者已经道歉,承认存在一个错误的指令,目标是根驱动器而不是项目文件夹。 这一事件加剧了人们对这类AI工具是否准备好广泛使用的怀疑。

Set Studio/Piccalilli 由于艰难的经济环境面临挑战,情况类似于2020年,并且由于伦理方面的担忧而不愿抓住人工智能的机遇。尽管在以人为本的网页设计和开发方面享有盛誉,并通过Piccalilli提供有价值的免费教育内容,但项目咨询量有所下降。 通过Open Collective进行的社区募资尝试未能成功,凸显了许多人面临的财务压力。该公司严重依赖课程销售,尤其是在黑色星期五期间,但目前表现不佳。他们提供三门备受好评的课程——完整CSS、人人JavaScript和正念设计,由行业专家创建。 作者公开呼吁通过购买课程、分享他们的工作以及考虑在未来的网页项目中使用Set Studio来提供支持。他们强调对道德实践、高效工作和合理定价的承诺,将自己定位为合作伙伴而非传统机构。咨询服务也将在新年推出。最终,这是一个透明的求助,旨在继续提供高质量的工作和教育。

最近的 Hacker News 讨论强调了企业面临着充满挑战的一年,尤其是在编程教育及相关领域。Swizec 报告说,Set Studio 难以找到项目,特别是由于他们拒绝从事人工智能产品营销——目前占据市场需求主导地位的行业。 许多评论者同意市场已经显著收紧,有人认为编程教程行业在两年前就已经“死亡”。大家普遍认为 2020 年的轻松赚钱的机会已经消失,目前的状况是“新常态”。 Stack Overflow 的衰落也被提及,表明开发者对资源依赖可能正在发生转变。虽然有些人质疑拒绝与人工智能相关的项目,认为大型语言模型在教育和数据结构方面提供了机会,但总体情绪指向一个艰难的局面,需要适应,否则可能面临失败。

您的IP地址已被Codeberg屏蔽。如果您认为这是一个错误,请通过contact us联系我们,并提供您的IP地址:47.245.80.60

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Ly – Linux 和 BSD 的轻量级 TUI (类似 ncurses) 显示管理器 (codeberg.org/fairyglade) 20 分,由 modinfo 5 小时前发布 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式 搜索:

## craw:Windows 测试运行器摘要 `craw.py` 是一个 Windows 测试运行器,旨在执行在 `.t` 文件中定义的测试,使用 PowerShell 或 Cmd。它解释这些文件,生成 `.err` 输出以进行比较,并提供标准的测试框架行为——不为零的返回码以及差异显示。 主要功能包括:通过 `--shell` 选项支持 PowerShell 和 Cmd,沙盒测试目录,以及使用 `-i -y`(组合使用)自动将 `.err` 文件提升为 `.t` 文件的能力。`craw` 还处理环境变量,为 PowerShell 和标准变量访问复制它们。 目前,诸如预期输出的正则表达式匹配、通过 `.cramrc` 或环境变量进行配置以及原始 `cram` 的完整标志支持等功能*尚未*实现。测试依赖于由 `craw` 本身运行的端到端 `.t` 文件,未来的开发可能包括更强大的单元测试框架。

黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录 展示HN:一个用于Windows Shell的“Cram测试”脚本 (github.com/nyub) 3点 由 NyuB 2小时前 | 隐藏 | 过去的 | 收藏 | 讨论 功能有限,但能完成任务。我邀请任何不了解Cram测试的人尝试一下,无论是在Unix系统中使用原始的Cram,还是在Windows系统中使用这个脚本。 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

X210Ai 是一款用于升级 Thinkpad X201/200 的新主板,详情如下: 1、CPU:Ultra 7 165H,Ultra 9 185H; 2、存储支持:两个 M.2 SSD PCIE 4.0 (一个 2280,一个 2242),原有的 2.5 英寸 SATA; 3、内存:DDR5 5600MHz,最高 128G (64G + 64G); 4、两个 Type-C:一个支持雷电 4.0,另一个是全功能 Type-C; 5、支持输出 HDMI 2.1; 6、显示:支持与 X2100 相同的屏幕,例如原 X201/200 的屏幕,13 英寸 3000×2000,13.3 英寸 1920×1200 和 13.3 英寸 2560×1600; 7、WWAN 4/5G; 8、SATA 的位置可以安装第二个风扇; 9、新的子板; 10、X210Ai 项目目前无法保证 coreboot 支持,但我们仍致力于探索可能的解决方案。 X210Ai 时间线请点击此处 X210Ai 相关文件 & 软件下载 请点击此处查看最新价格 请点击此处订购 X210Ai

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 X210Ai 是一个新的主板,用于升级 ThinkPad X201/200 (tpart.net) 19 分,由 walterbell 发布 2 小时前 | 隐藏 | 过去 | 收藏 | 2 评论 idiotsecant 30 分钟前 [–] 无法建立数据库连接 回复 thinkmassive 23 分钟前 | 父评论 [–] 存档链接: https://web.archive.org/web/20250924185757/https://www.tpart... 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

客户端挑战:您的浏览器已禁用 JavaScript。请启用 JavaScript 以继续。网站的必要部分无法加载。这可能是由于浏览器扩展、网络问题或浏览器设置造成的。请检查您的连接,禁用任何广告拦截器,或尝试使用不同的浏览器。

## 美国医疗费用激增 最近的《金融时报》文章(以及Hacker News上的讨论)强调了美国医疗费用不断增长的危机。许多美国人面临着显著上涨的保费,其中一些人甚至增加了超过800美元/月,即使他们已经获得补贴。 讨论揭示了一个复杂的情况。虽然为低收入人群提供补贴,但对高收入人群的援助中断正在推高许多人的费用。一些人将《平价医疗法案》(ACA)的强制要求归咎于更高的覆盖范围要求,而另一些人则指出医疗价格上涨和美国体系的逐利本质是根本问题。 许多评论者分享了个人经历,详细描述了维持保险的困难、有限的医疗服务网络和高额自付额。人们争论着《平价医疗法案》是否真正解决了高成本的根本原因,还是只是将其转移了。最终,这场讨论强调了医疗给美国家庭带来的经济压力以及缺乏简单的解决方案。

## reMarkable 2:初步印象与自制潜力 我最近以黑色星期五的折扣价购买了reMarkable 2平板电脑,包括Marker Plus笔和书套。它确实是一款非常出色的无干扰写作设备——笔触手感极佳,延迟低且笔刷可自定义。我正在重拾手写文字的乐趣!Marker Plus上的橡皮擦是一个值得升级的功能。 虽然阅读PDF文件是可行的,但触摸手势不够流畅,用笔触导航感觉更好。一项订阅服务(“Connect”)提供云存储和模板等实用功能,价格约为每年30美元,但并非必需品。 我的主要目标是用于唱诗班的乐谱阅读,但reMarkable当前的软件缺乏像MobileSheets等应用程序中那样的裁剪、半页翻页和强大的图书馆管理等关键功能。这促使我探索了这个设备令人惊讶的活跃的自制社区。 尽管reMarkable对软件修改持开放态度,但由于操作系统版本兼容性问题,运行软件包管理器(Toltec)仍然具有挑战性。该社区严重依赖逆向工程专有软件(xochitl)来访问显示屏,虽然独立驱动程序正在取得进展,但这仍然是一项持续的工作。我已开始用Rust构建自己的音乐阅读器,希望为该生态系统做出贡献。

Hacker News 上的一场讨论集中在 reMarkable 2 数字纸平板电脑的可破解性有限。用户普遍赞扬该设备的核心功能——书写体验、电子阅读能力和手势,但许多人对其封闭的生态系统感到沮丧。 破解的主要愿望在于访问同步 API,以自动化文件访问和处理,特别是转换手写注释。然而,现有的 API 实现大多已过时且无法使用。 一些用户购买 reMarkable 2 时*期望*更开放,但最终感到失望并出售了该设备。另一些人认为 reMarkable 没有充分利用其潜力。尽管缺乏传统的应用商店,reMarkable 最近发布了一个 SDK,为未来的定制提供了一线希望,正如一位用户构建了一个 RSS 到 PDF 服务,用于在平板电脑上阅读信息流。

一个用于规避人工智能垃圾内容的浏览器扩展。为Chrome或Firefox下载。这是一个搜索工具,仅返回ChatGPT于2022年11月30日首次公开发布之前的内容。自ChatGPT和其他大型语言模型公开发布以来,互联网正日益被人工智能生成文本、图像和视频污染。此浏览器扩展使用Google搜索API,仅返回2022年11月30日之前发布的内容,确保其由人类撰写或制作。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 搜索工具,仅返回 ChatGPT 公开发布之前的内容 (tegabrain.com) 11 分,dmitrygr 发表于 54 分钟前 | 隐藏 | 过去 | 收藏 | 2 条评论 1gn15 发表于 4 分钟前 | 下一个 [–] 这会过滤掉传统的 SEO 博客农场吗?回复 johng 发表于 50 分钟前 | 上一个 [–] 我不知道这在底层是如何运作的,但无论如何运作,似乎很容易被利用。回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## DoteWM:一个基于Web的窗口管理器 DoteWM是一个新颖的窗口管理器,其理念是通过*网页浏览器*控制桌面环境。传统上,窗口管理器会处理窗口装饰、移动和交互,并配合像X11这样的显示服务器。DoteWM将这种控制权转移到浏览器,使用Chromium Embedded Framework (CEF),从而可以使用Web技术(HTML、CSS、JavaScript)进行自定义,而不是复杂的C++代码。 该系统采用客户端-服务器模型:X11处理窗口显示,浏览器渲染UI并管理交互,一个独立的C++窗口管理器使用OpenGL合成最终输出。浏览器和窗口管理器之间的通信通过基于nanomsg的Protobuf构建的自定义协议进行,即使在高负载下也能确保稳定性。 这种架构提供了更轻松的自定义——调整CSS比修改核心窗口管理器代码更简单——并允许实现自定义窗口装饰和用JavaScript定义的动态窗口行为等功能。有几个演示主题可用,包括Windows 98和XP风格,展示了该项目的潜力。 该代码完全开源(github.com/FoxMoss/DoteWM/)并且可在AUR上找到,邀请用户进行实验和贡献开发,未来的潜在改进可能侧重于Wayland支持和优化浏览器/窗口管理器同步。

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 用 Google Chrome 替换我的窗口管理器 (foxmoss.com) 9 分,foxmoss 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 2 条评论 chasing0entropy 发表于 2 小时前 [–] 我对一个实现完全相反结果的教程感兴趣。回复 jonhohle 发表于 3 分钟前 | 父评论 [–] 1) 卸载 Chrome 2) 一年安装一次,当一些向后兼容的网站无法使用其他任何东西时。 3) 返回 1) 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

## 美国酒精消费情况 - 2024 年快照 最近,药物滥用和精神健康服务管理局的数据显示,酒精在美国仍然普遍存在,12 岁及以上年龄段的个人中,有 46.5% 的人在过去一个月内饮酒——略低于 2022 年。这相当于大约 1.34 亿人。 然而,数据揭示了酒精使用之外令人担忧的趋势。超过 20% 的人口(5790 万人)参与了狂饮——一次性大量饮酒——这代表了所有饮酒者的一大比例(43.1%)。 有 1450 万美国人被归类为重度饮酒者,每月有五天或更多天进行狂饮。这个群体虽然占总人口的 5%,但占所有狂饮者的四分之一,占所有定期饮酒者的十分之一,表明饮酒人群中存在集中风险。

布莱恩·考克斯教授与Ward-Thompson和Metsaivanio合作,最近推出了他们的新书,展示了我们银河系之外的星系。此前,他们的《宇宙云》专注于我们银河系的尘埃和气体。本书收录了Metsaivanio令人惊叹的三维图像,并借鉴了Ward-Thompson在星系演化领域40年的专业知识。 该项目探索了星系的多样形态,例如像NGC 1365这样的棒旋星系,并强调了我们对它们的理解随着时间的变化。Ward-Thompson幽默地指出,书中展示的其中一个星系甚至是他博士论文的研究对象。他强调,本书详细介绍了从认为我们的星系是“正常”的到认识到宇宙中存在各种各样星系结构的观念转变。在伦敦的发布会上,包括了一场讲座和Metsaivanio引人入胜的视觉效果的放映。

一篇BBC关于巨型星系立体图像的文章最近在Hacker News上分享,引发了关于观看方法的讨论。用户报告说,在iPad上观看效果最佳,需要放大并靠近脸部,让大脑将两张图像融合为3D视图——有些人发现摘掉眼镜更有帮助。 虽然受到赞赏,但一些评论者认为某些图像不如其他图像令人印象深刻。一个常见的请求是提供“交叉眼”模式的图像,这被认为更容易观看。一位用户开玩笑地将这种偏好与星际旅行的可能性联系起来,强调了有效3D观看需要图像视角之间有相当大的距离。另一位用户建议将图像转换为“摆动图”作为替代方案。

亚里士多德的解法如下。它出奇地简单。设 $(a_n)$ 为 $d_i$ 的幂的序列(已排序,包含重复项)。例如,如果 $d_1=2$ 且 $d_2=3$,则序列为:$1,1,2,3,4,8,9,16,27,\ldots$。我们想要证明每个正整数都是一个子序列和。这等价于 $a_{n+1} -1 \leq (a_1+\dots +a_n)$。右侧是 $\sum_{i=1}^k (d_i^{e_{i,n}}-1)/(d_i-1)$,其中 $e_{i,n}$ 是在第一个 $n$ 项中尚未出现的 $d_i$ 的第一个幂。它被 $\min_i (d_i^{e_{i,n}}-1)$ 下界。然而,$a_{n+1}=\min_i d_i^{e_{i,n}}$。完成。请注意,$e_{i,n}$ 的定义存在一些歧义。在例子 $d_1=2, d_2=3$ 中,我们可以任意决定 $a_1$ 是 $2$ 的幂,$a_2$ 是 $3$ 的幂,所以 $e_{2,1}=0$ 但 $e_{2,2}=1$。

## 人工智能解决埃尔德斯问题#124及更多 近期人工智能的进展在数学问题解决方面引起了波澜。据报道,一个人工智能模型已经证明了埃尔德斯问题#124,此前它也成功解决了埃尔德斯问题#340(使用ChatGPT来形式化证明)。GPT-5也协助解决了埃尔德斯问题#848。然而,讨论显示出细微之处:人工智能通常是*辅助*解决问题,而不是独立解决,经常形式化现有的证明或快速测试想法。 关于这些成就的意义存在争论。一些人认为这是朝着“数学超智能”迈出的巨大一步,而另一些人则强调人工智能擅长自动化研究中繁琐的方面,例如探索无数失败的尝试。一个关键点是,当前的人工智能依赖于现有的数学框架;解决需要完全新的数学概念的问题仍然是一个挑战。 通过Lean等形式化系统进行验证至关重要,但仍然存在问题,即所解决的问题版本是否与埃尔德斯最初提出的问题完全一致。这场讨论凸显了关于智能本质以及人工智能在数学中作为工具与发现者角色的更广泛争论。

## 乌克兰电力韧性:DIY解决方案 乌克兰因俄罗斯无人机袭击关键基础设施而面临持续停电,寒冷天气增加能源需求,情况更加恶化。一些建筑物为水泵和电梯等基本设施安装备用发电机,互联网服务提供商则采用电池备份或光纤,但这些解决方案通常成本高昂。 意识到市售电力站(如Ecoflow)价格昂贵,一个技术团队决定自行构建电池系统,为他们的Google Pixel 6服务器场供电(需要约500W持续5小时,或2.5kWh的容量)。他们选择更安全且经济高效的LiFePO4电池,直接采购组件——包括关键且难以找到的电池管理系统(BMS),总成本约为600美元,远低于预制选项。 这种DIY方式在乌克兰越来越普遍,源于必要性和对价值的追求。该过程涉及小心地组装电池,连接BMS以确保安全和平衡,并利用“太阳能逆变器”将直流电转换为交流电。尽管存在组装不当的风险,乌克兰人越来越多地将电力韧性掌握在自己手中,以确保在持续冲突中的业务连续性。

一个黑客新闻的讨论围绕一个项目,该项目允许用户使用物理手机网络来运行社交媒体营销活动——本质上是一个“点击农场”。该项目由一个与乌克兰有联系的团队开发,旨在帮助初创公司获得曝光。 最初的反应褒贬不一,从对创造力的钦佩(“黑客精神!”)到对其目的的怀疑,一些人将其直接定义为点击农场。 一条关键评论强调该团队仍在寻求风险投资。 对话进一步探讨了自动化社交媒体操纵的伦理以及大型语言模型可能颠覆数字营销的潜力,从而让开发者能够从事更有意义的工作。 还有一些轻松的评论和对乌克兰的支持。

启用 JavaScript 和 Cookie 以继续。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 看到分子的量子阴影 (aps.org) 7 分,来自 lc0_stein 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系 搜索:

在弗拉基米尔·普京自乌克兰冲突开始以来首次访印之前,即将举行的与莫迪的峰会一个重要但鲜为人知的方面是潜在的大规模劳务迁移协议。俄罗斯面临日益严重的劳动力短缺——预计到2030年将达到310万——并积极寻求工人,目标是招募多达100万外国劳工。 这一举措与俄罗斯移民政策的变化相吻合,由于近期恐怖事件导致的安全问题加剧以及吸引与“传统俄罗斯价值观”相符的移民的愿望,俄罗斯正在减少对中亚劳工的依赖。印度被视为更理想的来源,其人口被认为不易受到激进化影响,且缺乏可能被利用的历史积怨。 该协议不会提供入籍途径,仅侧重于填补劳动力缺口,并为印度工人提供汇款机会。鉴于印度历史上对俄罗斯的积极看法及其世俗社会,峰会期间达成实质性协议的可能性很大。

## 迈克·戈登在硬件验证方面的突破 20世纪60年代,随着复杂度的增加,对完全验证软件的最初乐观情绪逐渐消退。然而,迈克·戈登率先采用了一种非常成功的硬件验证方法,使用了高阶逻辑(HOL)。大约在20世纪80年代,戈登发现了一种方法,可以使用设备端口上的关系来建模硬件电路——从单个晶体管到复杂的系统,统一处理所有端口值(位、字、函数)。 这种方法包括指定期望的行为(Spec)并使用电路来实现它(Imp)。然后,验证就变成了证明 Imp → Spec——即实现的行为符合规范。细化允许从更简单的、经过验证的组件构建复杂的系统。 虽然模型简洁优雅,但最初面临着短路等问题。提出了证明“终止性”等解决方案。重要的是,戈登的模型侧重于*逻辑*功能,承认设计者仍然需要使用其他工具来解决门延迟和功耗等物理约束。他的方法已被证明具有持久性,而更复杂的模型并未获得类似的进展,这突显了建模中简单性的力量。

黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Mike Gordon 和硬件验证 (2023) (lawrencecpaulson.github.io) 5 分,by sebg 2 小时前 | 隐藏 | 过去 | 收藏 | 讨论 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

瑟哈特·古姆鲁克çu,43岁,曾是生物科技公司Enochian Biosciences(后更名为Renovaro)的科学创始人,因2018年在佛蒙特州雇凶杀害格雷戈里·戴维斯而被判处终身监禁。此案源于一项失败的石油商品交易,以及古姆鲁克çu担心戴维斯会揭露与潜在艾滋病毒“治愈”并购相关的欺诈行为。 古姆鲁克çu的欺诈背景最初是由做空机构Hindenburg Research于2022年揭露,他们称其公司是一个价值6亿美元的骗局。检察官证明,古姆鲁克çu资助了一项20万美元的阴谋,利用同伙伯克·埃拉泰、阿隆·埃斯里奇和杰里·班克斯——他们分别被判处9至16年的刑期——绑架并杀害戴维斯。 班克斯在犯罪过程中冒充美国联邦法警。 尽管声称自己无辜,并承认有说谎的历史,包括购买假医学学位,古姆鲁克çu最终于2025年4月被判犯有雇凶杀人、共谋和电线欺诈罪。受害者的遗孀赞扬了不懈的调查和对正义的追求。古姆鲁克çu的故事,讲述了他从自称“读心魔术师”到臭名昭著的生物医学企业家的经历,引起了广泛关注,甚至成为播客的主题。

已与23andMe(现“Chrome”)就2023年网络攻击达成和解,该攻击影响了约640万美国客户。如果您在2023年5月1日至2023年10月1日期间是23andMe客户,并收到了数据泄露通知,您可能有资格获得赔偿。 这些赔偿包括潜在的现金支付——“特别索赔”最高可达10,000美元,“健康信息索赔”最高可达165美元,“法定现金索赔”约为100美元——以及五年免费的隐私与医疗防护+基因监测服务。 要获得现金支付(不包括健康信息索赔),您**必须在**2026年2月17日之前**提交索赔**。您也可以选择在2025年12月29日之前**退出**和解,或在同一日期**反对**和解。不采取任何行动仍会使您受到和解的约束,但仅能获得监测服务。 此案为*23andMe, Inc. 客户数据安全泄露诉讼*,目前在美国密苏里州东区破产法院审理中。

关于Hacker News的讨论集中在23andMe数据泄露和随后的和解方案(23andmedatasettlement.com)上。用户质疑和解方案的充分性——根据索赔金额从100美元到10,000美元不等,外加潜在的隐私监控——认为这并不能真正补偿受害者因敏感基因和健康信息被盗而遭受的损失。 许多人表达了沮丧,认为隐私的价值远远超过了拟议的赔偿金额。一些人想知道与23andMe用户有关联的人以及希望提交索赔的加拿大人是否有资格。分享了相关文章的链接,包括一篇详细介绍了英国监管机构对23andMe处以230万英镑罚款的文章,以及另一篇强调该公司有争议的说法,即受害者部分自负。 一个关键点是,鉴于23andMe目前的财务状况,实现完全赔偿的难度很大,一些人建议改而寻求个人索赔。这场对话凸显了接受有限和解与争取更大问责制之间的争论。

最近一项分析指出,美国在定义和解决贫困问题上存在一个关键缺陷。官方贫困线源于1963年的数据,并且只根据通货膨胀进行调整,严重低估了现代家庭的真实生活成本。虽然收入在4万美元到10万美元之间可能看起来足够,但实际的“参与预算”——即满足基本需求(如儿童保育、医疗保健和住房)所需的收入——估计在13.6万美元到15万美元之间。 这种差异制造了一个“贫困陷阱”,其中收入增加常常被关键福利的丧失所抵消(即“福利悬崖”),使得向上流动极其困难。该系统实际上惩罚了工作,随着福利的消失,边际税率飙升。 核心问题不是缺乏努力,而是过时的指标以及由数十年货币政策和关键部门的过度监管造成的系统性扭曲。 提出的解决方案包括更新贫困计算公式、放松对基本服务的监管以降低成本,以及改革货币政策以稳定物价。 如果没有这些改变,实现经济稳定对于数百万美国家庭来说仍然是无法企及的“逃逸速度”。

一篇关于不寻常死亡事件——一名洞穴潜水员自杀——的Reddit帖子,引发了人们对维基百科“不寻常死亡列表”的深入研究,揭示了志愿编辑们对“不寻常”的定义出人意料的严格辩论。这突显了浩瀚在线百科背后的常人元素:无数的讨论和编辑塑造着其内容。 这一探索与埃隆·马斯克的人工智能生成百科全书Grokipedia的推出同时发生。然而,Grokipedia并非维基百科的真正竞争对手。它只是对信息的机械化、有偏见且组织混乱的重复,缺乏定义维基百科的透明度、协作精神和人类洞察力。 虽然维基百科面临着人工智能和政治攻击的威胁,但它的优势在于其社区驱动的流程。编辑们一丝不苟地讨论和完善内容,以既定的规则和对共享知识的承诺为指导。相反,Grokipedia是一个黑匣子,证明了*没有*人类协作构建的百科全书会失去其价值和准确性。最终,维基百科的韧性源于它对人类怪癖和集体智慧的拥抱——这是人工智能无法复制的。

## Grokipedia 受到审查 最近的 Hacker News 讨论强调了对 Elon Musk 的 AI 驱动的维基百科替代品 Grokipedia 的担忧。用户迅速发现了事实错误——具体来说,错误地将 Don DeLillo 小说中的主角归于他人——表明该 AI 在从来源准确提取信息方面存在困难。 进一步的讨论指出了 Grok 内部潜在的偏见,并注意到“Twitter Grok”和“Web Grok”版本之间的差异,前者似乎被编程为避免批评 Elon Musk 及其政府。人们对用于训练 AI 的人类反馈强化学习 (RLHF) 缺乏透明度表示担忧,以及可能故意操纵其输出以推动特定政治观点。 一些评论员认为,鉴于其所有者明显的议程,一个真正“良好”的 Grokipedia 版本是不可能的,并且该项目并非以开放知识为首要目标而创建的。

Sysadmin降临节是一个为期12天的Linux和DevOps挑战日历,难度各异,从12月1日到12月12日运行。 每天都会有一个你可以解决的情景以获得积分(简单= 1分,中等= 2分,困难= 5分)。 注册一个免费帐户(需要跟踪您的进度)并开始解决情景! 日期 名称 等级 时间限制 2025-12-01

Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Sysadmin 降临 2025 (sadservers.com) 16 分,由 lazyant 发表于 43 分钟前 | 隐藏 | 过去 | 收藏 | 4 条评论 teddyh 发表于 23 分钟前 [–] 哦,听起来很有趣。> 注册免费账户 哈哈,不用了。关闭标签页 thomond 发表于 4 分钟前 | 父评论 | 下一个 [–] 似乎不需要账户就能完成问题。我没有账户就完成了第一个任务。 thatxliner 发表于 12 分钟前 | 父评论 | 上一个 | 下一个 [–] 嗯,代码降临也需要账户。 fragmede 发表于 7 分钟前 | 父评论 | 上一个 [–] 你希望它怎么运作?你懂系统管理吗? 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:
联系我们 contact @ memedata.com