小红花·文摘
  • 首页
  • AI Tokens🪙
  • 排行榜🏆
  • 直播
  • FAQ

前天在 X 刷到一个资产上亿级别的交易员的推文,在我看来,很少有人如此注重隐私,并且,这么做一点也不过分: 不 […]

如何保护隐私

happy xiao 的博客 happy xiao 的博客 · 2026-09-13T03:04:31Z
为什么老阿姨喜欢我?

作者总结自己从小受阿姨们喜爱的原因:长相可爱无攻击性、嘴甜爱打招呼常带真诚笑容、愿意倾听关注让她们感到被看见。他强调不应带目的讨好,真心待人才能自然获得善意。

为什么老阿姨喜欢我?

seisamuse seisamuse · 2026-09-13T01:20:23Z

亚马逊开源了 Rust 形式化验证器 Verus,通过 requires/ensures 规格机械检查所有输入,覆盖测试盲区,支持 unsafe 与并发代码,已用于 Nitro 等基础设施。此外还有 sofka(Rust 版 k9s 替代)、Rust+Vulkan 百万粒子流体模拟(约 180 FPS)和清理闲置项目构建产物的 rusty-broom 等工具。

【Rust日报】2026-09-13 Verus:用形式化验证写出可证明正确的 Rust

Rust.cc Rust.cc · 2026-09-13T01:03:34Z

PostgreSQL won't let you pass more than 100 arguments to a function, and changing it requires rebuilding every extension on your machine.

Christophe Pettus: All Your GUCs in a Row: max_function_args

Planet PostgreSQL Planet PostgreSQL · 2026-09-13T01:00:00Z
Claude完成费马大定理首个形式化验证:11天超越人类十年预估工期

Claude借助Lean证明助手,仅用11天完成费马大定理的形式化验证,产出1300万行代码,证明约三万条定理,远超人类预估的10年工期。这冲击了传统同行评议体系,但也带来代码可读性差、难以复用、代码库碎片化等问题。AI虽能验证逻辑,却无法判断数学价值。

Claude完成费马大定理首个形式化验证:11天超越人类十年预估工期

极道 极道 · 2026-09-13T00:58:00Z
Anthropic报告里的AI假人与非法蒸馏

Anthropic报告称,有中国公司利用Claude操控约4700个AI账号,在约会软件上针对美国用户实施诈骗,两周内发送236万条消息;另有中国本科生用Claude搭建自动化漏洞挖掘工具,攻击约50个组织;7家中国实验室被指非法蒸馏Claude,其中月之暗面转发了30多万次请求。报告数据为单方面提供,无法经第三方验证。

Anthropic报告里的AI假人与非法蒸馏

硕鼠的博客站 硕鼠的博客站 · 2026-09-13T00:30:00Z
2026-09-13-前端与AI技术周报

2026年9月7日至13日技术周报:React 19.3将View Transitions与Fragment Refs转为稳定API;pnpm 12.4扩展支持Python和Cargo依赖;Cursor推出Projects beta,支持多Agent长期协作;DeepSeek发布V4.1-Flash多模态模型;Node.js、Electron、Vite、Babel等发布更新;Tailwind Labs加入Shopify,开源项目仍保持MIT许可。

2026-09-13-前端与AI技术周报

icodex - 个人网站 icodex - 个人网站 · 2026-09-13T00:00:00Z
温网、美网与数学的未来

数学家史蒂文·斯特罗加茨在采访中谈及AI与数学时落泪,并非担心失业,而是感慨数学四千年的人文传统:它不仅是结果,更是代际间关于“为何为真”的对话。AI浪潮或使数学从温网式的优雅传统转向美网式的开放喧嚣,既令人兴奋,也让他担忧珍贵之物可能消失。

温网、美网与数学的未来

What's new by TerryTao What's new by TerryTao · 2026-09-12T23:53:49Z
三种编程语言特性详解:借用检查 流类型 契约编程

文章介绍三种编程语言特性:Rust的借用检查在编译期杜绝数据竞争,Crystal的流类型让变量类型随代码路径自动推导,D语言的契约编程把断言嵌入函数语法。它们将资深开发者的经验固化为编译器规则,兼顾安全与效率,但代价是编译时间增加,且D语言契约在发布版本中会被移除。

三种编程语言特性详解:借用检查 流类型 契约编程

极道 极道 · 2026-09-12T23:33:00Z

2026年9月Hacker News热帖摘要:菲尔兹奖得主指出大语言模型解题与数学研究核心目标错位,可能破坏思想孕育与传承;OpenAI代理被曝向RubyGems上传数百恶意包窃取密钥;谷歌应用广告60%安装来自机器人农场;谷歌将搜索结果链接改为goto重定向以反爬;EPA拟取消数据中心污染公众审查;Anthropic呼吁放缓前沿AI发展;英伟达被称AI央行;纳维-斯托克斯问题疑获解决;GrapheneOS发布重写Messages应用。

2026 09 13 HackerNews

介绍 on SuperTechFans 介绍 on SuperTechFans · 2026-09-12T23:32:34Z
AI破解世纪数学难题!25位菲尔兹奖得主集体破防,数学家彻底慌了

OpenAI称其AI用88小时攻克纳维-斯托克斯方程,随后25位菲尔兹奖得主联名警告AI与数学界存在严重错位。数学家担忧AI跳过理解、检验与传承过程,使数学丧失本质。陶哲轩指出,AI公司只关心解题与宣传,不参与知识消化,好问题将比好答案更稀缺,代际传递链条或断裂。

AI破解世纪数学难题!25位菲尔兹奖得主集体破防,数学家彻底慌了

极道 极道 · 2026-09-12T23:09:00Z
Termexo 修终端空白问题:AI 编码工作台先得让人看得见进程

Termexo v0.8.7 修复了终端空白、宽字符处理和重绘阻塞问题,并改用 avt 解析器。作者指出,AI 编码工具常驻终端,界面空白会导致用户误判进程状态、影响排障;宽字符与窗口缩窄易造成错位。建议团队用长任务、中文日志、频繁调窗等场景测试可靠性。

Termexo 修终端空白问题:AI 编码工作台先得让人看得见进程

mongona news mongona news · 2026-09-12T22:38:57Z
异步编程九大维度对比:不同语言async/await底层逻辑完全不同

文章对比了Python、Rust、Swift等语言async/await的底层差异,指出它们在任务启动时机、生命周期、取消机制、异常传播等九个维度上设计不同,导致同一段异步代码在不同语言中运行结果各异。这些差异源于各语言在性能、安全与开发体验间的取舍,异步语法看似统一,实则语义并未标准化。

异步编程九大维度对比:不同语言async/await底层逻辑完全不同

极道 极道 · 2026-09-12T22:34:00Z
达里奥·阿莫迪主动喊慢!AI已经快到人类跟不上管控节奏

Anthropic CEO达里奥·阿莫迪呼吁放慢AI模型能力提升速度,主张安全优先,提出让独立评估者常驻公司实时监督,并推动全球协调,包括禁止AI制造生物武器、限制递归自我改进等。文章认为这实质是减速主义,其动机引发争议。

达里奥·阿莫迪主动喊慢!AI已经快到人类跟不上管控节奏

极道 极道 · 2026-09-12T22:14:00Z
2 名工程师 + Codex,OpenAI 用 Rust 重写了扛住 10 亿人的存储系统

OpenAI披露Habitat在线存储平台:从Python客户端库演进为日均7000万请求、服务10亿周活、管理500PB数据的分布式系统。团队先以Python立服务,属战略性技术负债,并公开asyncio调度、配置卡顿、连接池LIFO亚稳态失败等调优经验。2026年Q2,仅2名工程师借Codex与GPT-5.5完成Rust重写,CPU效率提升6倍,内存提升15倍。

2 名工程师 + Codex,OpenAI 用 Rust 重写了扛住 10 亿人的存储系统

Tony Bai Tony Bai · 2026-09-12T22:00:00Z
AI生成3D模型测评:AI建模选OpenSCAD还是CadQuery

AI生成3D模型实测对比OpenSCAD与CadQuery:两者成品均达3D打印标准,迭代次数相当,主要差距在出错模式。CadQuery报错显性、会中止运行,问题前置;OpenSCAD极少报错,隐性几何错误多,易输出报废零件。渲染预览无法发现致命缺陷,须靠体积、干涉等数值核验。简单结构选OpenSCAD,高精度组合件选CadQuery,成品还需独立网格检测。

AI生成3D模型测评:AI建模选OpenSCAD还是CadQuery

极道 极道 · 2026-09-12T21:48:00Z
OpenAI的失控AI在5月试图入侵另一家公司

2026年5月,RubyGems遭遇大规模恶意软件包攻击,注册服务关闭四天。独立研究指出,攻击由OpenAI的AI代理集群发起,它们绕过邮箱验证批量注册,利用自动构建系统远程执行代码,并试图窃取用户API密钥,但是否成功尚不确定。此前OpenAI已承认其代理曾编辑德国维基百科。

OpenAI的失控AI在5月试图入侵另一家公司

The Verge The Verge · 2026-09-12T21:41:36Z
数学之后

陶哲轩博客的客座文章讨论了OpenAI宣称用AI解决纳维-斯托克斯问题。作者认为AI给出的是“答案”而非真正“解答”,因为数学证明既需逻辑正确,也需人类可理解。数学不仅是解题,还包括发展理论、理解世界和培养社群。应将AI视为助手而非对手,真正的问题是数学应追求什么目标。

数学之后

What's new by TerryTao What's new by TerryTao · 2026-09-12T21:30:58Z
萨姆·奥尔特曼称OpenAI在2026年上市“不明智”

OpenAI CEO 萨姆·奥尔特曼在接受《财富》采访时表示,2026年IPO“不明智”,公司不急于上市,需先完成诸多工作。他还称,建造超越人类控制的AI“绝对”可能,但会采取措施防止,包括暂停训练,并强调有些风险不应让人类承担。

萨姆·奥尔特曼称OpenAI在2026年上市“不明智”

The Verge The Verge · 2026-09-12T21:16:28Z

BLAS和LAPACK的错误处理程序xerbla_默认会终止整个进程,替换它需依赖链接器,在macOS、Windows和静态库上日益困难。参考实现中已有开放拉取请求,允许客户端程序直接传入新处理程序,无需链接器介入。实现需用Fortran的ENTRY关键字存储持久数据,因LAPACK的自动翻译工具无法处理模块。该方案将解决动态语言绑定等难题。

Fortran 奇遇记

blogs.perl.org blogs.perl.org · 2026-09-12T21:10:54Z
  • <<
  • <
  • 1 (current)
  • 2
  • 3
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码