1
Show HN: Ty-extended – a Ty fork with plugin support
Ty语言分支，引入WASM插件机制，为语义检查器带来可扩展能力。
Hi HN! I'm a Ty frequent user on all my Python projects, however, lately I've been needing to go back to mypy due to the lack of plugin support on Ty.…
2
LinkedIn is a cesspool of scammers and identity theft
输入邮箱即可查询是否在LinkedIn等数据泄露中，及时防范身份盗窃风险。
And Microsoft doesn't care. Comments URL: https://news.ycombinator.com/item?id=48916375 Points: 67 # Comments: 33
3
Turn the Linux GhostLock Report Into a Fleet Patch Plan
别再被安全报告吓到，教你将GhostLock漏洞报告转化为可执行的补丁计划，从系统信息检查开始理性评估风险。
GhostLock, reported as a long-lived Linux kernel stack use-after-free, is trending again today. Do not jump from a research headline directly to “all …
4
小米汽车暑期关怀服务上线，含 10 项免费车辆专项检查、24 小时免费道路救援等
IT之家 7 月 11 日消息，小米汽车暑期关怀服务今天上线，本期活动涵盖 10 项免费车辆专项检查、24 小时免费道路救援等。 据介绍， 本次活动时间为 7 月 11 日-10 月 10 日 ，覆盖四川、贵州、云南、西藏、青海、陕西、甘肃、新疆、宁夏和内蒙 10 省全域，IT之家附各个项目详情如下…
5
Building a Linux Security Audit Toolkit with Bash: From Firewall Checks to SSH Hardening
手把手教你用Bash打造Linux安全审计工具包，从防火墙检查到SSH加固，实操性强。
Building a Linux Security Audit Toolkit with Bash: A Practical Approach to System Hardening Linux is widely considered a secure operating system. Howe…
6
微软 TypeScript 7.0 正式版发布：14 年来最大变革，编译性能提升约 10 倍
TypeScript 7.0实现14年来最大变革，编译性能提升约10倍，兼容现有语义
IT之家 7 月 9 日消息，微软今日宣布推出 TypeScript 7.0 正式版 ，编译性能提升约 10 倍。 IT之家注：TypeScript 是由微软开发并维护的开源编程语言， 它是 JavaScript 的严格语法超集 ，为这门动态脚本语言加入了可选的静态类型检查。 本次更新最大的亮点在于…
7
The Moving Target: A Longitudinal Audit of Trustworthiness Drift Across Twelve Checkpoints of Open-Source Chat LLMs
追踪开源聊天LLM十二个版本的信任度变化，揭示模型行为随时间漂移的潜在风险
arXiv:2607.02587v1 Announce Type: cross Abstract: Model cards quote trust-benchmark scores without recording when they were measured, and the same num…
8
Four AI agents re-checked the guides
四个AI代理复核指南，发现一个高评级问题涉及MCP提案状态表述过时，技术细节引人深思
The guides on turva.dev describe other people's specifications, and specifications move. A sentence that says "the specification says" is true the day…
9
微软承认：Windows 11 这个 Bug，最高能吃掉 500GB 硬盘空间｜请检查你是否受到影响
微软亲证Win11新Bug能吞掉500GB硬盘，快检查你的C盘是否中招
如果你觉得最近 C 盘越来越小，但又没有下载大型游戏，也没有安装新软件，那很可能不是错觉，而是遇到了这个 bug。@Appinn 微软已经承认，Windows 11 存在一个 Bug，最高可能让系统下的 CapabilityAccessManager.db-wal 文件占用 500GB 磁盘空间（目
10
Building Agentic Workflows in Java
Java开发者的代理工作流实战：教你用四步检查判断何时该用Agent，告别盲目堆砌复杂流程。
Introduction "Agent" has become the word for any program that calls an LLM more than once, which makes it a word worth being precise about. An agent, …
11
DeadPool: Resilient LLM Training with Hot-Swapping via Zero-Overhead Checkpoint
零开销检查点热替换技术，让大模型训练可无缝应对软硬件故障，大幅提升训练韧性
arXiv:2607.01646v1 Announce Type: new Abstract: State-of-the-art large language model (LLM) training takes tens of thousands of graphics processing un…
12
韩国“全民创业大赛”曝数据泄露，5000 名参赛者项目隐私信息遭黑客外泄
输入邮箱或密码，秒查是否在已知数据泄露中，守护数字身份安全。
IT之家 6 月 28 日消息，据韩国创业媒体 Unicorn Factory 报道，由韩国政府主导的大型创业选拔项目“全民创业大赛（모두의 창업）”近日爆出严重信息泄露事件。 IT之家参考报道获悉，该创业大赛共吸引约 6.3 万人报名，但在 6 月 17 日确认发生数据泄露，约 5000 名第一阶…
13
机翼再现裂纹，空客将对 A380 客机展开紧急检查
IT之家 6 月 24 日消息，据法新社今天报道，欧盟航空安全局（EASA）已对空中客车发布紧急适航令，要求该公司检查 16 架 A380 飞机，其中 5 架需要立即接受检验。 ▲ A380，图源：空客 据报道，部分检查人员在例行维护中发现了机翼内部的结构梁出现裂纹。该部件沿机翼纵向延伸， 需要在飞…
14
Show HN: Leakproof – local secret-egress firewall for Claude Code/Cursor/aider
这款开源的本地秘密出口防火墙，用本地模型智能检查敏感数据，让AI编程工具安全无忧。
Article URL: https://github.com/acunningham-ship-it/leakproof Comments URL: https://news.ycombinator.com/item?id=48576074 Points: 1 # Comments: 1
15
Tell your LLM how to check its work for empowered AI coding
让大模型自我验证代码改动，一招提升AI编程的准确性和可靠性。
Article URL: https://khalah.substack.com/p/tell-your-llm-to-verify-its-changes Comments URL: https://news.ycombinator.com/item?id=48572151 Points: 3 #…
16
LLM reviewers are useful, but some PR checks should stay deterministic
AI编码代理生成PR时，LLM审查虽有用，但权限提升等关键检查仍需确定性规则，避免安全风险。
AI coding agents are getting better at opening pull requests. That changes the review problem. A normal review asks whether the code looks correct, wh…
17
Equiv, check that an AI refactor did not change what your code does
开源工具Equiv提供确定性字节级验证，确保AI重构不改变代码行为，拒绝模型主观判断。
Article URL: https://github.com/Neelagiri65/equiv Comments URL: https://news.ycombinator.com/item?id=48515830 Points: 1 # Comments: 0
18
谷歌 Chrome 浏览器清理 Manifest V2 代码，压缩 uBlock Origin 等扩展生存空间
在线检测Chrome扩展的Manifest版本，帮您识别扩展是否会被禁用，支持批量分析，提前迁移V3。
IT之家 6 月 13 日消息，科技媒体 Linuxiac 昨日（6 月 12 日）发布博文，报道称谷歌收紧 Manifest V2 扩展程序遗留支持， 进一步压缩 uBlock Origin 等传统扩展程序生存空间。 IT之家援引博文介绍，基于最新提交至 Chromium 代码库（谷歌 Chrom…
19
Unknown Is Not False: An AI Agent Pre-Execution Checklist
不要让AI agent胡乱猜测，执行前必须确认未知——这份检查清单教你如何让AI更可靠。
Article URL: https://discuss.huggingface.co/t/if-unsure-ask-never-guess-ai-agent-pre-execution-checklist/176632 Comments URL: https://news.ycombinator…
20
初探苹果 macOS 27 液态玻璃调整：引入透明度滑块、强化文字可读性等
快速检测前景与背景色对比度，确保文字可读性符合WCAG标准，设计开发必备利器。
IT之家 6 月 10 日消息，科技媒体 MacRumors 昨日（6 月 9 日）发布博文，报道称在 macOS 27 Golden Gate 系统中， 苹果调整了液态玻璃（Liquid Glass），进一步提高可读性、对比度等。 IT之家援引博文介绍，在 macOS 26 Tahoe 系统中，用…