莱顿大学执行委员会于2024年5月13日发布了关于调查不可接受行为和违反学术诚信报告的委员会的建议。该报告涉及一名大学教授及其伴侣(前大学工作人员)。这份报告是委员会匿名提交给执行委员会的版本。该报告由执行委员会任命的独立调查委员会起草,成员包括:Yvonne Erkens博士(主席)、Tea Mellema-Kranenburg教授和Maghiel van Crevel教授。大学于4月25日就该报告和执行委员会随后的决定进行了通报。经过仔细考虑并考虑到这是调查委员会的明确愿望,执行委员会决定发布该报告。委员会建议,发布该报告将有助于就学术诚信、尊严和尊重问题进行更广泛的讨论。
Chrome 开发者工具新功能 Gemini 可帮助开发者更好地理解控制台中的错误和警告信息。该功能通过人工智能分析控制台消息、堆栈跟踪、相关源代码和网络标头,生成详细的解释。用户需要满足特定条件才能使用此功能,包括使用 Chrome 125 或更高版本、登录 Google 帐户、选择英语(美国)设置以及启用“使用 AI 理解控制台消息”。
索尼PSVR 2电脑适配器将于8月7日正式推出,售价59.99美元。该适配器将支持所有Steam VR游戏,包括《半条命:爱莉克斯》等知名游戏。玩家需要一根DisplayPort线缆才能在PC上运行Steam游戏。需要注意的是,PSVR 2的一些关键功能,如HDR、眼球追踪、自适应扳机和触觉反馈,在PC上使用时将不可用。
一项研究发现,采用敏捷实践的软件项目失败的可能性比不采用的项目高出 268%。研究表明,在开发开始前就记录清楚需求的项目成功率要高出 97%。然而,敏捷宣言的四大支柱之一是“可工作的软件优于详尽的文档”。此外,研究还发现,让工程师感到能够自由讨论和解决问题的项目成功的可能性要高出 87%。
新的研究表明,爱因斯坦的广义相对论在解释宇宙最遥远的地方时,可能会出现偏差。科学家们在研究宇宙微波背景辐射时,发现观测数据与基于广义相对论的预测模型不匹配,但当他们将模型中的引力减弱1%时,模型与观测数据更加吻合。这一发现可能有助于解释宇宙学中的一些谜团,例如哈勃常数的矛盾,但也需要更多的数据来证实。
文章对 OpenAI 最新发布的 GPT-4o 模型进行了分析,作者 Gary Marcus 认为 GPT-4o 的语音合成能力令人印象深刻,但整体性能并没有比 GPT-4 有显著提升,他认为 OpenAI 可能已经转向新功能的开发,因为他们不知道如何实现“指数级改进”的预期能力提升。作者认为,目前还没有出现 GPT-5 级别的模型,这可能意味着我们已经进入了收益递减的阶段。
该研究发现,代糖木糖醇与心血管疾病风险增加相关。研究人员通过代谢组学研究和临床试验发现,木糖醇会增强血小板反应性和体内血栓形成,即使是正常饮食中的木糖醇摄入量也会增加血小板活性。因此,木糖醇的安全性需要进一步研究。
Typewise是一家瑞士-美国深度科技初创公司,致力于通过解码人类思想让日常生活更轻松。该公司正在招聘一名产品设计师,负责将产品和品牌提升到一个新的水平。应聘者需具备4年以上设计复杂应用程序的经验,熟悉用户研究方法,精通Figma等原型设计工具,并对数据分析和A/B测试有深入了解。
这篇文章探讨了在编程分布式系统时,强一致性保证的重要性。作者以“谎言”作比喻,说明了在弱隔离模型下,开发者需要花费大量精力追踪和管理数据不一致问题,就像为了圆谎而不断编造新的谎言。文章强调了强隔离模型的优势在于支持局部推理,使开发者能够专注于单个查询的逻辑,而无需考虑全局数据状态。文章还指出了弱隔离模型在某些特定高性能需求场景下的适用性,但强调了其复杂性和潜在风险。
本文讲述了作者在2019年读到一篇文章后,萌生了用科技手段帮助寻找失踪人口的想法。2020年,作者的兄弟联系到他,讲述了一起失踪案,这促使作者开始了一段非凡的冒险,并最终成功破解了两起分别历时9年和15年的失踪人口悬案。
最新研究表明,人类基因组中的一些远古病毒DNA序列可能与精神疾病(如精神分裂症、双相情感障碍和重度抑郁症)的易感性有关。这些被称为人类内源性逆转录病毒(Hervs)的序列,是远古时期逆转录病毒感染后残留下来的,它们可以调节其他人类基因的表达,甚至产生RNA和蛋白质。研究发现,四种Hervs的表达与精神疾病的遗传易感性相关,这表明Hervs在大脑中的作用可能比最初想象的更为重要。
意大利有大约237条“虚构街道”,遍布从北部的的里雅斯特到西西里岛的巴勒莫。这些街道诞生于二战后,最初是为了方便流动人口登记,例如马戏团演员和流动商贩。如今,这些街道主要用于帮助无家可归者获得合法身份和社会服务。尽管该系统存在缺陷,但它提供了一种不同寻常的解决方案,帮助无家可归者获得权利并在社区中被看见。
本文探讨了中国大量出口商品的原因,提出了六种理论:经济刺激、产能过剩/消费不足、比较优势、强制去工业化、习近平的科技历史理论以及战争准备。作者认为,这些理论并非相互排斥,中国领导人的目标可能是战争准备、产业政策、强制对手去工业化以及应对经济衰退的综合体。自然因素,如中国经济衰退和制造业向中国的长期转移,可能也起到了推波助澜的作用。
根据iSeeCars的数据,与20年前相比,如今的汽车颜色变得更加单调,黑色、白色、灰色和银色占据了新车市场的80%,这比2004年增加了20%。尽管汽车制造商提供了多种颜色选择,但消费者似乎更倾向于购买灰阶色系的汽车,导致非灰阶色系汽车的市场份额在过去20年里减少了一半。
为了节省成本,Uber将其所有支付交易数据从DynamoDB和blob存储迁移到名为LedgerStore的新型专用数据存储中。该公司之前已经减少了使用DynamoDB存储热数据(12周前的数据)。此举带来了显著的成本节省,并简化了存储架构。LedgerStore是一个不可变的存储解决方案,通过提供可验证的数据完整性和正确性保证,确保交易数据的完整性。
本文回顾了Alexa错失成为全球顶尖对话系统的原因,包括技术流程不佳、组织结构分散和产品与科学脱节。作者认为,亚马逊过分强调保护客户数据,导致内部基础设施对开发者极其不友好;分散的组织结构导致团队之间缺乏合作,重复工作,影响模型质量;产品过度关注客户需求,导致科学研究受到限制。最后,作者对未来对话系统的发展提出了建议。
加州公用事业委员会近日通过了新的社区太阳能项目规则,降低了对太阳能供应商和居民的未来补偿。尽管这将为所有用户提供20%的费率优惠,但批评者警告称,此举实际上会削弱为低收入客户扩大太阳能选择的机会,并导致太阳能装置减少,最终将低收入用户排除在可再生能源的受益范围之外。
一项最新发现表明,距离地球约92亿光年的地方存在一个巨大的环状星系结构,被称为“巨环”,其跨度达13亿光年。这一发现挑战了现有的宇宙学理论,因为现有的宇宙结构形成理论无法解释如此规则和巨大的环状结构的形成。此外,巨环的大小也远远超过了宇宙学原理所预测的结构尺寸上限。
本文介绍了作者对 OpenAI 的多模态模型 ChatGPT-4o 进行数学能力测试的实验。作者设计了五种实验,分别测试了单一模态(仅文本)、多模态(文本+图像)和提示工程(思维链)对模型求解数学问题的影响。实验结果表明,单一模态的文本+零样本思维链提示工程的组合取得了最佳效果,能够三次全部正确解答数学问题。作者认为,虽然多模态提供了更多上下文信息,但在某些情况下可能会导致模型误解,影响求解结果的准确性。
文章讨论了美国日益兴起的“拒付小费”现象。作者指出,越来越多的美国人认为强制性小费不合理,对服务业普遍存在的“小费 entitlement”感到厌烦。作者列举了一些避免支付小费的方法,例如选择标榜“无需小费”的商家、打包外卖、拒绝支付小费等。文章最后总结,未来小费制度可能会回归传统,人们更愿意为优质服务支付额外费用,而不是迫于压力支付强制性小费。
低秩自适应 (LoRA) 是一种广泛使用的参数高效微调方法,用于大型语言模型。LoRA 通过仅训练对选定权重矩阵的低秩扰动来节省内存。 本文比较了 LoRA 和完整微调在编程和数学两个目标域上的性能,考虑了指令微调(约 100K 提示-响应对)和持续预训练(约 10B 非结构化标记)数据机制。 结果表明,在大多数情况下,LoRA 的性能明显低于完整微调。 然而,LoRA 表现出一种理想的正则化形式:它可以更好地保持基础模型在目标域之外的任务上的性能。 LoRA 与权重衰减和 dropout 等常用技术相比,提供了更强的正则化;它还有助于保持更多样化的生成。 完整微调学习到的扰动秩比典型的 LoRA 配置高 10-100 倍,这可能解释了一些报告的差距。
本文通过类比过度捕捞导致海洋鱼类资源枯竭,阐述了互联网时代用户隐私被逐渐蚕食的现象。文章指出,科技公司利用云服务和人工智能等技术不断获取用户数据,导致公众对隐私的期望逐渐降低,如同渔业科学家所描述的“基线偏移综合症”。作者呼吁采取整体视角,制定科学合理的监管措施,以保护用户隐私和互联网生态健康发展。
本文介绍了作者如何优化PostgreSQL DELETE查询以提高其执行速度。作者发现,由于未对两个外键建立索引,导致在执行DELETE操作时,PostgreSQL需要对每个记录的每个引用运行触发器以检查是否存在引用完整性违规,从而降低了查询速度。通过添加必要的索引,作者成功地将查询速度提高了100倍。
本文批判了涓滴经济学的错误理论,指出其在过去几十年中并未实现其承诺,反而加剧了贫富差距。作者认为,将财富集中在富人手中并不会惠及所有人,真正的繁荣之路在于投资中产阶级,创造更可持续和公平的增长。文章还批评了像共和党参议员候选人JD Vance这样的政客,他们虽然打着民粹主义的旗号,但实际上却支持有利于富人的涓滴经济政策。
Oculus 创始人 Palmer Luckey 推出了一款名为 Chromatic 的终极版 Game Boy,售价 199 美元。这款掌机采用镁合金外壳、蓝宝石水晶盖板玻璃、PBT 按钮,屏幕与原版 Game Boy 和 Game Boy Color 尺寸、分辨率和像素结构完全相同,并配备超高亮度 IPS 屏幕,支持阳光下清晰显示。Chromatic 内置 FPGA,可完美运行 Game Boy 和 Game Boy Color 卡带,并预装全新授权的俄罗斯方块游戏。此外,它还配备 Link Cable 接口、3.5 毫米耳机插孔、USB-C 接口,续航时间长达 24 小时。
世界最大书店于 10 年前关闭,但其影响力依然存在。该书店以其丰富的藏书量和知识渊博的员工而闻名,为顾客提供了一种独特的体验。许多人怀念在书架间闲逛和发现新书的日子,认为这家书店是多伦多一个时代的标志。
本文探讨了 Transformer 在进行下一词预测训练时所构建的计算结构。研究表明,这种结构是由数据生成过程中隐藏状态的信念更新元动力学决定的。作者使用隐藏马尔可夫模型 (HMM) 来表征训练数据,并引入了混合状态表示 (MSP) 的概念来描述信念更新的元动力学。实验结果表明,Transformer 的残差流激活可以线性地表征 MSP 的几何结构,这意味着 Transformer 不仅学习了世界模型,还学习了同步到该模型的计算结构。
微软发布了新款 Surface Pro,搭载高通骁龙 X Elite 处理器,并声称其处理能力和电池续航优于苹果的 M3 MacBook Air。根据 Cinebench 跑分,Surface Pro 的多线程性能比 15 英寸 8 核 CPU 和 10 核 GPU 的 MacBook Air 高出 58%。Surface Pro 还支持长达 15 小时的网页浏览或 22 小时的本地视频播放,优于 MacBook Air 的 18 小时本地视频播放时间。新款 Surface Pro 起售价 1000 美元,OLED 显示屏、骁龙 X Elite 芯片、16GB 内存和 512GB 固态硬盘的版本起售价 1500 美元,将于 6 月 18 日上市。
本文讲述了游戏Riven的开发过程。Riven是游戏Myst的续作,由Cyan公司开发。相比Myst,Riven拥有更精细的画面、更复杂的世界观和更具深度的谜题。尽管开发成本高昂,Cyan坚持了自己的艺术理念,最终Riven获得了成功,但其影响力不及前作。