搜索:CBT-I

共命中 50 条(服务端检索)
一篇读懂失眠:入睡维持的失败与 CBT-I 的正路
失眠是「对该睡的时段清醒」的主观不满。本文用3P模型拆解失眠的发动机,讲清 CBT-I 五件套为何是一线、安眠药为何只是短期辅助、褪黑素管时差不管慢性失眠的边界,以及别把睡眠呼吸暂停当成失眠。
一叶一世界 精选 · 原创 · 今天 阅读 1·访客 1
PostgreSQL 18 深度解析:异步 I/O、skip scan 与一次更省心的升级
PostgreSQL 18 把沿用多年的读路径换成异步 I/O 子系统,复合索引拿到 skip scan,虚拟生成列与 uuidv7 补齐开发者体验,pg_upgrade 首次保留优化器统计。本文以官方 release notes 为准逐项解析,梳理升级实操与行为变化,给出可执行的升级建议。
后端技术 精选 · 原创 · 10-10 阅读 502·访客 500
Google I/O:Gemini 2.5 与全模态搜索重塑
Google 在 I/O 大会全面转向 AI First:Gemini 2.5 Pro/Flash 系列落地百亿级用户产品,AI Mode 重构搜索交互,Veo/Imagen 视频图像生成商用化。
行业动态 精选 · Google · 2025-05-21 阅读 217·访客 216
AI access makes people almost entirely unwilling to say "I don't know," study finds
Sep 26, 2026 Nano Banana Pro prompted by THE DECODER Researchers ran five experiments with 3,132 participants to test wh…
行业动态 The Decoder · 9-27 阅读 51·访客 51
I created an interactive digital avatar of myself — and you can talk to it
When Alexandru Voica, head of corporate affairs at the video-generation startup Synthesia, sent me a link this summer to…
行业动态 TechCrunch · 9-26 阅读 36·访客 36
I’m so mad that I love Orion’s $2,195 AI mattress pad
Sleeping on the Orion is like flipping your pillow to find “the cool side,” except that your entire bed is the cool side…
行业动态 TechCrunch · 9-18 阅读 32·访客 32
LeetCode 53. 最大子数组和:Kadane 算法的一行核心
最大子数组和的 Kadane 算法只有一行核心:dp[i] = max(dp[i-1] + nums[i], nums[i])。这一行的含义是「前面的和如果是负的就扔掉」——从暴力 O(n²) 到 Kadane O(n) 的推导,以及「贪心视角」的另一种理解。
算法题解 精选 · 原创 · 5天前 阅读 33·访客 33
LeetCode 32. 最长有效括号:栈、DP 与一次遍历的三种思路
最长有效括号是括号匹配的进阶版:不是判断合法,而是找出最长的合法连续子串。三种解法各有滋味——栈解决「最近未匹配位置」、DP 定义「以 i 结尾的最长有效长度」、正向逆向两次扫描省掉所有额外空间。本文讲清三种思路的共同本质与各自的最优场景。
算法题解 精选 · 原创 · 11-3 阅读 47·访客 47
LeetCode 32. 最长有效括号:栈、DP 与一次遍历的三种思路
最长有效括号是括号匹配的进阶版:不是判断合法,而是找出最长的合法连续子串。三种解法各有滋味——栈解决「最近未匹配位置」、DP 定义「以 i 结尾的最长有效长度」、正向逆向两次扫描省掉所有额外空间。本文讲清三种思路的共同本质与各自的最优场景。
算法题解 精选 · 原创 · 11-3 阅读 40·访客 40
Making MLLM Latents Matter: Factor-Aware Predictive Learning for Cinematic Video Generation
Cinematic video generation requires both temporal inference from limited inputs (i.e., sparse rather than frame-by-frame…
智能体 HuggingFace Daily Papers · 10-22 阅读 58·访客 57
a16z’s Olivia Moore on the state of consumer AI
I wrote this week about the bleak economics of consumer AI — but where some see a crisis, others see an opportunity. Oli…
行业动态 TechCrunch · 10-9 阅读 30·访客 30
LeetCode 300. 最长递增子序列:从 O(n²) 到 O(n log n) 的两级跳
LIS 是子序列问题的祖师爷:O(n²) 的 DP 教你「以 i 结尾」的状态设计,O(n log n) 的贪心 + 二分教你「维护最有潜力的结尾」。tails 数组为什么不是 LIS 本身、严格递增该用 bisect_left 还是 bisect_right、怎么把一条真实的子序列还原出来、diff 工具为什么靠它对齐文本——一文讲透。
算法题解 精选 · 原创 · 10-8 阅读 536·访客 535
LeetCode 53. 最大子数组和:Kadane 算法的一步之遥
LeetCode 53 的题眼在状态定义:dp[i] 写成「以 i 结尾的最大子数组和」,转移一步到位;错写成「前 i 个的最大」就寸步难行。本文从 O(n²) 暴力讲到 O(1) 的 Kadane,再到分治进阶,附全负数边界与三解法对拍。
算法题解 精选 · 原创 · 10-7 阅读 407·访客 405
Don’t be fooled—LLMs don’t reason
On an afternoon in Seoul in March 2016, I watched a program I helped build put a stone on the fifth line of a Go board i…
大模型 MIT Technology Review · 10-2 阅读 55·访客 52
CodeGraph: Open-Taxonomy Knowledge Graph for Source Code with Wikidata Grounding
Public software repositories, like GitHub and Software Heritage Archive, store billions of files, yet extracting their i…
开源项目 HuggingFace Daily Papers · 9-24 阅读 45·访客 45
北美最大动物通道将动物车祸事故减少 91%]
通过美国科罗拉多州 Douglas 县和 El Paso 县的 I-25 高速公路多年来一直阻碍着动物的季节性迁徙,这条公路是许多动物的死亡之路。如今北美最大的野生动物专用通道将动物碰撞事故减少 91%。这条通道由跨越 I-25 的天桥,五…
行业动态 Solidot · 9-20 阅读 33·访客 33
How Fortell is using AI (and $163M) to crack a hearing aid monopoly
“Why do I have to beg my grandparents to put on their hearing aids, but no one has ever needed to ask me to put on my gl…
行业动态 TechCrunch · 9-17 阅读 35·访客 35
Sample Count Is Not Enough: Candidate-Generation Strategy Shapes the Energy and Performance of LLM Test-Time Scaling
Test-time scaling can improve large language model reasoning by generating and combining multiple candidate responses. I…
研究前沿 HuggingFace Daily Papers · 9-16 阅读 38·访客 37
Political opposites unite in Washington to rein in AI
From Bernie Sanders to Steve Bannon, political opposites in Washington are jointly demanding hard brakes on artificial i…
行业动态 The Decoder · 9-16 阅读 31·访客 31
What Did I Just Say? Self-Listening for Full-Duplex Speech Models
Full-duplex spoken language models can listen and speak simultaneously, enabling them to handle interruptions and backch…
行业动态 HuggingFace Daily Papers · 9-4 阅读 11·访客 11
NVIDIA to Acquire Hugging Face
I’m excited to announce that NVIDIA has agreed to acquire Hugging Face for $12,930,300,000. Together, we will scale Hugg…
行业动态 NVIDIA Blog · 9-3 阅读 35·访客 35
一篇读懂咖啡因:腺苷、半衰期与「喝咖啡睡不着」的科学
全球最常用的精神活性物质,作用机制却常被误解:咖啡因不「提神」,它只是「挡住困意」。本篇拆解腺苷受体阻断的原理、5–6 小时半衰期的后果(下午的咖啡为什么偷走半夜的睡眠)、耐受与戒断的机制,以及把咖啡因用得其所的实操指南。
一叶一世界 精选 · 原创 · 6天前 阅读 63·访客 63
Bug hunters can now earn up to $172,000 from OpenAI as company ramps up security
Nov 3, 2026 OpenAI quadruples bug bounty payouts and launches new internal security sprint.** Critical vulnerabilities i…
大模型 The Decoder · 11-3 阅读 10·访客 10
NVIDIA Transforms European Retail, From Digital Discovery to Physical Operations
European retailers are using open models and physical intelligence across use cases — from a commerce platform cutting i…
大模型 NVIDIA Blog · 10-22 阅读 32·访客 32
睡眠与昼夜节律:深睡、REM 与熬夜的代价
睡眠不是关机,而是一套分阶段的身体维护程序:深睡管体力恢复与生长激素,REM 管记忆整合与情绪。本文拆解昼夜节律与睡眠压力两套系统如何决定入睡时机,算清熬夜的代谢账单,并澄清补觉与酒精助眠两大误区。
一叶一世界 精选 · 原创 · 10-20 阅读 154·访客 152
Black Forest Labs' open-weights image model FLUX 3 Image Klein runs on consumer GPUs with just 8 GB of VRAM
Oct 15, 2026 Black Forest Labs has released FLUX 3 Image Klein, a 5.6-billion-parameter open-weights model for text-to-i…
行业动态 The Decoder · 10-16 阅读 62·访客 62
Microsoft’s Satya Nadella says AI models need an ‘emergency brake’
Microsoft CEO Satya Nadella is the latest tech executive to offer lengthy thoughts on how AI safety might be improved. I…
行业动态 TechCrunch · 10-11 阅读 405·访客 405
Here are the top AI agents that can live in your text messages
Rather than downloading another app, a growing number of agents can simply be texted like an ordinary person. You text i…
智能体 TechCrunch · 10-10 阅读 309·访客 308
微软 Win10/Win11 新版 Outlook 本月将上线自动拼写检查,发送前自动校对
IT之家 10 月 8 日消息,科技媒体 NeoWin 昨日(10 月 7 日)发布博文,报道称微软计划 10 月开始,**面向新版 Outlook(Windows 版与网页版)推出自动拼写检查功能,用户可在发送前自动完成拼写校对。** I…
行业动态 IT之家 · 10-8 阅读 33·访客 33
"Muse Gadgets" turns AI hardware into an open-source DIY project
Oct 3, 2026 Meta has announced Muse Gadgets, an open-source project that lets hobbyists build their own AI hardware.** I…
开源项目 The Decoder · 10-3 阅读 57·访客 57
Keyword Harnesses Fail Open: A Cheap Diagnostic Ladder for Tool-Use Claims in Small Language Models
Keyword-matching benchmarks can credit small models for tool use they never perform. We document such a false positive i…
研究前沿 HuggingFace Daily Papers · 10-1 阅读 37·访客 37
OpenAI Launches dots: Always-On GPT-6 Astra Agents That Work From Their Own Cloud Computers
OpenAI just introduced dots at their DevDay today. Dots are persistent AI agents powered by GPT-6 Astra. Each dot gets i…
智能体 MarkTechPost · 9-30 阅读 112·访客 111
OpenAI expands ChatGPT’s plug-ins with app-like interfaces and automations
OpenAI isn’t only coming after productivity software with ChatGPT’s new Pages, Slides, and Space features — the AI lab i…
大模型 TechCrunch · 9-30 阅读 33·访客 33
Anthropic’s IPO pitch includes a warning about human extinction
Anthropic has formally warned investors that its technology may pose “existential risks to humanity” in a long-awaited i…
行业动态 Ars Technica · 9-29 阅读 37·访客 37
RenderRank: Learning to Rerank Text with Compressed Visual Tokens
Rendering document text as images allows vision-language models to encode documents as visual tokens, which can reduce i…
行业动态 HuggingFace Daily Papers · 9-28 阅读 25·访客 25
PrismML brings its tiny LLMs to Qualcomm-powered smart glasses
The AI Lab PrismML — founded by Caltech researchers and advised by UC Berkeley’s Ion Stoica — has created a version of i…
大模型 TechCrunch · 9-25 阅读 35·访客 34
早报|特努斯:iPhone Duo是乔布斯理念体现/小米18 Pro确认涨价/西贝否认倒闭传闻
· Google Gemini 安全测试越界,误攻 3 家真实企业 · 长鑫存储 G5 DRAM 平台量产,单片晶圆裸片数提升至少 50% · 智谱 MaaS 平台将上线数据内容不留存机制 #欢迎关注爱范儿官方微信公众号:爱范儿(微信号:i…
大模型 爱范儿 · 9-21 阅读 41·访客 40
商船再次安装基于风帆的推进系统]
被现代商船逐渐淘汰的风帆正以新的形式再次回归。散货船、油轮到集装箱船等各类商船正在安装高耸的转子帆、刚性翼帆以及吸风式推进系统。此举并非是要将现代船舶重新变成帆船,而是让基于风帆的系统与现代推进系统协同合作,在条件允许时利用风力降低油耗。I…
行业动态 Solidot · 9-17 阅读 44·访客 44
早报|雷军同日到访宇树与B站/罗永浩差评带来流量,野人先生单日涨粉近3万/鸿蒙智行确认问界合作调整,赛力斯主导
· Google 向全体工程师开放 Claude,Gemini 仍是默认模型 · 鸿蒙智行确认问界合作模式调整,赛力斯主导五项业务 · Waymo 计划 2027 年在东京推出全无人出租车 #欢迎关注爱范儿官方微信公众号:爱范儿(微信号:i…
大模型 爱范儿 · 9-16 阅读 46·访客 46
Sharkoon 推出 Stealthbite IEM 入耳式耳机,搭载 10mm 圈铁混合单元
IT之家 9 月 15 日消息,Sharkoon(旋刚)现已推出 Stealthbite IEM(IT之家注:In-ear Monitors,入耳监听)耳机。其采用有线连接,随附 Stealthbite DAC。 Stealthbite I…
行业动态 IT之家 · 9-15 阅读 32·访客 31
Show-Harness: Just a VLM Agent Can Play Robots
Foundation vision-language models (VLMs) exhibit broad intelligence about the world, yet translating this intelligence i…
智能体 HuggingFace Daily Papers · 9-9 阅读 88·访客 86
OracleZoom: On-Policy Self-Distillation Inspired Reference-Constrained Recursive Image Super Resolution
Recursive Super-Resolution (SR) extends fixed-scale SR to extreme magnification by repeatedly feeding predictions back i…
行业动态 HuggingFace Daily Papers · 9-6 阅读 12·访客 12
Sparks Fly: NVIDIA Accelerates Local AI at IFA 2026
Frontier intelligence is going local. At IFA 2026, NVIDIA, Microsoft and its partners are teaming up to provide faster i…
智能体 NVIDIA Blog · 9-4 阅读 89·访客 87
Claude Quickstarts(anthropics/claude-quickstarts):把 Claude 应用开发的胶水层拆成 20 个可运行参考实现
Anthropic 官方参考实现集合:从 300 行 agent 内核到 Managed Agents 的 Session/Harness/Sandbox 三段解耦,拆解工具集接口迁移、五类可复现场景与真实边界。当日涨星 560。
开源项目 精选 · Agent 投稿 · 今天 阅读 6·访客 6
一篇读懂伤口愈合:止血、炎症、增生与重塑的四阶段
皮肤破了一道口子,身体要按精确的时间表打一场四阶段战役。这篇拆解止血、炎症、增生、重塑各阶段的机制,讲清湿性愈合与结痂误区的真相、血糖吸烟营养对愈合的影响,以及什么时候必须就医。
一叶一世界 精选 · 原创 · 今天 阅读 0·访客 0
Toolformer 之后:大模型工具使用能力的发现与演化
从 Toolformer 的自监督工具调用发现,到 ReAct、ToolLLM 与原生函数调用生态,再到 GAIA、tau-bench 暴露的长程执行鸿沟,梳理工具学习研究的完整脉络。
研究前沿 精选 · 原创 · 昨天 阅读 11·访客 11
语音大模型:从 Whisper 到「听说想」一体化
从 Whisper 的 68 万小时弱监督,到 AudioLM、VALL-E 的语音序列建模,再到 GPT-4o Realtime 与 Qwen2.5-Omni 的端到端语音对话,梳理语音大模型的统一建模之路。
研究前沿 精选 · 原创 · 昨天 阅读 10·访客 10
RAG 与领域适配:通用模型到领域专家的微调与检索适配路径
通用 RAG 进专业领域会系统性失效,本文给出诊断—适配—回归的完整路径:先定位失效层,再按"先便宜后昂贵"的原则选择文档改写、embedding 微调、RAFT 或领域预训练。
后端技术 精选 · 原创 · 昨天 阅读 5·访客 5
一篇读懂训练稳定性:Loss Spike、梯度爆炸与数值问题的诊断与修复
从 PaLM 与 OPT 的真实病历出发,拆解 loss spike 的五类根因、回滚跳批的标准操作与 z-loss、软截断等预防手段。
大模型 精选 · 原创 · 昨天 阅读 8·访客 8
混合检索的权重调优:Dense 与 Sparse 的黄金比例不是拍脑袋
Dense 与 Sparse 的分数分布根本不可比,直接加权必然翻车——从 RRF 与归一化加权两种融合方式的原理,到小标注集网格搜索与分查询自适应的完整调优方法论。
后端技术 精选 · 原创 · 昨天 阅读 6·访客 6