百年矿坑的隐患：地面塌陷之谜
2025-05-08
新泽西州I-80高速公路多次发生地面塌陷，引发交通瘫痪。调查发现，这并非自然现象，而是上世纪众多地下铁矿遗留的隐患。早期矿业缺乏规划和监管，矿井废弃后，地下空间逐渐空虚，加之水流侵蚀，最终导致地面塌陷。该问题涉及地表权和矿产权的复杂所有制，以及灾害预测和修复的巨大挑战，凸显了可持续矿业发展的重要性。
阅读更多
AI可视化：相似城市道路网络
2024-12-15
一个名为similar-cities的网站利用AI技术，通过比较城市道路网络的相似性来可视化城市间的联系。该网站使用一种基于“醉汉漫步”算法的独特方法，计算城市道路网络中随机路径的相似度，从而评估城市结构的相似性。数据来源于OpenStreetMap，包含约2500个城市。该项目开源，并提供详细的算法说明和代码，期待更多城市数据的加入以提升结果的准确性。
阅读更多
AI
道路网络
NVIDIA Dynamo：高吞吐量低延迟的生成式AI推理框架
2025-03-18
NVIDIA发布了Dynamo，一个用于在多节点分布式环境中为生成式AI和推理模型提供服务的、高吞吐量低延迟推理框架。Dynamo支持多种推理引擎（如TRT-LLM、vLLM、SGLang等），并具备预填充和解码推理解耦、动态GPU调度、LLM感知请求路由、加速数据传输和KV缓存卸载等特性，以最大化GPU吞吐量并降低延迟。该框架使用Rust编写以提高性能，并使用Python编写以增强可扩展性，完全开源。
阅读更多
AI
Cloudflare推出AI迷宫：对抗AI数据抓取的新武器
2025-03-22
网络基础设施提供商Cloudflare发布了名为“AI迷宫”的新功能，旨在通过向机器人提供虚假的AI生成内容来对抗未经授权的AI数据抓取。该工具试图阻止未经许可抓取网站数据的AI公司，这些公司收集数据用于训练大型语言模型，例如ChatGPT。与简单的封锁不同，“AI迷宫”诱导机器人进入看似真实但无关紧要的页面，浪费其计算资源。Cloudflare表示，该系统使用其Workers AI服务生成内容，内容基于真实的科学事实，避免传播错误信息。同时，这些页面对普通访客不可见。
阅读更多
科技
快乐的秘诀：自由与爱好胜过成就？
2025-07-06
一项跨越英、印、土三国的大型研究表明，追求自由和爱好的人幸福感更高。研究发现，重视“享乐主义”和“自主性”的参与者幸福感显著提升，而重视“成就”和“遵从”的人则幸福感不增。优先考虑自由的人幸福感提高了13％，睡眠质量也更好；从事爱好和休闲活动的人幸福感提高了8％，压力和焦虑减少了10％。该研究强调了平衡生活追求对心理健康的重要性，提示我们：快乐并非只来自成就，享受自由和爱好同样重要。
阅读更多
杂项
IBM Bamba：挑战Transformer的二次瓶颈
2025-04-29
大型语言模型的Transformer架构因其自注意力机制而闻名，但长对话会造成二次计算瓶颈，导致速度慢。IBM研发的Bamba模型，通过结合状态空间模型（SSM）和Transformer，有效解决了这个问题。Bamba利用SSM的优势，减少了内存需求，速度提升至少一倍，同时保持了与Transformer相当的准确性。该模型已开源，未来有望处理百万级别token的对话，并进一步提升速度。
阅读更多
AI
cs16.css：致敬CS1.6的CSS库
2025-01-24
cs16.css是一个基于反恐精英1.6 UI的CSS库，它提供了一套简洁易用的样式，涵盖按钮、复选框、输入框、下拉菜单、单选按钮组、滑块、对话框、工具提示、进度条和选项卡等多种常用组件。只需简单地将CSS链接添加到HTML的``标签中，即可轻松使用。该库已发布在GitHub上，并采用MIT许可证。
阅读更多
设计
CSS库
日本电动汽车销量暴跌：四年来首次下滑
2025-01-10
2024年，日本电动汽车销量同比暴跌33%，降至59736辆，这是四年来的首次下滑。数据显示，电动汽车在日本汽车总销量中的占比低于2%，在主要发达经济体中最低。尽管全球电动汽车销量仍在增长，但增长速度放缓，日本对电动汽车的接受程度迟缓日益明显。日产汽车依然占据榜首，而中国比亚迪汽车在日本市场的销量则实现了增长。
阅读更多
科技
日本汽车市场
Mastra：一个构建AI应用的Typescript框架
2025-02-19
Mastra是一个基于Typescript的AI应用开发框架，它提供了一套构建AI应用所需的基本组件：工作流程、智能体、RAG、集成和评估。你可以本地运行Mastra，也可以将其部署到无服务器云平台。Mastra的核心功能包括：LLM模型集成、支持多种LLM提供商；智能体系统，允许LLM模型调用工具、工作流程和同步数据；可类型化的工具函数；持久化的图型化状态机工作流程；RAG知识库构建；预构建的第三方服务API客户端；以及基于模型、规则和统计方法的自动化评估功能。Mastra提供CLI工具`create-mastra`快速创建应用，并通过`mastra dev`打开Playground。
阅读更多
开发
AI框架
Waymo进军东北部城市：纽约和费城测试自动驾驶
2025-07-08
自动驾驶公司Waymo近日启动了在费城和纽约市的测试项目，旨在扩展其在东北部城市的服务范围。Waymo将先派遣配备其自动驾驶系统的车辆进行地图绘制，之后进行无人驾驶测试（但仍有人类驾驶员在车内）。此前Waymo已在其他城市进行过类似的测试，部分城市随后推出了商业服务。虽然Waymo已申请在纽约市进行无人驾驶测试许可，但目前尚未获得批准，商业化部署仍需时日。Waymo的最终目标是将其商业自动驾驶出租车服务扩展到更多城市，包括计划在今年进军迈阿密，2026年进军华盛顿特区。
阅读更多
科技
城市扩张
英国大学面临严峻财政危机
2025-07-18
英国大学正经历严重的财务困境。监管机构的数据显示，四成大学出现赤字，半数大学已关闭课程以节省开支。一些大学已经裁员数百人，甚至有大学计划裁减近五分之一的教职员工，这预示着英国高等教育可能面临一场深刻的变革。
阅读更多
杂项
英国大学
赋予Transformer模型内省能力的实时压缩技术
2025-04-02
大型语言模型(LLM)面临着内省能力不足和认知短暂性两大限制。本文提出了一种新颖的实时内省压缩方法，通过训练一个轻量级的“副驾驶”模型来压缩Transformer内部状态，从而实现对模型内部状态的高效访问和重放。该方法将Transformer的内部状态压缩到低维潜在空间，类似于保存游戏进度，从而解决了保存全部状态的计算难题。这将使LLM能够进行推理回溯、基于思想轨迹的强化学习以及高效的检查点保存等，最终实现更强大的AI系统。
阅读更多
AI
内省
互动式地下水运动模拟：探秘含水层
2025-01-20
这款互动式科学模拟游戏，让学习者探索地下水的运动。通过调整渗透率参数，观察水流如何穿过不同地层，追踪水滴的路径，并学习含水层的形成。玩家还可以钻井，体验可持续和不可持续取水的区别，从而了解地下水资源的可持续利用。该游戏是“我们会有足够的淡水吗？”课程的一部分。
阅读更多艺术家将古代文物数据编码到小麦种子DNA中
2024-12-31
艺术家Wafaa Bilal的最新作品《一粒小麦》将3000年前的尼尼微有翼公牛雕像的数字数据编码到伊拉克小麦种子的DNA中。该项目旨在利用分子数字数据存储技术保护受损的伊拉克文化遗产，对抗战争和恐怖主义造成的破坏。通过将来自大都会艺术博物馆的姊妹雕像的3D扫描数据编码到小麦DNA中，该项目不仅恢复了被毁坏的文物，还开启了跨国合作保护文化遗产的新篇章，将艺术、科学和自然的力量结合起来，为未来守护全球文化记忆。
阅读更多
AI
AlphaFind：一个需要启用JavaScript才能运行的应用
2024-12-14
AlphaFind是一个需要启用JavaScript才能运行的应用程序。这意味着如果你的浏览器禁用了JavaScript，或者你的设备不支持JavaScript，你将无法使用该应用。请确保你的浏览器已启用JavaScript以访问AlphaFind的功能。
阅读更多
杂项
AlphaFind
手工制作机械腕表的奇妙旅程
2024-12-17
Imgur 上的一张专辑记录了一位手工匠人制作机械腕表的全过程。从零部件的准备到精密的组装，每一个步骤都展现了精湛的技艺和对细节的极致追求。读者可以透过图片，感受机械腕表制作的魅力，体会到时间与技艺的完美融合。
阅读更多
杂项
机械腕表
AI 租赁协议分析平台：帮你轻松搞定租房合同
2025-03-17
这款AI驱动的平台能帮你轻松搞定租房合同！它能分析你的租赁协议，找出潜在问题、不利的条款和谈判机会，确保你充分了解自身权利，并提供专家建议来帮助你与房东协商更优惠的条款。该平台还能解释复杂的法律术语，并根据你所在地区的法律法规提供量身定制的分析，让你明明白白租房，不再被复杂的合同条款迷惑。
阅读更多
杂项
Data Becker：德国IT出版商的兴衰史
2025-03-19
Data Becker，这家曾是德国知名的计算机书籍和软件出版商，于1980年成立，凭借其为Commodore 64等家用电脑用户提供的软件和书籍而声名鹊起。它在80年代和90年代积极拓展国际市场，然而，2000年试图进军全球市场却遭遇失败，最终在2014年关闭所有业务。这段历史体现了科技行业瞬息万变的竞争环境以及国际化战略的挑战。
阅读更多
科技
德国公司
魔法链接：便捷还是灾难？
2025-01-07
本文批判了仅依赖邮件魔法链接登录的网站设计。作者认为，这种方式虽然安全，但在多设备场景下非常不便，例如无法在游戏电脑或工作电脑上直接登录，且容易受到邮件延迟的影响。此外，它还会迫使用户在工作设备上访问个人邮箱，带来安全隐患。作者建议网站提供更灵活的登录方式，例如密码或通行密钥，以提升用户体验。
阅读更多
开发
登录方式
微服务讨论的终结：一场徒劳的架构辩论
2025-03-29
作者在一次架构评审会议上，因微服务讨论陷入无休止的争论而感到厌倦。他认为，微服务定义模糊，讨论脱离实际业务目标，且忽视了组织变革的重要性。许多人谈论微服务时，实际上是追求技术上的前沿感，而非解决实际问题。作者建议停止对微服务的空洞讨论，转而关注具体的挑战，例如加快新功能部署、降低耦合度和解决系统瓶颈等。只有在组织结构和流程适应微服务架构的前提下，微服务才能发挥其作用，否则只会徒增复杂性。
阅读更多
开发
GitHub代码建议应用限制：一次性提交的局限性
2025-07-20
GitHub代码审查中，批量应用代码建议功能存在诸多限制：无法应用于无代码更改的建议、已关闭的Pull Request、部分代码变更视图、单行多建议、已删除行、已应用或已解决的建议、待审阅建议、多行注释以及正在合并的Pull Request。此外，还存在一些未知原因导致的“此刻无法执行该操作”的错误。
阅读更多
开发
OxCaml：OCaml 的高性能进化
2025-06-13
OxCaml 是 Jane Street 公司基于 OCaml 语言开发的一套高性能扩展，旨在提升 OCaml 在性能密集型编程中的表现。它不仅是 Jane Street 的生产编译器，也是一个实验平台，致力于通过安全、便捷、可预测的方式控制程序性能关键方面，并最终将这些扩展贡献回 OCaml 主项目。OxCaml 的扩展涵盖无畏并发、内存布局控制、内存分配控制以及一些提升开发体验的功能，例如多态参数和不可变数组。虽然它兼容 OCaml，但为了追求高性能，部分扩展无法直接移植，因此一些库只在 OxCaml 中可用。OxCaml 现已开源，欢迎实验用户参与测试和反馈。
阅读更多
开发
高性能编程
微软裁员数千人，AI投资过热后遗症？
2025-06-19
据知情人士透露，微软计划在下一财年开始前裁员数千人，销售部门受影响最大。此举被认为是微软在巨额AI投资后进行成本控制的措施。虽然裁员并非仅限于销售部门，具体时间也可能调整，但此次裁员规模之大，仍然预示着科技行业在AI热潮过后可能面临的挑战和调整。
阅读更多
科技
科技行业调整
K 语言：一个简洁快速的向量化编程语言
2025-02-10
K 语言家族是一系列由 Arthur Whitney 设计的简洁、快速的向量化编程语言。它并非单一版本，而是不断迭代演进的系列，每个版本间略有差异，甚至不兼容。本文主要介绍开源 K 语言及其社区，包括 ngn/k (k6) 和 oK (k5/6) 等实现，并探讨了 K 语言的特点、学习曲线以及与 APL 和 J 语言的关系。虽然 K 语言以其简洁性和速度而闻名，但其学习曲线较为陡峭，需要一定的实践才能掌握。
阅读更多
开发
向量化编程
揭秘：伪装成新闻网站的CIA秘密行动？
2025-05-26
一份泄露的文档揭示了数百个看似普通的新闻和娱乐网站，它们实际上是CIA的秘密行动的一部分。这些网站以多种语言发布内容，涵盖体育、科技、金融等多个领域，其目的是收集情报、传播宣传或进行其他秘密行动。调查人员通过分析网站代码、图片和域名注册信息等，发现了这些网站背后的蛛丝马迹。这项行动的规模之大令人震惊，也引发了人们对网络安全和信息真实性的担忧。
阅读更多
科技
秘密行动
谷歌逆转性别薪酬差距：意外发现低薪男性员工
2025-02-09
谷歌2018年的薪酬公平分析出人意料地发现，在软件工程师群体中，男性员工的薪酬低于女性员工。为解决这一问题，谷歌向超过10000名员工支付了近1000万美元，但并未透露其中男性员工的具体金额。尽管如此，谷歌强调这只是部分问题，并计划进一步审查晋升和绩效评估等流程，以确保所有员工的薪酬公平。然而，这一举动引发了集体诉讼，原告认为谷歌未能解决女性员工实际存在的薪酬不平等问题。
阅读更多五百年教宗选举赌局：从秘密押注到互联网时代
2025-02-27
自16世纪以来，教宗选举就成为秘密赌局的焦点。 从威尼斯共和国禁止对教宗寿命投注，到罗马银行家公开提供赔率，再到格里高利十四世宣布下注教宗选举为异端，这场持续数百年的赌博史波澜起伏。现代，互联网使得教宗选举赌博再度兴起，尽管在美国等地仍属非法，但法律界限日渐模糊。本文回顾了这场跨越五个世纪的独特赌博现象，从早期的秘密交易到现代的网络投注，展现了权力、信仰和金钱的交织。
阅读更多阿尔茨海默症研究的欺诈与希望：Leqembi 的真相
2025-02-23
《被篡改的真相：治愈阿尔茨海默症的追求中的欺诈、傲慢与悲剧》一书揭露了阿尔茨海默症研究领域长达数十年的欺诈和夸大宣传。作者调查发现，长期占据主导地位的淀粉样蛋白假说可能基于伪造数据，而备受期待的新药Leqembi的效果也远低于预期。数十年来，巨额资金投入却收效甚微，究其原因是该领域对其他治疗途径的忽视和打压。作者呼吁重新审视阿尔茨海默症的研究方向，并为患者带来真正的希望。
阅读更多
科技
Leqembi
用苹果设备作为门禁卡：一个利用中国交通卡的巧妙方案
2025-01-19
许多人尝试将苹果设备用作门禁卡，但由于NFC和Wallet生态系统的封闭性，这很难实现。然而，一个名为“中国交通联合”的中国交通卡为这个问题提供了一个巧妙的解决方案。该卡在Apple Wallet中被官方支持，并且其独特的特性——UID在每次轻触时不会随机化，且在设备之间转移时不会更改——使得它可以被一些基于UID认证的门禁系统识别。尽管UID认证安全性较低，但一些系统支持这种方式。获取该卡需要支付宝账户和生物识别旅行证件等条件。虽然方法略显曲折，但对于支持UID认证的门禁系统来说，这确实是一个可行的方案。
阅读更多GitHub代码建议应用限制：你可能遇到的问题
2025-01-31
这篇GitHub文档片段列举了应用代码建议时可能遇到的各种限制，例如代码无修改、拉取请求关闭、查看部分更改、单行应用建议、应用于已删除行、无效建议以及其他一些暂时性限制。这些限制旨在维护代码库的完整性和一致性，并确保建议的有效应用。
阅读更多