大型机器人项目致谢名单:数百位贡献者齐聚一堂
一个大型机器人项目发布了长长的致谢名单,数百位贡献者,包括研究人员、工程师和运营人员,为项目的成功做出了贡献。名单涵盖了来自世界各地的专家,展现了该项目背后庞大的协作网络。
阅读更多
一个大型机器人项目发布了长长的致谢名单,数百位贡献者,包括研究人员、工程师和运营人员,为项目的成功做出了贡献。名单涵盖了来自世界各地的专家,展现了该项目背后庞大的协作网络。
阅读更多
作者开发了一个名为ofc的工具,允许在Bash脚本中轻松集成Ollama大型语言模型。该工具支持自定义系统提示,方便用户比较不同提示下的模型行为。文章举例说明了如何使用ofc生成数据集测试Harper,以及如何利用模型自生成提示来进行更深入的探索。ofc可以通过cargo命令从crates.io或GitHub仓库安装。
阅读更多
本文讲述了喷气式发动机从发明到成熟的历程,它并非简单的技术堆砌,而是技术与经济的复杂博弈。从最初的突破性设计到克服无数技术难题,再到最终实现商业化应用,每一个阶段都充满了挑战与风险。研发过程中,高昂的成本、漫长的周期、技术瓶颈以及可靠性问题层出不穷,甚至导致企业破产。文章以RB211发动机为例,详细描述了其研发过程中的种种挫折与成功,并分析了推动技术进步的因素,以及为什么只有少数企业能承担如此高风险的研发项目。
阅读更多
网络安全公司发现了一种名为OtterCookie的新型恶意软件,该软件正被朝鲜黑客组织用于“Contagious Interview”行动中,通过伪造的招聘信息诱骗软件开发者下载恶意软件。OtterCookie通过Node.js项目或npm软件包传播,能够窃取加密货币钱包密钥、文件、图像等敏感信息。攻击者还会利用Socket.IO WebSocket工具与命令控制服务器进行通信,并执行系统命令进行数据窃取和环境侦察。安全专家建议开发者谨慎对待网络招聘信息,避免运行可疑代码。
阅读更多
历经数年,收集整理了超过4000个经典Mac主题的“Mac主题机器人”项目终于升级为一个完整的网站——Mac主题乐园!作者耗时数月,手动截图并记录了近4000个Kaleidoscope主题的详细信息,并巧妙地使用Astro构建了一个拥有近5000个页面的静态网站,完美复刻了经典Mac OS 9的用户界面。该网站不仅提供主题下载,还包含作者信息、RSS订阅等功能,未来还将添加颜色搜索、自定义图标展示等功能。
阅读更多
美国国防部长皮特·黑格塞思在其办公室私设一台直接连接公共互联网的电脑,以便使用Signal通讯应用,引发安全担忧。尽管国防部配备了完善的保密通讯系统,包括危机管理系统(CMS)和国防红色交换网络(DRSN),但他仍然选择绕过这些安全协议,使用个人电脑连接公共互联网,安装Signal应用,方便与白宫及其他使用Signal的特朗普官员沟通。此举引发了对国防部网络安全的质疑,也凸显了高级官员对特定通讯工具的偏好可能带来的风险。
阅读更多
本文探讨了程序员参与开源贡献的常见障碍,并提供了一份务实的指南。作者指出,贡献开源并非仅仅是个人提升,更是为了改进业务依赖的软件。指南详细介绍了贡献流程的六个步骤:与法律部门沟通、了解项目情况、获得维护者支持、编写代码、完成其他工作(如编写文档)以及最终提交和后续工作。作者强调沟通的重要性,建议开发者在贡献前与维护者充分沟通,并遵循一定的流程,以提高贡献成功的概率。最终,文章总结了参与开源贡献的益处,并鼓励开发者积极参与开源社区。
阅读更多
本文介绍了如何通过REST API调用工具,以实现LLM与外部工具的交互。以查询“是否有AirPods Pro库存”为例,首先将提示和工具定义发送到LLM提供商的聊天/完成端点,然后LLM响应工具调用请求,最终实现对外部数据的访问。这展示了LLM如何利用外部工具来扩展其功能,处理更复杂的任务。
阅读更多
Gymbully 是一款激励用户坚持健身的应用。用户设定健身目标(例如,在一个周期内去健身房的天数),每次去健身房后,通过手机应用打卡。作为激励,用户需要押金10美元。达成目标则退款(扣除手续费),未达成则捐赠给慈善机构“拯救儿童”,并获得捐赠收据。这是一个双赢的应用,既能帮助用户坚持健身,又能为公益事业贡献力量。
阅读更多
一位黑客成功逆向工程了2018年发布的Solos智能眼镜,并能够在其显示屏上显示任意图像。通过蓝牙抓包分析,他发现了眼镜与手机App通信的协议,并利用Python脚本将图像数据进行运行长度编码(RLE)后发送至眼镜,成功实现了自定义图像显示。虽然协议细节仍有部分未解之谜,但这项工作已经证明了该眼镜的可定制性,并为其未来开发创造了更多可能性,例如显示邮件主题、天气预报等信息。
阅读更多
美国卫生部长小罗伯特·F·肯尼迪上任以来,推行了一系列激进的医疗改革,引发了众多公共卫生专家的担忧。他大幅削减了卫生预算和人员,并更换了疫苗咨询委员会成员,其中一些人对疫苗持怀疑态度。肯尼迪的目标是“让美国再次健康”,但他忽视了车祸、吸毒过量和枪支暴力等其他主要死因。尽管美国慢性病发病率高,但肯尼迪的方案并未得到广泛支持,其对疫苗安全的质疑也饱受批评。文章分析了美国低寿命预期和高死亡率的多种成因,包括肥胖、缺乏全民医保和社会问题等,并指出肯尼迪的部分解决方案存在误导性。
阅读更多
本文讲述了1964年一款名为《苏美尔游戏》的古老策略游戏的传奇故事。这款游戏是通过打印终端在大型计算机上运行的,玩家扮演苏美尔国王,管理粮食以维持城市发展。尽管在当时影响有限,但它却是现代策略游戏,特别是城市建设和帝国管理游戏的先驱。几十年后,游戏历史学家Andrea Contato通过残留的打印输出和相关文件,成功重建了这款失落的经典,并在Steam上免费发布,为我们展现了一段被遗忘的游戏史诗。
阅读更多
本文深入探讨了SiFive的P550微架构,这是一个面向高性能应用的RISC-V处理器核心。P550采用三发射乱序执行架构,拥有13级流水线,旨在以低于Arm Cortex A75一半的面积实现30%的性能提升。文章通过与Cortex A75的对比,详细分析了P550的分支预测、指令获取和译码、乱序执行、内存子系统等方面,指出P550在某些方面(如未对齐内存访问)表现不佳,但整体而言,它代表了RISC-V向高性能目标迈出的重要一步。虽然P550仍有改进空间,但其在构建高性能通用CPU的道路上展示了SiFive的潜力。
阅读更多
近日,DeepSeek R1 与 OpenAI O1 在金融领域的直接对比测试中,DeepSeek R1 表现出压倒性优势。测试结果显示,在多个关键指标上,DeepSeek R1 的性能显著超过 OpenAI O1,标志着中国在人工智能金融领域的显著突破。这一结果引发了业内广泛关注,预示着中国AI技术在国际竞争中占据了领先地位。
阅读更多
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镜像尺寸。
阅读更多
蒙特利尔大学的一项研究发现,3到5岁的孩子在对玩具进行分类时,展现出超出预期的推理能力。他们不仅能进行简单的二元分类,还能根据多种标准创建多个类别,甚至在分类过程中自行调整标准,体现出复杂的数学推理能力。这项研究挑战了以往对儿童认知发展的认知,并为早期教育提供了新的启示。
阅读更多
NASA的工程师们成功重启了旅行者1号已经失效超过20年的主推进器。这台近50岁的探测器面临着备用推进器燃料管道堵塞的风险,随时可能失效。工程师们冒险尝试重启失效的主推进器,这一举动如同在刀尖上跳舞:如果加热器仍然失效,重启推进器可能导致小型爆炸。幸运的是,该计划成功了,为旅行者1号续命,继续探索星际空间。
阅读更多
一起罕见的猪布鲁氏菌(B. suis)感染病例在美国被报道。该细菌通常存在于猪体内,可导致人类感染布鲁氏菌病。患者并非猎人,但在2017年曾多次食用当地猎人赠送的野猪肉,并在处理过程中直接接触了生肉和血。美国政府已将布鲁氏菌从选择性病原体名单中移除,以方便研究人员进行动物疫苗的研究,但这起病例提醒人们注意食用野味和食品安全的风险。
阅读更多
一个雨天的蒙特利尔,作者在家无所事事,却发现大脑持续“制造”事情,让他无法平静。文章将这种内在的焦虑比作一位喋喋不休的朋友“贝基”,她不断催促作者做这做那。作者最终领悟到,他并非他的想法,可以像对待烦人的朋友一样,选择性地忽略这些想法,从而达到“什么都不做”的境界,摆脱无效忙碌,享受平静的时光。
阅读更多
微软在Build大会上发布了全新的命令行文本编辑器Edit,该编辑器体积小巧(小于250KB),支持多种快捷键操作、查找替换、正则表达式等功能,旨在为64位Windows系统提供一个轻量级的默认CLI文本编辑器,避免用户在使用其他编辑器时遇到的困扰,例如著名的“如何退出vim”问题。Edit是一个开源项目,未来几个月将在Windows Insider计划中提供。同时,微软还将Windows Dev Home重命名为Advanced Windows Settings,将其整合到Windows 11设置界面中,为开发者提供更多个性化设置选项。
阅读更多
本文是Julien Crockett对科幻大师特德·姜的访谈,探讨了姜的创作灵感、对AI的批判性视角以及他对技术未来发展方向的担忧。姜认为当前的AI,特别是大型语言模型,更像互联网的低分辨率图像,缺乏可靠性和真正的理解能力。他强调了人类与工具的关系,以及人类对工具中看到自身特性的倾向。访谈还涉及到语言的本质、艺术创作中AI的作用以及科技发展中伦理问题的思考。姜对技术的乐观态度是谨慎的,他认为我们需要关注潜在的负面影响,并努力减轻其危害。
阅读更多
作者认为,大多数人缺乏系统思维,导致创新乏力。文章提出了一种“翻转比特”的创新方法:选择一个大型系统(例如教育、医疗),改变其中一个核心假设,探索由此产生的后果。例如,如果学生评价老师而不是老师评价学生,会发生什么?这种方法能揭示系统隐含结构,找到新的突破点,激发非凡的创意。作者鼓励读者以系统调试员的思维方式看待世界,发现并利用那些等待被“翻转”的任意点。
阅读更多
开源大模型OLMo-2 32B参数版本宣称其性能超越GPT-3.5-Turbo和GPT-4 mini,且所有数据、代码、权重和细节均公开可用。文章介绍了如何在Mac上使用llm-mlx插件轻松安装和运行该模型,只需简单的命令即可下载17GB模型并进行交互式对话或生成图片,例如生成骑自行车的鹈鹕SVG图像。
阅读更多
本文介绍了一种高效的数值积分技术——高斯求积,特别是切比雪夫-高斯求积法。它通过在特殊节点上评估函数值并进行加权求和来逼近定积分。与传统方法相比,高斯求积法只需较少的节点就能达到更高的精度,尤其适用于[-1,1]区间上的积分。文章还讲解了如何将一般区间和函数形式转化为切比雪夫-高斯求积法适用的形式,并通过实例演示了其应用和优势,最终在海平面变化率估计中得到应用。
阅读更多
作者在eBay上淘到一台1998年生产的IBM ThinkPad 380Z,并尝试在其上安装操作系统。经过尝试多种系统后,最终选择NetBSD,因为它在性能、硬件支持和稳定性方面表现出色。文章详细描述了升级硬盘、连接网络、安装NetBSD系统,以及配置各种软件(包括X窗口系统、WireGuard、终端模拟器等)的过程。最终,作者成功地将这台老旧的ThinkPad 380Z打造成一台可用于轻量级编程、笔记记录等工作的复古电脑。
阅读更多
本文指出,美国科技寡头统治并非新现象,而是多年来逐步形成的。文章批判了民主党长期以来对科技巨头的纵容,例如提供补贴、税收优惠等,助长了科技寡头的崛起。作者认为,科技巨头们已经控制了重要的数字基础设施,对信息传播和社会生活拥有巨大的影响力,其权力甚至凌驾于立法者和公众之上。文章呼吁采取反垄断措施、加强工人权利、提高税收等手段来遏制科技寡头的权力,并强调这需要民主党改变其与科技巨头之间的关系。
阅读更多
2017年的税改法案中,一条关于研发支出税收抵免的条款于2022年生效,要求将研发支出在五年内摊销,而非立即扣除。这一改变对科技公司现金流造成巨大冲击,迫使许多公司进行裁员以应对增加的税务负担。小型科技公司尤其受创,而大型科技公司则将研发工作外包至税收制度更优惠的国家,导致美国就业岗位流失。这并非仅仅是科技行业的问题,它影响了美国经济的很大一部分,引发了对该税收政策的重新审议。
阅读更多
uBlock Origin是一款高效的、轻量级的浏览器广告拦截器,适用于Chrome和Firefox。它默认使用EasyList、EasyPrivacy等多个过滤列表,可以有效拦截广告、追踪器、恶意软件等,保护用户隐私。uBlock Origin还支持自定义规则和过滤器,并提供简单和高级两种模式以满足不同用户的需求。值得注意的是,使用广告拦截器并非盗窃行为,它保护用户的隐私安全。
阅读更多
苹果机器学习研究人员开发了一种名为Activation Transport (AcT) 的新技术,该技术能够对大型生成模型(包括语言模型和图像生成模型)的输出进行精细控制,而无需大量的计算资源或数据。与传统的强化学习或微调方法不同,AcT 通过操纵模型的激活来实现对输出的引导,具有模型无关性和低计算开销的优点。实验结果表明,AcT 在减少模型输出中的毒性、提高生成文本的真实性以及控制图像生成风格等方面都取得了显著成效。这项技术为构建更安全、更可靠的生成模型提供了新的途径。
阅读更多
在一个浏览器游戏中,玩家放置障碍物以阻挡敌人。为了防止玩家通过围困自己或敌人来作弊,作者设计了一种高效的算法来检测封闭空间。最初的暴力搜索法——从每个单元格进行泛洪填充——效率太低。作者提出了一种改进算法,利用“开放式”单元格(不被障碍物包围的单元格)作为缓存,从而减少了泛洪填充的搜索范围。当添加或移除障碍物时,算法会更新“开放式”单元格集并重新计算合法放置位置。虽然最坏情况下的时间复杂度与暴力搜索相同,但在实践中,该算法显著降低了延迟。作者还讨论了其他优化技巧,例如分帧更新和仅检查邻近障碍物的单元格。最后,作者提到了另一种可能的解决方案:基于循环检测的算法。
阅读更多