Cortile: 支持热区的 Linux 自动平铺窗口管理器 (github.com)
Cortile 是一款 Linux 自动平铺窗口管理器，支持 Openbox、Fluxbox、IceWM、Xfwm、KWin 等多种窗口管理器，兼容 XFCE、LXDE、LXQt、KDE 和 GNOME 等桌面环境。它提供基于工作区的平铺、面板自动检测、平铺模式用户界面、系统托盘图标指示器和菜单、键盘/热区/系统托盘绑定、垂直/水平/全屏模式、套接字通信命令、布局比例记忆、浮动和粘滞窗口、拖放窗口交换、工作区感知布局以及多显示器支持等功能。
Figma博客 | 加速文件加载时间，每次一页 (www.figma.com)
Figma 文件通常很大很复杂，包含无数页面、库和本地组件以及原型屏幕。Figma 工程团队为了提升用户体验，通过动态页面加载的方式将最慢的加载时间缩短了 33%。文章介绍了 Figma 数据模型中的读取依赖关系、动态加载的实现方式、写入依赖关系的处理、最终方案的选择以及性能优化结果。
Unify: 与多个大型语言模型聊天并比较 (unify.ai)
Unify 平台允许用户与其聊天界面上的多个大型语言模型 (LLM) 聊天并直接比较它们。该平台提供实时性能基准测试、API 文档、有关 LLM 部署基础架构的博客、AI 新闻通讯、前沿 AI 研究论文解读以及有关 AI 领域的深度讨论。
基于RP2040的BreadboardOS固件：打造Linux风格终端体验 (www.cnx-software.com)
BreadboardOS是一款面向Raspberry Pi RP2040 MCU的开源固件平台，基于FreeRTOS构建，并配备了功能丰富的Linux风格命令行界面。该固件支持系统资源检查、芯片I/O和串行总线交互、板载闪存文件系统、外设硬件初始化例程、看门狗服务和RTOS任务管理器等功能，为用户提供熟悉的硬件交互方式。
Emacs趣闻 (www.emacswiki.org)
本文讲述了作者在90年代早期，作为一名程序员，如何在德国航空管制系统更新项目中，利用Emacs帮助VMS开发者提高效率，以及如何用Emacs Lisp编写消息路由器，最终使德国的空中交通管制信息在一段时间内都通过Emacs进行路由的经历。
数字塔的惨败：为何面向对象编程在处理数字类型层次结构上力不从心？ (mmapped.blog)
本文批判了面向对象编程在处理数字类型层次结构（例如自然数、整数、有理数等）时的缺陷，并提出了函数式编程的解决方案。作者以自然数和整数为例，指出OOP中基于继承的建模方式会导致“is a”关系的错误，以及代码冗余和维护困难等问题。相反，函数式编程通过代数数据类型和函数组合，能够更清晰、灵活地表示数字类型及其之间的关系，并通过类型提升和简化操作来减少代码冗余。
特斯拉危机重重：需求下降、裁员潮、诉讼风险，马斯克还能力挽狂澜吗？ (threadreaderapp.com)
本文分析了特斯拉当前面临的一系列危机，包括高管离职、需求下降、裁员、产品质量问题、诉讼风险、财务问题以及马斯克个人行为带来的负面影响。作者认为，特斯拉过度扩张、产品创新不足、管理混乱以及马斯克的不确定性，都可能导致其未来发展面临巨大挑战。
英伟达公布2025财年第一季度财报 (nvidianews.nvidia.com)
2024年5月22日，英伟达公布了截至2024年4月28日的2025财年第一季度财务业绩。季度收入创纪录地达到260亿美元，比上一季度增长18%，比去年同期增长262%。数据中心收入创纪录地达到226亿美元，比上一季度增长23%，比去年同期增长427%。本季度亮点包括推出了NVIDIA Blackwell平台，为万亿参数规模的人工智能计算和生成式人工智能超级计算提供动力；宣布了针对InfiniBand和以太网的NVIDIA Quantum和NVIDIA Spectrum™ X800系列交换机，分别针对万亿参数GPU计算和人工智能基础设施进行了优化。
S3 已显老态 (materializedview.io)
本文批评了亚马逊云存储服务S3存在的一些缺陷，例如缺少compare-and-swap操作、多区域存储桶和对象追加等功能，并指出这些缺陷使得S3在面对新兴基础设施和应用场景时显得力不从心。作者还批评了S3 Express One Zone服务存在诸多限制，并认为其高昂的成本使其缺乏吸引力。文章最后探讨了两种应对S3缺陷的方案：放弃S3或围绕其缺陷进行设计，并以Turbopuffer公司为例说明了放弃S3的优势和挑战。
WebAssembly：一项正在被悄然扼杀的有前途的技术 (kerkour.com)
文章认为WebAssembly是一项有前途的技术，但它正被悄然扼杀。文章没有详细说明WebAssembly是什么以及它为何重要，也没有提供关于其如何被“扼杀”的具体证据或例子。
微软画图引入AI图像生成器，可根据涂鸦创作 (petapixel.com)
微软为其经典应用程序“画图”引入了新的AI图像生成器。与其他AI图像生成器不同的是，新功能不仅可以根据文字提示生成图像，还可以根据用户的涂鸦进行创作。用户可以使用画笔工具细化AI生成的图像，并通过“Creativity”滑块控制AI的影响程度。此次更新是微软将AI工具引入画图的最新举措，此前还推出过一键删除背景和Copilot支持等功能。
Bluesky 推出私信功能 (bsky.social)
社交平台Bluesky正式推出了私信功能，允许用户之间进行一对一私密聊天。默认情况下，只有你关注的人才能给你发送私信，你也可以在设置中更改为允许任何人或禁止任何人给你发送私信。未来，Bluesky还将为私信功能添加更多功能，包括发送图片和媒体、群聊以及端到端加密等。
Windows Recall：隐私噩梦？ (www.techradar.com)
微软即将推出的Windows 11新功能Recall引发了隐私担忧。Recall会每隔几秒对屏幕截图并存储，以便用户回顾之前的操作。然而，该功能默认开启，且截图中包含密码、财务信息等敏感数据，即使加密也存在安全隐患。作者认为，Recall功能存在被滥用风险，呼吁微软将隐私控制权交还用户。
乔治·霍瑙尔的镀金绞刑架 (1597) (publicdomainreview.org)
本文讲述了16世纪末，自称炼金术士的乔治·霍瑙尔以将铁转化为黄金的承诺，骗取了符腾堡公爵弗里德里希一世的支持，并获得了大量资金和资源。然而，霍瑙尔最终无法兑现承诺，在试图逃跑后被捕。最终，他被判处绞刑，行刑工具是一个由他未能转化为黄金的铁建造并镀金的绞刑架，以此对他进行羞辱。
汽车制造商会在没有搜查令的情况下向警方提供你的位置信息 (www.thedrive.com)
文章批评了汽车制造商在用户数据隐私问题上的虚伪行为。尽管许多汽车制造商签署了保护消费者隐私的协议，承诺不会在未经用户同意的情况下向第三方提供位置、生物识别或驾驶行为数据，但实际上，包括丰田、斯巴鲁、马自达、日产、起亚、宝马、奔驰和大众在内的八家汽车制造商已经承认，如果收到传票，他们会将用户数据交给警方。文章认为，通过传票获取位置数据很容易被滥用，构成对用户隐私的侵犯，并呼吁消费者关注汽车数据安全问题。
系统性改进检索增强生成 (RAG) 应用 (jxnl.co)
文章介绍了系统性改进检索增强生成(RAG)应用的步骤，包括从合成数据开始、充分利用元数据、结合全文搜索和向量搜索、实施用户反馈机制、聚类和建模主题、持续监控和实验以及平衡延迟和性能等方面，旨在帮助用户逐步提高RAG应用程序的性能和效用，最终提供卓越的用户体验并创造商业价值。
尝试 Clojure (tryclojure.org)
这篇文章介绍了 Clojure 编程语言，并提供了一个在线的 Clojure 环境，允许用户直接在浏览器中尝试 Clojure 代码。
为什么不在 C 语言中使用简单的 C++ RAII？ (thephd.dev)
文章探讨了在C语言中实现类似C++ RAII机制的可能性和挑战。作者首先解释了C++ RAII的语法和语义，然后分析了将其直接引入C语言带来的问题，包括函数重载和名称修饰的复杂性，以及C语言缺乏完善的对象模型导致的语义问题。作者还批评了一些C语言社区中存在的“反C++”情绪，认为这种情绪阻碍了C语言自身的改进。最后，作者提出了自己的解决方案，即通过类似defer的机制来实现C语言的资源管理，并在文章结尾鼓励读者积极思考和探索C语言的改进方案。
GitHub - onecodex/rust-bfield：Rust中的B-field实现 (github.com)
rust-bfield是一个Rust库，实现了B-field概率性键值数据结构，用于高效存储键值对。它具有高空间效率、快速查询速度和可控的错误率。文章详细介绍了B-field的设计原理、实现细节、参数选择和应用场景。与Bloom过滤器类似，B-field使用多个哈希函数将键映射到位数组，但它还编码值信息以支持键值对存储。文章还讨论了B-field的错误类型，包括假阳性和不确定性错误，并解释了如何通过构建额外的位数组来降低这些错误。
编程语言创建者的年龄 (pldb.io)
这篇文章分析了编程语言创建者的年龄。研究发现，程序员在30多岁时创造的编程语言最多，其次是40多岁。虽然20岁以下的程序员没有创造出排名靠前的编程语言，但也有像PHP和Emacs这样成功的例子。文章鼓励大家积极创造，因为即使到了四五十岁，仍然有机会创造出像TypeScript、Go、JSON和Clojure这样流行的编程语言。
Tensor Puzzles：通过解谜提升 PyTorch 技能 (github.com)
这篇GitHub项目介绍了“Tensor Puzzles”，这是一套包含21个张量谜题的练习集，旨在帮助学习者提升PyTorch或NumPy等张量编程语言的技能。这些谜题要求在不使用任何库函数的情况下，仅使用广播机制和基本操作符来实现NumPy标准库中的函数。项目提供了详细的说明和示例，鼓励学习者通过解决这些谜题来深入理解张量编程的核心概念。
Neosync：开源数据匿名化和合成数据编排工具 (github.com)
Neosync是一个开源工具，旨在帮助开发者进行数据匿名化、生成合成数据并同步环境，以提升测试、调试和开发体验。它可以用于安全地测试代码、轻松复现生产环境错误、修复损坏的测试环境、减少合规范围以及为开发数据库提供种子数据等。Neosync 提供了基于声明式 GitOps 配置的完整异步管道，并支持多种数据源和自定义转换器。
特斯拉欧洲销量跌至15个月来最低点 (finance.yahoo.com)
根据欧洲汽车制造商协会的数据，特斯拉4月份在欧洲的注册量仅为13,951辆，同比下降2.3%，为2023年1月以来的最低水平。这与特斯拉首席执行官埃隆·马斯克此前的预期相悖，他曾预计第二季度欧洲市场将表现强劲。分析认为，德国和瑞典等国家减少或停止电动汽车补贴，以及大众、奔驰等传统汽车制造商调整产品策略，是导致特斯拉销量下滑的主要原因。
如何在不解压每个字段的情况下比较两个压缩位域 (devblogs.microsoft.com)
文章介绍了一种高效比较压缩位域的方法。传统的按位解压方法效率低下，而预留填充位的方法又浪费空间。文章介绍了一种利用“借位向量”的技巧，通过计算减法的借位向量，判断是否存在字段值小于的情况，从而实现高效比较。
科技爱好者成功让 Windows XP 在 1989 年的英特尔 CPU 上运行 (www.techspot.com)
一位名叫 Dietmar 的德国科技爱好者成功地在一台搭载 1989 年英特尔 486 处理器的电脑上运行了 Windows XP 操作系统。由于 486 处理器性能较低且发布时间早于 Windows XP 十多年，两者并不兼容。Dietmar 通过对 Windows XP 安装程序进行反汇编和调试，替换了导致安装失败的代码，最终成功创建了一个可以在 486 处理器上运行的 Windows XP 镜像文件。
发动机和马达的区别是什么？ (engineering.mit.edu)
这篇文章探讨了“发动机”和“马达”这两个词的演变过程。文章指出，这两个词在现代英语中可以互换使用，但在历史上，它们的含义截然不同。“马达”最初指的是驱动力，后来指提供动力的装置。“发动机”则源于“聪明才智”的概念，后来演变为指代机械装置，如刑具或捕猎工具。随着工业革命的到来，“马达”成为了描述新型动力装置的首选词汇。如今，这两个词几乎成了同义词，反映了语言随技术进步而演变的现象。
《疯狂的麦克斯：狂暴之路》的特效迷思正在伤害《芙莉欧莎》 (textualvariations.substack.com)
文章驳斥了《疯狂的麦克斯：狂暴之路》极少使用CGI的流行说法，指出该片实际上大量使用了数字特效，只是与实景拍摄融合得天衣无缝，难以察觉。作者认为这种“隐形特效”的营销策略误导了观众，强化了实景特效优于CGI的错误观念，并导致观众和影评人对《芙莉欧莎》预告片中明显的CGI运用产生偏见。
WhatsApp漏洞让政府监控用户通讯 (theintercept.com)
本文揭露了一个WhatsApp的安全漏洞，政府机构可以利用该漏洞绕过加密措施，监控用户的通讯行为。虽然无法查看聊天内容，但可以获取通讯对象、群组成员甚至位置信息。文章指出，以色列可能利用此漏洞监控巴勒斯坦人。Meta公司已知晓该问题，但尚未采取有效措施。专家认为，解决此漏洞需要在性能和隐私之间做出权衡，而Meta更倾向于追求市场份额和用户规模。