Workflow
程序员的那些事
icon
Search documents
别再乱试了!Redis 之父力荐:写代码、查 bug,这 2 个大模型封神!
程序员的那些事· 2025-07-21 06:50
就在 5 月 30 日凌晨, Redis 之父 antirez 写了一篇文章,他认为「人类程序员仍比 LLM 更胜一筹」 。 7 月 20 日,他又写了一篇文章,分享了对 LLM 编程的最近看法。 一年半前,我写过一篇题为《2024 年初的 LLM 与编程》的博客。当时,我就发现 LLM 已经很有用了,但在 这一年半里,它们的进步彻底改变了整个局面。然而,要充分利用它们的能力,与 LLM 交互的人类必须具备 某些特质并遵循特定的做法。下面我们就来探讨这些内容。 多数情况下拒绝"氛围编程" 以下是原文翻译: 2025 年夏天,与 LLM 并肩编程(最新进展) 像 Gemini 2.5 PRO 这类前沿的大语言模型(LLM),不仅对众多领域有着广泛的理解,还能在几秒内掌握数 千行代码,它们能够拓展并增强程序员的能力。只要你能清晰地描述问题,并且愿意在与 LLM 协作过程中进 行必要的反复沟通,就能取得惊人的成果,例如: 1、在代码触及任何用户之前消除你引入的 bug:我在 Redis 的 Vector Sets 实现中就有这样的经历。最终我 肯定能消除所有 bug,但很多 bug 通过 Gemini/Claude ...
央视专访黄仁勋:BAT 都是朋友,DeepSeek 极具创新,华为值得尊重
程序员的那些事· 2025-07-21 05:57
Core Viewpoint - The dialogue emphasizes the unique position of the Chinese market and its innovative capabilities in AI, highlighting the importance of collaboration and competition in the tech industry [1][2][14]. Group 1: Chinese Market and Innovation - The Chinese market is described as "unique" with significant innovation and development momentum, showcasing a deep partnership with major companies like Lenovo, Alibaba, Tencent, Baidu, and Xiaomi [1][14]. - The AI landscape in China is thriving, with companies like Deep Seek demonstrating remarkable innovation through their R1 model, which redefines AI model operations [1][11]. - Despite challenges, the pace of innovation in China is unstoppable, with a strong belief in the ability of Chinese engineers to adapt and innovate under pressure [11][13]. Group 2: Supply Chain Dynamics - China operates one of the world's most sophisticated supply chain systems, characterized by its scale, complexity, and diversity, which presents significant opportunities for global supply chain development [6][7]. - The interdependence of global supply chains is emphasized, with a belief that complete decoupling is impossible due to the intricate nature of these systems [6][10]. - The agility of supply chains is crucial in today's fast-changing environment, and this agility is seen as a major advantage for Chinese supply chain capabilities [8][10]. Group 3: Competition and Collaboration - Competition is viewed as essential for market prosperity, with respect for competitors like Huawei, which is recognized for its significant capabilities in chip design and system software [2][24]. - The relationship with competitors is framed as one of admiration and respect, highlighting the potential for coexistence and collaboration in the tech landscape [2][24][30]. - The importance of maintaining a competitive spirit while also seeking collaborative opportunities is stressed, as it can lead to mutual growth and innovation [29][30]. Group 4: Future of AI and Technology - AI is positioned as a transformative technology, comparable to electricity and the internet, with the potential to enhance capabilities across all sectors and demographics [17][21]. - The emergence of AI is seen as a pivotal moment in history, with the ability to democratize technology and empower individuals regardless of their background [20][21]. - The belief in the ongoing evolution of AI and its integration into various industries is strong, with expectations of significant advancements and opportunities in the near future [17][26].
某大V呼吁“吊销不支持纯血鸿蒙的 APP 的 ICP 许可”,DeepSeek:极端粗暴且不合法,不切实际
程序员的那些事· 2025-07-19 07:06
偶然刷到某大 V "强烈呼吁对不支持鸿蒙 NEXT 的 APP 吊销 ICP 许可",大家怎么看这种呼吁? 小程程也把这个问题抛给了 DeepSeek,它是这样回答的: 3. 法律与监管层面的问题: 。ICP许可的法律依据: ICP许可是对网站/应用在中国境内提供信息服务的基本 资质管理,主要涉及内容安全、网络安全、用户个人信息保护等方面。"不支持 某个特定操作系统"与ICP许可的核心监管目标(内容合规、数据安全、运营规 范)没有直接关联。 吊销ICP许可的理由缺乏法律依据,属于明显的权力滥 用。 。监管越位: 这种要求将应用商店审核和操作系统生态建设的工作,不恰当地强 加给了负责ICP许可的监管部门,属于严重的职能错位。 4. 对用户权益的损害: 。应用选择减少: 可能导致大量国际流行应用或无力适配的中小应用退出中国市 场,极大地限制了用户的选择权。 。用户体验下降: 强制适配可能导致部分应用的鸿蒙NEXT版本优化不足、功能 不全、更新滞后,最终损害的是用户的体验。 。潜在成本转嫁: 开发者增加的适配成本最终可能通过提高服务价格、增加广告 等方式转嫁给用户。 5. 对鸿蒙NEXT自身发展的潜在反作用: 。破 ...
微信安卓安装包惊现 “f*ck Xiao Mi”!网友实测不止一处 f*ck
程序员的那些事· 2025-07-18 08:42
原来是多名网友解压微信 Android 版安装包后发现,其中包含多处 "f*ck" 字样,其中一处甚至与小米 (Xiaomi)相关,例如"f*ck Xiao Mi"。 下午刷到这样一条热搜:微信安卓安装包出现 5 处 fxxk。 有开发者分析认为,这大概率是程序员、因情绪化操作留下的,属于内部可见的注释或日志内容,虽然 对普通用户功能无直接影响,但严重损害了微信作为主流应用的品牌形象。 网友留言 (参考:微博、鞭牛士、大白) - EOF - 推荐阅读 点击标题可跳转 1、 华为盘古之殇!大模型员工自曝文引爆全网,收获 10500+ Star 2、 突发!Manus 彻底撤出中国 3、 黄仁勋年内第 3 次访华,大热天仍穿皮夹克与雷军合影 ...
突发!Firefox 浏览器将关闭中国公司。网友:这对用户来说是好事
程序员的那些事· 2025-07-17 10:20
Core Viewpoint - Firefox browser is set to close its Chinese operating entity, Beijing Mozhi Huohu Company, while continuing to operate in China, indicating a shift in its operational strategy in the region [1]. Group 1: Impact on Users - The closure of the Chinese operating entity is not expected to significantly affect domestic users, as Firefox holds a market share of only 1.04% in China and 2.59% globally [2][3]. Group 2: Differences Between Chinese and International Versions - The Chinese version of Firefox is maintained by Beijing Mozhi Huohu, while the international version is maintained by Mozilla [4]. - The account systems differ, with the Chinese version using "Huohu Pass" and the international version using Mozilla accounts, leading to a lack of data synchronization between the two [4]. - The Chinese version comes pre-installed with plugins suited for the local internet environment, such as Alipay and QQ, while the international version is more streamlined and requires users to install plugins manually [4]. - The user interface of the Chinese version is tailored for local needs, featuring a homepage that may include advertisements, whereas the international version has a simpler design with fewer ads [4]. - Content accessibility varies, with some content available on the international version being restricted on the Chinese version due to local policies [4]. - The Chinese version includes additional features like webpage translation and ad filtering, catering to local user habits, while the international version focuses on overall browser stability and compatibility [4].
王垠:不懂编程的人想用 AI 成功做项目,几乎是妄想!
程序员的那些事· 2025-07-17 09:35
Core Viewpoint - The article emphasizes that while AI tools can assist in programming, they cannot replace the need for deep understanding and expertise in computer science to produce high-quality code [3][5][6]. Group 1: AI Programming Experience - The author shares experiences with various AI programming tools, highlighting that non-programmers are unlikely to successfully complete projects using AI alone [3]. - Despite generating over 60,000 lines of code with Cursor, the author only accepted around 5,000 lines due to frequent errors and misunderstandings by the AI [3]. - The complexity of AI-generated code often leads to confusion and the need for extensive corrections, indicating that AI struggles with even simple functions [3][5]. Group 2: Limitations of AI - The article argues that AI cannot produce "high-level" code due to the mediocre quality of the training data it relies on, which primarily consists of average programmers' work [5]. - The distinction between computer scientists and programmers is emphasized, with the assertion that AI may replace ordinary programmers but cannot substitute for computer scientists [5]. Group 3: AI as a Tool - AI is viewed as a valuable tool that can enhance productivity, but it is limited to amplifying existing skills rather than compensating for a lack of knowledge [6]. - The author acknowledges the benefits of using AI for problem-solving but stresses that without foundational skills, AI's effectiveness is nullified [6].
黄仁勋回应大热天穿皮夹克与雷军合影;H20 芯片以清库存为主
程序员的那些事· 2025-07-16 10:26
Group 1 - Huang Renxun's iconic leather jacket has become a significant part of his personal brand, with over 90% of his public appearances in the last decade featuring this attire [1] - The leather jacket is chosen primarily by his wife and carries sentimental value due to his family's history in the jacket business [2] Group 2 - NVIDIA has received approval from the U.S. government to resume sales of the H20 GPU, focusing on clearing existing inventory without affecting the supply of the new B series chips [3] - Huang Renxun expressed excitement about the upcoming sales to the Chinese market and announced the launch of a new graphics card named RTX Pro, designed for computer graphics, digital twins, and artificial intelligence [3]
很刑!大厂程序员 32 岁被裁,创业失败后制毒贩毒,被判 7.5 年!
程序员的那些事· 2025-07-16 08:12
Core Viewpoint - The article highlights the tragic transformation of a successful tech professional into a criminal due to the pressures of unemployment and financial distress, illustrating the darker side of the tech industry's challenges and the consequences of economic downturns [16][17]. Group 1: Background of the Individual - The individual, Song, was a successful backend developer in a leading internet company, earning over 500,000 yuan annually after ten years of hard work [4]. - In 2022, he was laid off during an industry downturn, which led to a significant personal crisis and a failed attempt at entrepreneurship [5][16]. Group 2: Entrepreneurial Struggles - After being laid off, Song raised 2 million yuan by mortgaging his property to start a tech company focused on smart home hardware, but faced immediate challenges due to poor market research and product compatibility issues [5][6]. - By March 2023, the company had accumulated debts of 1.87 million yuan, leading to the dismissal of all employees except for his brother [5][6]. Group 3: Descent into Crime - Influenced by a casual remark from his cousin about drug dealing being more profitable, Song resorted to purchasing drug manufacturing tutorials online and invested borrowed money into illegal activities [6][10]. - He attempted to produce caffeine-based drugs, but initial failures did not deter him; instead, he became more determined to refine his methods [10][12]. Group 4: Criminal Operations - Song utilized his technical skills to create a structured process for drug production, including detailed operational manuals and even coding a monitoring system for chemical reactions [12][14]. - He adopted a "buried mine" strategy for drug sales, using encrypted communication and virtual currencies to evade law enforcement [18]. Group 5: Legal Consequences - In March 2025, Song was sentenced to seven and a half years in prison for drug-related offenses, while his brother received a four and a half year sentence for assisting him [2][14]. - The court rejected claims of mental distress due to entrepreneurial failure, emphasizing the premeditated nature of his actions and the potential societal harm of his drug production [14][15]. Group 6: Industry Implications - The case reflects broader issues within the tech industry, including the "35-year crisis" and the challenges faced by skilled workers during economic downturns, with a significant number of laid-off workers turning to entrepreneurship with low success rates [16][17]. - The article calls for improved unemployment support, targeted anti-drug education, and stricter regulations on chemical transactions to prevent similar cases in the future [17].
真手搓CPU!硬核开发者 3 个月手工焊接、敲 1800 行汇编代码,竟让自制芯片连屏幕放《黑客帝国》
程序员的那些事· 2025-07-16 00:47
Core Viewpoint - The project EPROMINT, developed by a YouTuber named MINT, showcases the creation of a fully functional CPU from old memory chips and 8-bit logic devices, emphasizing a DIY spirit and a return to the roots of computing technology [1][2][4]. Group 1: Project Overview - MINT spent three months building the EPROMINT CPU, which can execute instructions and address memory, using only a soldering iron and outdated components [1][4]. - The project began with the collection of old memory chips, leading to the realization that these components could be repurposed to create something innovative [4][6]. - MINT's approach is minimalist, avoiding modern integrated circuits and instead using vintage components to construct the CPU [6][8]. Group 2: Technical Development - The initial prototype of the Arithmetic Logic Unit (ALU) was limited to simple addition but was later redesigned to support more complex operations [8][9]. - MINT developed a modular structure for the ALU, allowing for easier modifications and enhancements during the building process [10][12]. - The completed CPU weighs over 500 grams and includes several core modules: memory control, I/O interface, and a control module for instruction scheduling [14][15]. Group 3: Instruction Set and Functionality - MINT created an instruction set for the CPU, assigning operation codes (opcodes) to control the execution of various tasks [17][19]. - The ALU was enhanced to support not only addition and subtraction but also multiplication, division, logarithmic, and trigonometric functions [19][21]. - The project culminated in the writing of over 1800 lines of assembly code, enabling the CPU to perform a wide range of mathematical and logical operations [21][25]. Group 4: Achievements and Future Plans - The EPROMINT project successfully demonstrated the ability to run code and even play a low-resolution video clip from "The Matrix" on a VFD display [26][28]. - MINT plans to develop a C language compiler for the CPU, aiming to make programming more accessible and to deepen the understanding of processor fundamentals [28][29]. - The project has sparked significant interest in the community, highlighting the potential of DIY electronics and the creativity of individual enthusiasts [28][29].
突发!黄仁勋官宣 H20 恢复对华销售!
程序员的那些事· 2025-07-15 06:31
算法是程序员的内功!「算法爱好者」专注分享算法相关文章、工具资源和算法题,帮程序员修炼内 功。 7 月 15 日消息,英伟达在官网发文称,公司将恢复 H20 在中国的销售,并宣布推出面向中国市场的全新且完 全兼容的 GPU。 以下文章来源于算法爱好者 ,作者小蒜 算法爱好者 . 英伟达创始人兼 CEO 黄仁勋表示,英伟达正在提交重新销售 H20 GPU 的申请。 美国政府已向英伟达保证将 授予许可证 ,并且英伟达希望尽快启动交付。 同时,黄仁勋宣布推出一款全新且完全兼容的 NVIDIA RTX PRO GPU,称该产品 "是为智能工厂和物流打造 数字孪生 AI 的理想选择"。 据悉,H20 是英伟达为遵守美国出口限制而推出,专为中国市场设计的 AI 加速器,基于英伟达 Hopper 架 构,拥有 CoWoS 先进封装技术。 此前,美国政府今年 4 月决定禁止英伟达向中国市场销售其 H20 芯片 。 此外,据央视方面报道,应中国贸促会邀请,美国英伟达公司创始人兼首席执行官黄仁勋已确认将于 7 月 16 日出席第三届中国国际供应链促进博览会开幕式,并参加相关活动。 - EOF - 推荐阅读 点击标题可跳转 1、 ...