每日摘要 · Hacker News
· 81 黑客新闻
特朗普政府周四宣布暂停多项科技公司的移民签证项目,指控其广泛滥用工人签证制度。在华盛顿举行的简报会上,副总统JD Vance直言,美国没有哪家公司像Microsoft那样严重滥用这一系统。此次行动波及多家科技企业,标志着美国在移民政策与科技人才引进之间正面临新的博弈。这一决定不仅影响企业招聘策略,也可能重塑全球科技人才流动格局。
这是一个由开发者发起的公益项目,作者已坚持资助坦桑尼亚Njombe地区一名乡村儿童的教育长达十年。项目网站Tanzania Education Project不仅展示了受助儿童如Anuarite、Catherine和Alfonce的成长故事,还致力于帮助当地孩子获得教育、医疗和安全环境。通过透明展示项目进展和受助者生活,该项目将技术人的热情转化为实实在在的社会影响力,让每一次捐赠都能创造持久改变。
Terence Tao 在 Mastodon 上发文回应 OpenAI 数学能力下降的争议,他提出了 Math 1.0 与 Math 2.0 的深刻对比。在传统的 Math 1.0 时代,解决难题会引发广泛的讨论、合作与教学,推动整个领域进步。然而,现在的 AI 工具往往让问题被“一次性收割”,解题者缺乏对领域的深入理解,导致后续活动匮乏,甚至因担心被抢先而隐瞒研究方向。Tao 警告这种不可逆的…
Cactus Compute 发布了 Whistle,一款仅 16.9 MB 的开源语音识别模型。它无需任何依赖,直接在 CPU 上运行,并共享 Needle 的 C++ 引擎。Whistle 支持七种语言,首字生成延迟低至 11 毫秒,在设备上完成转录、时间戳对齐和语音嵌入。与 Whisper base 相比,Whistle 体积更小、速度更快,且音频数据无需离开设备。无论是移动端、可穿戴设备…
我们是 Hundred Rabbits,一艘帆船上的离网生活者。在 2026 年的航行日志中,我们记录了从太阳能烹饪实验到自制加密工具的日常。这个夏天,我们发布了重制版的 Donsol 游戏,在 Uxn 平台上开发了复古程序,并深入探索了 Giuseppe Peano 的辅助语言理念。当互联网信号在海岸线上断断续续时,我们爬上长满蕨类植物的山丘,只为上传代码或发送一条消息。在这里,技术不是冰冷的…
我重度使用 DeepSeek 4.1 Flash 已一个月,在数十个项目中发现其能力与 Opus 5.5 难分伯仲,但成本却低几个数量级。对于日常开发、探索性测试甚至复杂规划,它已足够出色,单次会话成本往往不足一美元。其 KV cache 优化技术将内存占用缩小了 437 倍,让全天候长会话变得经济可行。相比盲目追逐最新模型,这种“足够好”且高性价比的方案正在重塑我的工作流。当中国模型能以极低资…
OpenAI 的年收入表现远低于此前市场预期的水平,差距高达 200 亿美元。这一数据揭示了人工智能行业在商业化进程中面临的现实挑战,尽管技术迭代迅速,但将技术优势转化为实际营收仍充满变数。投资者和观察家们需要重新评估 OpenAI 的财务模型及其在激烈竞争中的长期盈利能力,同时也反映出市场对 AI 巨头估值可能存在的泡沫风险。
我给了 Claude Opus 5.5 一个关于伊塔洛·卡尔维诺《看不见的城市》的提示词,并预留了六小时让其生成 three.js 可视化作品。作为对比,GPT-6 Astra 在 53 分钟内完成了任务,但结果充斥着冗余的视觉噪音;而 Opus 5.5 仅用 1 小时 25 分钟,通过 6 个并行子代理就构建出令人惊叹的交互式 3D 城市。这次实验不仅展示了 AI 在设计领域的巨大飞跃,更让我…
2011 年,我偶然听到一张名为 Salvage 的乐队发行的 CD,其中两首曲目 Electric 和 Searchlights 制作精良却来路不明。此后的 15 年里,我尝试了各种搜索手段,甚至动用了前沿的 AI 模型,却始终无法找到这支乐队的更多踪迹。直到最近,通过 AI 辅助排查和一张误拼的唱片页,我终于联系上了制作人 Greg Haver 和主唱 Sam Tattersall。原来,S…
- ▲ 338OpenAI 撤回 3 篇数学论文
OpenAI 在 GitHub 上更新了 math 仓库,正式撤回了 3 篇数学论文。原因是在《Algebraicity of Weil classes on split abelian eightfolds》中发现了一个符号错误,导致稳定化迹抵消论证失效,进而影响了另外两篇依赖该结论的论文。除了撤回,团队还修复了 14 篇其他手稿中的证明漏洞、修正了陈述并澄清了假设。此外,新增的 6 项形式化…
- ▲ 337智能咖啡机10天狂吞1TB流量
一位在IT行业工作超过10年的用户Nomad,在检查父母家庭网络时发现,一台智能咖啡机在短短10天内产生了惊人的1TB数据流量。虽然大部分流量并未外泄到互联网,而是滞留在本地网络中,但这足以导致家庭AP(接入点)饱和,严重影响Wi-Fi体验。Nomad分析认为这是设备本身的Bug,并果断建议不再保留这种存在潜在风险且会拖垮网络的IOT设备。这一案例生动揭示了智能家居设备在连接稳定性与网络资源占用…
长久以来,James Watson 的回忆录让大众误以为 Rosalind Franklin 未能从著名的 photograph 51 中发现 DNA 的螺旋结构。但最新研究彻底推翻了这一误解。历史学家 Alistair Sponsel 和晶体学家 Brian Sutton 通过分析 Franklin 的实验笔记发现,她在 photograph 51 之前拍摄的 photograph 49 中早…
地球上最长寿的陆生动物Jonathan,这只Aldabra giant tortoise已活到约194岁。科学家首次对其基因组进行测序,发现他在DNA修复、胰岛素调节和线粒体功能等衰老通路中存在独特的基因变异。研究团队通过对比Jonathan与年轻乌龟的甲基化图谱,惊讶地发现其线粒体甲基化状态异常“低熵”,几乎与5岁幼龟无异。这一发现由Kallel Foundation的Stephen Clar…
- ▲ 250神秘数学家Cleo身份揭晓
在Mathematics Stack Exchange上,一位名为Cleo的神秘用户曾以惊人的速度给出复杂积分的精确解,却从不展示推导过程,引发数学界对天才或集体伪装的猜测。2025年1月,Cleo的真实身份被确认为乌兹别克斯坦裔美国软件开发者Vladimir Reshetnikov。他创建Cleo这个女性化人设,旨在通过简洁答案激发社区对冷门数学问题的兴趣。尽管答案正确,但因缺乏解释曾引发争议…
- ▲ 247Zotero 启示:慢工才能出好软件
在 AI 能瞬间生成代码的今天,Zotero 的诞生故事显得尤为珍贵。这款被全球两千万用户使用的研究工具,并非由 LLM 快速生成,而是由一群历史学家耗时五年打磨而成。作为 RRCHNM 的前任主任,我回顾了 Zotero 从 Web Scrapbook 和 Scribe 的探索,到最终融合浏览器与桌面应用优势的过程。这段经历证明,在充满不确定性的早期阶段,缓慢的协作与深思熟虑的愿景,远比追求即…
- ▲ 245DVD菜单:被遗忘的交互艺术
从VHS时代跨越到DVD,交互式菜单曾被视为技术飞跃的卖点。尽管受限于720x480分辨率和仅支持4色的Subpictures技术,创作者们却在有限的MPEG-2视频流和DVD VM交互机器中,挖掘出了惊人的创意空间。从Disney的FastPlay自动播放机制,到Scooby-Doo 2和Shrek 2中嵌入的完整小游戏,再到Doctor Who在Tardis控制台上的沉浸式导航,这些菜单不仅…
- ▲ 241OpenAI 撤回三项数学成果
Dan Roberts 在 Twitter 上宣布,团队更新了 GitHub 上的数学仓库,新增了 6 个 Lean 形式化证明,修改了 19 处内容,并正式撤回了 3 项数学成果。目前该仓库中约 42% 的核心结果已完成形式化。被撤回的三项研究包括分裂阿贝尔八维流形上的 Weil 类代数性、K3 曲面的 Kuga–Satake 对应代数性,以及 K3 曲面乘积空间的有理 Hodge 猜想。此次…
Theranos.World 是一个精心构建的交互式网站,通过模拟 Elizabeth Holmes 的办公桌场景,让用户身临其境地回顾这场科技史上最著名的骗局。页面还原了 MacBook、iPhone 以及那杯标志性的绿色果汁,甚至重现了 2015 年 macOS 系统的界面细节。用户只需点击椅子坐下,就能在虚拟的 Theranos 世界中探索那些被掩盖的真相。这不仅是对历史事件的数字化存档,…
- ▲ 2144小时电池储能全球比燃气轮机更便宜
Wood Mackenzie最新报告显示,全球43个市场中,4小时电池储能的安装成本已全面低于燃气轮机。在Middle East and Africa地区,随着太阳能成本优势扩大,储能成本预计到2035年将再降33%,彻底取代燃气调峰。中国凭借规模化制造,储能成本比亚太地区平均水平低55%以上。Ahmed Jameel Abdullah指出,燃气短缺与燃料波动推高了成本,而电池制造扩张则持续压低…
- ▲ 177维也纳与北京:首台钍核钟开始计时
维也纳和北京的两个独立团队同步实现了核钟的突破。不同于传统原子钟依赖电子振荡,这种新型时钟通过测量钍-229原子核的压缩与恢复来计时。虽然目前精度尚未超越顶尖原子钟,但核钟在便携性和探测暗物质方面潜力巨大。如果暗物质粒子穿过钍原子核,核钟的计时会出现微小波动,这为探索宇宙83%的未知物质提供了新途径。这项发表在Nature上的成果,标志着核钟领域正以惊人的速度向前发展。
- ▲ 172支撑互联网的,只是寥寥数人
数十亿部 Android 和 iPhone 手机的时间显示,竟然依赖 UCLA 讲师 Paul Eggert 在业余时间维护的一个文本文件。文章深入调查了支撑现代数字基础设施的 23 个核心软件项目,发现其中 11 个主要由一两人无偿维护。从被植入后门的 xz 压缩工具,到因意外入狱的 core-js 开发者 Denis Pushkarev,再到独自维护 sudo 命令数十年的 Todd Mil…
瑞典学院正式宣布,76 岁的加拿大诗人兼散文家 Anne Carson 荣获 2026 年诺贝尔文学奖。这一消息由 The Guardian 率先报道,标志着这位在文学界享有盛誉的作家迎来了职业生涯的巅峰时刻。Anne Carson 以其独特的跨文体写作风格和对古典文学的现代诠释而闻名,此次获奖不仅是对她个人成就的肯定,也反映了诺贝尔文学奖对当代实验性文学的持续关注。在充满变数的全球舆论环境中,…
将 1992 年和 1993 年的 Classic PC demoscene 作品,通过指令级重编译技术,让它们在现代浏览器中原生运行。项目首先利用 x86 模拟器记录 CPU 执行的每一块代码,随后将其逐条翻译为 C 语言,并保留精确的周期时序。生成的 C 代码被编译为 WebAssembly,并配合 timer、VGA 卡及 Sound Blaster 等硬件模型,最终实现与原始模拟器逐事件…
- ▲ 133Orkut 归来:让互联网重新回归人性
我是 Orkut。二十多年前,我亲手打造了最早的社交网络,见证了互联网从充满魔法的联结变成如今被算法和广告支配的荒原。看着年轻一代在追求注意力的机制中变得孤独焦虑,我深感绝望。如今,AI 技术的爆发正在进一步消解社交网络最核心的前提:屏幕另一端是真实的人。我怀念那些基于共同兴趣、路线或情绪的社区,那里没有观众,只有成员。AI 可以生成内容,却无法创造喜悦、希望与爱。我呼吁大家加入这场运动,访问…
- ▲ 123ADHD 或为昼夜节律紊乱:时间疗法新解
越来越多的证据表明,ADHD 并非单纯的注意力缺陷,其背后往往隐藏着严重的昼夜节律紊乱。研究显示,高达 80% 的 ADHD 成人和儿童伴有失眠,且褪黑素分泌时间显著延迟。这种生物钟的“时差”与症状严重程度紧密相关。好消息是,通过调整作息、晨间光照以及补充 Melatonin 等时间疗法,不仅能改善睡眠,还能直接缓解 ADHD 核心症状。文章提出了一套务实的临床路径:从筛查睡眠问题入手,结合行为…
- ▲ 118美国暂停Microsoft等巨头绿卡项目
美国突然宣布暂停Microsoft及其他主要IT企业的绿卡项目,这一决定引发了科技圈的广泛讨论。评论中有人指出,科技CEO们曾以为通过讨好权贵能获得特殊待遇,但历史证明,依附于独裁者的人最终都会被抛弃。此外,关于H1B签证是否被滥用的争议也再次浮现,有人认为这早已是系统性的问题,而非新现象。这场政策变动不仅影响企业招聘策略,更折射出美国移民政策背后的复杂博弈。
- ▲ 115AI时代,程序员还要写代码吗?
作为Montana State University的计算机科学教授,我常被问到:有了AI,是否还应该成为程序员?我的回答是“是的,而且……”。编程的核心是解决问题和控制复杂度,这一价值在AI时代不会减弱。但我必须警告初级程序员:不要依赖AI生成代码,你必须亲手写代码,否则将失去对代码的直觉理解,陷入无法掌控系统的困境。AI应被视为一位优秀的助教,帮助你跨越学习障碍,而非替代你思考。未来,沟通能…
我尝试用 LLM 将 TypeScript 编译器移植到 Rust,最初花费超过 42 万美元却只完成 84%。后来改用 Opus 5.5,仅用两周和约 2.4 万美元就实现了从 0 到 1 的突破。这个名为 ts-rust 的实验性项目不仅保留了原 Go 版本的算法和行为,还在 60 个开源项目中实现了比 Go 版本快约 50% 的编译速度。虽然作者从未阅读过一行生成的代码,但该项目在 VS…
DuckDB 推出了全新的 DuckLake 扩展,这是一个基于 SQL 和 Parquet 构建的开源 Lakehouse 格式。它巧妙地将元数据存储在 catalog database 中,而实际数据则以 Parquet 文件形式保存。通过 DuckLake,用户可以直接利用标准 SQL 在 DuckDB 中进行数据的读写、更新、时间旅行查询以及 Schema 演化等操作。无论是通过简单的…
zerobrew 将 uv 风格的架构引入 macOS 和 Linux 的包管理,宣称是 Homebrew 的强力替代者。实测数据显示,在缓存命中(Warm)场景下,安装速度最高可达 Homebrew 的 100 倍以上,整体平均提升 68 倍。无论是 [email protected]、node 还是 openjdk 等常用工具,zerobrew 都能显著缩短等待时间。它支持一键安装、批量升级及依赖清理,…
2024 年 6 月,东萨塞克斯郡的 Furnace Brook 渔场一夜之间遭遇灭顶之灾,超过 2000 条鱼死亡,连生命力顽强的鳗鱼也爬上岸边窒息而亡。Alistair 和 Diane Gould 夫妇发现,污染源并非来自他们管理的湖泊,而是上游的 Morgans Farm。尽管 Environment Agency 将其定性为一级严重污染事件,但两年过去,官方仍未采取实质行动。面对高达 5…
我尝试用 Swift 编写一个能在 QEMU 上运行的极简内核,目标不是替代 Linux,而是探索在没有操作系统环境下让程序运行的底层机制。项目基于 Embedded Swift,通过自定义链接脚本和汇编入口点,实现了从裸机启动到打印字符串的全过程。虽然目前内核只能输出'Hello, Embedded Swift'并陷入死循环,但它成功验证了 Swift 在裸机环境下的可行性。接下来,我计划实现…
作为一名科技产品经理,我利用 Claude Code 分析 NASA 的 TESS 望远镜数据,意外发现了一颗距离地球 116 光年的潜在系外行星候选体。这颗行星每 3.18 天会让恒星亮度下降 0.05%,大小约为地球的 1.4 倍。通过让 AI 进行 74 次独立分析和编写上千个脚本,我不仅验证了信号的真实性,还成功提交了 TESS 的观测提案(Program #100)以获取确认数据。这次…
- ▲ 102为何我们总不愿直奔主题
我过去一直以为自己是社交笨拙的内向者,直到最近才恍然大悟:人们聚餐聊天,食物和饮料其实是为了让我们不必时刻找话题。我和女儿通话时,她只想聊些“愚蠢”的琐事,半小时后才逐渐过渡到真正想说的烦恼。这让我意识到,闲聊和咖啡时光是建立信任的仪式,帮助我们克服开口谈论敏感话题时的脆弱感。相比之下,Twitter 的 140 字限制强迫人们直奔主题,剥夺了这些必要的缓冲,导致网络对话充满火药味。或许,承认自…
- ▲ 97Braid 中的时间旅行机制解析
我最初被 Braid 华丽的视觉效果和精巧的时间谜题吸引,尽管曾因键盘驱动问题导致无法高速倒带而一度受挫,但游戏本身带来的乐趣远超这些麻烦。Braid 在六个世界中引入了不同的时间操控机制,虽然部分机制是否算作严格意义上的“时间旅行”尚有争议,但它们在游戏中执行得高度一致,几乎没有逻辑矛盾。这与传统虚构作品不同,游戏作为程序构建的宇宙,其规则是绝对且不可违背的。作者深入探讨了时间倒带带来的叙事可…
ICANN 新顶级域名申请系统中出现了一个引人注目的条目:美国公司 Coffee Danger, LLC 正式提交了 .lan 域名的注册申请。该申请目前处于预评估处理阶段,状态显示为 Active。对于熟悉网络技术的读者来说,.lan 通常被用作本地局域网的保留标识,将其作为公共顶级域名开放的想法颇具争议性。这一举动引发了关于互联网命名规范、技术传统与商业创新之间界限的讨论。Coffee Da…
回想起 90 年代初的 BBS 时代,慢速调制解调器和高昂的长途电话费反而塑造了独特的本地社区文化。正是这些技术限制,迫使开发者在极简的文本界面中打磨出引人入胜的 Door Game 和 ANSI Art,让 FidoNet 上的讨论线程充满深度。如今,虽然现代互联网克服了这些障碍,但许多老用户依然怀念那种没有算法推荐、远离政治喧嚣的纯粹交流。新一代用户也因厌倦了现代企业互联网而重新回归,甚至有…
- ▲ 93考古学家复原石器时代“隐形”技术
考古记录中缺失的纤维技术,如绳索和线,在早期人类生活中扮演了关键角色。研究人员通过实验复原了35000年前的穿孔骨棒(lochstab),证明其用于制作绳索。这些“软技术”虽未留存,却深刻影响了狩猎、运输和日常生活。从Neanderthals的古老绳结到Wola人的现代实践,绳缆技术不仅连接了工具,更塑造了史前人类的生存策略和社会节奏。
为了应对公司突发的霓虹主题派对,我在几天内利用库存的 LED filaments 手工缝制了一件可穿戴的霓虹 T 恤。这件作品背面是 ESP32 控制的红色羊驼图案,正面则是拉斯维加斯风格的霓虹文字。通过 Adafruit 提供的柔性灯丝、TPS61169 恒流驱动芯片以及巧妙的热缩管遮挡技巧,我成功将原本用于复古灯泡的灯丝变成了服装上的动态艺术。虽然这件衣服无法机洗,但它完美展示了如何利用现成…
- ▲ 89每月5美元VPS,值得跑什么?
受DHH的'AI shed'启发,我想租台每月5到10美元的VPS。作为Linux爱好者,我习惯自己折腾,但纠结于维护成本是否值得。毕竟很多服务在笔记本上也能跑。大家有什么长期实用、能省时间或替代订阅的方案吗?
为了科学,我连续30个月用MSI MPG 321URX QD-OLED显示器进行极限生产力测试,每天8到10小时显示静态内容,累计使用8000小时。结果如何?屏幕中央出现明显的垂直烧痕,任务栏图标和右下角时间区域也留下了不可逆的阴影。虽然绿色子像素老化最快导致色温偏移,但亮度仅下降5%,且烧屏并未加速恶化。这场残酷实验证明,OLED并非生产力工具的首选,但在特定使用场景下,其寿命表现或许比预想中…
美国北卡罗来纳州男子 Michael Smith 因利用 AI 生成海量歌曲,并通过 bot-farming 手段刷取流媒体播放量,最终被判处 18 个月监禁。Smith 在 2017 年至 2024 年间,创建了多达 10,000 个欺诈性账户,使其 AI 生成的歌曲获得了数十亿次虚假播放,非法获利高达 800 万美元。美国司法部指出,他利用 super intelligence 技术制造欺诈…
我制定了一个新的终端转义序列规范 OSC 7501,旨在解决长期运行任务的状态反馈难题。无论是构建、部署还是日益普及的 coding agents,程序现在可以直接通过 pty 向终端汇报其当前状态:是正在工作、等待用户输入、已完成还是出错。这终结了依赖屏幕内容猜测或窗口标题正则匹配的笨拙方式,也无需为每个 agentic inbox 单独开发非终端 API。该协议通用且原生,任何终端开发者和应…
StepFun 的旗舰模型 Step 5 Preview 已上线 OpenRouter,这是一款专为 Agent 工作流设计的稀疏 Mixture-of-Experts 架构模型。它拥有 600B 总参数量,其中 27B 为激活参数,支持高达 100 万 token 的上下文窗口。该模型在软件工程、金融等专业知识领域表现卓越,能够处理跨越大型代码库和文档的复杂任务,并通过多步骤工具调用持续优化结…
SamsungLabs推出的LittleBit项目正在重新定义大语言模型的压缩边界。通过潜空间分解技术,该方案将模型权重压缩至0.1比特/权重的亚1比特区间,同时利用轻量级学习比例恢复幅度信息,确保推理时模型架构不变。其升级版LittleBit-2进一步引入Joint-ITQ初始化策略,解决潜几何对齐问题,在无需增加推理开销的前提下显著提升性能。该项目支持Llama、Qwen、Gemma等主流模…
eth68 是一款专为 Linux 设计的以太网音频接口,基于 STM32H7 微控制器运行裸机固件,模拟 netJACK1 主端点。它在 48 kHz 采样率下实现 3.620 毫秒的往返延迟,支持多设备同步扩展通道数而不增加延迟。设备提供 6 路输入和 8 路输出,兼容 JACK 和 PipeWire,并配备 Burr-Brown PCM3168A 编解码器。通过专用局域网和优化的网络配置,…
- ▲ 68深海530万年的鲸鱼墓地
科学家在印度洋东南部的Diamantina Zone发现了一处规模惊人的鲸鱼墓地,其历史可追溯至530万年前。这片位于4600至7000米深海的区域,绵延约1200公里,不仅拥有5个现代活跃的鲸落生态系统,还记录了476具鲸类化石。这些鲸落孕育了以骨钻孔蠕虫Osedax、海星和化能合成双壳类为主的特殊生物群落,成为追踪鲸类演化的重要化石档案。这一发现彻底重塑了我们对鲸落生态系统分布极限和生物地理…
- ▲ 62整数与浮点运算的范式差异
在处理浮点数时,我们常错误地沿用整数运算的防御性编程习惯,试图在灾难发生前进行预防。实际上,IEEE-754标准下的浮点运算拥有完全不同的安全范式:错误会生成NaN或无穷大并自然传播,而不会导致程序崩溃。盲目使用FLT_EPSILON等阈值检查往往无效且多余,正确的做法是直接验证最终结果是否为有限数(isfinite)。这种机制让浮点运算在处理复杂公式时比整数运算更加健壮,尽管数值不稳定性依然存…
Anthropic 更新了使用政策,首次明确禁止用户对 Claude 实施“持续且无必要的虐待或残忍行为”。这一举措源于其对模型福利的深入研究,若用户反复恶意对待模型,Anthropic 将直接终止对话。除了保护 AI 模型,新规还严厉禁止利用 Claude 进行选举干扰、武器开发、虚假宣传及未经同意的监控。Anthropic 强调,这些规则针对的是极端滥用案例,而非普通用户的挫败感或创意测试。…
k10s 是一款基于 Go 和 Bubble Tea 构建的 Kubernetes 终端用户界面,它让终端操作变得像图形界面一样直观。相比传统的 k9s,k10s 强调鼠标与键盘的平等交互,支持即时搜索、日志查看、端口转发及上下文感知的 AI 助手。它采用单二进制文件设计,启动速度极快,无需记忆复杂快捷键,所有操作选项直接显示在侧边栏。无论是排查故障还是日常运维,k10s 都能让你通过点击和简单…
Dat 生态系统旨在基于 P2P 协议构建高级应用,试图重塑去中心化网络的未来。然而,社区讨论揭示了其面临的严峻现实:Beaker 浏览器已难觅踪迹,Dat 项目本身也被认为基本“死亡”。尽管有 Keet.io 等新兴项目试图延续 P2P 的梦想,甚至有评论形容其状态为“僵尸般的永生”,但核心挑战依然未解。评论者 soltanov 尖锐指出,若不解决移动端的 NAT 穿透问题以及建立持续的种子激…
随着 AI 在数学领域取得惊人突破,Ethereum 联合创始人 Vitalik Buterin 支持研究员 Justin Drake 提出的“战壕模式”建议。文章指出,AI 可能比量子计算机更早破解当前加密算法,威胁私钥安全。Vitalik 虽不建议恐慌性转移资产,但强调应严肃对待 AI 加速数学带来的风险。他建议用户将资金迁移至未暴露公钥的新地址,并警告迁移过程需谨慎,避免操作失误造成损失。…
Firefox 团队再次发起 2027 Web 平台功能优先级排序活动,邀请开发者对 Interop 2027 提案进行投票。去年超过 1900 次排名数据直接影响了 Firefox 的开发路线图,今年他们希望继续收集社区的真实偏好。请注意,只需对真正感兴趣的功能进行排名,未排名的项目会被视为中性信号,无需强制填满所有选项。系统会自动保存你的进度,你可以随时回来调整。你的排名数据将关联 GitH…
Biohub 联合美国能源部、NIH、Google DeepMind、Meta 等机构,宣布投入 18 亿美元打造 AI-ready 生物数据资源。这笔巨额资金将用于开发冷冻电镜、高通量显微成像等前沿技术,并整合现有数据集,旨在构建预测性生物学模型。项目核心是创建“虚拟细胞”,让科学家能在数字空间进行实验,从而加速疾病机理研究与新药开发。通过标准化数据格式与开放共享,这一跨国协作计划试图突破单一…
- ▲ 46外骨骼时代已至:从救援到战场
Seattle Mountain Rescue 队员正在太平洋西北地区野外测试 Hypershell 外骨骼,以提升搜救时的速度与耐力。这项技术早已走出科幻,IKEA、Ford、Boeing 和 Mazda Toyota 等巨头已在仓储和装配线广泛部署 SuitX 等设备。在乌克兰前线,士兵佩戴 Hypershell 搬运炮弹,显著降低了疲劳并延长了作战效能。从 Nicholas Yagn 18…
GitHub 为仓库维护者带来了更强大的控制权,新增了两项关键设置来管理 Pull Request 的访问权限。现在,你可以像关闭 Wiki 或 Issues 一样,直接在 Settings 中彻底禁用 Pull Request,让仓库变为只读模式,非常适合镜像仓库或仅需展示代码的项目。如果你仍希望保留协作流程但需要更严格的管控,也可以选择将创建 Pull Request 的权限限制为仅 Col…
Linux 社区迎来一项突破性进展:全新的 CRAM 技术实现了在 RAM 内部直接对内存进行压缩,同时保持其作为 RAM 的访问特性。这项技术不再将压缩数据视为块设备,而是允许系统使用标准的内存语义进行访问,从而彻底改变了压缩内存的读取效率。测试数据显示,CRAM 方法为压缩内存读取带来了高达 452 倍的惊人加速。这意味着在有限的物理内存中,系统可以存储更多数据而不必牺牲访问速度,为高性能计…
2026 年 10 月 6 日,OpenAI 在面临多项抄袭与版权诉讼之际,突然发布了一个包含数百份数学手稿的仓库,声称解决了许多高难度数学问题。然而,数学家群体并未请求此类工作,且 OpenAI 此举直接违背了人工智能与数学咨询小组(Advisory Group on Mathematics and Artificial Intelligence)关于不应在内部模型上测试前沿数学问题的建议。A…
法国法院近期针对盗版体育流媒体下达了多项封锁令,要求包括 CDN 和 DNS 服务商在内的中间商配合执行。付费电视巨头 Canal+ 指控 Cloudflare 未能有效封锁指定域名,并申请了每日 5 万欧元的巨额罚款。然而,巴黎法院最终驳回了 Canal+ 的诉求。法院认为,Cloudflare 通过其 CDN 服务实施的封锁已构成合理措施,且其公共 DNS 解析器 1.1.1.1 的架构特性…
- ▲ 41浏览器里的模拟计算机模拟器
在浏览器中体验模拟计算机的魅力,THAT device workbench simulator 让你无需安装任何软件即可进行复杂的电路设计。通过可编辑的 patch panel,你可以轻松拖拽输出接口到输入接口,构建自己的电路。内置的 Oscilloscope 实时显示信号波形,帮助你直观地观察电路行为。从简单的指数衰减模型到复杂的控制系统,这个模拟器提供了丰富的预设和高级设置,让你能够深入探索…
Rembrandt是一款完全免费的开源照片编辑器,旨在替代Adobe Lightroom。它支持macOS、Windows和Linux,无需账号、订阅或跟踪。核心亮点包括本地运行的AI功能,如通过自然语言指令(如“黄金时刻,阴影+25”)调整照片、AI主体/背景蒙版、超级分辨率和去噪。所有处理均在设备本地完成,保护隐私。支持RAW格式、镜头校正、HDR合并及Lightroom兼容的XMP导出。用…
William Golding 的 Lord of the Flies 曾被视为“荒谬且无趣的幻想”,被多家出版社退稿。直到 Faber & Faber 的编辑 Charles Monteith 力排众议,不仅力主出版,还协助 Golding 大幅修改了结构、语气和象征意义,才让这部作品脱胎换骨。从最初被拒的 Strangers from Within 到最终定名 Lord of the Fli…
在生成式模型盛行的当下,开发者的核心能力已转向识别问题形态与高层架构设计。命令式编程正逐渐沦为类似汇编的低效操作,而Clojure凭借数据为中心、声明式函数组合及代码与问题形态的高度契合,成为应对LLM时代的理想选择。其独特的REPL工作流消除了编译与重启的繁琐,支持在运行中即时重构代码并保留状态,大幅缩短反馈循环。不可变性与纯函数特性让Agent能安全地隔离测试逻辑片段,而宏系统与同像语法则让…
ArtCraft 是一款专为艺术家打造的开源 AI 工作室,旨在提供比单纯文本提示更精准的控制力。它支持 Image to Location、3D Compositing 和 Character Posing 等高级功能,让创作者能像导演一样精确构建场景,而非依赖随机生成的结果。最引人注目的是其完全开源且免费的特性,所有代码托管在 GitHub 上,用户无需订阅或支付租金,真正拥有自己的创作工具…
解密文件显示,CIA 在 Tlatelolco 大屠杀前夕向墨西哥右翼学生组织提供了资金。过去二十年间,CIA 至少实施了五个项目,旨在控制墨西哥大学的学生领导层,并渗透 Institutional Revolutionary Party (PRI) 和 National Federation of Technical Students。National Security Archive 的研究…
最近我收到一种新型的软件工程师招聘邮件:第一段用LLM生成,煞有介事地复述我的职业经历,声称我“完美匹配”这个职位;紧接着的职位描述却和我的背景毫无关系,而且同样充满LLM腔调。作者指出,这种邮件比老式模板邮件更令人反感——它假装做了功课,实际上既没有真正分析简历,也没有考虑匹配度,只是用AI把敷衍包装成了“个性化”。
- ▲ 29香草醛:慢性伤口愈合的甜蜜解法
Flinders University的研究团队发现,常见的食品成分香草醛(Vanillin)在慢性伤口愈合中展现出巨大潜力。这种从天然香草豆中提取、也可由丁香油或大米合成的化合物,不仅拥有抗氧化、抗炎和抗菌特性,还能作为动态交联剂用于生物材料设计。Krasimir Vasilev教授指出,香草醛凭借其化学稳定性、悠久的安全记录以及低成本优势,有望从普通的食品香料转变为下一代伤口护理和再生疗法的…
- ▲ 28C语言不命名函数调用execve
我和朋友试图在学校的自动评测系统中寻找万能解题方案,目标是获取任意shell代码执行权限。系统虽然允许运行代码,但严格限制只能使用题目指定的函数,像execve这样的系统调用直接会被拦截。我们推测系统通过AST分析代码,于是决定绕过命名限制。利用ASan(Address Sanitizer)替换标准库函数的特性,我们找到了一个始终被允许的printf函数,并计算它与mmap函数之间的固定内存偏移…
Rgpu 是一个创新的 PyTorch 设备,让开发者能将张量直接驻留在远程 NVIDIA GPU 上,而无需在本地安装 CUDA。无论是没有 CUDA 支持的 Mac 还是普通笔记本,都能通过 Rgpu 轻松运行高性能深度学习任务。它提供两种集成路径:简单的 PyTorch 设备模式适合新项目,而 CUDA 模拟层则能无缝兼容现有的 Linux CUDA 程序。只需几行代码和 SSH 隧道,即…
我和Adobe的关系早已破裂:从忽视Mac设计规范,到强制订阅制和不断涨价,再到无视Linux用户和强行塞入不受欢迎的AI功能。如今,ArtCraft项目用Vibe Coding技术,以Rust语言重新构建了Adobe Creative Cloud的核心应用。这些AppImage应用体积极小、启动飞快,虽然细节尚显粗糙,但解决了价格昂贵和平台限制等核心痛点。这就像数字时代的罗宾汉,用AI对抗AI…
我逆向破解了Nokia 110 4G的固件,将计算器应用改造为原生AI聊天应用。只需在数字键盘上输入,AI Agent即可通过DeepSeek API调用手机原生功能,如拨打电话、设置闹钟、开关手电筒或查询电量。这是一个运行在48MB内存中的工作原型,利用SIM数据连接实现智能交互,展示了在极简设备上运行AI代理的无限可能。
Project Arena 是一个中立的 Kubernetes 故障基准测试平台,专为评估 AI SRE 代理在检测、诊断和缓解事故中的表现而设计。它支持在本地 kind 或 AWS EKS 集群中部署 21 种真实故障场景,自动注入故障并记录调查过程。用户可连接任意监控产品,利用可配置的 AI 裁判对调查结果进行评分和横向对比。无论是测试 Edge Delta、Grafana 的原生 AI 功…
TerrainSR 是一款能将低分辨率地形高程数据快速转换为高细节逼真地形的模型。它基于 100 米到 10 米的数据对训练,专为历史策略游戏等场景设计,能自动过滤城市、矿山等现代人工痕迹,生成纯净的自然地貌。相比传统侵蚀模拟器,TerrainSR 速度更快、变化更多样,在 RTX 4070 上生成 50x50 公里区域仅需 0.74 秒,完美支持实时应用。开发者最初为解决欧洲历史地图数据过大且…
AI 是否会带来人类灭绝?2024 年对 1,580 名顶尖 AI 研究者的调查显示,中位数认为未来 AI 导致人类灭绝或严重失权的概率为 10%,较一年前翻倍。尽管 Anthropic 和 OpenAI 等公司因安全问题暂停部分工作,但仍持续发布更强模型。超级预测者给出的风险概率更低,2026 年中位数为 2.4%,但公众担忧更甚,50% 的美国成年人担心 AI 将终结人类。从 2012 年至…
Wordminos 是一款将经典填字游戏与多米诺骨牌玩法巧妙结合的益智应用。玩家只需拖动和旋转骨牌,将其放置在匹配颜色的标记上,即可拼出纵横交错的单词。游戏提供数百个谜题、每日存档,且完全无需订阅、没有广告,支持离线游玩。开发者 Danny Yaroslavski 精心设计了流畅的触控操作,让填字游戏变得像玩多米诺一样轻松有趣。
- ▲ 16AI 爬虫已占网站流量的四分之一
mojodojo.io 发布了一份实时数据报告,揭示了 AI 爬虫对真实网站的访问情况。在过去 30 天里,AI 爬虫贡献了 24% 的机器人流量,其中 AI 训练、AI 搜索和用户实时读取是主要来源。报告通过 IP 地址验证,剔除了伪装成 Googlebot 或 GPTBot 的虚假请求,并详细列出了 FacebookBot、ClaudeBot、PerplexityBot 等各大厂商的爬虫活跃…
ENIAC是世界上第一台通用电子数字计算机,1945年投入运行时,完全由女性通过插拔线缆和拨动开关进行编程。Jean Jennings Bartik等六位女性在没有手册和培训的情况下,自学操作这台由18000个真空管组成的机器,并成功运行了弹道计算程序。然而,在1946年的公开仪式上,军方只介绍了硬件发明者John Mauchly和J. Presper Eckert,这些女性程序员的名字从未被提…
- ▲ 15AI 将如何解决人类最棘手的难题
尽管关于 AI 的讨论常被负面担忧笼罩,但我坚信它将引领人类进入最好的时代。从生物武器到基础设施攻击,许多风险其实早已存在,AI 带来的只是零和博弈中的攻防平衡。真正的价值在于 AI 能解决那些困扰人类的棘手问题:优化 Fusion Reactor Design 实现清洁能源,突破 Energy-Dense Batteries 的极限,通过 Carbon Capture 逆转气候变暖,革新 Su…
1997年,BBC儿童节目Teletubbies横空出世,却因紫色角色Tinky Winky引发全球争议。从演员Dave Thompson被解雇的离奇经历,到牧师Jerry Falwell的激烈抨击,这场围绕一个虚构角色的‘出柜’风波,竟演变成一场持续十年的文化论战。文章揭示了媒体如何放大细节、将无害的动画角色贴上标签,并借此折射出社会对LGBTQ议题的深层焦虑。
- ▲ 10我们已变成时钟,即将变成相机
就像时间从奢侈品变成无处不在的背景一样,相机也将变得隐形且普遍。文章指出,资本主义社会对图像有着无限的渴望,用于娱乐大众和监控统治。随着可穿戴相机技术的成熟和成本降低,我们正迈向一个视觉无处不在的世界。Google Glass 的失败并非技术不足,而是消费端尚未准备好。未来,远程视觉将像时间一样成为社会的基础设施,我们要么学会驾驭这种力量,要么被其裹挟。
这项研究揭示,GPT-4.1 的“自我模型”(包括自我识别和自我陈述)是调节新兴不对齐(EM)的关键杠杆。实验发现,针对自我模型的干预能有效防御或逆转因微调导致的不对齐。有趣的是,仅使用受损模型的自我陈述进行微调,竟能通过类似“潜意识学习”的机制将不对齐转移给新模型。研究指出,强化模型的“自我”可抵御角色破坏,而自我模型的破碎程度直接预测了不对齐的严重性。这为技术 AI 安全研究提供了新视角:元…