人类智慧PK大模型:Redis向量集Bug修复记

2025-05-29

Redis开发者antirez在修复Redis向量集(HNSW)中的一个复杂bug时,与Gemini 2.5 PRO大模型展开了一场智力较量。bug源于数据损坏导致的节点链接不一致,直接修复的O(N²)复杂度方案效率太低。antirez先尝试了大模型建议的二分查找法,但效果不佳。随后,他独立构思出一种巧妙的基于异或累加器的方案,并进一步优化为使用MurmurHash128和随机种子,有效解决了bug,并提升了性能。整个过程展现了人类创造性思维在解决复杂问题上的优势,虽然大模型提供了辅助,但最终的突破性方案仍来自于人类的灵感。

阅读更多
开发

微软开源Rust版MS-DOS编辑器,引爆怀旧潮

2025-06-25
微软开源Rust版MS-DOS编辑器,引爆怀旧潮

微软发布了经典MS-DOS编辑器的现代开源重制版——Edit。这款使用Rust编写的编辑器支持Windows、macOS和Linux,让老用户惊喜不已。它在1991年首次出现在MS-DOS 5.0中,其全屏界面、鼠标支持和下拉菜单在当时是革命性的进步,与之前的EDLIN相比极大提升了用户体验。如今,Edit的跨平台特性让许多人得以在Linux等系统上体验这款曾经的DOS神器,引发了怀旧热潮,也与Linux上一些复杂难用的文本编辑器形成了鲜明对比。

阅读更多

Whitesmiths C 编译器开源计划:传奇编译器的回归

2025-06-28
Whitesmiths C 编译器开源计划:传奇编译器的回归

Whitesmiths C编译器,这款在1978年发布的编译器曾为DEC PDP-11、Intel 8080等多种架构生成代码,如今有望开源!其开发者P.J. Plauger已授权将其用于非商业目的。目前已有多个版本的二进制文件和部分源代码可供下载,包括CP/M-80版本和IBM System/36交叉编译器版本。 这款具有历史意义的编译器,将为C语言发展史的研究和学习提供宝贵资源。

阅读更多
开发

关键飓风预报数据即将中断,或将影响飓风季预测准确性

2025-06-28
关键飓风预报数据即将中断,或将影响飓风季预测准确性

美国国防部气象卫星计划(DMSP)卫星上的传感器即将停止向国家飓风中心等非国防用户提供关键的微波数据,这将严重影响飓风预测的准确性。这些数据能够穿透云层,观测到飓风内部结构,特别是风暴眼和眼墙的变化,从而提前数小时预警飓风快速增强等重大变化。数据中断的原因尚不清楚,但可能与安全问题有关。虽然国家海洋和大气管理局(NOAA)表示拥有其他数据来源,但专家担心这将导致飓风预测出现6到12小时的延迟,特别是对于太平洋风暴,这可能造成灾难性后果。

阅读更多
科技

Nvidia与联发科携手:Linux桌面电脑新时代来临

2025-01-12
Nvidia与联发科携手:Linux桌面电脑新时代来临

Nvidia和联发科合作,基于Grace Blackwell超级芯片推出了Project DIGITS个人AI电脑,它运行定制的Ubuntu Linux系统,拥有强大的AI算力。这款售价3000美元的电脑,未来将推出更亲民的版本,价格预计在1000美元左右。这一合作标志着Nvidia进军桌面CPU市场,并试图通过与Windows Subsystem for Linux (WSL)的结合,将Linux操作系统带给更广泛的用户。此举将为用户提供性能强大的、原生支持Linux的电脑,特别是在ARM架构下具有显著优势。

阅读更多
科技

OpenAI的1250亿美元幻想:一个科技泡沫的警示

2025-04-28
OpenAI的1250亿美元幻想:一个科技泡沫的警示

本文作者质疑OpenAI对其未来收入的预测,认为其1250亿美元的预期过于乐观且缺乏现实依据。作者指出OpenAI的代理产品尚不成熟,其收入预测依赖于SoftBank的巨额投资以及尚未开发的“新产品”。作者批评媒体对OpenAI的盲目乐观,并指出生成式AI行业整体盈利能力差,市场规模远未达到预期。文章还分析了Google搜索功能的衰退以及生成式AI的炒作如何掩盖其局限性,并预测该泡沫即将破裂,可能导致大规模裁员和行业震荡。

阅读更多
科技

大型程序的“理论”:你无法仅从代码中获得

2025-04-28

Peter Naur 的论文探讨了大型程序的“理论”并非代码本身,而是程序员对程序的深刻理解。文章用 Ryle 的比喻阐述:理论如同小路,代码是路本身,而理解程序如同在路上行走。LLM 虽然能生成看似具备理论知识的文本,但这只是表象,并非真正的理解。Naur 强调,理解大型程序需要持续参与其开发和维护,这是一种无法通过简单阅读代码或文档获得的知识。

阅读更多

Photon:高性能跨平台Rust/WebAssembly图像处理库

2025-04-10
Photon:高性能跨平台Rust/WebAssembly图像处理库

Photon是一个高性能的Rust图像处理库,可编译为WebAssembly,可在本地和Web上进行安全、快速的图像处理。它支持多种图像格式(PNG、JPEG、BMP等),提供超过96个可定制函数,涵盖图像校正、调整大小、卷积、通道操作、变换、单色效果、颜色操作、滤镜、水印和混合等功能。Photon还提供原生、WebAssembly和Node.js版本,方便开发者在不同环境中使用。最新版本0.3.2增加了双色调滤镜、图像旋转和抖动滤镜等新功能。

阅读更多
开发

搜索引擎的隐形操控:你以为在浏览,其实在被搜索

2025-04-10
搜索引擎的隐形操控:你以为在浏览,其实在被搜索

你是否习惯于在搜索引擎中输入网站名称来访问网站?这看似便捷的操作背后,隐藏着科技巨头精心设计的“搜索嵌套”策略。文章指出,Google Chrome 等浏览器将地址栏和搜索栏合并,将每一次访问都转化为潜在的搜索,从而收集更多数据并投放更多广告。这种策略还体现在搜索引擎在操作系统中的深度集成以及预测搜索等功能中,潜移默化地改变了用户上网习惯,降低了用户自主选择权。作者呼吁用户意识到这种操控并采取行动,例如使用带有独立地址栏和搜索栏的浏览器,主动输入网址等,以重新掌控网络浏览的主动权。

阅读更多
科技

苹果考虑用Anthropic或OpenAI的AI升级Siri

2025-07-01
苹果考虑用Anthropic或OpenAI的AI升级Siri

据悉,苹果公司正考虑采用Anthropic或OpenAI的人工智能技术来升级Siri,这可能意味着苹果将放弃自研模型,转而使用外部公司的强大语言模型。此举旨在扭转苹果在AI领域发展缓慢的局面。苹果已与两家公司讨论在其云基础设施上测试这些模型的可能性。

阅读更多
科技

TokenVerse:基于扩散模型的多概念个性化图像生成

2025-01-28
TokenVerse:基于扩散模型的多概念个性化图像生成

TokenVerse 是一种利用预训练文本到图像扩散模型实现多概念个性化的新方法。它能够从单张图像中解耦复杂的视觉元素和属性,并无缝地生成来自多张图像中提取的概念组合。与现有方法相比,TokenVerse 能够处理包含多个概念的多张图像,并支持各种概念,包括物体、配饰、材质、姿势和光照。该方法利用基于 DiT 的文本到图像模型,通过优化找到每个单词在调制空间中的独特方向,从而生成结合所需配置的学习概念的新图像。实验结果表明,TokenVerse 在具有挑战性的个性化设置中非常有效。

阅读更多
AI

苹果传奇:14岁少年与初代Mac计算器的故事

2025-06-28

14岁的Chris Espinosa成为苹果早期员工,参与了Macintosh的开发。他负责Macintosh的文档编写,为了更好地理解Quickdraw绘图软件,他编写了一个计算器程序。Steve Jobs对最初的版本评价很低,但Chris灵光一闪,开发了一个可自定义参数的“Steve Jobs Roll Your Own Calculator Construction Set”,最终这个设计被采用,成为Macintosh多年来的经典计算器界面。

阅读更多
开发

使用 Grobi 自动配置 8K 显示器

2025-05-10

作者使用一台 Dell 32 英寸 8K 显示器,在电脑休眠后唤醒时,显示器配置经常出现问题。以前需要手动 SSH 连接并运行 xrandr 命令来解决。现在,作者使用 Grobi 程序自动配置显示器,解决了这个问题。Grobi 通过监听 X11 RandR 输出变化事件,自动运行 xrandr 命令配置分辨率和位置。此外,作者还使用 zleep 程序和 myStrom 智能插座控制显示器的电源,以节约能源。

阅读更多

AGI拐点已至:超智能时代即将到来

2025-06-10

我们正处于AGI(通用人工智能)的临界点,其发展速度远超预期。GPT-4和类似系统已展现出超越人类智力的能力,并显著提升了生产力。未来,AGI将在科学进步和生产力提升方面带来巨大收益,改善生活质量。虽然挑战依然存在,例如安全性和公平分配等问题,但AGI的快速发展也为解决这些问题提供了新的工具和可能性。未来几十年,AGI将深刻改变世界,但人类的核心价值观仍将持续,创新和适应将成为关键。

阅读更多
AI

AI研发:竭尽全力与明智取舍

2025-04-11
AI研发:竭尽全力与明智取舍

作者以童年玩水坝游戏为喻,讲述了在AI研发中“竭尽全力”与“明智取舍”的权衡。起初,作者像个孩子一样,尝试用小石子、树叶等材料筑坝,直到发现使用大铲子能更有效率地筑坝。这让他意识到,有时“胜利”意味着游戏空间的缩小。类似地,在AI领域,作者曾全力以赴争取投资银行的工作,最终获得成功却发现自己失去了“赚取尽可能多金钱”的游戏。他认为,在强大的力量(如自然、市场)面前,全力以赴可能适得其反,而Anthropic在教育领域的最新报告显示,他们开始关注AI发展的潜在风险,就像注意到沙滩上努力生存的小蛤蜊一样。

阅读更多

钛合金人工心脏:澳大利亚男子出院,全球首例

2025-03-13
钛合金人工心脏:澳大利亚男子出院,全球首例

一名40多岁的澳大利亚男子成为全球首位植入钛合金人工心脏后出院的人。这款名为BiVACOR的人工心脏作为心脏衰竭患者等待捐赠心脏的过渡方案,此前接受者都必须留在美国医院。该男子植入BiVACOR超过三个月后成功接受心脏移植,目前恢复良好。这是BiVACOR的第六例临床应用,也是首例植入时间超过一个月的案例。专家认为,这项技术具有创新性,但仍需进一步研究其长期功能和成本效益。BiVACOR作为一款全心脏替代品,只有一个活动部件,理论上比传统人工心脏更耐用。

阅读更多
科技

Pixel 9a:为孩子打造的安全智能手机

2025-03-19
Pixel 9a:为孩子打造的安全智能手机

谷歌Pixel 9a手机专为儿童设计,内置诸多安全功能。家长可通过Google Family Link应用管理孩子的账户和设备,控制屏幕时间、查看应用使用情况、审批应用下载、设置隐私选项和共享位置。新增的“上学时间”功能可在上课期间限制手机功能并静音通知。此外,谷歌钱包儿童版也登陆Pixel 9a,允许孩子使用Google Pay安全支付,并添加电影票、图书馆卡等通行证,家长可远程管理支付卡和通行证。

阅读更多

Rust 风格的 CSS 预处理器:RCSS 闪亮登场

2025-04-10
Rust 风格的 CSS 预处理器:RCSS 闪亮登场

RCSS 是一种将 Rust 风格语法引入 CSS 的样式语言,它结合了 Rust 的稳健性和类似 SASS 的嵌套和变量功能,旨在创建更简洁易维护的样式。RCSS 使用类似 Rust 的语法,支持变量、嵌套和无参数函数,并提供 VS Code 语法高亮扩展。未来计划支持带参数的函数、导入、代码格式化、改进 CSS 输出格式以及增强错误处理和调试工具。目前 RCSS 编译速度极快,可在几百微秒内完成编译。

阅读更多

Rust 的 `Any` 特性终于支持向上转型

2025-03-30
Rust 的 `Any` 特性终于支持向上转型

Rust 1.86 版本终于修复了 `Any` trait 的一个长期存在的问题:无法对 `dyn Any` 进行向上转型。这意味着开发者现在可以使用 `Any` trait 的方法,例如 `downcast_ref`,在继承自 `Any` 的 trait 上。这项修复使得过去需要使用 hack 方法才能实现的功能,现在可以直接通过标准的方式实现,提升了代码的可读性和维护性。这对于长期以来依赖于 hack 方法的 Rust 开发者来说是一个好消息。

阅读更多

Thunderbird 140 “日蚀”发布:更暗、更流畅的邮件体验

2025-07-10
Thunderbird 140 “日蚀”发布:更暗、更流畅的邮件体验

Thunderbird 140 “日蚀”版本正式发布!此扩展支持版本在128版的基础上,整合了月度更新的诸多改进,带来了自适应暗色主题、改进的视觉控制、简化的账户中心等功能。用户可轻松自定义外观设置,使用原生操作系统通知,并享受更便捷的账户添加和文件夹排序体验。此外,该版本还包含实验性的Exchange原生支持、移动端二维码导出、表格视图水平滚动等功能,以及数千个错误修复和性能提升。目前已支持Windows、Linux和macOS系统手动升级,自动更新将在稍后推出。

阅读更多
开发

三星CEO韩钟熙突发心脏病去世

2025-03-25
三星CEO韩钟熙突发心脏病去世

据路透社和CNBC报道,三星电子副董事长兼首席执行官韩钟熙因心脏病突发去世,享年63岁。韩钟熙于1988年加入三星,2011年成为显示器产品研发负责人,后领导三星电视业务,并于2021年出任三星DX部门(涵盖移动和消费电子)负责人,2022年正式成为副董事长兼CEO。尽管缺乏移动领域经验,他带领三星电视业务连续15年全球销量第一。去世前一周,他还出席了股东大会,就公司股价低迷和AI半导体市场应对不足等问题致歉,并表示公司在半导体并购方面面临监管挑战,但决心今年取得实质性进展。目前,韩钟熙的联合CEO全荣铉成为三星唯一的CEO。

阅读更多
科技

GitMCP:让AI轻松访问GitHub项目文档

2025-04-07
GitMCP:让AI轻松访问GitHub项目文档

GitMCP是一个免费开源的服务,它可以将任何GitHub项目无缝转换为远程模型上下文协议(MCP)端点,使AI助手能够轻松访问和理解项目的文档。无需任何设置,GitMCP即可开箱即用,并且完全免费和私密,不收集任何个人身份信息或查询。用户可以使用简单的URL格式访问GitHub仓库或GitHub Pages站点,AI助手可以通过GitMCP访问项目的文档,并利用语义搜索功能优化token使用。GitMCP通过实现MCP来充当GitHub仓库文档和AI助手之间的桥梁,确保高效准确的信息传递。

阅读更多
开发

两位微型计算机先驱的传奇人生:辛克莱与基尔达尔

2025-07-17
两位微型计算机先驱的传奇人生:辛克莱与基尔达尔

本文讲述了英国电子天才克莱夫·辛克莱爵士和美国计算机科学家加里·基尔达尔两位微型计算机先驱的精彩人生。辛克莱凭借ZX Spectrum等家用电脑引领了80年代的家用电脑革命,但他最终因投资失利而退出商界。基尔达尔则开发了CP/M操作系统,一度成为微型电脑的标准,但他错失了与IBM合作的机会,最终公司被收购。两人都展现了非凡的技术才能和商业上的不足,为微型计算机产业做出了巨大贡献,他们的故事也为后来的创业者提供了宝贵的经验和教训。

阅读更多
科技

学习藏语改变我的思维方式

2024-12-13
学习藏语改变我的思维方式

作者Estefania Duque分享了她学习藏语的经历,这门语言不仅改变了她的思维方式,还影响了她的视角,并带给她精神启迪。学习藏语的过程中,她体会到语言不仅仅是交流工具,更是文化和思想的载体。藏语的语法结构,例如表达个人经历和普遍真理的方式,以及对“拥有”的独特理解,都让她对自我认知和与外界的关联有了新的认识。此外,藏语中尊称和谦称的运用,也帮助她更好地反思自身行为和意图。最终,她将学习藏语的过程比作一种禅修,并以此来更好地翻译佛法,传承藏文化。

阅读更多
杂项 藏语

性能优化:一场与复杂性抗争的持久战

2025-04-29
性能优化:一场与复杂性抗争的持久战

这篇文章深入探讨了代码性能优化的挑战。作者指出,优化并非简单的技能提升,而是需要面对大量尝试和错误的“蛮力”任务。各种优化策略之间存在复杂的相互作用,甚至看似优秀的方案也可能因为一些意想不到的原因失效。编译器虽然能提供帮助,但其能力有限,盲目依赖反而可能适得其反。针对不同架构的CPU,优化策略也大相径庭,例如x86架构有丰富的资料,而Apple Silicon则缺乏完善的文档支持,这给开发者带来了巨大的挑战。文章最后总结道,性能优化是一门艺术,微小的改进累积起来就能带来显著的提升,值得开发者投入时间和精力。

阅读更多
开发

HTMX v2.0.4 更新日志:修复和改进

2024-12-14
HTMX v2.0.4 更新日志:修复和改进

HTMX v2.0.4 版本更新日志涵盖了大量错误修复和改进。该版本主要关注提升稳定性和兼容性,包括修复嵌套Shadow DOM问题、改进`hx-boost`在表单中的行为、增强对Web Components和Shadow DOM的支持,以及更新多个扩展以提高性能和可靠性。此外,还对`htmx.ajax`函数进行了调整,并对`hx-trigger`事件处理机制进行优化。

阅读更多
开发

田纳西河谷管理局申请建造小型模块化反应堆

2025-05-25
田纳西河谷管理局申请建造小型模块化反应堆

田纳西河谷管理局(TVA)向美国核管理委员会提交申请,拟在Clinch River建造一台GE Vernova Hitachi Nuclear Energy BWRX-300小型模块化反应堆。这是美国首个BWRX-300技术的建设许可申请,标志着美国先进核技术发展的重要里程碑。TVA已投资BWRX-300标准设计,并积极争取政府资金支持,预计2026年开始场地准备工作。BWRX-300采用更小巧、更模块化的设计,具有更高的安全性和效率,有望满足日益增长的能源需求。

阅读更多
科技

Netflix进军法国电视直播:与TF1集团达成独家合作

2025-06-18
Netflix进军法国电视直播:与TF1集团达成独家合作

Netflix将于2026年夏季在法国推出全新功能,其订阅用户无需离开平台即可观看TF1集团的免费直播电视节目和点播内容。这标志着Netflix与法国领先的广播公司TF1集团达成了首个此类合作,将TF1的频道和TF1 Plus流媒体内容整合到Netflix的订阅服务中。此举不仅为法国用户提供了更丰富的娱乐选择,也可能帮助Netflix满足其在法国投资法语内容的法规要求。这项合作预示着传统电视网络与流媒体平台合作的新模式,为应对观众流失提供了新的策略。

阅读更多
科技 电视直播

Lua 游戏脚本教程:打造星际任务

2025-03-23

本教程详细讲解如何使用 Lua 脚本语言为 EmptyEpsilon 游戏创建自定义星际任务场景。从创建基本场景文件,添加太空站、星云和陨石,到设计敌我双方舰船、设置任务目标和触发事件,教程循序渐进,并附带完整代码示例。玩家将学习如何利用 Lua 函数操控游戏元素,构建引人入胜的星际冒险故事,例如营救被困外交官的任务。

阅读更多
1 2 804 805 806 808 810 811 812 1084 1085