近日，一位研究者利用进化算法结合大型语言模型Grok-4，在ARC-AGI基准测试中取得了显著突破，在ARC v1上达到79.6%的准确率，并在更难的ARC v2上取得了29.4%的准确率，刷新了当前最佳水平。该方法的核心在于利用自然语言指令代替Python代码，通过迭代进化生成更有效的解题方案。这项研究表明，强化学习和自然语言指令的结合，有望解决当前大型语言模型在抽象推理方面的局限性，为实现通用人工智能（AGI）指明了方向。
阅读更多
阿联酋和OpenAI正在谈判，可能将ChatGPT Plus人工智能聊天机器人免费提供给所有居民。这项协议将是最近宣布的Stargate UAE基础设施计划的一部分，该计划旨在在阿布扎比建立一个AI中心。Stargate UAE是一个1吉瓦的计算集群，由阿布扎比的AI公司G42与OpenAI、Oracle和Nvidia合作建立。如果达成协议，这将是AI领域前所未有的举动，数百万阿联酋居民将能够免费使用全球最强大的AI服务之一。
阅读更多
Cody Computer是一款面向DIY爱好者的8位家用电脑，灵感源自上世纪80年代的Commodore家用电脑，但并不兼容。它基于Western Design Center的65C02和65C22以及Parallax Propeller微控制器。其设计文件和软件均采用GPLv3许可证开源发布，包含3D打印的机械部件和键盘，支持Cody BASIC和汇编语言编程，并具有复古风格的图形和音频功能。该项目旨在提供一个简单、有趣且具有教育意义的DIY电脑体验，其详细设计资料可在免费下载的《Cody Computer Book》中找到。
阅读更多
在编程世界中，“只是JavaScript”是句经常被误用的说法。这篇文章探讨了JavaScript的复杂性，指出很多看似简单的.js文件，实际上依赖于浏览器API、Node.js环境变量、JSX编译、预处理器、TypeScript类型注解等多种技术，运行环境和工具链的选择会极大影响代码的可执行性。作者以一系列例子说明，只有脱离了特定运行环境和工具链的“原生”JavaScript代码，才能真正被称为“只是JavaScript”。
阅读更多
作者以“谚语的悖论”为引，类比邮件回复中的“顶贴”行为。顶贴如同拖延家务，看似省时，实则可能造成更大的工作量。短线程中顶贴高效，但长线程则导致阅读困难，信息难以梳理。作者认为，顶贴是种拖延，除非回复内嵌变得轻松、强制且有益，否则顶贴将持续盛行。
阅读更多
一位父亲为了给3岁的儿子打造一款更便捷、安全的离线音频播放器，从学习电子技术开始，最终完成了名为Boxie的项目。Boxie的设计灵感来自Game Boy，采用ESP32-S3作为主控，支持离线播放存储在Micro SD卡上的音频文件。文章详细介绍了Boxie的硬件设计过程，包括PCB设计、3D打印外壳制作、元器件选择、软件开发等，以及作者在学习和制作过程中遇到的挑战和解决方案。最终，Boxie成为了一款可靠耐用、易于操作的儿童音频播放器，体现了作者对孩子的关爱和精湛的电子技术能力。
阅读更多
Poireau是一个用于调试内存分配问题的轻量级库。它通过采样一小部分malloc/calloc等调用来生成应用程序堆内存使用情况的统计概要，对性能影响极小。Poireau使用Linux perf进行跟踪，并通过一个外部脚本分析结果，定位内存泄漏等问题。其优势在于低侵入性、易于审计和在生产环境中使用，即使在程序崩溃后也能提供信息。
阅读更多
作者讲述了翻译其祖父Kornelis Sietsma博士传记的过程。Kornelis Sietsma博士是二战时期阿姆斯特丹的荷兰改革教会牧师，因其反纳粹的布道而被驱逐到达豪集中营并最终离世。作者为了让自己的孩子了解他们的曾祖父，决定将祖父的荷兰语传记翻译成英文。过程中，作者使用了OCR工具将书籍扫描成文本，并借助DeepL和Claude等AI翻译工具进行翻译，同时参考了叔叔在20世纪90年代的翻译版本，并咨询了懂荷兰语的朋友，最终完成了翻译并添加了地图、图片和注释。作者认为AI工具在翻译中非常有用，尤其是在可以验证和调整结果的情况下。
阅读更多
作者在使用ARM NEON进行向量化优化时遇到性能下降问题。初始代码使用五个加载指令（5L），优化后代码使用两个加载指令和三个扩展指令（2L3E），旨在减少内存访问。然而，2L3E版本反而更慢。利用LLVM-MCA工具进行性能分析，发现2L3E版本导致CPU执行单元出现瓶颈，资源利用不均衡，指令依赖性更强，最终导致性能下降。5L版本因其更均衡的资源利用和独立的加载指令而表现更佳。该案例说明了即使看似合理的优化，也可能因未考虑CPU资源竞争和指令依赖性而导致性能下降，LLVM-MCA是分析此类问题的有力工具。
阅读更多
Verisign工程师发现了Google DNS向根域名服务器发出的异常大量随机域名查询，这些查询包含12到13个随机字符，且并未在顶级域名服务器上发现。经过调查，发现这是Google为了防止Kaminsky攻击而采取的nonce prepending和query name minimization技术。虽然解释了大部分现象，但查询频率过高（比预期高2000倍）以及缓存利用率低的问题仍未解开。此案例凸显了互联网安全领域协作的重要性。
阅读更多
GamingOnLinux网站已运营16年，在众多游戏网站倒闭或转型的大环境下依然坚挺。文章作者回顾了网站的历程，并表达了对读者和支持者的感谢。面对AI的冲击和微软Bing新闻的除名，作者呼吁读者关注并支持网站，继续分享文章，保证网站的持续运营。同时，网站也计划改进Steam追踪器和PC信息系统，并探索新的读者互动方式。
阅读更多
Michael Larabel是Phoronix.com网站的首席作者，于2004年创立了该网站，专注于提升Linux硬件体验。他撰写了超过20000篇文章，涵盖Linux硬件支持、性能、显卡驱动程序等主题。Larabel还是Phoronix Test Suite、Phoromatic和OpenBenchmarking.org等自动化基准测试软件的首席开发者。他的成就为开源社区做出了巨大贡献，极大地推动了Linux在硬件领域的应用和发展。
阅读更多
印度国家大学排名系统将首次因研究人员发表论文被撤稿而惩罚相关机构。此举旨在解决印度因学术不端行为导致论文撤稿数量激增的问题。尽管论文撤稿有时是由于诚实的错误，但印度的撤稿数量仅次于中国和美国，其中大部分是由于学术不端或研究诚信问题。新政策将根据Scopus和Web of Science数据库中过去三年的撤稿数量对高校进行惩罚，旨在抑制学术不端行为，但其有效性仍有待观察，一些研究人员担心，仅仅调整排名机制并不能从根本上解决问题，例如，以牺牲质量为代价追求高发表数量的激励机制仍然存在。
阅读更多
Verizon在4月份推出了为期三年的价格锁定计划，但现在却宣布将对账单进行“微调”，导致用户费用上涨。虽然Verizon声称大多数用户涨价幅度不到30美分，但实际上该公司计划上调多项费用，包括行政和电信回收费、监管费以及设备激活费和数据套餐费用。这些调整将于9月1日生效，虽然价格锁定计划限制了套餐价格的直接上涨，但却为各种附加费用的上涨留下了空间，此举引发了用户不满。
阅读更多
Finley Technologies正在招聘8个不同职位，涵盖工程、运营、销售和售后等多个部门，工作地点包括旧金山、纽约和远程办公。招聘职位包括产品经理、软件工程师、人事专员、资本市场助理、实施主管、技术实施专家、销售代表和金融机构增长助理等。
阅读更多
旧金山市长Daniel Lurie正努力重振城市昔日荣光，他相信科技领袖们能够助其一臂之力。为此，他积极与科技公司CEO和企业家沟通，寻求合作。首先，他着手解决困扰城市的毒品和无家可归问题，例如取消免费派发吸毒工具的计划。同时，他还致力于简化城市建设审批流程，推出“Permit SF”项目，并提出新的分区规划，允许建造更高建筑以增加住房供应。此外，Lurie积极吸引AI公司在旧金山设立办公室和举办会议，例如促成Databricks将AI大会保留在旧金山，并为其提供税收优惠，但同时要求这些公司回馈社区。他成立了“旧金山伙伴关系”，搭建科技公司与市政府沟通的桥梁。尽管面临来自工会等方面的压力，Lurie仍致力于推动自动驾驶汽车在旧金山的应用。他相信通过这些努力，旧金山将再次成为科技创新的中心，吸引全球人才和企业汇聚于此。
阅读更多
Genus公司利用基因编辑技术，成功培育出对PRRS病毒具有高度免疫力的猪。这项技术与2018年中国“基因编辑婴儿”事件相似，但目标不同，伦理争议也较小。由于PRRS病毒每年给美国造成超过3亿美元的损失，这项技术具有巨大的经济效益。文章也对比了其他一些对转基因动物的报道，例如试图复活灭绝物种的Colossal Biosciences和致力于创造发光兔子和独角兽的生物黑客项目，突出了基因编辑技术在农业和生物领域的巨大潜力和伦理挑战。
阅读更多
这份文档详细规定了Red Hat技术文档中术语使用的规范，涵盖了从软件名称（如IBM S/390、Samba）到安全描述（避免使用“secure”，需具体说明安全特性）等各个方面。它还规范了缩写（如SSH、SSL）、命令行操作描述、以及一些容易混淆的词语（如“since”和“because”）的使用方法。这份指南旨在确保文档的一致性和准确性，提升可读性和专业性。
阅读更多
亚马逊云科技（AWS）为了提供可靠的服务，采用了多种形式化方法，从早期的TLA+到如今的P语言和各种轻量级方法，例如基于属性的测试、模糊测试和故障注入。这些方法不仅帮助AWS在开发早期发现并消除难以察觉的bug，提高了开发速度和效率，也为性能优化提供了可靠的保障。文章还探讨了元稳定性等新兴系统行为的挑战，以及未来利用大型语言模型和AI辅助工具降低形式化方法使用门槛的可能性。
阅读更多
一项新的研究发现，月球上存在两个比美国大峡谷更深的巨型峡谷，它们是由以子弹速度飞行的岩石洪流在不到10分钟内形成的。这两个峡谷，分别名为“薛定谔谷”和“普朗克谷”，长度分别为270公里和280公里，深度分别为2.7公里和3.5公里，远超大峡谷的446公里长和1.9公里深。科学家们分析了NASA月球勘测轨道飞行器的照片，发现这些峡谷是由38.1亿年前一次巨大的撞击事件形成的，撞击产生的岩石碎片以每小时3420到4600公里的速度飞溅，其能量超过目前全球核武器总能量的130倍。这一发现为未来的月球探测任务提供了宝贵的信息，尤其是在研究月球早期地质历史方面具有重要意义。
阅读更多
在巴黎近期举行的科技峰会上，各大科技公司CEO纷纷对人工智能的未来发展表达了极其乐观的预测。谷歌CEO皮查伊认为AI将是“我们一生中最深刻的变革”，Anthropic CEO阿莫迪则表示AI将带来“人类历史上对全球劳动力市场最大的改变”。OpenAI的CEO阿尔特曼更是在博客中大胆预测，十年内，地球上每个人都能比现在最有影响力的人做得更多。这些言论无疑展现了科技巨头们对AI的巨大信心，但也引发了人们对AI未来发展方向和潜在风险的思考。
阅读更多
本文深入探讨了GPU利用率的三个层面：GPU分配利用率、GPU内核利用率和模型FLOP/s利用率。作者指出，高价格和性能敏感性使得最大化GPU利用率至关重要。文章分析了影响各个层面利用率的因素，例如经济限制、DevOps限制、主机开销等，并提出了相应的优化策略，例如使用Modal平台提高GPU分配效率，优化内核代码，提高算术强度等。最后，文章还分享了业界GPU利用率的现状和最佳实践，为开发者提供了宝贵的经验和指导。
阅读更多
人权观察组织最新报告揭露了美国七大数字劳务平台（包括Uber、DoorDash等）的黑暗一面。这些平台将“零工”工人错划为独立承包商，逃避雇主责任，利用不透明的算法控制工资和工作分配，导致工人收入远低于最低工资标准，缺乏社会保障，并面临随时被解雇的风险。报告指出，这种模式导致工人经济极度不安全，而平台公司却赚得盆满钵满。 报告呼吁美国政府加强监管，保障零工工人的权利。
阅读更多
wtfis是一个命令行工具，用于通过各种OSINT服务收集有关域名、FQDN或IP地址的信息。它设计简洁易用，以人类可读的方式呈现结果，并尽量减少API调用以避免超出配额。它整合了VirusTotal、IP2Whois、Shodan、Greynoise、URLhaus和AbuseIPDB等多个信息源，提供域名/IP地址的声誉评分、流行度排名、类别、解析结果、Whois信息、开放端口、恶意URL关联等丰富信息。用户可通过API密钥配置使用高级功能，并支持自定义参数和Docker部署。
阅读更多
新加坡国立大学的研究人员开发了一种新型能量收集模块，能够将环境中的射频（RF）信号转换为直流（DC）电压，为小型电子设备提供动力，无需电池。这项技术克服了现有整流器技术在低功率环境下效率低下的难题，采用纳米级自旋整流器，实现了高灵敏度和紧凑的设计。该模块已成功为商用温度传感器供电，为物联网设备和无线传感器网络在偏远地区的应用提供了新的可能性。这项研究发表在《自然·电子学》杂志上，标志着在环境能量收集领域取得了重大突破。
阅读更多
一本由AI自主撰写的实验性书籍《人类算法》探讨了人工智能与人类认知的惊人相似之处。通过分析大型语言模型（LLM）的挑战，例如“幻觉”和“过度拟合”，书中揭示了人类认知和沟通中被忽视的真相，例如我们对AI的严格要求与对自身认知的宽容度差异。本书并非旨在使AI更像人类，而是利用AI作为一面镜子，帮助人类更好地理解自身，提升沟通技巧和自我认知。
阅读更多
秘鲁亚马逊雨林中耸立着一座神秘的锥形山峰——Cerro El Cono，高400米，形状如同金字塔，从远处甚至可以从安第斯山脉看到它。其成因成谜，有人说是死火山，有人说是奇特的岩层，当地土著居民则将其视为圣山“安第斯阿普”。Cerro El Cono附近是生物多样性热点地区，但非法伐木和采矿威胁着这片生态系统，2015年建立的塞尔拉德尔迪维索尔国家公园虽然保护了大片区域，但非法活动依然存在。
阅读更多
本文探讨了不同编程语言中emoji字符串长度的差异，例如JavaScript中“🤦🏼♂️”.length为7，Python中为5，Rust中为17。这源于不同语言对字符串编码（UTF-16、UTF-8等）和字素单位（Unicode标量值、扩展字素群集等）的处理方式不同。作者认为，记住字符串在原生编码中的长度是合理的，但对于其他长度（如扩展字素群集），则应按需计算，避免不必要的存储开销和同步问题。文章还分析了不同编码方式的优缺点，并指出UTF-8在存储和交换方面的优势，最后讨论了公平的长度配额问题，指出没有简单的方法能公平地衡量不同语言的信息密度，并以联合国人权宣言的翻译为例进行说明。
阅读更多
位于苏格兰海岸40米深水下的MeyGen潮汐能发电项目，其中一台涡轮机已连续运行六年半，创造了新的纪录。这证明了潮汐能技术的商业可行性，也为吸引更多投资建设大型潮汐能发电场铺平了道路。该项目由四台1.5兆瓦的涡轮机组成，每年可为7000户家庭供电。虽然潮汐能技术仍处于早期发展阶段，但其巨大的清洁能源潜力不容忽视。该项目的成功，为解决潮汐能发电技术在海水环境下的长期可靠性问题提供了有力证明，推动了潮汐能产业的发展。
阅读更多
Gartner预测，超过40%的自主式AI项目将在2027年底前被取消，原因是成本上升、业务价值不明确或风险控制不足。卡内基梅隆大学和Salesforce的研究表明，AI智能体在多步骤任务中的成功率仅为30%到35%。许多厂商夸大其词，将现有产品重新包装成自主式AI。虽然自主式AI在科幻作品中很常见，但现实中的应用仍面临挑战，包括安全、隐私、版权和伦理问题。CMU和Salesforce的研究表明，即使是最先进的模型，在处理常见工作任务时的成功率也远低于预期，这突显了自主式AI技术仍处于发展早期阶段，距离真正实用还有很长的路要走。
阅读更多