这篇文章讲述了恐龙输入设备（DID）的发展历程，及其在电影《侏罗纪公园》和《星河战队》中的应用。DID是一种将定格动画技术与电脑动画相结合的设备，它可以让定格动画师利用传感器将模型的动作捕捉到电脑中，从而制作出更加逼真的恐龙动画。文章采访了DID的开发者和使用者，讲述了DID的开发过程、工作原理以及在实际应用中遇到的挑战和解决方案。
阅读更多
adbfs-rootless是一款可以在Linux系统上无需root权限，直接使用adb命令挂载安卓手机的工具。用户需要安装libfuse-dev、adb、build-essential、git以及pkg-config等依赖库，并将项目克隆到本地进行编译。编译完成后，创建一个挂载点，使用adbfs命令即可将手机挂载到Linux系统上。
阅读更多
文章主要介绍了数学家证明了一类被称为扩展图的图形一定包含哈密顿循环。哈密顿循环是指在图中访问每个点恰好一次并返回起点的路径。长期以来，数学家一直试图解开保证哈密顿循环存在的条件。2002年，Michael Krivelevich和Benny Sudakov猜想，所有扩展图都包含哈密顿循环。经过20多年的努力，Sudakov与其他数学家终于在2024年2月证明了这一猜想。他们利用了Pósa旋转和排序网络等技术，成功地将一组长路径连接成一个哈密顿循环。这一发现对数学和计算机科学具有重要意义，因为它建立了两个核心概念之间的基本联系，并可能在未来带来重要的应用。
阅读更多
RFHunter 是一款使用 ESP32、AD8317 射频探测器和各种其他组件构建的射频信号扫描仪，旨在检测和测量环境中的射频信号，并在 OLED 显示屏上显示信号强度。它可用于查找隐藏摄像头、窃听设备和其他支持射频的设备。
阅读更多
Isaiah 是一款可自托管的服务，允许用户在远程服务器上管理所有 Docker 资源。它是对 lazydocker 命令行应用程序的重新构建，以 Web 应用程序的形式提供，同时保留了其功能。Isaiah 提供了对堆栈、容器、镜像、卷和网络的管理功能，并支持多节点和多主机部署。它还提供了内置的身份验证、终端仿真、自定义主题和键盘导航等功能。
阅读更多
Hazard3 是一款三级流水线 RISC-V 处理器，实现了 RV32I 指令集以及 M、A、C、Zicsr、Zba、Zbb、Zbc、Zbs、Zbkb、Zcb、Zcmp 等可选扩展指令集。它支持调试、机器和用户权限/执行模式、特权指令、物理内存保护以及高达 16 个自然对齐区域。该仓库还包含一个兼容的 RISC-V 调试模块，可以通过 AMBA 3 APB 端口或可选的 JTAG 调试传输模块进行访问。
阅读更多
《无限游戏》作者迈克尔·刘易斯为其关于FTX创始人SBF的新书辩护，称SBF的罪行是“与他的性格一致”，“他的性格不是贼的性格，而是一个对风险麻木的人的性格”。刘易斯认为，SBF没有必要进行犯罪，FTX的崩溃本来是可以避免的。
阅读更多
Mitata 是一款高性能 JavaScript 基准测试工具，具有直观的 API 和强大的可视化功能。它提供精确到皮秒的计时精度、参数化基准测试、垃圾回收控制和跨多个 JavaScript 引擎的兼容性，包括 Node.js、Bun、Deno 等。Mitata 还包括箱线图、直方图和摘要等功能，以帮助识别潜在的性能瓶颈。
阅读更多
Haystack Editor 是一款开源代码编辑器，结合了代码编辑器的简洁性和画布 UI 的直观性，使用户能够更轻松地理解代码。它提供全面的代码编辑、导航和理解支持，以及轻量级调试、丰富的扩展模型以及与现有工具的轻量级集成。Haystack 每周更新新功能和错误修复，可用于 Windows、macOS 和 Linux 系统。
阅读更多
德国军方斥资8亿美元打造的新一代侦察卫星星座SARah的两颗卫星疑似失效。这两颗由OHB公司制造的卫星的天线无法展开，导致卫星无法按计划运行。据报道，OHB公司可能未在地面上对卫星天线进行全面测试。德国军方表示，OHB公司将负责建造两颗替代卫星。
阅读更多
QBE是一个编译器后端，目标是用10%的代码量实现工业优化编译器70%的性能。QBE通过提供简洁、用户友好且高性能的后端来促进语言创新。代码量的限制促使QBE专注于核心功能，避免陷入收益递减的无尽循环。QBE支持完整的C ABI，包括IEEE 32位和64位浮点数，采用统一且简单的基于SSA的中间语言(IL)，并在所有编译阶段使用相同的IL。
阅读更多
本文探讨了现代作曲家为何不再创作巴赫风格音乐的现象，以尼古拉斯·马蒂斯创作的《马库斯受难曲》为例，该作品深受巴赫风格影响，并得到了评论家们的高度评价。作者对该作品的质量表示认可，但同时也对这种风格音乐在现代社会不受重视的现象感到困惑，并反思了自己的审美观点。
阅读更多
据外媒报道，苹果公司正与英国广播受众调查委员会（BARB）进行谈判，探讨在Apple TV+中引入广告的相关事宜。目前，BARB已为Apple TV+提供节目收视统计数据，但苹果公司需要更详细的数据来跟踪广告效果。此外，苹果公司还与美国的相关评级机构进行了类似的讨论。为吸引更多用户并增加收入，Netflix和Disney+等竞争对手已经成功推出了更便宜的广告支持订阅层级，这也促使苹果公司考虑在Apple TV+中引入广告。
阅读更多
本文总结了麻省理工学院机器人学教授罗德尼·布鲁克斯提出的机器人三定律。第一定律指出机器人的外观决定了人们对它的预期，因此设计应注重功能与外观的统一。第二定律强调机器人在与人类共存时，不能剥夺人类的自主性，尤其是在出现故障时。第三定律认为机器人技术从实验室演示到实际应用需要十年以上的改进，才能达到低成本和高可靠性。
阅读更多
DiscoGrad是一个能够自动将C++程序转换为可高效计算分支间平滑梯度的工具。它支持通过外部扰动进行平滑处理，但也适用于本身包含随机性的目标程序。DiscoGrad包含多个梯度估计后端，并可以通过Torch集成神经网络。该工具支持基本的C++结构，但仍处于研究原型阶段。
阅读更多
作者回顾了之前的文章，承认忽略了并行化这一重要的优化方法。他以自身构建网站的经历为例，说明了并行化如何显著提升效率。文章深入探讨了并行化编程的挑战，包括硬件和软件的限制，以及多线程编程中同步问题的复杂性。作者分享了他使用Rust进行多线程编程的经验，指出Rust的特性使得多线程编程更加安全可靠，并提高了效率。最终，作者呼吁开发者重视并行化，将其作为提升软件性能的重要手段。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25546355/intel_13900k_tomwarren__2_.jpg)
英特尔证实，部分13代和14代桌面CPU存在因电压过高导致崩溃的问题，且该损坏不可逆转。英特尔计划在8月中旬发布修复补丁，但仅对尚未出现问题的CPU有效。对于已损坏的CPU，英特尔建议用户联系客服寻求更换。英特尔表示正在调查其他解决方案，但目前尚未公布召回或延长保修计划。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/23925967/acastro_STK045_02.jpg)
苹果公司此前以违反应用商店准则为由拒绝了 DOS 模拟器 iDOS 3 的上架申请，但随着应用商店规则的变更，允许 PC 模拟器应用程序上架，开发者晁继李宣布 iDOS 3 现已开放下载。 7 月份，苹果公司改变了态度，批准了另一款 PC 模拟器应用 UTM SE，并在本月初将“PC 模拟器”添加到准则 4.7 中，这似乎就是 iDOS 3 现在被允许上架应用商店的原因。
阅读更多
苹果最新发布的M4 iPad Pro，增加了一项新的安全功能，但苹果公司并没有公开说明。这项名为“安全指示灯”的功能，将麦克风和摄像头指示灯的控制与硬件组件绑定，使其更难被恶意软件或应用程序绕过，从而更好地保护用户隐私。
阅读更多
这是一款名为“Ball”的趣味 macOS 应用，它是一个可以在 Dock 中弹跳的小球。你可以拖动它，它会在屏幕上弹跳。你也可以用两根手指滑动它。它可以弹跳、撞击角落，你可以尝试让它弹跳多次，数一数它撞击墙壁的次数等等。
阅读更多
Hackberry-Pi_Zero 是一款以树莓派 Zero 2W 为核心，搭载 4 英寸 720x720 TFT 显示屏和 BlackBerry 键盘的掌上 Linux 终端。它支持可更换电池，续航可达 3.5 小时，并配备了 USB 接口、I2C 接口和 TF 卡插槽。用户可以根据需要安装 Kali、Raspberrypi OS 或 Retropi 等操作系统，并通过 VIAL 软件自定义键盘映射。
阅读更多
Qwen2.5是继Qwen2发布三个月后的最新版本，包含Qwen2.5、Qwen2.5-Coder和Qwen2.5-Math等多个模型。Qwen2.5在知识量、编码和数学能力方面都有显著提升，并支持多达128K tokens和8K tokens生成，以及超过29种语言。Qwen2.5-Coder专为编码应用而设计，而Qwen2.5-Math则支持中文和英文，并结合了多种推理方法。文章还介绍了模型的性能、使用方法以及未来的发展方向。
阅读更多
Heroku 宣布推出基于 Amazon Aurora 的全新 Heroku Postgres Essential 数据库套餐，提供更强大的性能、可扩展性和灵活性。新套餐起价 5 美元/月，支持 pgvector，取消行数限制，提供高达 32 GB 的存储空间，并提供自动迁移服务。Heroku Postgres Essential 数据库适用于各种用例，包括开发和测试、原型项目、教育项目和教程、低流量 Web 应用程序以及初创公司等。
阅读更多
这篇文章深入探讨了 Rust 异步生态系统中的基础构建块 Pin。作者首先阐述了 Pin 的作用：防止自引用类型在移动时导致的内存安全问题。接着，作者详细解释了 Pin 的设计理念，包括其前身 Move trait 的局限性以及 Pin 如何通过包装指针和引入 Unpin trait 来解决这些问题。文章还分析了 Pin 的可用性问题，例如重新借用、特殊 API 和 Pinned projections 等方面，并指出了这些问题源于 Pin 作为一个纯粹的库类型缺乏语言层面的语法支持。最后，作者展望了改进 Pin 的方向，即引入 Pinned places 的概念。
阅读更多
Cadence 公司在 PCI-SIG DevCon 2024 大会上展示了其面向 PCIe 7.0 的专用光连接解决方案，实现了全球首个 128 GT/s PCIe 7.0 光互连演示。虽然 PCIe 7.0 规范尚未最终确定，但这项技术展示了 Cadence 在光连接解决方案方面的实力，该方案有望在未来几年内满足对 PCIe 7.0 光连接的需求。
阅读更多
本文探讨了在AArch64汇编中优化代码时，不当使用分支指令可能导致性能下降的问题。作者通过一个简单的数组求和示例，展示了如何通过减少分支指令数量来提高代码效率。文章还解释了分支预测器的工作原理，以及为什么不匹配的bl/ret指令对会导致性能下降。最后，作者提供了几种优化代码的方法，包括内联函数、使用SIMD指令和手动循环展开。
阅读更多
美国联邦贸易委员会(FTC)首次禁止数字平台向18岁以下用户提供服务，指控应用程序NGL夸大其使用人工智能遏制网络欺凌的能力。NGL是一款在儿童和青少年中很受欢迎的应用程序，尽管匿名信息网站存在欺凌风险，但它却积极向年轻用户推销。NGL将被要求阻止18岁以下的用户访问该应用程序，并删除从幼儿那里获得的任何数据，除非父母同意。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25369501/Proba_3_working.jpeg)
欧洲航天局计划发射两艘名为Proba-3的航天器，通过精确的轨道控制和编队飞行，其中一艘飞船将遮挡太阳的光线，制造出人造日食，从而使另一艘飞船能够更清晰地观测太阳日冕，以便更好地了解太阳活动对地球的影响。
阅读更多
日本的研究人员开发出了世界上第一个绝热超导微处理器MANA，它使用超导铌材料和绝热量子通量参量器（AQFPs）构建，功耗比传统半导体器件低80倍。虽然目前需要极低温环境才能运行，但MANA在数据中心和超级计算机等大型计算基础设施中具有巨大潜力。
阅读更多