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

whippyalgebra 0.1.0:零运行时成本的单位安全线性代数 whippyalgebra 是一个使用 Rust 编写的单位安全线性代数库,0.1.0 版本基于 whippyunits 提供带物理量维度检查的矩阵运算。 项目在编译期把单位安全类型擦除为底层线性代数类型,初始版本提供 nalgebra 后端,后续计划支持 faer 和 glam。库使用专用 newtype...

【Rust日报】2026-08-17 Rust 标准库开始用 cargo-semver-checks 防止意外破坏

Rust.cc Rust.cc · 2026-08-17T01:05:20Z
智谱向安全研究员和安全研究机构开放GLM-5.3网安权限申请 获批后自由度更高

智谱推出网络安全合作伙伴计划,面向安全研究员、AI评估机构、学术机构等开放GLM-5.3网安权限申请。获批后使用模型时安全拦截更低,可提升网络安全能力,如审计系统、修复漏洞。申请需详细说明用途,个人研究员提交漏洞证明可提高成功率。

智谱向安全研究员和安全研究机构开放GLM-5.3网安权限申请 获批后自由度更高

蓝点网 蓝点网 · 2026-08-17T01:00:42Z

PostgreSQL's JIT compiler fires based on estimated query cost, but that estimate measures data volume, not expression complexity.

Christophe Pettus: All Your GUCs in a Row: jit_above_cost, jit_inline_above_cost, and jit_optimize_above_cost

Planet PostgreSQL Planet PostgreSQL · 2026-08-17T01:00:00Z
[测试] 微软在Windows 11中开发自定义右键菜单 可折叠部分不常用选项

微软正在开发Windows 11自定义右键菜单,支持折叠不常用选项至二级菜单,并允许用户关闭或调整应用注入的菜单。关键操作如复制、粘贴可切换传统样式。目前仅微软自家应用适配,其他应用需开发者跟进,功能尚未发布。

[测试] 微软在Windows 11中开发自定义右键菜单 可折叠部分不常用选项

蓝点网 蓝点网 · 2026-08-17T00:30:43Z

该文汇总了Hacker News热门话题:AI数学优势源于无限工作记忆而非推理;Firefox iOS新增实验性广告拦截;Claude系统提示更新;超级厄尔尼诺增强影响全球天气;论文用词异常或为逃避抄袭检测;腹部脂肪比BMI更预测心脏病;AI时代软件工程基础更关键;创造力需独处保护;LLM能力受限于训练数据;AI积分灰色转售市场兴起。

2026 08 17 HackerNews

介绍 on SuperTechFans 介绍 on SuperTechFans · 2026-08-17T00:25:35Z
早报|《牛来》主创回应排片暴增1900倍/卢伟冰:小米手机未来全面拥抱AI/问界儿童车即将上市

该文汇总了多条科技与商业新闻:SpaceX完成收购Cursor;Anthropic季度营收超115亿美元并首次盈利;胖东来招聘刑释人员;小米手机15周年拥抱AI;Anthropic CEO谈AI信任危机;机器人运动会将举行;千问模型下载量破30亿;清华提出ODEWorld;Stripe收购OpenRouter;高盛为英伟达融资;王祖贤回应AI形象授权等。

早报|《牛来》主创回应排片暴增1900倍/卢伟冰:小米手机未来全面拥抱AI/问界儿童车即将上市

爱范儿 爱范儿 · 2026-08-17T00:22:55Z
大脑充血 Vol.94

文章探讨了多个话题:标题党并非全然负面,而是自我表达的一部分;成年人的小动作如摸头发、咬指甲有助于专注和缓解焦虑;卢梭与休谟的世纪决裂源于误解和妄想;软件开发真正难在概念构造和需求理解,而非写代码本身。此外,还提及了肉桂苹果饮品和《斯图尔特没能拯救宇宙》衍生剧的观感。

大脑充血 Vol.94

極客死亡計劃 極客死亡計劃 · 2026-08-16T23:56:46Z

😭(放声大哭)成为2025年全球最流行emoji,由年轻一代推动,取代😂和🤣。年轻人更倾向用🔥、🙏等,并带火🥀、🗿等边缘表情。一旦表情在长辈中流行,年轻人便弃用。语言学家指出,emoji在纯文字交流中传递非语言信号,是年轻人确认身份的专属信号。

派早报:😭(放声大哭)成为最流行 emoji

少数派 少数派 · 2026-08-16T22:54:56Z
肾衰竭变肾失望:谷歌学术189篇AI洗稿污染学术圈

谷歌学术上出现约189篇含“肾失望”的论文,实为“肾衰竭”被机器改写所致,源于论文工厂用同义词替换工具洗稿规避查重,形成系统性学术造假。自2005年SCIgen起,此类问题已泛滥超11000篇,污染顶级期刊,甚至影响AI训练。错误一旦固化难以清除,撤稿速度远不及造假速度,凸显学术诚信危机。

肾衰竭变肾失望:谷歌学术189篇AI洗稿污染学术圈

极道 极道 · 2026-08-16T22:22:00Z
2026程序员必学Lean,形式验证真能消灭bug?

2026年,形式验证因AI辅助而复兴,Lean语言成为热门。文章回顾1979年论文的批评,指出验证虽进步,但规格说明翻译、全自动验证、验证后防御等挑战犹存。AI提升证明效率,但验证者正确性、社会过程等根本问题未解,验证仅是可靠性拼图之一。

2026程序员必学Lean,形式验证真能消灭bug?

极道 极道 · 2026-08-16T22:04:00Z
Go 语言史上“钉子户”提案重启:一场关于 string(int) 的 14 年拉锯战

Go语言联合创始人Rob Pike于2012年提出issue #3939,建议移除string(int)类型转换,因其语义易误解且存在Unicode代理项问题。该提案沉寂14年后,近期被移交常规提案委员会重新审议。Go团队此前通过go vet的stringintconv检查进行软删除,未来可能完全移除、收紧语法或维持现状,但需谨慎处理兼容性。

Go 语言史上“钉子户”提案重启:一场关于 string(int) 的 14 年拉锯战

Tony Bai Tony Bai · 2026-08-16T22:00:00Z
据报道,OpenAI解散了其预备队

据《金融时报》报道,OpenAI于上月底解散了其“预备队”,该团队原负责评估模型风险并制定缓解措施。职责已分散至生物、网络等现有团队。此举是公司为筹备大规模IPO而进行的重组,此前已解散多个安全团队,多名安全高管离职,引发外界批评其重产品轻安全。

据报道,OpenAI解散了其预备队

The Verge The Verge · 2026-08-16T21:32:56Z
Open Mike Eagle与Kenny Segal打造了嘻哈分手杰作

Open Mike Eagle与Kenny Segal的合作专辑《DOOMED!》是嘻哈分手主题的杰作。Eagle的歌词私密深刻,Segal的制作有力,融合爵士钢琴与迷幻合成器,情感细腻且带幽默,被评为其最佳合作。

Open Mike Eagle与Kenny Segal打造了嘻哈分手杰作

The Verge The Verge · 2026-08-16T20:31:37Z
亚马逊试图在集体诉讼开始前将其扼杀

亚马逊更新服务条款,要求所有争议通过仲裁解决,并加入集体诉讼豁免条款,禁止用户以集体诉讼形式维权。此举旨在避免大规模诉讼,但用户仍可小额索赔。条款可能面临法律挑战,法官或决定是否允许集体诉讼继续。

亚马逊试图在集体诉讼开始前将其扼杀

The Verge The Verge · 2026-08-16T17:35:02Z
AI 时代我的开发工作流:从踩坑复盘到多项目并行验证

作者分享AI时代个人开发工作流的变化:从深度钻研转向多项目并行,利用AI提升效率。核心方法包括用CLI和富文本编辑器沉淀踩坑经验为文章和Skill,通过自动化验证(如LobeHub的/acceptance)减少手动测试,并强调上下文切换和复盘的重要性。文章由AI辅助生成,但内容基于真实实践。

AI 时代我的开发工作流:从踩坑复盘到多项目并行验证

静かな森 静かな森 · 2026-08-16T16:32:40Z
从可编程到表现力:构建更好的 Agent 运行时重塑用户体验

文章探讨了PPT Agent的演进:从可编程文件到可操作产物,再到表现力提升。核心是构建Artifact Runtime,支持观察、寻址、操作、验证循环,使Agent能持续修改PPT。未来方向是布局语义和领域对象,让Runtime处理工程细节,Agent专注专业判断,而非增加更多API。

从可编程到表现力:构建更好的 Agent 运行时重塑用户体验

phodal phodal · 2026-08-16T15:09:00Z
让chatgpt来给我讲解下deepseek harness的插件体系

DeepSeek Harness采用“万物皆插件”架构,核心Agent由多个插件组合而成,而非固定程序加扩展。插件通过声明依赖(如tools)动态连接,系统持续管理其生命周期(PENDING至DISPOSED),卸载时自动清理注册的工具、监听器和定时器(effect机制)。Fiber记录插件运行状态,waterfall中间件链允许权限检查等拦截流程。Bundle打包多个插件,Profile定义组装方案,安装插件即下载并加入Profile。

让chatgpt来给我讲解下deepseek harness的插件体系

Nicksxs's Blog Nicksxs's Blog · 2026-08-16T15:07:34Z
ChatGPT的计算机历史功能记录你的点击和按键

ChatGPT桌面应用新增“计算机历史”功能,记录用户操作事件(非截图),用于训练AI、建议自动化并续接未完成任务。该功能为可选开启,可排除特定应用或网站,并忽略隐私浏览内容。它类似Windows Recall,但更注重隐私,不捕捉图像、视频或音频。

ChatGPT的计算机历史功能记录你的点击和按键

The Verge The Verge · 2026-08-16T14:56:40Z
我用 161 个新闻源「养」了个 AI 主编,它比我更懂什么叫「大新闻」|附教程

作者利用AI Agent构建个人资讯筛选系统,以应对信息过载。他精选161个RSS源并按可信度分级,使用Folo管理,通过CLI让Agent读取。Agent根据偏好推送内容,生成HTML“赛博报纸”,并能追踪特定传闻(如折叠屏iPhone)并区分可信度。该系统有效过滤噪音,保留可靠信息,帮助用户重获信息控制权。

我用 161 个新闻源「养」了个 AI 主编,它比我更懂什么叫「大新闻」|附教程

爱范儿 爱范儿 · 2026-08-16T14:47:36Z
今年最激动人心的 AI 宣言,来自科技圈最不受待见的人

扎克伯格发文阐述“个人超级智能”愿景,设想AI成为个人助理,改变工作与生活,并主张通过权力制衡让AI普及而非集中。文章肯定其乐观构想,但质疑Meta过往隐私与责任记录,提醒警惕商业叙事包装下的权力集中风险。

今年最激动人心的 AI 宣言,来自科技圈最不受待见的人

爱范儿 爱范儿 · 2026-08-16T14:29:56Z
  • <<
  • <
  • 1 (current)
  • 2
  • 3
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

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

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