VSCode 市场中扩展程序的下载链接已失效。新的安装指南指示用户从扩展程序列表的“版本历史记录”部分的下载链接中选择适合其操作系统的版本，但该链接不存在。之前的侧边栏下载链接也已被移除，导致用户无法下载扩展程序。此问题影响所有操作系统和浏览器。
阅读更多
TRMNL公司承诺永不使你的设备变砖，并为此付诸行动：开源固件、开发多种语言的BYOS客户端、销售BYOD许可证、发布免费UI工具包Framework，并招聘了资深工程师专注于开源项目。为应对日益增长的服务器成本，他们发布了“永不损坏承诺”，承诺在公司破产时公开核心Web应用程序源代码，以确保用户数据安全，并减少电子垃圾。
阅读更多
乌韦·彼得斯博士和本杰明·陈毅博士，分别拥有神经科学与心理学、哲学和血液学背景，目前正合作研究人工智能的社会风险及人类认知偏差在科学传播中的影响。他们在剑桥大学进行博士后研究期间，开始关注人类和大型语言模型（LLM）在科学传播中的夸大和概括问题，他们的跨学科研究视角为理解AI风险以及提升科学传播的准确性提供了新的思路。
阅读更多
Jetrelay是一个仅用500行代码实现的Pub/Sub服务器，它兼容Bluesky的jetstream数据流。文章介绍了Jetrelay如何通过巧妙地利用Linux内核的`sendfile()`和`io_uring`系统调用，以及`fallocate()`来实现高效的数据广播和持久化存储，从而在8个CPU核心上即可达到10Gbps的网络带宽饱和度。它避免了用户空间的大量数据复制，并通过异步I/O操作有效地处理数千个并发客户端连接。
阅读更多
一篇由Mark Braverman和Or Zamir撰写的论文证明了频率矩估计的最佳空间下界为Ω(log(nε²)/ε²) ，其中ε = Ω(1/√n)。该研究解决了长期以来困扰计算复杂性领域的难题，在一定范围内，该下界与经典的Alon-Matias-Szegedy算法的上界相匹配。对于更小的ε值，论文还提出了一种改进的算法，进一步完善了频率矩估计的空间复杂度。这项突破性成果为流数据处理和算法设计提供了重要的理论指导。
阅读更多
本文回顾了20世纪40年代到60年代的“抗生素黄金时代”，期间大量新型抗生素被发现，有效对抗多种感染疾病。文章指出，由于制药公司转向利润更高的慢性病治疗领域，以及抗生素耐药性的兴起，抗生素研发速度自70年代以来大幅下降。为了应对日益严重的耐药性问题，文章探讨了多种复兴抗生素研发的途径，包括基因组挖掘、探索新型细菌以及联合用药等策略，并强调了政府和组织在提供经济激励和资助方面的重要作用，呼吁通过创新合作模式来推动新一代抗生素的研发与应用。
阅读更多
本文深入探讨了Anthropic发布的Claude 4大型语言模型的系统提示。作者不仅分析了官方公布的提示，还挖掘了泄露的工具提示，揭示了模型设计背后的策略，例如如何避免幻觉、引导用户有效提问、维护模型安全以及处理版权问题等。文章还详细介绍了Claude 4的特色功能，如思维链、搜索工具、Artifacts（自定义HTML+JavaScript应用）等，并分析了其在安全性和版权方面的限制。总而言之，这是一篇对大型语言模型开发和应用具有重要参考价值的技术文章。
阅读更多
一项剑桥大学的研究发现，英国人仍然将工人阶级口音与犯罪行为联系起来。研究人员让参与者评价不同口音的录音，结果显示，来自利物浦和布拉德福德等地的口音更容易被认为与犯罪行为有关，这可能导致司法系统中的偏见，影响从逮捕到判决的各个环节，甚至影响证人证词的可信度。研究强调了口音偏见对司法公正的潜在危害，呼吁改进语音识别程序，避免基于口音的偏见影响司法判断。
阅读更多
动画电影《Flow》由一个小型独立团队使用Blender完成，取得了巨大成功，获得60多个奖项，包括金球奖最佳动画奖提名和奥斯卡奖提名。导演Gints Zilbalodis分享了使用Blender的经验，特别强调了EEVEE实时渲染引擎在提高效率和工作流程方面的作用。团队规模小，成员身兼数职，通过巧妙的工作流程和定制脚本，克服了预算和人员限制，最终创作出一部引人入胜的动画电影。这证明了Blender在独立动画制作领域的强大潜力，以及小型团队通过创新和协作取得成功的可能性。
阅读更多
冰人奥茨，这位距今至少4000年的木乃伊，其遗体中发现了伯氏疏螺旋体细菌的基因组片段，这证实了其患有莱姆病。这一发现将莱姆病的历史追溯到数千年前，远早于1982年在美国康涅狄格州莱姆镇的首次发现。奥茨的身上还有一些纹身，其位置与现代针灸穴位相似，这或许暗示着古人已尝试通过纹身缓解关节疼痛等症状，而这与莱姆病的症状相符。这一研究成果对蜱虫研究具有重要意义，刷新了我们对莱姆病历史的认知。
阅读更多
最新的Windows系统版本（26120.3576和22635.5090）在“设置 > 系统 > 关于”中隐藏了一个新的常见问题解答列表。该列表包含一些与Windows版本和设备规格相关的问题，可以通过命令`vivetool /enable /id:55305888`启用。
阅读更多
美国前11个月热泵销量增长37%，超过燃气炉成为最受欢迎的供暖设备，同比增长21%。这得益于热泵的高效节能、低碳排放以及技术进步，使其能够适应更寒冷的气候。尽管安装成本较高（1.7万到3万美元），但政府激励政策（例如《通货膨胀削减法案》）和日益增长的消费者认知度正在推动其普及。然而，价格、兼容性以及对电网可靠性的担忧仍然是阻碍因素。未来，通过有效的宣传和教育，重点强调热泵的长期节约和改善居住体验，可以进一步促进其市场份额的增长。
阅读更多
许多人认为 Rails 应用是 IO 密集型的，数据库是性能瓶颈，Ruby 性能不重要。但这篇文章挑战了这一观点。作者认为，虽然数据库是扩展时的瓶颈，但这并不意味着应用大部分时间都在等待 IO。通过分析 YJIT 的效率提升以及常见的性能问题（例如缺少数据库索引），作者指出许多 Rails 应用实际上是 CPU 密集型的。文章还强调了 CPU 饥饿和 IO 等待之间的混淆，以及不同执行模型（异步、多线程、多进程）的选择取决于应用的 IO/CPU 比例。作者呼吁关注 Ruby 性能，并指出一些 Rails 代码可以优化以提高性能。
阅读更多
MRubyD是一个用纯C#实现的全新mruby虚拟机，旨在与基于C#的游戏引擎无缝集成。它利用C#的特性实现了高性能和高扩展性，并注重与Ruby API的兼容性。目前版本为预览版，部分功能仍在开发中，例如内置类型和方法的完整实现以及私有和受保护可见性的支持。开发者可以使用`dotnet add package MRubyD`安装，并通过提供的示例代码体验其功能。
阅读更多
研究人员成功在世界上第一个分时系统CTSS（运行在模拟的IBM 7094上）上复现了ELIZA——公认的世界首个聊天机器人。他们利用在麻省理工学院魏泽鲍姆教授档案馆中发现的原始打印输出、MAD-SLIP代码和相关文档，重建了ELIZA及其著名的DOCTOR脚本。整个项目开源，任何Unix-like系统用户都能运行这个历史性的聊天机器人。
阅读更多
尽管许多公司强制要求员工重返办公室，但数据显示，实际的办公室到岗率自2023年初以来几乎没有变化。Kastle的每周返工数据显示，顶级十大办公市场的平均入住率仅为疫情前水平的54%。同时，远程办公（WFH）的比例也保持在高位，超过29%的全职工作日是在家完成的。这表明，许多公司已经适应了混合办公模式，远程办公在提高生产效率和降低办公成本方面发挥了作用。因此，寄希望于重返办公室计划来拯救商业房地产办公楼市场的预期可能过于乐观。
阅读更多
人工智能技术飞速发展，但其背后巨大的能源消耗不容忽视。文章以图片生成服务Midjourney为例，估算其每日耗电量高达96万千瓦时，足以供电超过2.5万个普通家庭。这仅仅是冰山一角，ChatGPT、Gemini等其他AI服务也消耗着巨大的能源。作者呼吁开发者、研究人员和企业家共同努力，探索更节能、更环保的AI发展之路。
阅读更多
Stratoshark是一个开源工具，它将Wireshark强大的网络分析能力扩展到云环境中。它可以捕获系统调用和日志活动，并使用高级功能进行故障排除和分析。Stratoshark与Wireshark共享相同的剖析和过滤引擎以及大部分用户界面，并支持与Falco和Sysdig CLI相同的文件格式，方便用户在不同工具之间无缝切换。无论是Windows、macOS还是Linux，都有对应的安装包和源代码可供下载。
阅读更多
Open Dylan 是一款面向对象的函数式编程语言，源自苹果公司为Newton PDA开发的Dylan语言。它结合了Scheme和CLOS的优点，摒弃了Lisp语法，致力于高效的机器码生成。本文介绍了Open Dylan 的官方文档，包括教程、参考手册和丰富的库文档，并提供了在线Playground供用户快速上手体验。无论是想学习一门新语言，还是探索高效的编程范式，Open Dylan 都值得一试。
阅读更多
在拥挤的地铁上，一款名为“地铁扑克”的新游戏悄然兴起。它将扑克的刺激与地铁的不可预测性巧妙结合，为你的日常通勤增添乐趣。游戏规则简单：你和同伴各选一排五个座位，根据乘客的类型（小孩为10，青少年为J，女人为Q，男人为K，老人为A）组成扑克牌型，到达约定车站后比牌决定胜负。策略在于观察乘客上下车情况，选择有利位置，并根据时间、天气等因素预测乘客类型。这款游戏风靡全球各大城市，但你可能需要根据当地地铁布局调整策略。
阅读更多
博主Jason通过逆向工程手段，揭开了SanDisk高耐力型microSD卡的闪存秘密。他发现SanDisk公司对卡内使用的闪存类型信息讳莫如深，即使向官方寻求帮助也未能获得令人满意的答案。通过分析测试点和总线数据，最终确定该卡使用了东芝/铠侠的BiCS3 3D TLC NAND闪存，并详细分析了NAND Flash ID和JEDEC参数页的数据。这一过程充满了挑战，包括解读模糊的测试点布局、克服控制器干扰以及处理SanDisk自定义的参数页格式等。最终结果显示，SanDisk使用了3D TLC闪存，但并没有公开说明，此举引发了博主的质疑。
阅读更多
Colibri Hero公司开发的浏览器扩展程序refoorest和Impact Hero SDK承诺通过用户浏览行为植树，但调查发现其主要盈利模式为欺诈性的联盟营销。refoorest虚报植树数量，并利用用户数据，诱导用户留下评论和分享，而Impact Hero SDK未经充分告知即获取用户权限，涉嫌违反Chrome商店政策。文章揭露了该公司的种种不透明操作，包括虚假用户评价、缺乏财务透明度以及数据安全隐患，质疑其植树承诺的真实性。
阅读更多
本文探讨了在Unity引擎中渲染物体轮廓的五种不同技术：边缘光效、顶点挤出、模糊缓冲区、跳跃泛洪算法和边缘检测。每种技术都各有优缺点，例如边缘光效简单易实现但只适用于球形物体；顶点挤出效果好但处理尖锐边缘时有缺陷；模糊缓冲区适合柔和的轮廓但性能消耗较大；跳跃泛洪算法高效渲染宽轮廓；边缘检测能渲染全屏轮廓但需要仔细微调以避免伪影。选择哪种技术取决于项目需求和性能要求。
阅读更多
一篇经济学文章提出了一个新的国家排名指标——婴儿金钱指数（BMI），该指数将人均国民总收入与生育率的平方相乘。与传统的人类发展指数（HDI）不同，BMI更侧重于人口增长对经济的长期影响。文章指出，高收入和高生育率难以兼得，许多石油或避税国家在榜单上位列前茅，而一些发达国家由于低生育率排名靠后。美国以其高BMI值在人口超过4000万的国家中表现出色。
阅读更多
Emerge工具开源了一个Android和iOS示例项目，演示了如何使用其产品套件进行大小分析、快照测试、死代码检测和性能测试。该项目已将应用发布到App Store和Google Play，并提供详细的文档和Gradle/fastlane配置示例，方便开发者学习和使用Emerge。
阅读更多
Nordic Semiconductor 推出了其首款 RISC-V 处理器 VPR，集成于最新的 nRF54H 和 nRF54L 系列 SoC 中。VPR 是一款 RV32EMC 处理器，运行速度高达 320MHz，主要用于软件定义外设。文章详细介绍了 VPR 的架构、初始化过程以及与 Arm Cortex-M33 处理器的协同工作机制。通过 Zephyr 系统的 sysbuild 功能，可以轻松构建和部署 VPR 应用，实现异构计算，提升性能和功能。
阅读更多
维基百科依靠志愿者创作和维护内容，但志愿者们并不擅长所有领域，导致科学、技术、工程和金融等领域的条目相对匮乏，非英语国家的内容也严重不足。大量高质量文章有待翻译。定向资助能有效解决这些问题，但即使是付费编辑，也需要保持编辑的自主性和积极性，才能保证内容质量。
阅读更多
作者历时数年，利用OpenSCAD软件设计了一款完全参数化的双路音箱，并最终使用3D打印技术制造完成。该设计灵感源于Mission SX2和Sony音箱的曲线造型，通过巧妙的几何结构，实现了优雅的外观和灵活的参数调整。文章详细介绍了设计过程、3D打印、组装和调试等环节，并分享了作者在材料选择、工艺优化以及调试过程中的经验和挑战。最终成品音质出色，外观精美，堪比高端音箱。
阅读更多
亚马逊独特的文档文化让会议效率倍增。所有会议都以阅读文档开始，文档涵盖了会议所需的所有信息。这种方式避免了信息遗漏、减少了沟通障碍，并为远程协作提供了极大便利。虽然需要良好的写作能力，且文档管理也存在挑战，但这种方法有效提升了团队协作效率，也让员工在会议前做好充分准备，避免了时间浪费。
阅读更多
一篇博客文章探讨了编程语言的未来方向，作者提出了若干富有创意的特性设想，例如基于类型细化的函数重载，以及在C风格结构体中运用联合类型和类型细化来优化内存使用。文章还介绍了如何在编译时保证内存安全，并提出“assume”函数的概念，允许程序员在满足特定条件下绕过安全检查，方便调试。这些新颖的设想旨在提升编程语言的类型安全性和效率，值得关注。
阅读更多