Software Development
Search documents
5 年了!Rust 终于在 Linux 内核中“转正”了
程序员的那些事· 2025-12-18 01:41
Core Viewpoint - The introduction of Rust into the Linux kernel has transitioned from an experimental phase to being recognized as a long-term component, marking a significant shift in the kernel's development approach [2][6]. Group 1: Historical Context and Development - The Rust for Linux project began in 2020, aiming to assess whether Rust could justify the additional complexity it brings to kernel development [4]. - Initially, Rust code was limited and marked as "experimental," indicating a cautious approach to its integration into the kernel [4]. Group 2: Key Developments and Milestones - Over 20,000 lines of Rust code have been merged into the Linux upstream kernel since 2022, indicating a shift from mere proof of concept to real engineering progress [5]. - Rust-written kernel drivers are now running in real-world environments, such as in Google Pixel devices, demonstrating Rust's practical safety benefits [5]. - The ecosystem around Rust in the kernel is maturing, with foundational libraries and tools being developed, making it more accessible for developers [5]. Group 3: Official Recognition and Future Directions - The "experimental phase" of Rust support in the Linux kernel was officially declared over at the 2025 Linux Kernel Maintainers Summit, signaling a commitment to its long-term use [6]. - Despite the end of the experimental phase, significant work remains to adapt Rust for various architectures and configurations within the kernel [6]. - The transition to Rust is seen as a long-term investment, encouraging companies and hardware manufacturers to consider Rust for future driver development [8]. Group 4: Coexistence with C - The Linux kernel will continue to primarily use C, but the focus has shifted to how Rust can coexist and complement C within the kernel [9].
成都市华宇时代智能科技有限公司成立 注册资本1000万人民币
Sou Hu Cai Jing· 2025-12-17 07:30
天眼查App显示,近日,成都市华宇时代智能科技有限公司成立,法定代表人为吴迪,注册资本1000万 人民币,经营范围为一般项目:软件开发;智能机器人的研发;新兴能源技术研发;人工智能应用软件 开发;人工智能行业应用系统集成服务;新材料技术研发;服务消费机器人制造;智能无人飞行器制 造;智能无人飞行器销售;新能源原动设备销售;电池销售;电池零配件销售;服务消费机器人销售; 技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广;人工智能通用应用系统;人工智能 基础资源与技术平台;信息系统集成服务;新材料技术推广服务;节能管理服务;储能技术服务。(除 依法须经批准的项目外,凭营业执照依法自主开展经营活动)。 ...
成都云棋墨策科技有限公司成立 注册资本10万人民币
Sou Hu Cai Jing· 2025-12-17 07:13
天眼查App显示,近日,成都云棋墨策科技有限公司成立,法定代表人为郑益民,注册资本10万人民 币,经营范围为一般项目:技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广;信息技 术咨询服务;软件开发;工程管理服务;货物进出口;技术进出口;电子产品销售;玩具、动漫及游艺 用品销售;游艺用品及室内游艺器材销售;互联网销售(除销售需要许可的商品);互联网数据服务; 广告发布;广告制作;广告设计、代理;数字广告发布;数字广告制作;数字广告设计、代理;动漫游 戏开发;游艺及娱乐用品销售;数字文化创意软件开发;数字文化创意技术装备销售;数字内容制作服 务(不含出版发行)。(除依法须经批准的项目外,凭营业执照依法自主开展经营活动)。 ...
合肥睿识锦图智能科技有限公司成立 注册资本50万人民币
Sou Hu Cai Jing· 2025-12-17 01:03
天眼查App显示,近日,合肥睿识锦图智能科技有限公司成立,法定代表人为周群会,注册资本50万人 民币,经营范围为一般经营项目:人工智能应用软件开发;人工智能行业应用系统集成服务;人工智能 理论与算法软件开发;软件开发;智能机器人的研发;智能控制系统集成;信息技术咨询服务;计算机 系统服务;数据处理和存储支持服务;软件销售;人工智能硬件销售;工业自动控制系统装置销售;工 业机器人制造;办公设备耗材制造;工业控制计算机及系统制造;包装专用设备制造;电工机械专用设 备制造;电子元器件与机电组件设备制造;智能基础制造装备销售;机械设备销售;电子产品销售;技 术服务、技术开发、技术咨询、技术交流、技术转让、技术推广;互联网数据服务(除许可业务外,可 自主依法经营法律法规非禁止或限制的项目)。 ...
AI数字人小程序开发实战:基于系统源码的快速落地方案
Sou Hu Cai Jing· 2025-12-16 12:08
这两年,AI数字人从概念迅速走向商业化落地。无论是品牌营销、知识付费,还是企业客服、直播带货,越来越多的企业开始意识到: 不是要不要做数字人,而是如何用更低成本、更快速度做出一个能用、好用、可扩展的数字人产品。 在这样的背景下,AI数字人小程序成为很多企业和创业团队的首选形态。而在实际项目中,"基于成熟系统源码进行二次开发",已经逐渐成为主流解法。 本文结合真实开发经验,聊一聊AI数字人小程序的核心实现思路,以及如何借助系统源码快速落地。 AI数字人系统源码 一、为什么AI数字人更适合从"小程序"切入? 从技术和商业两端来看,小程序天然具备三大优势: 第一,用户门槛低 无需下载 App,即用即走,特别适合数字人展示、咨询、轻交互场景。 第二,传播效率高 小程序天然适合嵌入公众号、视频号、私域社群,和数字人"内容+服务"的形态高度契合。 第三,开发与迭代成本可控 相比原生 App,小程序开发周期更短,更适合快速验证数字人产品模型。 因此,无论是企业内部项目,还是对外输出解决方案,AI数字人小程序都是性价比极高的选择。 二、AI数字人小程序的核心功能模块拆解 很多人一听"数字人",容易被概念吓到。实际上,成熟的数 ...
昆明柒航科技技术有限公司成立 注册资本50万人民币
Sou Hu Cai Jing· 2025-12-16 11:26
Group 1 - The company Kunming Qihang Technology Co., Ltd. has been recently established with a registered capital of 500,000 RMB [1] - The legal representative of the company is He Benyang [1] - The business scope includes construction engineering contracting, architectural labor subcontracting, construction engineering design, and installation of civil air defense engineering protection equipment [1] Group 2 - The company is also involved in various general projects such as software development, artificial intelligence software development, fire safety technology services, and safety consulting services [1] - Additional services offered include technical services, technology development, technology consulting, and technology transfer [1] - The company is engaged in the sale of fire-fighting equipment, metal products, valves, security equipment, and building materials [1]
美国裁员创疫情新高,AI冲击下,这两个行业最先倒下…
3 6 Ke· 2025-12-16 08:01
全球职业介绍公司Challenger, Gray & Christmas公布的数据显示,今年前11个月,美国企业计划裁员总数逼近117.1万人。 这个数字有多吓人?它不仅是疫情以来最高的年度裁员水平,也是近三十年来第六次突破110万大关。 裁员重灾区究竟是谁? | | 2025 | 2024 | | --- | --- | --- | | January | 49,795 | 82,307 | | February | 172,017 | 84,638 | | March | 275,240 | 90,309 | | April | 105,441 | 64,789 | | May | 93,816 | 63,816 | | June | 47,999 | 48,786 | | July | 62,075 | 25,885 | | August | 85,979 | 75,891 | | September | 54,064 | 72,821 | | October | 153,074 | 55,597 | | November | 71,321 | 57,727 | | December | | 38,79 ...
燃量电子(杭州)有限公司成立 注册资本10万人民币
Sou Hu Cai Jing· 2025-12-16 02:50
Core Viewpoint - Recently, a new company named Ranliang Electronics (Hangzhou) Co., Ltd. was established, focusing on software development and artificial intelligence [1] Group 1: Company Overview - The legal representative of Ranliang Electronics is Zheng Chengwei [1] - The registered capital of the company is 100,000 RMB [1] Group 2: Business Scope - The company’s business scope includes general projects such as software development, artificial intelligence basic software development, and artificial intelligence theory and algorithm software development [1] - It also engages in manufacturing and sales of power distribution and control equipment, computer hardware and software, integrated circuits, and semiconductor devices [1]
深度|AI编码黑马Sourcegraph华裔联创:我们的理念不是以模型为核心,而是以Agent为核心
Z Potentials· 2025-12-15 02:08
Core Insights - The article discusses the evolution of Sourcegraph from a code search engine to developing an AI coding agent named Amp, emphasizing the importance of understanding code in large codebases [5][6][8] - It highlights the shift towards open-source models and the significance of post-training over pre-training in enhancing model performance for specific tasks [27][30] - The conversation also touches on the regulatory landscape affecting AI development, particularly the reliance on Chinese open-source models and the potential risks for the U.S. AI ecosystem [40][41][49] Group 1: Company Background and Evolution - Sourcegraph was founded to improve coding efficiency in large organizations, focusing on code understanding as a core challenge [6][8] - The company has transitioned to developing Amp, an AI coding agent that combines large language models (LLMs) with existing capabilities to enhance coding tasks [8][11] - Amp is designed to cater to both professional developers and casual users, showcasing its versatility in generating code with minimal input [11][12] Group 2: AI and Coding Agents - The article emphasizes that the true unit of innovation is the agent itself, which interacts with users and executes tasks based on input rather than just the underlying model [17][18] - The development of Amp reflects a broader trend in AI where user interaction and agent capabilities are prioritized over merely improving model complexity [18][19] - The conversation reveals that different user workflows necessitate distinct approaches to agent design, balancing intelligence and latency for optimal performance [14][24] Group 3: Open-Source Models and Training - Open-source models are becoming increasingly important due to their ability to undergo post-training, allowing for tailored optimizations for specific tasks [27][28] - The article mentions several emerging open-source models, including Claude and GPT-5, which are gaining traction in the agentic tool use space [28][29] - The discussion highlights the trend of using smaller, task-specific models to improve efficiency and reduce latency in coding tasks [30][32] Group 4: Regulatory Landscape and Market Dynamics - The article raises concerns about the U.S. reliance on Chinese open-source models, suggesting that this could pose risks to the U.S. AI ecosystem if not addressed [40][41] - It advocates for a unified regulatory framework that encourages competition and innovation in the AI space, avoiding the pitfalls of past monopolistic practices [49][50] - The conversation underscores the need for a balanced approach to regulation that fosters a vibrant AI ecosystem while ensuring safety and ethical considerations [49][50]