Google Gemini 2.5加持的代码助手Jules正式发布

2025-08-07
Google Gemini 2.5加持的代码助手Jules正式发布

Google的代码助手Jules正式脱离测试阶段,面向公众开放,并由Gemini 2.5提供技术支持。在测试期间,数千名开发者完成了数万个任务,贡献了超过14万个公开共享的代码改进。基于开发者反馈,Jules改进了用户界面,修复了数百个bug,并新增了复用先前设置以加快新任务运行速度、GitHub问题集成和多模态支持等功能。现在,Jules利用Gemini 2.5 Pro的先进思维能力来制定编码计划,从而生成更高质量的代码。Google还为Jules引入了新的分层定价体系,Google AI Pro和Ultra用户将获得更高的使用限额。

阅读更多
开发

Litestar:一个被低估的Python Web框架

2025-08-07

Litestar是一个轻量级、异步优先的Python Web框架,它在大型项目中也表现出色。与FastAPI等流行框架相比,Litestar更注重代码可扩展性,避免了循环导入等问题,并通过其独特的路由装饰器机制简化了多文件应用的开发。此外,Litestar对Pydantic、SQLAlchemy以及Advanced Alchemy库的良好集成,显著提高了开发效率,尤其在处理数据库交互时,其自动生成DTO和Repository的特性非常便捷。总而言之,Litestar是一个值得关注的Python Web框架,尤其适合那些重视代码可维护性和可扩展性的开发者。

阅读更多
开发 Litestar

arXivLabs:与社区协作的实验性项目

2025-08-07
arXivLabs:与社区协作的实验性项目

arXivLabs是一个允许合作者直接在arXiv网站上开发和分享新功能的框架。参与arXivLabs的个人和组织都认同并接受了arXiv关于开放性、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,并且只与遵守这些价值观的合作伙伴合作。如果您有想法可以为arXiv社区增值,请进一步了解arXivLabs。

阅读更多
开发

比密码更糟的登录方式:短信验证码登录的风险

2025-08-07

许多服务使用了一种糟糕的登录方式:通过邮箱或手机号发送6位验证码进行登录。这种方式存在巨大安全风险,攻击者可以轻易伪造登录页面,诱骗用户输入验证码,从而窃取账号。即使是密码管理器也无法防御这种攻击。Minecraft的登录方式就曾遭受此类攻击,导致大量账号被盗。请停止使用这种不安全的登录方式!

阅读更多

星际移民计划Hyperion:跨越250年的世代飞船设计竞赛

2025-08-07

由星际研究倡议组织(i4is)发起的Hyperion项目设计竞赛落下帷幕。该项目旨在探索利用现有和近未来技术实现载人星际旅行的可行性,其核心是设计一艘能够在250年内前往宜居星球的世代飞船。参赛团队需要设计出能够容纳1000±500人在几百年内生存繁衍的飞船生态系统,包括人工重力、可持续的资源循环系统以及社会文化传承机制等。这项比赛体现了跨学科合作在解决复杂星际旅行挑战中的重要性。

阅读更多

Emacs 的 Claude 代码 IDE:将强大的 AI 集成到你的工作流程中

2025-08-07
Emacs 的 Claude 代码 IDE:将强大的 AI 集成到你的工作流程中

Claude Code IDE for Emacs 通过模型上下文协议 (MCP) 与 Claude Code CLI 原生集成。它不仅仅是一个简单的终端包装器,而是一个在 Claude 和 Emacs 之间建立双向桥梁的工具,使 Claude 能够理解和利用 Emacs 的强大功能,例如 LSP、项目管理和自定义 Elisp 函数。这将 Claude 转换为一个真正了解 Emacs 的 AI 助手,它可以在你的现有工作流程中工作,并与你的整个 Emacs 生态系统进行交互。该 IDE 支持项目自动检测、会话管理、终端集成、文件操作工具、诊断集成(Flycheck 和 Flymake)、高级差异视图和选项卡栏支持等功能。通过 MCP 工具集成,Claude 可以访问和利用 Emacs 的各种功能,例如 LSP 集成、Tree-sitter 语法树分析、Imenu 符号导航和项目集成。开发者还可以创建自定义 MCP 工具,扩展 Claude 的功能。

阅读更多
开发

如何将一个伟大的帝国缩小:一份来自18世纪的“反面指南”

2025-08-07
如何将一个伟大的帝国缩小:一份来自18世纪的“反面指南”

一篇18世纪的文章列举了20条策略,详细阐述如何通过一系列措施逐步瓦解一个庞大的帝国。这些策略包括:故意疏远殖民地,任命腐败官员,压制人民的诉求,滥用税收,以及激化矛盾。文章以辛辣的讽刺手法,揭示了权力滥用可能导致帝国衰败的危险,其警示意义至今仍值得深思。

阅读更多
杂项

Baseten 如何在 GPT-OSS-120B 上实现 SOTA 性能

2025-08-07
Baseten 如何在 GPT-OSS-120B 上实现 SOTA 性能

Baseten 作为 OpenAI 首个开源 LLM 的发布合作伙伴,在 GPT-OSS-120B 发布当天就实现了领先的性能。文章详细介绍了 Baseten 如何通过灵活的推理栈、多框架测试(TensorRT-LLM、vLLM 和 SGLang)、Hopper 和 Blackwell GPU 架构支持以及各种性能优化(例如 KV 缓存感知路由和 Eagle 预测解码)等步骤,在发布当天就达到业界领先的延迟和吞吐量。他们优先选择张量并行来优化延迟,并利用了 TensorRT-LLM 的 MoE 后端。Baseten 的工程师们不仅快速解决了兼容性问题,还在不断优化模型配置,并积极回馈开源社区。未来,他们还将探索预测解码等技术来进一步提升性能。

阅读更多
开发

程序员的私藏宝藏:我的点文件(dotfiles) 为什么迟迟不敢公开?

2025-08-06
程序员的私藏宝藏:我的点文件(dotfiles) 为什么迟迟不敢公开?

作者热爱点文件(dotfiles)——用于配置软件和操作系统的配置文件,并乐于分享经验和代码。然而,他却犹豫着是否公开自己的点文件仓库,里面包含了zsh、tmux、neovim、vscode配置,Homebrew包列表,Stylus CSS规则等,并使用GNU Stow进行管理。他认为这些个性化配置过于私密,虽然很酷,但分享仍然让他感到不适。这引发了一个关于程序员个性化配置与开源分享之间取舍的思考。

阅读更多
开发

Automerge 3.0:内存使用量降低 10 倍以上!

2025-08-06

Automerge 3.0 版本发布,其核心改进是内存使用量显著降低,最高可达 10 倍以上!这得益于运行时使用压缩表示,解决了之前版本中处理长历史文档时内存占用过大的问题。例如,处理巨著《白鲸记》时,内存占用从 700MB 降低到 1.3MB。此外,Automerge 3.0 还简化了 API,特别是文本处理方面,提升了整体性能和可靠性。现有用户可轻松升级,新用户也可尝试使用。

阅读更多
开发 Automerge

AirGradient ONE遭科技媒体误判:小型厂商的抗争与科技新闻的反思

2025-08-06
AirGradient ONE遭科技媒体误判:小型厂商的抗争与科技新闻的反思

AirGradient公司生产的空气质量监测仪AirGradient ONE,因一次硬件故障在WIRED杂志的评测中被评为“不推荐”,引发了公司创始人对科技媒体评测标准的质疑。文章详细阐述了评测中存在的缺陷:缺乏明确的评估标准、不一致的测试方法、主观性强,以及对硬件故障的处理不公正等。作者认为,这种评测不仅损害了小型厂商的声誉和利益,也误导了消费者,呼吁科技媒体应提高评测的专业性和客观性,避免以偏概全。

阅读更多

日本新法挑战苹果iOS浏览器垄断

2025-08-06
日本新法挑战苹果iOS浏览器垄断

日本通过的《智能手机法案》禁止苹果禁止第三方浏览器引擎的做法,要求苹果允许Firefox、Chrome等浏览器使用自己的引擎,而非强制使用WebKit。该法案旨在促进iOS平台上的浏览器竞争,并确保网络应用程序能够获得与原生应用程序竞争所需的API和性能。该法案还要求提供功能上等效的API访问,并在首次激活后立即显示浏览器选择屏幕。虽然该法案预计将于2025年12月生效,但执行过程可能漫长而复杂。

阅读更多
科技

GitHub代码建议应用限制

2025-08-06
GitHub代码建议应用限制

GitHub代码审查中,批量应用代码建议功能存在诸多限制,例如:代码无改动、PR已关闭、查看代码片段、单行多建议、删除行、已应用或已解决的建议、待审核建议、多行注释以及PR排队合并或系统繁忙等情况均无法应用建议。

阅读更多
开发

螺旋数阵的封闭形式解

2025-08-06

本文探究了一个无限网格中数字以螺旋状排列的数学问题,该螺旋线在每次到达网格边缘时都会反向。作者通过分析螺旋线边缘和对角线上的数字规律,最终推导出一个封闭形式的表达式 (f(m, n) = (max(m, n))^2 - max(m, n) + 1 + (-1)^{max(m, n)} (m - n)),用于计算网格中任意位置 (m, n) 的数字。文章详细阐述了推导过程,包括对边缘数字和对角线数字的分析,以及如何将分段函数转化为单一的封闭形式表达式。

阅读更多
数学

UR5机械臂抓取与放置模拟:PyBullet环境下的自主操作

2025-08-06
UR5机械臂抓取与放置模拟:PyBullet环境下的自主操作

该项目在PyBullet环境中模拟了一个配备Robotiq 85夹爪的UR5机械臂,实现自主抓取和放置物体的任务。利用逆向运动学(IK)精确控制机械臂,并使用同步关节控制模拟逼真的夹爪动作,机械臂能够从随机位置抓取立方体并将其放置在托盘上。该模拟包含动态物体放置、实时交互等特性,为机器人抓取和放置任务提供了一个直观的模拟环境。

阅读更多

Ventoy构建过程:一个跨平台启动工具的幕后

2025-08-06
Ventoy构建过程:一个跨平台启动工具的幕后

Ventoy是一个用于创建多启动USB的开源工具,其构建过程涉及大量的交叉编译工作。这段代码片段展现了Ventoy构建脚本的一部分,涵盖了x86, ARM64, MIPS64等多种架构,以及BusyBox、cryptsetup、FUSE等多种工具的构建和集成。该过程需要预先下载部分依赖库,并根据不同的目标架构和操作系统进行相应的配置和编译。最终,Ventoy将生成支持多种启动方式的镜像文件,方便用户在各种硬件平台上使用。

阅读更多
开发 多启动

Python 性能的真相:神话、现实与 SPy 项目

2025-08-06

EuroPython 2025 大会上,Python 性能工程师 Antonio Cuni 揭示了关于 Python 性能的诸多误解。他指出,Python 并非一味地慢,其性能瓶颈并非仅仅是解释型语言的特性,而是内存管理和动态特性带来的开销。Cuni 认为,目前的 JIT 编译器虽然能提升性能,但难以彻底解决问题,并提出了一个名为 SPy 的项目,旨在通过修改语言语义,在不破坏兼容性的前提下,提升 Python 的性能,最终实现媲美 C/C++ 的速度。SPy 项目已在 GitHub 上开源,并提供了一些易于上手的 issue 供开发者参与。

阅读更多
开发 SPy项目

我的开源库意外地被600亿美元估值的Anthropic公司采用,然后我被他们拒绝了

2025-08-06
我的开源库意外地被600亿美元估值的Anthropic公司采用,然后我被他们拒绝了

作者的开源库enigo,一个用于模拟输入的库,被估值超过600亿美元的AI公司Anthropic用于其Claude Desktop软件中。作者为此感到自豪,因为enigo是一个跨平台、安全且高效的库。然而,当作者申请Anthropic的职位时,却被拒绝了,这让他既兴奋又有点沮丧。这篇文章讲述了这个有趣的故事,以及作者对开源软件、AI和职业发展的思考。

阅读更多
开发

WHY2025徽章的火灾隐患:一场与时间的赛跑

2025-08-06
WHY2025徽章的火灾隐患:一场与时间的赛跑

WHY2025大会的电子徽章因使用未受保护的18650锂离子电池存在严重火灾隐患。徽章设计缺陷导致短路风险极高,仅依靠一层薄薄的树脂层作为防护,无法有效防止电池过热起火。作者在发现问题后多次尝试与主办方沟通,但最终未能阻止使用未受保护电池。该文章详细分析了徽章的设计缺陷,并呼吁与会者不要使用自带电池,以避免潜在的火灾危险。

阅读更多
硬件 火灾隐患

P vs NP 证明闹剧:Springer 期刊发表错误论文

2025-08-06

一篇声称证明了比P≠NP更强结果的论文发表在Springer旗下期刊《Frontiers of Computer Science》上,引发争议。论文作者之一是该期刊的副主编。两位计算机科学家Ryan Williams和Eric Allender发现该论文证明存在严重缺陷,甚至与已知算法相矛盾。他们提交评论文章要求撤稿,但主编拒绝,只同意刊登修改后的评论。此事暴露出期刊同行评审流程的严重问题,引发学术界对期刊声誉的担忧,属于科技领域新闻。

阅读更多
科技

CSS 布局的缺陷与改进方向

2025-08-06

本文批判性地分析了CSS布局机制的不足。作者认为,CSS将富文本样式和布局系统混杂在一起,导致继承机制不一致,例如文本样式继承而布局属性不继承。 嵌套的行内块和行内flex模型体现了这种矛盾:内部是块级或弹性布局,外部却是行内元素。作者建议,一个理想的布局系统应该将行为分解成独立的方面,提供更灵活、更直观的API,而非目前的“减法式”API和额外的包含障碍提示。最后,文章还提及了相对em缩放的局限性以及像素处理方式的改进。

阅读更多
开发

文化差异:为什么美籍南亚裔CEO比东亚裔多?

2025-08-06
文化差异:为什么美籍南亚裔CEO比东亚裔多?

一项研究揭示了为什么在美国家公司中,南亚裔CEO数量远超东亚裔。研究指出,文化差异是关键因素:南亚文化更鼓励自信和直率沟通,而东亚文化则强调谦逊和合群,这在美国领导文化中可能被误解为缺乏自信和动力。文章深入探讨了东亚文化中避免冲突的倾向及其负面影响,并建议积极面对冲突,将其视为机遇,才能在职业生涯中获得晋升。

阅读更多
创业

自主代理:让每个工程师都成为工程经理

2025-08-06

软件开发工具的进化日新月异,从自动补全到Copilot,再到如今的自主代理。本文探讨了如何有效地与自主代理协同工作,提高开发效率。作者分享了关键经验,包括清晰地描述任务、提供充分的上下文信息、利用CI/CD进行反馈循环等。虽然自主代理并非万能,但合理运用可以大幅节省时间,将工程师从繁琐任务中解放出来,专注于更具创造性的工作。

阅读更多
开发

美国联邦机构IT安全漏洞频出,GAO严厉批评

2025-08-06
美国联邦机构IT安全漏洞频出,GAO严厉批评

美国政府问责办公室(GAO)周一严厉批评了三个联邦机构——总务署(GSA)、环境保护署(EPA)和国土安全部(DHS)——在其首席信息官(CIO)未能实施旨在保障国家网络安全的IT相关建议。报告指出,DHS有43项未解决的建议,其中7项被GAO列为优先事项;EPA有11项,GSA有4项。这些机构普遍未能妥善记录网络安全事件和进行年度IT投资组合审查。EPA还存在云软件管理问题,包括缺乏必要的文档和服务级别协议。DHS的“高级识别技术”(HART)项目也存在严重问题,所有9项相关建议均未得到实施。GAO希望新任命的CIO能够解决这些问题,并已将报告提交给国会相关委员会。

阅读更多

PLOS ONE期刊编辑舞弊:45名编辑卷入700篇论文撤稿风波

2025-08-06
PLOS ONE期刊编辑舞弊:45名编辑卷入700篇论文撤稿风波

一项发表在PNAS上的研究揭示,PLOS ONE期刊45名编辑处理的论文数量仅占总发表量的1.3%,却造成了超过30%的论文撤稿,涉及700多篇论文。这些编辑中,25人还参与了被撤稿论文的创作。研究指出,这些编辑可能与论文工厂勾结,存在系统性舞弊行为。其中,部分编辑的撤稿率极高,例如Shahid Farooq编辑的79篇文章中有52篇被撤稿。PLOS回应称已采取措施,但事件暴露了学术期刊在防范编辑舞弊方面的不足。

阅读更多
科技 期刊编辑

DRAM价格飙升:中国高端芯片自给自足战略的影响

2025-08-06
DRAM价格飙升:中国高端芯片自给自足战略的影响

DRAM内存芯片价格在一个月内翻倍,并持续高位运行。市场猜测,中国厂商正逐步淘汰标准DRAM生产线,转而专注于人工智能芯片的研发和生产,以实现半导体领域的自给自足。此举可能导致DDR4内存芯片短缺,因为SK海力士、三星和美光等巨头控制着全球90%的DRAM市场。这一趋势凸显了中国在高端芯片领域野心勃勃的战略,以及其对全球半导体产业链的影响。

阅读更多

DeepMind发布Genie 3:持久交互式3D AI世界模型

2025-08-06
DeepMind发布Genie 3:持久交互式3D AI世界模型

Google DeepMind发布了其AI“世界”模型的最新版本Genie 3,该模型能够生成用户和AI代理可以实时交互的3D环境。与之前的版本相比,Genie 3能够支持更长时间的交互,并且能够记住用户离开视野后物体的位置。Genie 3能够生成720p分辨率、24fps的持续几分钟交互的世界,并支持通过提示改变天气条件或添加新角色等操作。目前,Genie 3仅限于少量学术界和创造者进行有限的研究预览。

阅读更多

OpenAI与纽约时报的版权大战:1.2亿用户对话日志成焦点

2025-08-06
OpenAI与纽约时报的版权大战:1.2亿用户对话日志成焦点

OpenAI因版权问题与纽约时报等新闻机构对簿公堂。新闻机构要求OpenAI提供1.2亿用户的ChatGPT对话日志,以证明其作品被未经授权使用。OpenAI认为这一请求过于繁琐,会严重侵犯用户隐私,并延误案件审理。双方目前仍在谈判,微软作为OpenAI的共同被告,也卷入了这场争议,其内部类似ChatGPT的工具可能成为新的争论点。这起案件的核心在于平衡版权保护和用户隐私,以及如何界定AI模型的合理使用范围。

阅读更多
科技

Cloudflare大战Perplexity:AI爬虫大战升级

2025-08-06
Cloudflare大战Perplexity:AI爬虫大战升级

CDN巨头Cloudflare指控AI初创公司Perplexity偷偷绕过网站的“禁止爬取”指令,使用伪装的浏览器爬取内容。Perplexity否认指控,称Cloudflare误判。Cloudflare已推出服务,帮助客户屏蔽恶意AI爬虫,并提供付费爬取服务。这场争斗凸显了AI数据获取与网站权益之间的矛盾,也反映了AI技术发展带来的新挑战。

阅读更多
科技
1 2 79 80 81 83 85 86 87 1084 1085