轻量级浏览器Dillo发布了近十年来的首个新版本3.1,该版本包含了许多修复和改进,最重要的是增加了对传输层安全协议(TLS)的支持。Dillo是一款适用于类Unix操作系统的超轻量级图形网页浏览器,使用Fast Light Toolkit编写。它不支持框架、嵌入式媒体播放和JavaScript,因此无法访问大部分现代网站。但它可以在非常低端的硬件上运行,是Damn Small Linux等轻量级Linux发行版的首选浏览器。
柏林特斯拉工厂的抗议者表示,由于地区政客的背叛,公民不服从是必要的。他们抱怨特斯拉和勃兰登堡州政府在推进工厂扩建过程中没有关注公民的利益,并担心当地饮用水可能受到污染。抗议者还提到了阿根廷或玻利维亚等国家为开采锂矿而造成的环境破坏,锂是电动汽车电池所需的矿物。
科学家在陨石中发现了构成DNA和RNA的全部五种碱基,为生命起源于太空的假说提供了新的证据。研究人员使用温和的冷水提取技术,在四块陨石样本中检测到腺嘌呤、鸟嘌呤、胞嘧啶、尿嘧啶和胸腺嘧啶,以及其他几种与生命相关的化合物。虽然一些检测到的化合物的含量高于周围土壤,但胞嘧啶和尿嘧啶的含量在土壤中更高,这引发了关于地球污染的疑问。为了进一步验证这一发现,科学家计划分析来自小行星Ryugu和Bennu的原始样本。
ANIMAL WELL是一款超现实、互联的迷宫游戏,玩家需要收集物品,解谜,并努力在黑暗中生存。游戏拥有多个层次的秘密,玩家需要谨慎行事,评估哪些生物是安全的,哪些是危险的。游戏由定制引擎/渲染器构建,专门针对现代硬件上的像素艺术,灵感来自生存恐怖、冒险游戏以及任天堂经典游戏,如塞尔达传说和银河战士。
美国国家航空航天局(NASA)正在推进一项在月球上建造磁悬浮列车的计划,该项目被称为“轨道上的灵活悬浮”(FLOAT)。FLOAT项目旨在开发一种可靠、自主和高效的月球货物运输系统,预计在2030年代投入使用。该系统将由磁悬浮机器人组成,在三层薄膜轨道上运行,以减少月球表面灰尘的磨损。安装在机器人上的货车将以约1英里/小时(1.61公里/小时)的速度移动,每天可以运送约100吨(90公吨)的材料。
这篇文章指出,视觉Transformer (ViT) 的特征图中存在人为现象,表现为高范数的特征主要出现在图像信息量低的背景区域。文章提出了一种简单有效的解决方案:在ViT的输入序列中添加额外的特征(“寄存器”),用于填充这些高范数特征,从而修复该问题。实验结果表明,该方案可以修复监督和自监督模型中的问题,并在密集视觉预测任务中为自监督视觉模型设定了新的技术水平。
这篇文章简要介绍了太阳,重点描述了它的尺寸、质量、化学成分以及它在太阳系中的重要地位。文章还提到了恒星的颜色与其温度之间的关系,并展示了银河系中十万颗恒星的分布图。
本文介绍了如何使用 Hammerspoon 脚本和 Playdate 的串行连接功能,实现用鼠标与 Playdate 设备交互。作者详细介绍了该方法的实现原理、使用方法和潜在应用场景,并提供了示例项目和演示视频。
本文探讨了“第三空间”的概念,即除家(第一空间)和工作场所(第二空间)之外,人们常去的场所,例如酒吧、公园、健身房等。第三空间为人们提供社交、休闲和建立人际关系的机会,对个人幸福感和社区凝聚力至关重要。然而,由于社会经济因素、城市规划以及人们生活方式的改变,第三空间正在减少。文章呼吁重新思考和重塑第三空间,以满足当代人的需求,并提供了一些寻找和利用第三空间的建议。
为了在人工智能领域取得领先地位,科技公司们展开了对数字数据的激烈争夺。据《纽约时报》报道,OpenAI、谷歌和Meta等公司为了获取数据,不惜采取不正当手段、忽视公司政策,甚至讨论钻法律空子。OpenAI利用YouTube视频获取文本数据,谷歌也利用YouTube用户数据开发人工智能产品,Meta则讨论购买出版公司以获取版权数据。这些行为引发了关于版权和数据隐私的争议。
日本东京工业大学、富士通和其他机构的研究人员宣布,他们利用日本超级计算机“富岳”开发了一种大型语言模型,可以作为生成式人工智能的基础。Fugaku-LLM模型在日语数据上进行了广泛的训练,日语数据占总训练数据的60%,预计将引领针对国内需求的生成式人工智能研究。
加州大学圣地亚哥分校医学院的研究人员揭示了出生到儿童期自闭症谱系障碍(ASD)出现之间发生的代谢变化。研究人员发现,少数生化途径导致了这些变化的大部分,这可能有助于为自闭症的早期检测和预防策略提供信息。研究表明,自闭症儿童体内与细胞危险反应相关的生化途径发生了改变,可能导致对环境刺激的高度敏感,进而引发自闭症的感官敏感和其他症状。
文章详细解释了acquire-release语义,从线性化内存的误解开始,介绍了CPU如何重新排序指令以及这可能导致多线程代码出现问题。文章深入探讨了如何使用fence指令来强制执行内存顺序,并引入了acquire-release语义作为一种更灵活的内存排序保证。文章以一个使用acquire-release语义的无锁单生产者单消费者环形队列的C++实现作为示例,阐明了这些概念的实际应用。
微软和红帽建立了合作伙伴关系,旨在重塑云计算和开源技术领域。这一合作将为企业带来变革性的价值,并为更广泛的开源社区带来益处。双方将共同开发解决方案,简化红帽技术向云的现代化和迁移,并将它们与微软的Azure平台无缝集成。此次合作还提供了商业利益,例如微软承诺从Azure市场购买红帽解决方案,以及通过预留实例购买节省大量成本。
本文介绍了 marimo,一个从头开始重构 Python notebook 的项目。作者提出了三个核心需求:可重复性,可维护性和多用途性。为了实现可重复性,marimo 将每个 notebook 建模为一个有向无环图 (DAG),消除了隐藏状态,确保代码和输出始终同步。为了提高可维护性,marimo 使用纯 Python 文件格式,使其易于版本控制和移植。最后,marimo 的 DAG 结构和 UI 元素使其成为多用途工具,可以作为交互式网络应用程序运行,作为脚本执行,甚至可以用于批处理计算。
Fedora Asahi Remix 40 发布,为搭载苹果M系列芯片的苹果硬件带来了桌面Linux体验。该版本支持更多硬件功能,预装了KDE Plasma 6桌面环境,并修复了大量错误。尽管Thunderbolt、USB4、内置麦克风、Touch ID以及USB-C显示器支持等功能仍然缺失,但对于主要将苹果笔记本电脑用作便携设备的用户来说,这是一个值得尝试的桌面Linux发行版。
田纳西河流域管理局 (TVA) 是美国联邦政府拥有的电力公司,服务范围涵盖田纳西州全境以及阿拉巴马州、密西西比州和肯塔基州的部分地区。TVA 成立于 1933 年,是罗斯福总统新政的一部分,最初的目的是为田纳西河流域提供航运、防洪、发电、肥料制造、区域规划和经济发展。TVA 已发展成为美国最大的公共事业公司之一,拥有多元化的发电组合,包括核能、燃煤、天然气、水力发电和可再生能源。TVA 历史上因其在田纳西河流域的现代化努力以及帮助该地区创造新的就业机会方面取得的成功而受到赞誉,但也因其使用土地征用权和为建设基础设施项目而导致超过 125,000 名田纳西河流域居民流离失所而受到批评。
UniSuper 和谷歌云发布联合声明,就近期 UniSuper 服务中断向用户致歉。谷歌云CEO确认服务中断原因是由于 UniSuper 私有云服务配置错误,导致订阅被删除。谷歌云表示这是全球范围内首次发生此类事件,并已采取措施防止再次发生。UniSuper 备份数据帮助服务得以恢复,双方正努力尽快完成恢复工作。
塑料扫描仪项目致力于开发一种能够识别常见塑料类型的开源设备,旨在简化塑料回收流程,使其更易于操作且更具可行性。该项目目前处于原型设计阶段,团队正在努力开发推荐用户构建或购买的版本。该设备的工作原理基于近红外光谱技术,可以识别日常生活中使用的75%以上的塑料。
英伟达计划从R560系列Linux驱动开始,将开源GPU内核驱动作为GeForce RTX 2000 “图灵”及更新GPU的默认驱动。这一改变意味着英伟达正在逐步采用开源方案,未来可能会在新一代GPU上只支持开源驱动。尽管如此,用户空间驱动方面,特别是CUDA计算领域,英伟达尚未表现出转向开源的迹象。
美国最高法院澄清,版权持有人可以对多年前甚至几十年前发生的版权侵权行为索赔。法院多数意见驳回了下级法院关于损害赔偿存在三年时效限制的论点。只要诉讼是在“发现”侵权行为的三年内提起,旧的索赔就是公平的游戏。
卡尔达肖夫指数是根据文明可利用的能源量来衡量其技术进步水平的方法。该指标由苏联天文学家尼古拉·卡尔达肖夫于1964年提出,并以他的名字命名。卡尔达肖夫指数将文明分为三种类型:I型文明可以利用其行星上的所有可用能源;II型文明可以利用其恒星的全部能量输出;III型文明可以利用其整个星系的能量。卡尔达肖夫最初的分类方法后来被其他学者扩展,包括更广泛的功率级别(0 型、IV 型和 V 型),以及除纯功率之外的其他指标(例如计算增长或食物消费)。
PeaZip 是一款免费的压缩软件,类似于 WinRar、WinZip 和 7-Zip,基于 7-Zip/p7zip 压缩器、Facebook Zstandard 压缩器、FreeArc、Google Brotli 压缩器、PAQ 系列压缩器、PEA(归档和加密)项目以及其他免费软件文件压缩工具的开源技术。PeaZip 支持超过 200 种归档格式,从 7Z 和 ZPAQ 等非常强大的压缩器到 Brotli 和 Zstandard 等速度极快的压缩器,并且可以选择轻松转换归档。
这篇文章探讨了 Emacs 中各种窗口管理方法,从基础的 other-window 和 windmove,到高效的 winum-mode 和 ace-window,再到鼠标操作和窗口布局变换等。文章还深入探讨了如何利用 other-window-prefix 和 ace-window-prefix 解耦窗口选择和命令执行,并提供了在其他窗口执行操作的技巧,例如 scroll-other-window 和 isearch-other-window。最后,文章还提出了对 Emacs 窗口管理未来的展望,包括 window-tree 和 tiling-wm 集成等。
本文介绍了自行车品牌开始采用C-V2X技术来提高骑行者安全性的趋势。C-V2X技术能够让自行车和汽车直接通信,即使不在视线范围内也能提醒驾驶员注意骑行者,从而预防事故发生。文章详细解释了C-V2X技术的原理、优势以及未来应用,并介绍了奥迪、Trek、Stromer等汽车和自行车品牌在该领域的探索和进展。