本文回顾了美国国防高级研究计划局(DARPA)在20世纪80年代实施的“战略计算计划”(SCI)。该计划耗资10亿美元,旨在推动计算机、人工智能和机器人技术的发展,打造一个类似电影《终结者》中“天网”的系统。文章详细介绍了SCI的三个主要应用:自动驾驶汽车、飞行员助手和航空母舰作战管理系统,以及它们所面临的技术挑战和最终的命运。文章最后指出,虽然SCI最终未能实现其目标,但其发展出的许多技术如今已成为现实,例如自动驾驶汽车、语音识别等,这些技术既是战争的未来,也是和平的未来。
该项目是开源视频编码标准AV1的软件编码器SVT-AV1的GitLab仓库,由开放媒体联盟(AOMedia)主导开发,提供高质量、高性能的AV1视频编码,支持多种平台和编码模式,采用BSD许可证开源。
一位名叫Blaine Raddon的盐湖城男子在预订特斯拉Cybertruck后,因生活变动,从带车库的房子搬进了停车位狭小的公寓。由于新车尺寸过大无法停放,Raddon试图退回车辆,但特斯拉经销商告知他这种情况不符合公司回购条件,并提醒他根据特斯拉车辆订购协议,如果在第一年内出售车辆,将面临5万美元的罚款,并被禁止购买未来的特斯拉车型。
美国太阳能发电量已达180吉瓦,预计到2034年将增至673吉瓦。为了实现到2035年电力完全脱碳的目标,美国需要大力发展太阳能,使其发电量达到1太瓦,满足全国30-50%的电力需求。文章探讨了实现这一目标的途径,包括提高太阳能技术效率、增加可靠性、简化审批流程、克服化石燃料行业的阻碍等。
本文讲述了1990年美国特勤局突击搜查史蒂夫·杰克逊游戏公司(SJG)总部的诉讼案。特勤局怀疑SJG员工劳埃德·布兰肯希普在其运营的BBS上发布了贝尔南方公司专有的9-1-1系统备忘录,因此进行了搜查并扣押了电脑和软盘。SJG起诉特勤局索赔,最终赢得胜利,法官认为特勤局搜查令准备草率,并对特勤局进行了谴责。
本文讲述了1866年第一条跨大西洋电报电缆的完工对金融市场产生的巨大影响。电缆的铺设使得跨大西洋的通讯时间从一周多缩短到几秒钟,信息传递速度的提升促进了金融市场的全球化,纽约和利物浦的商品市场以及纽约和伦敦的股票市场因此实现了价格趋同和市场效率的提高。文章还探讨了电缆对棉花等商品交易的影响,以及对全球股票市场的影响。
本文探讨了购物中心公共广播系统中普遍存在的近超声波“信标”现象。作者观察到这些大约 20 千赫兹的导频音用于持续测量系统健康状态,并研究了其调制、多普勒频移和回波特性。作者通过频谱图分析,发现导频音会受到背景音乐、人群移动以及经过物体(如火车和滑板车)的影响,并展示了如何利用这些信息估计物体的速度。
文章探讨了从空气中去除二氧化碳 (DAC) 技术的可行性。作者通过计算分离混合气体所需的能量,发现捕获大气中所有二氧化碳所需的能量几乎与全球年能源消耗量相当。即使每年仅去除新增排放量,也需要巨大的能源投入。因此,作者认为DAC技术无法解决气候问题,减少排放才是更有效的途径。
这篇文章是Scheme编程语言的入门指南,旨在帮助读者快速了解和掌握Scheme的基础知识。文章从Scheme的简洁性、可扩展性和强大功能开始介绍,然后逐步讲解了Scheme的基本类型、变量、过程、条件语句、列表、闭包、迭代、递归以及副作用等概念。文章还特别介绍了Scheme的宏机制,展示了Scheme如何通过宏来实现语法扩展,并以一个简单的Scheme解释器为例,展示了Scheme的强大功能。
这篇文章探讨了学术界对“怪咖书呆子”的偏见,以及这种偏见如何阻碍了科学的进步。作者以诺贝尔奖获得者卡塔琳·卡里科为例,说明了那些不善交际、不追求名利的天才科学家是如何被学术界的政治游戏和等级制度所排斥的。作者呼吁学术界应该建立更加包容的制度和文化,认可“怪咖书呆子”的价值,为他们提供更友好的环境,让他们能够专注于科学研究,而不是浪费时间和精力在人际关系和政治斗争上。
Inspectus 是一个用于大型语言模型的可视化工具,可以在 Jupyter notebooks 中使用 Python API 运行。它提供了多种视图,可以深入了解语言模型的行为,包括注意力矩阵、查询词热图、关键词热图和维度热图。该工具支持 Huggingface 模型和自定义注意力矩阵,并提供简单的 API 和教程。
Mathic 是一款考验速度和准确性的数学搜索游戏。玩家需要在网格中找到等于目标数字的等式,并尽可能多地解决目标数字以获得更高的分数。游戏提供多种自定义选项,包括黑暗模式、游戏运算符、网格维度等,并提供详细的游戏统计数据。
拥有20多年历史的反垃圾邮件黑名单服务SORBS被其所有者Proofpoint关闭。SORBS提供了基于DNS的黑名单,列出了超过1200万台已知传播垃圾邮件、网络钓鱼攻击和其他电子邮件恶意软件的主机服务器。超过20万个组织使用SORBS数据,该服务以其准确性而受到高度评价。Proofpoint表示,关闭SORBS的决定是考虑到服务可持续性的各种因素后做出的。反垃圾邮件社区正在努力为SORBS寻找一个合适的接管者,以防止其落入垃圾邮件发送者手中。
这篇论文介绍了 HPTSA,一个由多个 LLM 代理组成的系统,可以利用真实世界中的零日漏洞。之前的代理在单独使用时,难以探索多种不同的漏洞并进行长期规划。为了解决这个问题,HPTSA 引入了一个规划代理,可以启动子代理。规划代理探索系统并确定调用哪些子代理,从而解决尝试不同漏洞时的长期规划问题。研究人员构建了一个包含 15 个真实世界漏洞的基准测试,结果表明,他们的代理团队比之前的工作提高了 4.5 倍。
LinkyCal是一款专为教练和咨询师打造的简单、现代化的日程安排和客户管理软件,内置销售自动化功能。它提供预约排程、客户管理、页面搭建、表单创建、支付集成等功能,帮助用户简化业务流程、提高效率。LinkyCal价格实惠,并提供免费试用,适合希望摆脱繁琐行政工作、专注于客户服务的小型企业主。
汉谟拉比法典是一部古巴比伦法律文献,创作于公元前1755年至公元前1750年,是古代近东地区篇幅最长、组织最完善、保存最完好的法律文献。法典主要内容刻在一块2.25米高的玄武岩石碑上,石碑于1901年在现今伊朗的苏萨遗址被重新发现,现藏于卢浮宫博物馆。法典内容涵盖了广泛的社会生活领域,包括刑法、家庭法、财产法和商业法等,其目标是“防止强者压迫弱者”,以维护社会秩序和公平正义。
过去,像作者一样集视觉艺术家、数字营销人员、网络开发人员、作家和讲故事者于一身的人会被认为“不务正业”,如今,这样的人却成了香饽饽。随着科技发展和社会需求变化,企业越来越看重员工的灵活性、创造力、学习热情和快速适应能力,自学者时代已经来临。自学者不仅能够自主学习,更重要的是拥有强大的自学信念,他们不盲从权威,相信条条大路通罗马,并能从失败中不断学习。文章鼓励读者拥抱变化,相信自己学习新技能的能力。
KickC是一款针对基于6502平台的C语言编译器,可以生成高度优化且易读的汇编代码。该语言保留了95%的标准C语言特性,但也存在一些限制和扩展。
这篇文章讨论了是否存在 TeX 语言的 BNF 语法。TeX 是一种图灵完备的语言,它允许在运行时重新定义宏及其解析规则,这意味着 TeX 的语法可以被动态修改。此外,TeX 的类别代码机制允许用户更改字符的行为方式,这使得解析更加困难。因此,不可能为 TeX 创建 BNF 语法,因为它的语法过于复杂和灵活。
委内瑞拉最后的冰川洪堡冰川已经完全消失,标志着该国环境的重大变化。卫星图像显示,从2015年到2024年,该冰川的面积从约0.1平方公里减少到几乎不存在。这一损失反映了全球热带冰川退缩的更广泛趋势,而全球气温上升加剧了这一趋势。洪堡冰川的消失是全球变暖导致热带冰川萎缩和消失的最新例证。
本文探讨了美国经济中普遍存在的“经济白蚁”现象,即在鲜为人知的行业领域形成垄断,企业通过不断提价获取巨额利润。文章列举了Verisign、Autodesk、Linde、Assa Abloy、Gracenote和LinkedIn等公司,它们分别在域名注册、建筑设计软件、工业气体、智能锁、娱乐数据和职业社交网络等领域占据主导地位,并利用其市场力量压制竞争对手,导致价格上涨和服务质量下降。作者认为,这种垄断现象源于过去几十年美国政府对反垄断法的忽视,呼吁加强监管,恢复公平竞争的市场环境。
本文讲述了Peter McIndoe出于行为艺术的目的,编造了“鸟类不是真的”这一阴谋论,并观察人们的反应。这一讽刺性的运动意外走红,引发了集会、病毒式传播和媒体报道。McIndoe通过扮演阴谋论领导者的角色,揭露了错误信息是如何被有意引发和传播的,以及人们为何容易相信阴谋论。他认为,相信阴谋论的人往往渴望归属感和目标感,而解救他们的方法不是强迫他们接受事实,而是建立联系和社区。
这篇博文讨论了在线论坛中扁平化讨论和树状讨论的优缺点。作者Jeff Atwood赞同Joel Spolsky的观点,认为尽管看起来违反直觉,但扁平化讨论实际上比树状讨论更利于保持对话的连贯性和可读性。作者认为,树状讨论会导致话题偏离和阅读体验的割裂,扁平化讨论虽然也有其局限性,但相比之下问题要小得多。
libg203lightsync是一个C++库,允许开发者以编程方式与罗技G203 Lightsync鼠标交互。该库提供了控制鼠标灯光效果的功能,例如颜色、亮度和模式。开发者可以使用该库创建自定义应用程序或脚本,以增强游戏体验或实现个性化设置。
本文介绍了MenuetOS 64位版本操作系统的启动过程,分析了其主引导加载程序(PBL)的运行机制。文章首先介绍了x86/x64环境下UEFI和BIOS两种引导系统的区别,以及主引导记录(MBR)的概念。随后,文章详细分析了MenuetOS 64位版本的PBL代码,包括如何使用BIOS中断函数读取磁盘扇区、如何将内核和配置文件加载到内存中,以及如何将控制权移交给内核。
杰弗里·罗利森在1987年将当时的女友玛格丽特·洛辛格列为其工作场所退休账户的唯一受益人,但之后却忘记更新。罗利森于2015年去世,他的兄弟发现洛辛格可能会继承他100万美元的退休账户。由于受益人表格的效力高于遗嘱,即使是多年前填写的表格,这起案件凸显了定期审查和更新退休账户、人寿保险和银行账户受益人信息的重要性。
由于欧盟可能对中国补贴的进口产品采取强硬措施,沃尔沃已开始将其中国制造的电动汽车生产转移到比利时。此举旨在避免欧盟对从中国工厂涌入欧洲的大量廉价电动汽车征收关税。分析人士表示,沃尔沃在中期受欧盟行动的影响最大,但现在该公司正在迅速采取行动,以避免被征税,因为如果继续在中国生产,其售价33,795英镑的EX30将无利可图。
文章探讨了伦敦有多少条名为“High Street”的街道。作者利用国家街道地名录,发现伦敦共有57条官方名称为“High Street”的街道,且全部位于外伦敦。内伦敦没有一条街道官方名称为“High Street”,而是被称为“Something High Street”。作者还分析了伦敦最长和最短的“High Street”以及“Something High Street”,并讨论了内伦敦没有“High Street”的原因。
这篇文章是Vulkan入门教程的导论,介绍了Vulkan的基本信息以及学习该教程的预备知识。Vulkan是一个由Khronos组织开发的新的图形和计算API,它为现代图形卡提供了更好的抽象,与OpenGL和Direct3D等现有API相比,性能更佳,驱动程序行为更易预测。该教程需要读者具备C++经验、3D计算机图形学基础,并将逐步讲解如何使用Vulkan绘制第一个三角形。
1967年9月3日,瑞典进行了一次重大的交通规则改革,将车辆行驶方向从左侧改为右侧,这一天被称为“H日”。 尽管民众反对,但政府坚持改革,理由是与邻国交通规则保持一致、减少交通事故以及降低车辆改装成本。 改革当天,瑞典交通几乎停滞,以便进行道路标识和信号灯的调整。 此次改革初期有效减少了交通事故,但长期效果有限。