Unriddle招聘创始工程师 (www.workatastartup.com)
Unriddle，一个帮助学者快速找到科学文献中的见解，从而更快地撰写论文的研究助手，正在招聘创始工程师。该公司使用语言模型来减轻重复性研究任务，加速研究过程，并释放更多的人力来进行更高层次的推理和洞察。自一年前推出以来，该公司已发展到超过 80 万用户。Unriddle寻找一位欣赏优秀产品设计的创始工程师，该职位需要与用户交流、快速发布功能、构建内部工具、创建原型并运行实验。
PaliGemma：谷歌开发者平台上的轻量级视觉语言模型 (ai.google.dev)
PaliGemma 是一款轻量级开源视觉语言模型，它可以理解图像和文本，并回答有关图像的详细问题。PaliGemma 可以用于图像字幕、物体检测和阅读图像中的嵌入文本等任务。文章介绍了 PaliGemma 的两种模型：通用预训练模型和面向研究的微调模型。此外，文章还强调了 PaliGemma 的主要优势，包括多模态理解、多功能基础模型和开箱即用的探索能力。
美国司法部称波音公司或对737 Max坠机事件负有刑事责任 (www.usatoday.com)
美国司法部周二表示，波音公司违反了2021年的一项协议，该协议使其在两起737 Max灾难导致346人死亡后免于刑事起诉。司法部认为，波音公司未能“设计、实施和执行合规和道德计划，以防止和 détecter 其运营过程中违反美国欺诈法的行为”。政府尚未决定是否对波音提起诉讼，但遇难者家属的律师表示，他们希望看到此案的进一步行动。波音公司表示已收到司法部的通知，并计划做出回应。
Truffle ISLISP (arvyy.github.io)
Truffle ISLISP是基于GraalVM的Truffle框架实现的ISLISP2007标准。ISLISP是一种类似于CommonLisp-lite的语言：通过泛型方法实现特设多态；动态和词法作用域；过程宏。通过Truffle框架实现的优势包括：快速的性能；C FFI；工具支持，例如通过DAP或Chrome工具进行调试；与其他Truffle实现（如Java、Python、JavaScript、LLVM等）的互操作性。
Haskell 字符串终极指南 (hasufell.github.io)
本文详细介绍了 Haskell 中各种字符串类型的用途、优缺点和内部实现，包括 String、Text、ByteString、ShortByteString、OsString 等，以及如何安全地构造、转换和序列化这些字符串类型。作者还讨论了 Unicode、字符编码和文本编码等相关概念，以及懒加载 IO 和流处理的优劣。最后，作者反驳了“Haskell 字符串类型太多”的观点，认为每种类型都有其独特的应用场景和价值。
全新APT 3.0求解器 (blog.jak-linux.org)
APT 2.9.3 引入了代号为 solver3 的全新求解器的第一个迭代版本，现在可以通过 --solver 3.0 选项使用。新的求解器与旧求解器的工作原理根本不同，它是一种完全回溯的依赖关系解决算法，尽可能地推迟选择。solver3 还引入了新的功能，例如 --no-strict-pinning 选项，该选项指示求解器考虑软件包的所有版本，而不仅仅是候选版本，以及 apt why 命令，该命令可以告诉您安装软件包的确切原因。
炉边谈话：2024 年 5 月 10 日——关于帝国级歼星舰的军事学思考 (acoup.blog)
本文探讨了《星球大战》中帝国级歼星舰的设计理念与其在帝国军事学说中的地位。作者认为，帝国级歼星舰的设计初衷并非为了成为高效的战斗机器，而是为了营造一种威慑力，以恐吓旧共和国的“诸侯”们（即各星球政府）。作者将旧共和国比作神圣罗马帝国，认为帝国的兴起是对克隆人战争的反应，旨在中央集权。帝国级歼星舰是这种集权努力的一部分，其巨大的尺寸和火力旨在使任何行星级海军都无法与之匹敌。
保护荒野理念 (hedgehogreview.com)
本文探讨了“荒野”的概念，批判了传统的将荒野视为与人类分离的自然状态的观点。作者认为，这种观点源于欧洲殖民主义对北美原住民文化和土地的误解和歪曲，导致了对原住民的不公正待遇。作者主张重新定义荒野，将其理解为未被人类驯化、污染和支配的自然状态，并强调在保护荒野的同时也要考虑原住民的权利和文化。作者以智利托普金斯夫妇捐赠土地建立国家公园为例，说明了荒野保护的复杂性和挑战。
Unix 与 Multics (www.multicians.org)
本文讲述了 Unix 的历史渊源，以及其与 Multics 操作系统的关系。贝尔实验室曾参与 Multics 项目，但于 1969 年退出，随后其研究人员 Ken Thompson 和 Dennis Ritchie 开发了 Unix。Unix 借鉴了 Multics 的一些设计理念，但目标更简洁实用。文章作者 Tom Van Vleck 曾参与 Multics 项目，他以亲身经历讲述了这段历史，并表达了对 Unix 取得成功的欣慰之情。
冷水浴或有助于心脏健康，新研究表明 (around.uoregon.edu)
俄勒冈大学的一项新研究表明，冷水浴可能对健康有益。研究发现，15分钟的冷水浸泡可以帮助改善生理健康指标，并改善参与者的心理健康。冷水浴后，参与者的的心率、血压和一种常见的压力生物标志物皮质醇都显著降低。研究人员推测，冷水浸泡的压力可能会改变参与者的切应力模式，从而促进心血管健康。
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 的继任者上做出更大的改进。
请不要服用Lumina的防龋齿益生菌 (trevorklee.substack.com)
文章强烈反对使用Lumina公司生产的防龋齿益生菌BCS3L-1。作者认为，该益生菌未经FDA批准，存在安全隐患，且其有效性未经证实。作者详细介绍了BCS3L-1的作用机理，并指出其可能带来的健康风险，包括污染、细菌耐药性、酒精生成和对免疫系统的影响。作者呼吁Lumina公司停止销售该产品，并采取措施帮助已服用该产品的消费者消除其潜在危害。
人工智能生成的垃圾信息开始充斥社交媒体 (www.npr.org)
人工智能生成的图像正在社交媒体上激增，包括虚假商品广告、带有奇怪图片的转发诱饵等垃圾信息。Meta公司承认问题存在，并表示将很快开始标记一些由人工智能工具创建的内容。
欧洲，请觉醒！ (eu-acc.com)
欧洲以世界一流的研究和人才而闻名，但创业机会却乏善可陈。欧洲创业生态系统支离破碎，从消费市场、语言、法律、教育体系、税收到融资，都像是一个小国网络，而不是一个统一的市场。文章呼吁创建一个标准化的欧洲法律实体，简化欧洲初创企业的投资流程，以促进欧洲创业生态系统的蓬勃发展。
每个开发者都应该知道的内存管理知识 (webdeveloper.beehiiv.com)
文章介绍了编程中的内存管理基础知识，分析了栈和堆的特点。栈的特点是先进后出，适用于记录函数调用，每个函数执行时，会在栈顶分配一块连续的内存空间，称为“栈帧”，用于存储当前函数的上下文信息和局部变量。堆用于存储大小不确定或可变的数据，比如变长数组。文章还讨论了垃圾回收机制，包括手动管理、Tracing GC、ARC和Rust的ownership机制，比较了它们的优缺点。最后总结了栈和堆数据的特点。
Meta关闭企业版Facebook Workplace (finance.yahoo.com)
Meta宣布将在未来两年内逐步关闭其企业版Facebook Workplace，并于2025年8月停止运营。此举是为了集中资源发展人工智能和元宇宙技术，Meta认为这些技术将从根本上改变人们的工作方式。公司将帮助现有客户过渡到Zoom的Workvivo产品。
Desktop Docs (desktopdocs.com)
Desktop Docs 是一款一站式平台，可以浏览、编辑和导出媒体文件。它使用AI技术，让用户可以通过内容搜索图像和视频，并内置工作室，可以快速编辑和调整文件大小。Desktop Docs 支持将搜索结果中的图像和视频片段导出到Adobe Premiere，方便进行视频编辑。 该软件售价49.99美元，一次性购买，仅支持Mac系统。
如何将Android平板电脑变成IDE (www.50-nuances-octets.fr)
本文介绍了如何使用VSCode和Nix将Android平板电脑转变为IDE。作者首先安装了termux，然后使用nix-on-droids安装了Nix包管理器。最后，作者配置了Nix包，安装了VSCode和其他开发工具，成功在Android平板电脑上运行了VSCode。
美国1/4青少年使用VR头戴设备玩游戏 (www.uploadvr.com)
皮尤研究中心一项针对1453名13至17岁美国青少年的调查显示，有四分之一的青少年表示他们在VR头戴设备上玩游戏。按性别划分，32%的男孩和15%的女孩表示他们在VR头戴设备上玩游戏。该调查并未询问他们是否拥有头戴设备，因此这其中也包括那些使用兄弟姐妹或父母头戴设备玩游戏的人。
斯科特·加洛韦：美国是如何摧毁年轻人未来的 (www.ted.com)
市场营销学教授兼播客主持人斯科特·加洛韦，在这场犀利的演讲中，分析了表明美国年轻人财务状况比以往任何时候都要糟糕的数据。他揭示了这种“巨大的代际盗窃”的根源和影响，并质问我们为什么任由其继续下去，同时展示了我们该如何终结它。（注意：本演讲包含成人语言。）
Android Studio 更新频率更高，功能更集中 (android-developers.googleblog.com)
Android Studio 将采用新的版本发布周期，每个动物代号包含两个主要版本：一个平台更新和一个功能更新。初始版本将侧重于 IntelliJ IDEA 平台更新，功能更新则专注于 Android 特定的功能，例如新的登录流程、设备 UI 设置快捷方式、Gemini API 模板等。这种新的发布周期旨在更快地将重要更新推送到稳定频道，并提高 Android 特定功能的质量。
内存一致性模型教程 (www.cs.utexas.edu)
本文介绍了内存一致性模型，它定义了并行线程如何观察其共享内存状态。文章首先解释了顺序一致性模型，该模型要求所有线程以相同的顺序看到内存操作，但由于效率低下，现代架构采用了放松的内存模型，例如总存储排序（TSO）。TSO允许使用存储缓冲区来隐藏写延迟，但这会导致程序员意想不到的行为。文章还讨论了语言级内存模型，以及编译器优化如何影响程序行为。最后强调了数据竞争和同步的重要性，并建议使用同步库来处理内存排序问题。
什么是第三空间？如何找到它？ (www.vox.com)
本文探讨了“第三空间”的概念，即除家（第一空间）和工作场所（第二空间）之外，人们常去的场所，例如酒吧、公园、健身房等。第三空间为人们提供社交、休闲和建立人际关系的机会，对个人幸福感和社区凝聚力至关重要。然而，由于社会经济因素、城市规划以及人们生活方式的改变，第三空间正在减少。文章呼吁重新思考和重塑第三空间，以满足当代人的需求，并提供了一些寻找和利用第三空间的建议。
Jellyfin 10.9.0 发布 (jellyfin.org)
Jellyfin 10.9.0 正式发布，此版本经历了两年多的开发，带来了大量新功能、改进和错误修复。主要变化包括：支持实时视频 scrubbing、改进的 DLNA 支持、AVIF 和 WEBP 图像支持、多字幕轨道支持、API 改进、.NET 8 升级、FFmpeg 升级、音频改进、硬件加速支持、扫描和资料库管理改进、投屏功能改进等。开发团队还计划加快发布节奏，目标是未来半年内发布 10.10.0 版本。
Dockerfile中使用ARG的注意事项 (qmacro.org)
这篇文章探讨了Dockerfile中ARG指令的微妙之处，特别是ARG指令与FROM指令之间的关系，以及ARG指令如何受FROM指令影响。作者解释了在FROM指令之前声明的ARG变量不能在FROM指令之后的任何指令中使用，并提供了解决方法：将需要在FROM指令之后使用的ARG指令移动到FROM指令之后，并在FROM指令之后再次引用需要使用的ARG变量。
Rust 高级特征和泛型的介绍 (www.shuttle.rs)
这篇文章深入探讨了 Rust 中的特征和泛型，首先回顾了特征的基本概念，包括特征的定义、实现和特征一致性问题。然后介绍了标记特征，如 Send 和 Sync，它们在并发编程中起着至关重要的作用。文章还解释了对象特征和动态分派的概念，以及它们与泛型的结合使用。最后，文章以 HTTP 框架中的应用为例，展示了特征和泛型如何协同工作，为开发者提供强大的功能和便捷性。
英特尔发布Thunderbolt Share软件：无需网络即可共享文件和屏幕 (www.tomshardware.com)
英特尔发布了一款名为Thunderbolt Share的全新软件，旨在为两台PC提供简单、快速、高效的屏幕和文件共享方式。该软件利用Thunderbolt技术通过有线连接共享屏幕、键盘、鼠标和存储，支持文件夹同步和文件拖放传输。Thunderbolt Share适用于配备Thunderbolt 4或5的电脑、扩展坞和显示器，初期仅支持Windows系统。
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 倍。
NANO 核能公司：美国首家上市的便携式核微反应堆公司 (nanonuclearenergy.com)
NANO核能公司（NASDAQ: NNE）是一家新兴的先进技术驱动型核能公司，致力于成为一家商业化、多元化和垂直整合的公司，涵盖四个业务领域：便携式微反应堆技术、核燃料制造、核燃料运输和核工业咨询服务。NANO Nuclear认为它是美国第一家公开上市的便携式核微反应堆公司，其技术开发的产品包括固体核心电池反应堆“ZEUS”和低压冷却剂反应堆“ODIN”，它们代表了清洁能源解决方案的先进发展，是便携式、按需 capable 的先进核微反应堆。