迪士尼研究团队利用水火箭和涵道风机技术，使机器人能够从高空坠落并平稳着陆。研究人员首先利用小型机器人测试了涵道风机在空中姿态控制和着陆稳定性方面的作用，然后通过大型机器人验证了水火箭在高速下降过程中快速减速的能力。实验结果表明，该技术能够有效控制机器人在空中的姿态，并在着陆时吸收冲击力，为未来实现更复杂、更逼真的机器人表演奠定了基础。
阅读更多
本文档是关于 Anthropic 服务状态页面的，其中包含订阅服务状态更新的各种方式，例如通过电子邮件、短信、Slack 或 Atom/RSS feed。文档还列出了 Anthropic 服务最近发生的一些事件，例如 claude.ai 的部分故障、Haiku 的部分故障以及 Claude 3 Opus 上错误率增加等。
阅读更多
一位名叫 Dietmar 的德国科技爱好者成功地在一台搭载 1989 年英特尔 486 处理器的电脑上运行了 Windows XP 操作系统。由于 486 处理器性能较低且发布时间早于 Windows XP 十多年，两者并不兼容。Dietmar 通过对 Windows XP 安装程序进行反汇编和调试，替换了导致安装失败的代码，最终成功创建了一个可以在 486 处理器上运行的 Windows XP 镜像文件。
阅读更多
本文回顾了2002年和2024年两次针对OpenSSH的后门攻击事件。作者详细分析了两次攻击的相似之处和不同之处，指出供应链攻击的手段日益复杂，攻击者更倾向于长期潜伏和精准打击。作者认为，现有的操作系统设计和应用程序开发模式难以有效抵御供应链攻击，需要从根本上减少攻击面，并加强沙盒技术的应用，以限制代码权限和执行范围。
阅读更多
本文讲述了 iFixit 与三星之间合作失败的故事。iFixit 首席执行官 Kyle Wiens 分享了与三星合作的两次尝试：第一次是推广 Galaxy Upcycling 项目，该项目旨在将旧手机改造为其他设备，但最终被三星取消；第二次是合作销售三星手机原厂维修零件，但由于三星零件价格高昂、订购限制严格等问题，最终也以失败告终。Wiens 指出，三星手机在机械设计上不利于维修，且零件价格远高于行业平均水平，这与三星倡导的环保理念和长期软件支持策略相矛盾。
阅读更多
文章指出HTML表单验证机制强大但未被充分利用，并探讨了其原因。作者认为setCustomValidity方法虽然强大，但其命令式API导致使用不便，尤其在声明式组件中。文章以 required 属性为例，演示了setCustomValidity方法在初始值验证和逻辑复用方面的不足，并提出了一个名为 custom-validity 的属性的设想，以简化验证逻辑。作者进一步举例说明了该属性如何处理异步验证（如用户名查重）和依赖字段验证（如密码确认）等复杂场景，最终得出结论，HTML表单验证的潜力需要更友好的API来释放。
阅读更多
美国国会众议院通过了2025年国防授权法案（NDAA），其中包含一项禁止使用大疆无人机的条款。该法案已提交参议院审议，如果获得通过并经总统签署，将禁止联邦通信委员会（FCC）批准任何新的DJI无人机，并可能导致现有无人机停飞。该禁令引发了广泛关注，但目前尚不清楚是否会对已购买DJI产品的用户进行补偿。
阅读更多
该项目介绍了一款配备2.4英寸LCD显示屏的模块化相机，该相机支持更换摄像头和机身面板，用户可以根据需求自定义相机功能。
阅读更多
本文探讨了玩家死后Steam游戏账户的归属问题。由于Steam服务条款规定账户不可转让，玩家死后其游戏账户及游戏库将无法被继承。文章还探讨了可能的解决方案，例如通过遗嘱指定账户继承人，但这需要Steam官方的许可。此外，文章还提到了数字游戏保存问题，指出当前法律对数字游戏遗产的保护不足。
阅读更多
软件工程师Carl Riis厌倦了智能电视充斥的广告和追踪，他使用一台旧笔记本电脑、一台55英寸三星智能电视和一根线缆，打造了一台基于Linux的DIY智能电视“EarlGreyTV”。该系统运行Debian Linux和Sway桌面环境，开机后全屏打开Firefox浏览器，并通过自定义设置隐藏地址栏、显示音量弹窗等，打造类似传统电视的界面。Riis认为，虽然这套系统不完美，但它能够满足他的需求，让他能够自由控制观看体验，并避免广告和追踪的困扰。
阅读更多
MobileLLM 是一种针对设备端应用优化的子十亿级参数语言模型，该模型在 ICML 2024 上发表的一篇论文中进行了介绍。该模型采用 SwiGLU 激活函数、深而窄的架构、嵌入共享和分组查询注意力机制等多种设计因素，以构建高质量的小型语言模型。MobileLLM-125M/350M 在零样本常识推理任务上比之前的 125M/350M SoTA 模型实现了 2.7%/4.3% 的显著准确率提升。
阅读更多
Keyval 是一家YC孵化的初创公司，致力于利用eBPF技术创建开源的监控解决方案。公司正在招聘一位首席产品经理，负责领导产品开发，制定产品战略，与工程、设计、市场和销售团队紧密合作，交付一流的产品。理想的候选人应具备6年以上的产品负责人经验，熟悉APM概念和最佳实践，并热衷于技术。
阅读更多
英特尔宣布，他们已经找到了导致其 CPU 崩溃问题的根本原因，并将在 8 月中旬发布微码更新来解决这些问题。该问题会导致 PC 在游戏和其他工作负载期间莫名其妙地崩溃/蓝屏。英特尔表示，错误的 CPU 微码会导致 CPU 请求更高的电压水平，导致处理器在安全边界外运行。此补丁将通过主板 OEM 的 BIOS 更新和 Windows 更新发布。该错误会导致受影响的处理器出现不可逆转的性能下降，已经遇到崩溃的处理器将无法通过微码更新修复。
阅读更多
Charlieplexing是一种使用微控制器的三态逻辑能力来驱动大量LED、开关、微电容器或其他I/O实体的技术。它比传统的复用技术效率更高，每个I/O引脚都能够在逻辑1、逻辑0和高阻抗三种状态之间快速切换。这使得这些I/O实体可以连接在任意两个微控制器I/O之间，从而驱动比传统复用更多的LED。例如，使用4个I/O引脚，Charlieplexing可以驱动12个LED，而传统的复用只能驱动4个。Charlieplexing也有一些缺点，例如需要频繁的刷新率、峰值电流较高、需要三态逻辑引脚以及电路复杂度较高。
阅读更多
Calculus Made Easy是一个网站，提供免费的微积分视频教程、练习题、测试和讨论区，旨在帮助学生轻松理解微积分概念。该网站还提供额外学习资源，例如电子书和解决方案手册。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25429567/Rabbit_R1_screen.JPG)
尽管炒作纷纷，但距离人工智能设备Rabbit R1发布五个月后，仅有5000名用户（占购买用户的5%）仍在每天使用。Rabbit创始人Jesse Lyu表示，为了赶超大型科技公司，该设备不得不在尚未准备好的情况下发布。与今年早些时候人工智能设备的火爆场面相比，Rabbit R1的现状令人失望。
阅读更多
亚利桑那州立大学的研究人员通过分析过去330万年考古记录中石器制造技术复杂性的变化，发现人类大约在60万年前开始通过社会学习快速积累技术知识，从而形成了累积文化。研究表明，早期人类在340万到200万年前可能依赖需要工具的觅食策略，导致了大脑尺寸、寿命和生物学的变化，为累积文化奠定了基础。到中更新世时，出现了技术复杂性的快速增长和其他新技术的發展，如火的使用、炉膛和居住空间的出现，以及使用带柄工具建造的木结构，这些都表明累积文化起源于中更新世早期。
阅读更多
天文学家发现迄今为止最大的黑洞喷流，命名为“Porphyrion”，其跨度相当于140个银河系排列在一起的长度，总长度达2300万光年。这一发现表明，在早期宇宙中，像Porphyrion这样的巨大喷流可能对星系的形成产生了比之前认为更大的影响。这些喷流来自一个遥远星系中心的超大质量黑洞，其总能量输出相当于数万亿个太阳。
阅读更多
该研究将从原始红藻Cyanidioschyzon merolae中分离出的光合活性叶绿体，通过共培养的方式引入培养的哺乳动物细胞中。这些叶绿体在细胞内囊泡中保留了类囊体结构，并维持了光系统II的电子传递活性至少两天。这项基于合成生物学的研究为创造人工光合作用动物细胞奠定了基础。
阅读更多
本文探讨了美国在无人机领域落后于中国的原因，以及如何重新取得领先地位。文章指出，尽管美国在军用无人机领域曾占据主导地位，但在消费级和商用无人机领域，中国的大疆公司凭借其价格低廉、性能可靠的产品迅速占领了市场。文章认为，美国需要发展自己的无人机产业，并利用自身在软件和开源开发方面的优势，增强无人机的功能，以确保国家安全和技术优势。
阅读更多
文章介绍了如何利用快速傅里叶变换 (FFT) 加速多项式乘法运算。传统的朴素多项式乘法算法复杂度为 O(n^2)，而基于 FFT 的方法可以将其降低到 O(nlogn)。文章首先回顾了多项式的定义和基本运算，然后引入了卷积的概念，并解释了多项式乘法与卷积之间的关系。接着，文章介绍了傅里叶变换及其离散形式 DFT，以及用于高效计算 DFT 的 FFT 算法。最后，文章通过 Python 代码示例演示了如何使用 FFT 实现高效的多项式乘法，并比较了两种方法的运行时间。
阅读更多
波士顿公司Perceptive研发的自主机器人牙医成功完成了全球首例人体手术。该系统利用3D扫描仪创建口腔模型，并由AI控制机器人进行手术操作，首个应用是准备牙冠，耗时约15分钟，远少于传统人工操作的2小时。该系统尚待FDA批准，但有望提高牙科手术精度、效率和可及性。
阅读更多
本文深入探讨了超级任天堂（SNES）图形系统的硬件和渲染机制。SNES 需要在极短的时间内（每像素 186.2 纳秒）生成像素并将其发送到 CRT。由于 VRAM 访问延迟的限制，SNES 巧妙地利用了 PPU 内部内存、平面贴图布局以及 HBLANK 时间等技术来实现多层背景和精灵渲染。文章还对比了不同游戏机时代的精灵渲染技术，例如精灵单元、行缓冲区和精灵帧缓冲区，并解释了 SNES 如何通过其独特的架构在有限的硬件资源下实现高效的图形处理。
阅读更多
斯里尼瓦瑟·拉马努金是一位英年早逝的印度数学天才，他以其在数论、无穷级数和连分数方面的非凡贡献而闻名。拉马努金的研究成果深刻影响了数学的多个领域，包括代数几何、组合数学、统计物理学等。他的“分拆恒等式”尤为引人注目，揭示了看似无关的数学领域之间惊人的联系，例如数论和表示论。一个多世纪以来，数学家们一直在努力理解和扩展拉马努金的成果，不断发现新的应用和联系，例如利用分拆恒等式来检测素数。拉马努金的传奇故事证明了数学世界的神奇与和谐，也激励着一代又一代的数学家不断探索未知领域。
阅读更多
Bluesky官方宣布，在过去的一天里，有超过100万人加入了Bluesky社交平台。官方对此表示欢迎和感谢。该平台是一个高度交互的Web应用程序，需要JavaScript才能运行。
阅读更多
谷歌限制了其AI Overviews功能的使用，因为该功能曾给出了一些奇怪的建议，比如建议人们在披萨上涂胶水。谷歌搜索主管Liz Reid承认，AI Overviews功能给出了一些“奇怪、不准确或无用的回复”。谷歌正在调整其人工智能，使其能够更好地识别幽默和讽刺内容，并限制用户生成内容的添加，以提供更准确和有用的信息。
阅读更多
