核手提箱 海洋云增白 可扩展服务 policy 颈挂空调 计算机硬件 极端主义 PostgreSQL AI工具 儿童读物 化学 即时消息 代码审查 反向工程 KDE 数据安全 效率工具 超级计算机 植物学 分析化学 插图 Three.js 泄露 大会 初创 Verizon 海水淡化 GPT-3 加速器项目 更多

从电子游戏中优化乐趣 (henryvincent.uk)

本文探讨了玩家在电子游戏中“优化乐趣”的现象,即玩家倾向于选择最有效、最容易的玩法,即使这种玩法可能并不有趣。作者以《生化奇兵:无限》和《古墓丽影:崛起》为例,阐述了玩家如何通过优化策略来降低游戏难度,并指出这种行为会导致游戏体验下降。作者认为,游戏开发者应该通过激励机制引导玩家选择更有趣的游戏方式,例如《魔兽世界》的休息奖励机制,而不是像《幽浮2》那样惩罚玩家的非预期行为。

我们如何通过加速 CI 流程每月节省 168 天以上的执行时间 (developers.home-assistant.io)

Home Assistant 通过优化 CI 流程,将测试用例拆分为 10 组并进行独立执行,成功将每次完整测试的耗时减少了 3 个小时。根据 2024 年 3 月的 CI 工作流程分析,该优化每月可节省约 168 天的执行时间,从而减少资源使用,并为开发者和社区带来更好的 CI 体验。

美国司法部称波音公司或对737 Max坠机事件负有刑事责任 (www.usatoday.com)

美国司法部周二表示,波音公司违反了2021年的一项协议,该协议使其在两起737 Max灾难导致346人死亡后免于刑事起诉。司法部认为,波音公司未能“设计、实施和执行合规和道德计划,以防止和 détecter 其运营过程中违反美国欺诈法的行为”。政府尚未决定是否对波音提起诉讼,但遇难者家属的律师表示,他们希望看到此案的进一步行动。波音公司表示已收到司法部的通知,并计划做出回应。

MSX Elite:怀旧太空游戏 (thefoggiest.dev)

这篇文章怀旧地回顾了MSX Elite这款经典太空游戏。作者详细介绍了游戏的玩法,包括贸易、战斗、任务等方面,并分享了个人体验和对游戏设定的见解。文章还探讨了游戏中的程序生成机制,以及不同版本之间的差异。作者认为,尽管画面简陋,但MSX Elite营造了一种独特的太空氛围,并为玩家提供了极具挑战性的游戏体验。

迪士尼机器人利用火箭实现完美着陆 (spectrum.ieee.org)

迪士尼研究团队利用水火箭和涵道风机技术,使机器人能够从高空坠落并平稳着陆。研究人员首先利用小型机器人测试了涵道风机在空中姿态控制和着陆稳定性方面的作用,然后通过大型机器人验证了水火箭在高速下降过程中快速减速的能力。实验结果表明,该技术能够有效控制机器人在空中的姿态,并在着陆时吸收冲击力,为未来实现更复杂、更逼真的机器人表演奠定了基础。

模式列表 (patternlanguage.cc)

文章提供了一个模式语言列表,该语言以网络结构组织,旨在指导城镇和社区的设计与建设。文章首先列举了城镇模式,涵盖了区域政策、城市政策、社区网络、社区娱乐等方面。接下来,文章介绍了建筑模式,包括建筑群布局、选址、布局、光线和空间设计等。最后,文章探讨了建造模式,涉及结构布局、框架搭建、窗户和门的设计、室内外细节以及装饰等。

谷歌或展示了运行 ChromeOS 的 Pixel 8 (9to5google.com)

谷歌在最近的一次私密活动中展示了 Pixel 8 手机在外接显示器上运行 ChromeOS 的能力。该项目被称为“ferrochrome”,使用了 Android 13 中引入的 Android 虚拟化框架(AVF)。尽管该功能目前仅限于内部展示,但这表明谷歌正在探索将 Android 和 ChromeOS 整合的可能性。

PaliGemma:谷歌开发者平台上的轻量级视觉语言模型 (ai.google.dev)

PaliGemma 是一款轻量级开源视觉语言模型,它可以理解图像和文本,并回答有关图像的详细问题。PaliGemma 可以用于图像字幕、物体检测和阅读图像中的嵌入文本等任务。文章介绍了 PaliGemma 的两种模型:通用预训练模型和面向研究的微调模型。此外,文章还强调了 PaliGemma 的主要优势,包括多模态理解、多功能基础模型和开箱即用的探索能力。

VCMI 1.5.0 发布 (vcmi.eu)

VCMI 1.5.0 版本发布,主要更新包括在线大厅功能,允许玩家建立多人游戏、与其他玩家互动。此外,还优化了随机地图的生物群落系统,使其更自然,并改进了AI性能。其他更新包括游戏控制器支持、简化gog.com游戏文件安装流程、神器功能改进、可配置快捷键以及全新的主页设计等。

太阳风暴干扰农民 GPS 系统,正值关键播种期 (www.theverge.com)

最近几天,席卷美国的太阳风暴造成了壮观的北极光,同时也扰乱了 GPS 卫星,使一些美国中西部农民的农业运作陷入瘫瘓。据报道,这场风暴导致“一些 GPS 系统”暂时离线,从而影响了“实时动态”(RTK)系统的精度。RTK 系统被 John Deere 和其他品牌的拖拉机用于在播种或施肥等农业工作中实现“厘米级定位精度”。由于这场风暴,许多农民被迫停止播种,而玉米种植的关键截止日期即将到来。

Android Studio 更新频率更高,功能更集中 (android-developers.googleblog.com)

Android Studio 将采用新的版本发布周期,每个动物代号包含两个主要版本:一个平台更新和一个功能更新。初始版本将侧重于 IntelliJ IDEA 平台更新,功能更新则专注于 Android 特定的功能,例如新的登录流程、设备 UI 设置快捷方式、Gemini API 模板等。这种新的发布周期旨在更快地将重要更新推送到稳定频道,并提高 Android 特定功能的质量。

绘图仪编程基础 (medium.com)

本文介绍了如何高效地编程控制绘图仪进行绘图。文章详细讲解了如何优化绘图路径、连接路径、简化路径等技巧,并介绍了使用Python库xy和axi控制Makeblock XY和AxiDraw绘图仪的方法。

Haskell 字符串终极指南 (hasufell.github.io)

本文详细介绍了 Haskell 中各种字符串类型的用途、优缺点和内部实现,包括 String、Text、ByteString、ShortByteString、OsString 等,以及如何安全地构造、转换和序列化这些字符串类型。作者还讨论了 Unicode、字符编码和文本编码等相关概念,以及懒加载 IO 和流处理的优劣。最后,作者反驳了“Haskell 字符串类型太多”的观点,认为每种类型都有其独特的应用场景和价值。

英特尔发布Thunderbolt Share软件:无需网络即可共享文件和屏幕 (www.tomshardware.com)

英特尔发布了一款名为Thunderbolt Share的全新软件,旨在为两台PC提供简单、快速、高效的屏幕和文件共享方式。该软件利用Thunderbolt技术通过有线连接共享屏幕、键盘、鼠标和存储,支持文件夹同步和文件拖放传输。Thunderbolt Share适用于配备Thunderbolt 4或5的电脑、扩展坞和显示器,初期仅支持Windows系统。

Desktop Docs (desktopdocs.com)

Desktop Docs 是一款一站式平台,可以浏览、编辑和导出媒体文件。它使用AI技术,让用户可以通过内容搜索图像和视频,并内置工作室,可以快速编辑和调整文件大小。Desktop Docs 支持将搜索结果中的图像和视频片段导出到Adobe Premiere,方便进行视频编辑。 该软件售价49.99美元,一次性购买,仅支持Mac系统。

ggml:通过 jart 重写 CPU 的 silu 和 softmax (github.com)

该文章讨论了在llama.cpp项目中,jart 提交了一个拉取请求,重写了 CPU 的 silu 和 softmax 函数。重写的函数使用了llamafile的矢量化expf()函数,相比之前的短[65536]查找表,可以更准确地计算 softmax 和 silu。新函数支持 aarch64 和 sse2+,最坏情况下的舍入误差为 2 ulp。作者还编写了 avx2 和 avx512 实现,但与 sse2+fma 相比,它们没有提供太多优势,代码复杂性也不值得。在 AMD Ryzen 9 5950X 和 M2 Ultra 上,SOFT_MAX 比主分支快约 1.5 倍,包含 AVX2 后优势增加到 1.9 倍,znver4 上包含 avx512 后优势高达 2.1 倍。

请不要服用Lumina的防龋齿益生菌 (trevorklee.substack.com)

文章强烈反对使用Lumina公司生产的防龋齿益生菌BCS3L-1。作者认为,该益生菌未经FDA批准,存在安全隐患,且其有效性未经证实。作者详细介绍了BCS3L-1的作用机理,并指出其可能带来的健康风险,包括污染、细菌耐药性、酒精生成和对免疫系统的影响。作者呼吁Lumina公司停止销售该产品,并采取措施帮助已服用该产品的消费者消除其潜在危害。

Yi-1.5:性能更强的升级版Yi模型 (github.com)

Yi-1.5是Yi的升级版本,经过5000亿token的高质量语料库持续预训练,并在300万个不同的微调样本上进行了微调。与Yi相比,Yi-1.5在编码、数学、推理和指令跟随能力方面表现更出色,同时仍然保持了在语言理解、常识推理和阅读理解方面的出色能力。Yi-1.5提供三种模型尺寸:34B、9B和6B。

Truffle ISLISP (arvyy.github.io)

Truffle ISLISP是基于GraalVM的Truffle框架实现的ISLISP2007标准。ISLISP是一种类似于CommonLisp-lite的语言:通过泛型方法实现特设多态;动态和词法作用域;过程宏。通过Truffle框架实现的优势包括:快速的性能;C FFI;工具支持,例如通过DAP或Chrome工具进行调试;与其他Truffle实现(如Java、Python、JavaScript、LLVM等)的互操作性。

冷水浴或有助于心脏健康,新研究表明 (around.uoregon.edu)

俄勒冈大学的一项新研究表明,冷水浴可能对健康有益。研究发现,15分钟的冷水浸泡可以帮助改善生理健康指标,并改善参与者的心理健康。冷水浴后,参与者的的心率、血压和一种常见的压力生物标志物皮质醇都显著降低。研究人员推测,冷水浸泡的压力可能会改变参与者的切应力模式,从而促进心血管健康。

🖥 主页 | [cmd.ms] (cmd.ms)

cmd.ms 提供了一种使用浏览器地址栏快速访问微软云服务(如Azure、Microsoft 365、Intune等)中特定功能页面的方法。用户可以使用预定义的命令或别名,将其添加到 cmd.ms 后面,并在浏览器地址栏中打开,即可直接跳转到目标页面。

全新APT 3.0求解器 (blog.jak-linux.org)

APT 2.9.3 引入了代号为 solver3 的全新求解器的第一个迭代版本,现在可以通过 --solver 3.0 选项使用。新的求解器与旧求解器的工作原理根本不同,它是一种完全回溯的依赖关系解决算法,尽可能地推迟选择。solver3 还引入了新的功能,例如 --no-strict-pinning 选项,该选项指示求解器考虑软件包的所有版本,而不仅仅是候选版本,以及 apt why 命令,该命令可以告诉您安装软件包的确切原因。

PaliGemma:谷歌开源多模态模型 (blog.roboflow.com)

PaliGemma是谷歌发布的一款开源多模态模型,它结合了视觉和语言模型,可以进行图像和文本的输入输出。与其他难以进行物体检测和分割的VLM不同,PaliGemma具有广泛的能力,并可以通过微调来提升特定任务的性能。谷歌开源这一高性能模型,为开源AI领域带来了重大突破,用户可以创建自定义多模态模型,并将其部署在云端或边缘设备上。

SSD故障、只读文件系统和systemd魔法 (rachelbythebay.com)

文章讲述了作者一台老旧Mac Mini的SSD出现故障,导致文件系统进入只读模式。作者在更换SSD过程中,发现Debian的smartmontools无法在只读模式下发送通知,原因是其依赖的smartd-runner脚本需要写入临时文件,而只读模式阻止了这一操作。作者还对systemd日志如何在只读文件系统中继续写入感到困惑。

美国1/4青少年使用VR头戴设备玩游戏 (www.uploadvr.com)

皮尤研究中心一项针对1453名13至17岁美国青少年的调查显示,有四分之一的青少年表示他们在VR头戴设备上玩游戏。按性别划分,32%的男孩和15%的女孩表示他们在VR头戴设备上玩游戏。该调查并未询问他们是否拥有头戴设备,因此这其中也包括那些使用兄弟姐妹或父母头戴设备玩游戏的人。

人工智能生成的垃圾信息开始充斥社交媒体 (www.npr.org)

人工智能生成的图像正在社交媒体上激增,包括虚假商品广告、带有奇怪图片的转发诱饵等垃圾信息。Meta公司承认问题存在,并表示将很快开始标记一些由人工智能工具创建的内容。

保护荒野理念 (hedgehogreview.com)

本文探讨了“荒野”的概念,批判了传统的将荒野视为与人类分离的自然状态的观点。作者认为,这种观点源于欧洲殖民主义对北美原住民文化和土地的误解和歪曲,导致了对原住民的不公正待遇。作者主张重新定义荒野,将其理解为未被人类驯化、污染和支配的自然状态,并强调在保护荒野的同时也要考虑原住民的权利和文化。作者以智利托普金斯夫妇捐赠土地建立国家公园为例,说明了荒野保护的复杂性和挑战。

Meta关闭企业版Facebook Workplace (finance.yahoo.com)

Meta宣布将在未来两年内逐步关闭其企业版Facebook Workplace,并于2025年8月停止运营。此举是为了集中资源发展人工智能和元宇宙技术,Meta认为这些技术将从根本上改变人们的工作方式。公司将帮助现有客户过渡到Zoom的Workvivo产品。

Meteor Lake 的 E 核:Crestmont 取得渐进式进展 (chipsandcheese.com)

本文分析了英特尔最新移动处理器 Meteor Lake 的 E 核架构 Crestmont,与前代 Gracemont 相比,Crestmont 在分支预测、重命名器、浮点除法器等方面进行了改进,但整体架构改动较小,属于保守升级。作者认为,Meteor Lake 采用了全新的chiplet设计,并引入了新的 NPU 和 iGPU 架构,这些变化给工程团队带来了巨大挑战,保守的 CPU 架构升级是合理的。文章最后指出,Crestmont 仍未支持 AVX-512,L3 性能欠佳,DTLB 容量和 L2 TLB 延迟也存在不足,期待未来 Intel 能充分利用其工程实力,在 Crestmont 的继任者上做出更大的改进。

如何将Android平板电脑变成IDE (www.50-nuances-octets.fr)

本文介绍了如何使用VSCode和Nix将Android平板电脑转变为IDE。作者首先安装了termux,然后使用nix-on-droids安装了Nix包管理器。最后,作者配置了Nix包,安装了VSCode和其他开发工具,成功在Android平板电脑上运行了VSCode。

1 2 7 8 9 11 13 14 15 101 102