清华几个人把 Google Maps 用了 41 年的算法给超了 从 1984 年算到现在，41 年没人做到过 那个算法叫 Dijkstra，你没听过没关系，你每天都在用 但这个卡了 40 年突破不了，因为有一道数学上的排序屏障横在中间 全世界最聪明的几个脑袋都默认这玩意儿绕不过去 去年算法界传奇 Robert Tarjan 还专门拿了个奖 证明 Dijkstra 已经是理论最优 这事看起来已经没法突破了，对不对？ 但清华这帮人不走这条路 他们的想法很简单: 找最短路径，干嘛非要把所有点都排个序 把 Bellman-Ford 那套逻辑，跟一种叫递归部分排序的方法拼起来,最后跑出来 O(m log^{2/3} n) 的复杂度 官方意义上比 Dijkstra 更快,放在小图上你感觉不到差别 但在网页级、全球物流级的大图里，这个差距是真实存在的 明天早上你的 GPS 不会突然变快 但整个最短路径问题的在很多领域发生了根本性的变化

我做了一个屏保时钟App：彼岸时钟。 屏保时钟是个很久远的品类。有Fliqlo那种二十年不变的翻页时钟，靠黑白极简取胜；有Bauhaus Clock，靠设计审美取胜。它们都很美，但美的方式是一样的：基于时钟的元素本身做设计。 我想做点不一样的，于是彼岸时钟诞生了。背景是Apple Maps 3D渲染的真实地标，每15分钟根据当前时段自动切换一个地方。 时差不再只是数字，它变成了地球上某个具体的景点。 这个App的起点是一个叫"对跖点"的概念。来源于我看到过 的一篇文章 对跖点就是地球上与你关于球心完全对称的那个点。有趣的地方在于，你们的时差恰好是12小时——你的正午是他的午夜，你的清晨是他的傍晚，像两个人背对背站在地球两端，却共享着同一颗太阳。 看到这个概念的时候觉得很有意思。但可惜大多数人的对跖点都在海里和山上，命中率很低。我就想，如果不要求精确对称，用早中晚这种粗粒度来辐射更多地标呢？于是这点就构成了彼岸时钟的核心理念：看见时差背后的风景。 500+全球地标，35座城市，清晨晌午傍晚全覆盖。每看到一个新地标自动加入集邮册，日积月累形成你看过的时差世界。 —————— 我的故事： 我作息很乱，经常弄到凌晨三四点。有次深夜扫过小组件，看到洛杉矶是晌午，突然想起小时候妈妈说的：你这是美国作息，人家那边现在是白天呢，看到小组件那个瞬间闪回了这段记忆，还挺奇妙的。 工作的时候我会把它点开挂着，就放在那转。不需要盯着看，就是有个地方在——偶尔抬头，埃菲尔铁塔的正午，或者悉尼歌剧院正在入夜。比纯黑的屏保多了点什么，但又不会分心。 最后送点永久会员码吧，enjoy： RP8RKPWFYTNWJN6LR6 MK7Y7XXNKANRYFMPYW F4J33JXJJ6YLKRMA3P E6JK6MMWX8JMWRFEJN N48WRMKM764WPEJ3XH TJNX78MHEP34MXYWRX XR334JM46WXF6E4EAE 7LKX84XMPM8RHYRW8R 6Y3P4PH6RMNXA7TA3X NRJ37LYXHRPWYX48XP

⚔️ Spirit vs Team Falcons ⏰ 8:00 PM May 17 💵 我的选择：Spirit -1.5 Handicap、Over 3.5 这是一场势均力敌的Grand Final！Spirit近期状态爆炸（5连胜+donk统治级），H2H最近占优，Dust2/Ancient地图池硬。但Falcons # 4排名+ m0NESY/NiKo天赋+ karrigan新IGL磨合，BO5经验丰富。市场给Spirit 58-60%基本合理，Edge不大，更适合博地图让分和Total Maps方差。 #CS2# #PGLAstana# #Polymarket# #BettingTips#

这可能是「数字孪生」最硬核、也最好玩的一次降维打击。 看到 @HowToAI_ 分享的这个 **Arnis** 工具，我第一反应是：那些还在手动复刻家乡的 Minecraft 大神们，可以提前「光荣退休」了。 这个 Rust 写的开源神器，逻辑极其暴力且丝滑： - **地理数据直连**：直接调取 OpenStreetMap 的道路、建筑轮廓，实现了 1:1 的「现实到像素」翻译。 - **自动「长」出城市**：不仅能画路，还能自动挤压出建筑高度、生成阳台。你只需要拉一个选区，一整座真实的城市就会在游戏里长出来。 - **开源的力量**：Louis Erbkamm 把项目全开源了，还顺手做了 web 版 MapSmith，让任何人都能在浏览器里「搬运」地球。 这就是我一直强调的：**数据的本质是资产，而 AI 和算法是激活资产的催化剂。** **当整个地球都能被自动像素化，所谓的「元宇宙」才算真正有了地基。** 别只看大模型绘图，看这种把现实世界「结构化」的硬核工程。关注 @VedaAI00，同步全球最硬核的地理 AI 与空间计算实践。👇

Hermes AI Agent 注入超级能力的 Top 13 集成神器！ 想让你的 Agent 从会聊天直接进化成能干活的超级助手？这些集成直接给它开挂！非技术人员也能一键变身AI赚钱机器，我亲自测过，效果爆棚🚀 1. Firecrawl 
专为Agent打造的网页搜索神器！
比Hermes原生搜索强太多：干净数据、响应超快、token消耗暴减。
我默认永远开着它，强烈推荐！ 2. Browserbase 
给 Hermes 真实浏览器访问权限！
登录、点按钮、填表单、预约任何事，都能干。
Hermes会根据任务自动切换Firecrawl还是Browserbase，插上即用！ 3. Google Workspace 
Gmail、日历、Drive、Docs、Sheets全打通！
Agent读不了你的邮箱、看不到日历、写不了文档？那就白瞎了。
第一优先级插这个！ 4. Reddit 
想知道真实用户对任何产品、赛道、问题的吐槽？这里是金矿！
市场调研天花板，全是真人干货。 5. YouTube转录 
随便拉任何视频的字幕（长播客、教程、访谈全行）。
几秒变可搜索笔记，研究效率直接起飞！
可能是最高杠杆却最少人用的隐藏神器！ 6. Discord 
我把整个生意都放在Discord上，这个对我来说是刚需。
插不同频道跑专属工作流：比如客服频道每天早上自动扫邮箱支持票据，整理好直接丢进来，效率拉满！ 7. GitHub 
代码、Issue、PR全接入。
Hermes直接变你的工程队友！
写代码的人，必备！ 8. Stripe 
支付、客户、失败扣款、退款一目了然。直接问“这个客户为什么流失”就能拿到真实答案。马上要出Agentic支付功能，以后Hermes还能直接用你的卡下单，期待ing！ 9. Bland（或Twilio） 
给Hermes配上真实语音，能打电话预约、客服啥的。 我超爱听那些通话录音，笑死😂 10. Apify 
X、LinkedIn、Instagram、Google Maps等现成爬虫。 
不用花5000刀买官方API，就能轻松拿数据，太香了！ 11. Readwise 
你以前从书、文章、推文、播客保存的所有高亮，全都能搜索查询。
彻底解决“死知识”问题，知识复用起飞！ 12. Granola（或Fathom） 
所有会议录音转录都能搜索。
Hermes秒答：“上个月那个客户对定价说了啥？” 太实用了！ 13. Obsidian 
Karpathy式LLM第二大脑狂人必备。
Hermes直接变你的个人知识库管家。 // 如果只能选5个，我直接上：Firecrawl + Browserbase + Google Workspace + GitHub + Obsidian 覆盖80%日常需求，够大多数人起飞了！ 我全是用 Composio 一键添加的，零技术门槛，5分钟搞定，不用自己折腾代码。

和Quant Alex @StochAlex07 讨论： SABR Theta与Spot Theta+Vol Theta+Cross Theta的异同与应用，以及SABR模型自洽性分析。 **English Summary of the Chat** **SABR Theta vs Spot Theta + Vol Theta + Cross Theta** The conversation between **Alex Wu** (white bubbles) and **Jeff Liang** (green bubbles) is a technical discussion focused on **SABR Theta versus Total Theta** (i.e., Spot Theta + Cross Theta + Vol Theta), model self-consistency, PDE residual, and the correct definition of SABR Greeks. ### Key Points Discussed: 1. **SABR Gamma = Spot Gamma** (first major question, raised by Jeff) Jeff asked whether SABR Gamma (\(\partial^2 P / \partial F^2\)) is identical to Spot Gamma and whether it includes the dependence of \(\sigma_B\) on \(F\). He also provided the full chain-rule expansion of SABR Gamma in terms of Black-76 Greeks. Alex confirmed the understanding and **later affirmed in code** that this is exactly how SABR Gamma is implemented in their system. 2. **SABR Theta vs Total Theta and Model Self-Consistency** (main topic, led by Jeff) Jeff shared a clear 3-point understanding: - SABR Theta is computed directly via the SABR approximation formula to obtain \(\sigma_B\), then applying the Black-76 chain rule: \(\partial P/\partial t =\) BS_Theta(\(\sigma_B\)) + BS_Vega \(\cdot \partial\sigma_B/\partial t\). - Total Theta is the exact decomposition from the SABR PDE (Spot Theta + Cross Theta + Vol Theta). - When the model is **fully self-consistent** (Residual = \(\partial P/\partial t + \mathcal{L}P = 0\)), SABR Theta = Total Theta; otherwise the difference is the unexplained PnL caused by the approximation error in the Hagan formula (especially pronounced in long-dated, high vol-of-vol, or high-skew options). 3. **Practical Implication – Theta Decomposition Decision** (comment by Alex) Alex noted that whether to perform Theta decomposition depends on the risk-management approach: - Without decomposition → use SABR Gamma vs. dP/dt. - With decomposition → SABR Gamma maps to Spot Theta, Vanna to Cross Theta, and Volga to Vol Theta. **Overall Tone**: The discussion is highly technical and collaborative. Jeff drives the conversation by asking clarifying questions and presenting a well-structured 3-point summary of his recent study. Alex provides confirmations, practical insights, and code-level validation. Both participants demonstrate a strong command of SABR model nuances, particularly the relationship between approximation error, PDE residual, and real-world risk management.