研究人员开发了一种名为Exbody2的全身运动跟踪框架，使人形机器人能够像人类一样稳定地执行富有表现力的动作。该框架利用强化学习在模拟环境中进行训练，然后转移到现实世界。它解耦了关键点跟踪和速度控制，并有效地利用特权教师策略将精确的模仿技能提炼到目标学生策略中，从而能够高保真地复制跑步、蹲伏、跳舞等动态动作。实验结果表明，Exbody2在两个不同的人形机器人平台上均取得了优于现有技术的性能，为人形机器人的全身控制提供了实用指南。
阅读更多
SEO专家Elie Berreby指出，谷歌搜索质量持续下降，引发用户广泛不满。通过分析YouTube评论等非官方渠道的用户反馈，他发现用户抱怨搜索结果质量下降、广告过度、AI概览窃取内容等问题。谷歌的策略似乎更注重盈利，忽视了用户体验，这可能导致用户转向其他搜索引擎。文章警告谷歌，若不改进，将面临严重后果。
阅读更多
ad是一款新颖的文本编辑器，它结合了Vim和Kakoune的模态编辑接口以及Plan9的Acme的可扩展性方法。ad允许用户执行文本，并将其作为实验平台，用于探索各种文本编辑器功能的实现。目前，ad已足够稳定，并具备一定的功能，用户可以尝试使用，但文档较少，可能存在一些bug。ad的设计理念是融合Vim的模态编辑、Emacs的mini-buffer、以及Acme的编辑命令和可扩展性，旨在创建一个舒适的编辑环境，支持与外部工具和程序直接交互。
阅读更多
本文介绍了一种简单易生成的XOR纹理，它通过对像素的x和y坐标进行异或运算生成。虽然XOR纹理在演示或游戏中并不常用，但它非常适合测试纹理映射器。文章详细解释了XOR运算的原理，并探讨了纹理尺寸对颜色亮度的影响，以及如何使用AND和OR运算符生成类似的纹理。最后，作者展示了XOR纹理在三维纹理中的应用示例。
阅读更多
本文探讨了设计令牌在现代UI架构中的作用。通过将设计决策转化为数据，设计令牌作为单一事实来源，实现跨平台自动化代码生成，从而提高设计一致性和更新速度。文章详细介绍了设计令牌的分层组织（选项令牌、决策令牌、组件令牌），自动化分发流程，以及如何选择合适的层数和令牌范围。最终，它阐述了设计令牌的适用场景和局限性，帮助读者判断其是否适合自己的项目。
阅读更多
dLine是一款命令行工具，它直接在终端显示重要数据，以日历的形式呈现。它可以监控关键日期、通过API简化事件添加，并计算各种事件类型的时间跨度。dLine专为开发者设计，无需离开终端即可简化事件管理和日程导航。它具有动态视图、静态视图和事件计算器视图，并支持多种数据管理功能，包括添加、删除、查看和清理事件。dLine还支持自定义颜色方案和用户翻译，可以与Google Calendar集成。
阅读更多/https%3A%2F%2Ftf-cmsv2-smithsonianmag-media.s3.amazonaws.com%2Ffiler%2F08%2F62%2F0862a808-d3dc-446f-96e4-f950e7496571%2F09d_on2017_opener_saturnv3s71-17620_orig_live.jpg)
本文讲述了美国土星五号运载火箭的研发历程。从肯尼迪总统提出登月目标，到一群工程师、技术人员和承包商夜以继日地工作，克服了诸如火箭燃料的危险性、巨型引擎的研制以及各部件组装的精密性等巨大挑战，最终成功将人类送上月球。文章穿插了多位参与者的口述历史，生动展现了这段辉煌历史背后的艰辛与付出，以及对科技突破的执着追求。
阅读更多
CSIRO发布了“开放水安全科学地图”，这是一个互动地图，通过AI技术可视化了自2010年以来CSIRO水安全项目公开发表的论文的地理分布。该地图目前为3个月试用版，可能存在偏差，需谨慎使用。用户可以查看研究的演变，点击论文查看详细信息，包括作者和全文链接。该项目展示了AI在解决环境科学问题上的创新应用。
阅读更多
欧洲刑警组织牵头，15个国家参与的“PowerOFF”行动成功捣毁了27个主要的DDoS攻击平台（俗称“booter”和“stresser”网站）。这些平台允许网络罪犯和黑客组织向目标发送非法流量，导致网站和网络服务瘫痪。此次行动不仅打击了众多犯罪分子，还成功阻止了对美国司法部、FBI等政府机构的攻击。虽然此次行动取得了阶段性胜利，但专家们也指出，网络犯罪分子会迅速适应，采取新的策略和平台继续作案，因此打击DDoS攻击需要持续努力。
阅读更多
OpenAuth是一个通用的、基于标准的开源认证提供商，它可以作为独立服务部署，也可以嵌入现有应用程序。它支持多种平台和框架，包括Node.js、Bun、AWS Lambda和Cloudflare Workers。OpenAuth遵循OAuth 2.0规范，可定制，并提供预构建的主题化UI。与其他开源认证解决方案不同，OpenAuth是一个集中的认证服务器，运行在用户自己的基础设施上，简化了自托管过程。它不处理用户管理，而是通过回调机制允许开发者实现自己的用户查找/创建逻辑。OpenAuth使用简单的KV存储，并提供多种实现，例如Cloudflare KV和DynamoDB。它还提供可主题化的UI，方便开发者快速上手。
阅读更多
IncludeOS 是一款轻量级操作系统，允许开发者在云端运行应用程序，无需传统操作系统。它将操作系统功能集成到应用程序中，从而创建高性能、安全且资源高效的虚拟机。IncludeOS 应用程序启动速度极快（数十毫秒），内存和磁盘占用极低（几兆字节）。开发者可以使用简单的命令行工具进行构建和部署，并提供了丰富的示例和文档，帮助开发者快速上手。
阅读更多
SeleniumBase是一个强大的Python框架，用于Web自动化、测试和绕过机器人检测。它基于Selenium WebDriver，并集成了pytest等测试运行器，提供简洁的语法和丰富的功能，例如自动等待页面元素加载、生成测试报告和Dashboard、支持多种浏览器和操作系统等。SeleniumBase还提供多种模式，例如UC模式和CDP模式，以增强测试的隐蔽性和可靠性，并包含丰富的示例和文档，帮助用户快速上手。
阅读更多
Cerbos公司为了简化复杂的授权逻辑，开发了一个名为“Playground”的协同IDE和测试环境。为了实现无缝协作，“Playground”利用了无冲突复制数据类型（CRDT）。CRDT能够自动解决分布式系统中的冲突，允许多个用户同时处理同一数据集，并最终保证数据一致性。文章详细介绍了CRDT的工作原理，并比较了两个流行的CRDT库：Yjs和Automerge，同时也探讨了自主构建CRDT的可能性及挑战。Cerbos将CRDT与后端即前端（BFF）架构相结合，利用WebSocket进行数据传输，并通过IndexedDB实现本地持久化，构建了高效的协同开发平台。
阅读更多
FastVideo是一个开源框架，旨在加速大型视频扩散模型的推理和训练。它支持FastMochi和FastHunyuan等模型，能够将推理速度提升8倍。该框架利用知识蒸馏技术，并支持基于PCM的视频DiT模型的蒸馏、微调和推理。此外，FastVideo还具有可扩展的训练功能，支持FSDP、序列并行和选择性激活检查点，并能高效地利用内存进行微调。
阅读更多
Rust凭借其在编译时消除内存和并发错误的能力而日益流行，但其`unsafe`代码块却可能绕过这些检查。本文探讨了验证Rust不安全代码的工具，包括从C或C++库调用的不安全代码。文章介绍了运行时错误检测工具——Sanitizers，以及能够确定性地查找未定义行为的解释器——Miri。Sanitizers可以检测内存访问越界、数据竞争等错误，而Miri则更精确，能提供代码片段和错误信息。然而，Miri目前尚不支持通过FFI调用C/C++库的代码，这时可以使用C/C++编译器的Sanitizers进行检查。 通过这些工具，即使在处理`unsafe`代码或与C/C++库交互时，也能提高Rust代码的安全性与可靠性。
阅读更多
BYOJS项目提倡使用原生JavaScript构建Web应用，而非依赖大型框架。它认为，虽然框架和TypeScript等语言很流行，但直接运用核心JS语言构建高效Web应用是一种被遗忘的艺术。BYOJS鼓励使用松散耦合的库，而非高度耦合的框架，主张选择最合适的工具，以最简洁的代码完成任务。该项目提供了一些实用工具，例如简单的键值存储API、异步事件发射器、模态弹窗封装器等，所有代码均遵循MIT许可证。
阅读更多
本文深入浅出地讲解了网络协议栈的工作原理，从可靠的数据传输到物理层硬件的细节，展现了其背后惊人的复杂性和精妙之处。文章以一个88.5MB视频下载为例，阐述了IP、TCP、Ethernet等协议如何协同工作，克服网络的不稳定性和数据包丢失等问题，最终实现可靠、高效的数据传输。作者揭示了看似简单的网络操作背后，隐藏着复杂的路由算法、拥塞控制、数据包重组等技术，以及各种协议之间相互依赖和制约的关系，并解释了为何以太网数据包大小设定为1500字节等历史遗留问题。
阅读更多
芬兰奥卢大学SensorFu团队开发了一套创新的网络安全防御系统，灵感源于LaBrea tarpit技术。该系统通过拦截ARP请求和延迟SYN-ACK响应，在网络中创建大量虚拟设备，迷惑入侵者，使其在识别真实设备时耗费大量时间，从而为管理员赢得宝贵的时间来修补漏洞。测试结果显示，该系统可将扫描时间延长至数小时甚至更长，极大降低了攻击成功率。这套轻量级、高效的系统易于部署，为各种规模的组织提供了强大的网络安全防护能力。
阅读更多
Dylan Huang的开发者工具创业公司Konfig，历经三年，最终以失败告终。Konfig专注于简化API集成，主要产品是SDK生成器，还提供API文档和测试工具。尽管获得了一些早期客户，但由于难以签署合同和定价过低，公司未能实现高速增长。随后尝试转向B2B SaaS AI领域，但同样未能找到足够的市场吸引力。如今，Huang决定开源Konfig的全部代码，包括核心产品、失败的迭代版本、各种脚本、部署配置等，希望能帮助其他开发者。这段创业经历虽然以失败告终，但却让他收获了宝贵的经验和教训。
阅读更多
一项针对标普500指数中54家高科技和金融公司超过300万名员工的研究发现，强制返岗(RTO)政策导致公司流失了部分优秀员工，并增加了招聘难度。研究表明，实施RTO政策后，公司员工离职率平均上升了14%，高技能和资深员工的离职率更高。女性员工的离职率更是男性的近三倍。此外，RTO政策还导致招聘时间延长，招聘成本增加。一些公司通过监控员工行为来强制执行RTO政策，引发了员工的反感和不满，加剧了人才流失。研究指出，RTO政策反映出一种不信任的管理文化，这种管理方式效率低下且降低员工敬业度。
阅读更多
由于津巴布韦传统互联网速度慢、可靠性差且价格昂贵，SpaceX的Starlink卫星互联网服务在该国推出几周内便销售一空。 强劲的需求导致Starlink在哈拉雷等城市地区迅速售罄，甚至蔓延到尼日利亚和肯尼亚等非洲其他国家。 尽管Starlink的价格高于当地运营商，但其无限数据和高速连接使其对许多人更具吸引力，迫使当地运营商下调价格。 虽然目前主要城市Starlink供应紧张，但其在农村和欠发达地区的潜力巨大，也促进了当地相关产业的增长，如Starlink安装和配件销售。
阅读更多
Imgur 上的一张专辑记录了一位手工匠人制作机械腕表的全过程。从零部件的准备到精密的组装，每一个步骤都展现了精湛的技艺和对细节的极致追求。读者可以透过图片，感受机械腕表制作的魅力，体会到时间与技艺的完美融合。
阅读更多
Surfer Protocol是一个开源框架，旨在帮助用户导出并构建基于个人数据的应用程序。面对数据散落在各个平台的现状，Surfer Protocol提供了解决方案。它包含一个桌面应用程序，用于从各种应用和服务中导出数据，以及一个Python SDK，用于构建基于这些数据的应用程序。用户可以利用Surfer Protocol创建个性化AI模型、从大型科技公司手中夺回数据控制权，或留下数字遗产。
阅读更多
Qualia计算研究所提出了一种新颖的注意力模型，该模型将注意力视为大脑电磁场中动态模式的管理。通过模拟谐波振荡的加权组合产生的电场线，研究人员展示了注意力如何通过调节潜在的谐振模式来控制电荷密度，从而解释了注意力行为中看似随机的波动和漂移。该模型还提供了对迷幻体验的潜在解释，认为迷幻剂通过改变谐波模式的配置来扰乱注意力的正常流动。这项研究为理解意识和开发新的神经干预技术提供了新的视角，例如通过非侵入性地扰动注意力的相位锁定来诱导意识的奇特状态。
阅读更多
一篇博文探究了1993年OS/2 2.1版本中令人惊奇的内置虚拟化功能。作者通过编写一个简单的VGA模式程序，并将其分别在DOSBox、QEMU以及OS/2自身的虚拟化环境中运行，展示了OS/2如何加载和执行磁盘镜像，如同现代的虚拟机一样。OS/2甚至可以加载并运行并非真正的可引导DOS软盘镜像，通过VMDISK创建镜像文件，并在OS/2中以全屏或窗口模式运行。这一功能在1993年显得尤为先进，堪称内置的QEMU，引发了作者对OS/2虚拟化功能更多潜力的思考。
阅读更多
本文探讨了二战后高速公路发展史上的几个关键事件和误解。文章澄清了德国高速公路并非最初为军事目的而设计，而是为了刺激经济和提升国家形象。尽管盟军在二战后期利用了德国高速公路，但这并非其最初设计意图。 文章还驳斥了美国州际公路系统“五分之一路段笔直平坦以供轰炸机紧急降落”的谣言，并解释了其真正目的是为了促进民用交通和经济发展，但也兼顾了军事需求，例如方便军队调动和工业生产。最后，文章回顾了二战后，各国军队利用高速公路作为战时飞机紧急跑道的尝试和演练，并指出其局限性及最终被机场跑道所取代的历史进程。
阅读更多
Voxon公司利用其突破性的VLED技术，创造出实时交互式三维体积全息图，数百万个光点在三维空间中漂浮，带来身临其境的360度全视角体验。其产品VX2和VX2-XL分别面向个人和商业用户，提供高质量的体积全息显示，适用于娱乐、通信和数据可视化等领域。Voxon还积极寻求合作伙伴，共同探索体积全息技术的更多应用场景，开启未来娱乐和数据展示的新篇章。
阅读更多
两项来自南丹麦大学（SDU）的独立研究表明，使用Ozempic治疗2型糖尿病的患者，其患非动脉炎性前缺血性视神经病变（NAION）的风险增加，NAION会导致严重和永久性视力丧失。这两项基于丹麦注册数据的全球最大规模研究发现，Ozempic使NAION风险增加一倍以上。研究人员呼吁医生和患者讨论Ozempic的利弊，并建议如果发现一只眼睛患有NAION，应停止使用Ozempic。
阅读更多
Hooklistener是一款在线Webhook调试和测试工具，它提供实时有效载荷检查、本地测试、自定义调度、可操作的警报和团队协作等功能。用户可以轻松设置端点，接收和分析Webhook，并通过计划任务自动化工作流程。Hooklistener提供免费和付费计划，满足不同用户的需求，帮助开发者更高效地管理和调试Webhook。
阅读更多
Modular发布了MAX 24.6，一个原生GPU生成式AI平台，旨在重新定义AI的开发和部署方式。MAX 24.6的核心是MAX GPU，一个垂直整合的生成式AI服务堆栈，摆脱了对NVIDIA CUDA等厂商专用计算库的依赖。它基于高性能AI模型编译器和运行时MAX Engine以及Python原生服务层MAX Serve，支持整个AI开发流程，从实验到生产部署。MAX 24.6支持多种硬件平台，包括NVIDIA A100、L40、L4和A10加速器，并计划支持H100、H200和AMD GPU。其与Hugging Face模型兼容，并提供OpenAI兼容的客户端API。MAX 24.6在Llama 3.1模型上实现了3860个输出token/秒的吞吐量，与vLLM性能相当，并具有更小的Docker镜像尺寸。
阅读更多