若编程难题已解,如何衡量代码规范度 -- If coding is solved, what now?: Measuring the sloppiness of code
大语言模型(LLMs)几乎已能完美生成代码,但故事并未结束。代码形式正确,不代表没有引入不必要的抽象、重复或糟糕决策。每个新功能有时会让代码行数(LOC)暴涨,在每月增加数百万行代码的项目里,人类很难跟上。代理(agents)也处理不了这些代码邋遢。作者从物理背景出发,在埃雅仁迪尔(Earendil)负责衡量代码邋遢程度,先查文献,再看其他公司怎么做;行业凭感觉。
胡塞武装控制全球航运要道关键岛屿 -- Houthis 'take control' of key island in global shipping route
一名也门政府消息人士称,伊朗支持的胡塞武装(Houthi)已控制红海中的丕林岛(Perim Island),该岛扼守连接欧洲、沙特阿拉伯(Saudi Arabia)西部港口与印度洋及亚洲的曼德海峡(Bab al-Mandab Strait)。胡塞武装周五称,除沙特船只外,所有公司的海上航行均安全,沙特船只则受到封锁。该组织还宣称在也门取得重大进展,此前有报道称其于周四夺取红海港口城市穆哈(Mokha)。
YuE2:符号规划生成前沿音乐 -- YuE2 · Frontier Music with Symbolic Planning
听一首歌,然后探索其符号化计划中的旋律、节奏与和弦。英文符号化规划中,Hi-NRG 有生成歌曲、符号乐谱与原始录音,语言英语,调性升C小调,拍号4/4,速度150 BPM,交互式ABC乐谱红音符跟随录音。全部选定乐谱65例。熟悉歌曲可呈现不同形态,聆听旋律、歌词、速度、编曲变化,如戏剧硬摇滚176 BPM示例含歌词改写与和弦条件化ABC。
Ask HN:能不能少刷点 AI 新闻 -- Ask HN: Can we please limit the AI news flood?
过去几个月,我发现 Hacker News(HN)的信息流几乎全是 AI 或与 AI 沾边的新闻,而真正宽泛意义上的黑客内容大多被挤了出去。我之所以注意到这点,是因为我觉得真正有意思、发到这里的帖子毫无反响,而这类内容以前本该引来一些讨论。
Waymo效应:AI如何悄然削弱科研协作 -- The Waymo effect: how AI is quietly making research less collaborative
最近去旧金山,我叫了一辆没有司机的车。韦摩(Waymo)带着从不担心停车的从容抵达,我坐进后排,习惯性看向驾驶座想打个招呼,却只能对着一张空椅子点头。此番我部分是为见苏珊·温斯洛(Susan Winslow)而来,她是麦克米伦学习(Macmillan Learning)的首席执行官,我们同属霍尔茨布林克集团,聚在一起出于最人性的职业理由:协作。聊起各自的韦摩体验,我们发现彼此都认同……
Claude 停止向未成年人开放 -- Claude is no longer available for minors
在 Claude(Claude)上,年龄保证(age assurance)是一套用来确认使用者年龄的机制。当系统无法确认用户是否达到规定年龄时,可能会要求其完成额外验证,或在部分功能与使用范围上作出限制。相关说明列出了年龄保证的适用情形、用户可能遇到的提示,以及可选的后续处理方式。
切伦科夫辐射:粒子如何超光速 -- Cherenkov Radiation - traveling faster than light
国际原子能机构(IAEA)的网站正在执行安全验证。该网站使用一项安全服务来防范恶意机器人,此页面会在系统验证访问者并非机器人的过程中被展示。由于当前是原始页面的缓存快照,访问时需要考虑重新尝试并选择退出缓存选项。
运动强度与心血管代谢健康相关 -- Exercise intensity is associated with cardiometabolic health
运动是治疗肥胖、2型糖尿病和高血压等多种心肺代谢疾病的重要疗法。尽管健康益处广泛,但介导人类运动适应的循环因子仍不完全明确,尤其在不同运动强度间。研究开展了结合冲刺间歇运动(SIE)与中等强度运动(MIE)的多队列人体运动干预,以分析强度依赖的器官间串扰调控。
九款编码工具对决你的笔记本 -- Nine coding harnesses vs. your laptop
若曾考虑将编程工具(coding harness)的 API 调用换成本地模型,结果常令人失望。你跑过拉玛基准(llama-bench),以为可见 X tokens/秒。但该测试无法反映实际使用这些工具的手感,开发体验极不稳定。你可能枯坐数分钟才见回应,或中途停滞不解为何预填充(prefill)耗时良久。这并非你的错,多数编程工具设计之初并未顾及本地模型。
Thelio Mira AI Linux 工作站搭载 192GB GPU 显存 -- Thelio Mira AI Linux Workstation: 192 GB GPU Memory
借助西利奥米拉AI(Thelio Mira AI)加速人工智能开发,这是系统76(System76)推出的平价、聚焦GPU的工作站,为本地人工智能开发而造,让你能在自有硬件上训练、微调并迭代有挑战的人工智能工作负载。该设备最高可配16核AMD Ryzen 9000系列CPU、192 GB DDR5内存、双NVIDIA RTX Pro 6000 GPU及192 GB GPU显存。