1
有偿提供无人机破解服务，男子因提供侵入计算机信息系统程序罪获刑
IT之家 8 月 30 日消息，据公安部网安局消息，近期，上海闵行网警工作发现，有人以“无人机维修调试”等“正规服务”为幌子， 提供无人机“代破解”服务 。警方循线抓获犯罪嫌疑人薛某，查获用于作案的多台电脑、手机等设备，查明其以 500 元至 1500 元不等的价格提供有偿“代破解”服务，非法获利 …
2
“开源 Windows”ReactOS 0.4.16 发布：全新图形安装程序、提升硬件支持
IT之家 8 月 29 日消息，据科技媒体 Phoronix 今天报道，“开源 Windows”项目 ReactOS 现已发布 0.4.16 更新， 最大的变化是加入了全新 GUI（图形界面）安装程序 。 IT之家从原报道了解到，ReactOS 的图形安装程序已被集成到启动 CD 和 Live CD…
3
Coding不再是程序员专属！阿里Qoder这波有点绝
Coding正在变成Al世界的数字执行力
4
CompactGUI：用 Windows 原生压缩功能，为程序和游戏文件夹瘦身
如果你的硬盘不太够用了，又不想换硬盘，那么可以试试用 CompactGUI 来救急，它可以帮你压缩现有文件。比如青小蛙用它压缩了 Epic 游戏文件夹，立省11GB空间。@Appinn 但问题也来了：压缩后会不会占 CPU？会不会影响硬盘读写？游戏还能直接运行吗？ CompactGUI 感谢 @Wι
5
宁德时代面向中小集成商上线官方商城小程序，未来计划开展直播销售
IT之家 8 月 22 日消息，“宁德时代商城”小程序现已正式上线，该商城号称是“专为中小集成商打造的官方储能产品直销平台”，目前企业注册客户已突破 1800 家。 IT之家获悉，目前宁德时代商城已上架三类储能产品。电芯方面，在售 280Ah（1P）、314Ah 两款主流磷酸铁锂储能电芯，587Ah…
6
科技爱好者周刊（第 409 期）：程序员的职业未来
AI大模型与编码代理的双重冲击下，程序员如何应对未来？本期周刊还教你一招动态开放SSH端口的妙计。
这里记录每周值得分享的科技内容，周五发布。...
7
aDSL: Agentic 3D Creation via Joint Agent-Program Design
智能体与程序协同设计，重塑3D创作新范式，值得技术控深读。
arXiv:2608.17975v1 Announce Type: cross Abstract: Programmatic representations provide a compelling paradigm for 3D content creation, enabling fine-gr…
8
Self-Bootstrapping Automated Program Repair: Using LLMs to Generate and Evaluate Synthetic Training Data for Bug Repair
用LLM合成训练数据，破解自动修Bug的数据瓶颈，思路新颖且实战价值高。
arXiv:2505.07372v3 Announce Type: replace-cross Abstract: This paper presents a novel methodology for enhancing Automated Program Repair (APR) through…
9
Solvable Sokoban Without a Solver via Diffusion
掩码扩散模型可任意顺序生成关卡，绕开求解器直接产出可解推箱子难题，值得一看。
arXiv:2608.15958v1 Announce Type: new Abstract: Deciding whether a Sokoban puzzle is solvable is PSPACE-complete (Culberson, 1997): solutions can be e…
10
Programmatic memory for long-horizon LLM agents
长时任务中让智能体“记性好”的新方案：PRO-LONG 用程序化记忆显著提升编码表现，费用还省数倍。
Article URL: https://github.com/alexisfox7/PRO-LONG Comments URL: https://news.ycombinator.com/item?id=49329010 Points: 1 # Comments: 0
11
Rethinking Automated Program Repair: The Impact of Bug Complexity, Fault Localization, and LLM Cost-efficiency
不只是修bug，这篇研究重新审视了缺陷复杂度与定位策略，用成本效率视角重构自动化修复的边界。
arXiv:2608.14065v1 Announce Type: cross Abstract: Background: Software bugs remain a critical challenge in development, necessitating effective Automa…
12
大疆诉美国防部案赢得关键程序性胜利
IT之家 8 月 17 日消息，据新浪科技今日报道，美国当地时间 8 月 14 日，大疆创新（DJI）诉美国国防部案迎来重大实质性进展。 美国哥伦比亚特区联邦巡回上诉法院裁定， 下级法院需重新审理大疆被列入五角大楼“中国军事企业”（CMC）黑名单一案 。这一裁决标志着大疆在美长达数年的相关法律维权取…
13
微信 7 月下架数十部违规微短剧，同步处置违规小程序
微信7月下架数十部违规微短剧并处置小程序，官方公布典型案例，助力内容生态清朗
IT之家 8 月 16 日消息，“微信珊瑚安全”公众号前日发布《关于违规微短剧的处置公告（2026 年 7 月）》，根据国家广播电视总局和广东省广播电视局的部署要求，微信不断加大对低俗有害微短剧的巡查审核，并对违规侵权微短剧小程序加以管理。 微信近期通过巡查审核发现，部分微短剧存在不良价值观导向内容…
14
微信小程序组件框架升级：glass-easel 带来更多特性及更优性能
升级小程序组件开发体验，glass-easel 框架提供更强特性与 WebView 渲染支持，性能更优。
IT之家 8 月 15 日消息，微信开发者本周（8 月 12 日）宣布，微信小程序新一代框架组件 glass-easel 已经可以自由使用，该框架具备更多特性和更优性能， 适合用来编写、维护复杂的小程序 。 据悉，glass-easel 是新版微信小程序组件框架的核心实现。从本质上说，glass-e…
15
全球程序员都在浪费 token 白送钱，Anthropic 分享 Claude Code 六大省钱技巧
就在刚刚，Anthropic 发了一篇博客。核心信息就是： 各位，别再烧冤枉 token 了，我们都看不下去了！ 为此，官方详细列举了六条省钱心法，先贴为敬： 1. 任务做完就 / clear。 修完一个 bug 就清掉当前对话，别让上一个任务读过的文件和命令输出拖进下一个任务里，白白占着上下文。 …
16
Ask HN: How are you preventing brainrot?
AI编程让产出翻倍却担心大脑生锈？来看看同行们如何对抗“脑腐病”保持思维敏锐。
Hey there, full time software engineer of around 6 years here (post-grad). I’m using Claude Code half of the day now at work, I just can’t keep up wit…
17
Brave 和火狐 Firefox 浏览器官宣继续支持 uBlock Origin 扩展程序
IT之家 8 月 13 日消息，科技媒体 Windows Central 昨日（8 月 12 日）发布博文，报道称在谷歌 Chrome 浏览器和微软 Edge 浏览器停止支持背景下，火狐 Firefox 浏览器和 Brave 浏览器将会继续支持 Block Origin 及其他 Manifest V…
18
Procedural Fairness Failures in RLHF from Preference Averaging
从偏好平均视角揭示RLHF中程序公平性缺陷，为对齐公平研究提供新警示。
arXiv:2608.10126v1 Announce Type: new Abstract: Reinforcement Learning from Human Feedback (RLHF) aggregates heterogeneous preferences into a single r…
19
Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
用大模型自动合成程序不变式，把验证速度拉满，搞形式化验证的必读新作。
arXiv:2509.21629v4 Announce Type: replace-cross Abstract: Program verification relies on loop invariants, yet automatically discovering strong invaria…
20
LLM-Based Embeddings for Program Analysis and Optimization
用LLM嵌入打通程序分析与优化，让代码理解更智能，优化更精准。
arXiv:2608.07894v1 Announce Type: new Abstract: Recent advances have highlighted the potential of machine learning, particularly Large Language Models…