我们如何通过加速 CI 流程每月节省 168 天以上的执行时间 (developers.home-assistant.io)
Home Assistant 通过优化 CI 流程，将测试用例拆分为 10 组并进行独立执行，成功将每次完整测试的耗时减少了 3 个小时。根据 2024 年 3 月的 CI 工作流程分析，该优化每月可节省约 168 天的执行时间，从而减少资源使用，并为开发者和社区带来更好的 CI 体验。
切割与分割我的日子 (worldhistory.substack.com)
本文探讨了人类计时方法的演变，从古代的日晷、水钟到现代的机械钟表。作者以古罗马剧作家普劳图斯对钟表的厌恶为切入点，生动描绘了计时工具如何将我们的生活切割成一个个小片段。文章详细介绍了各种古代计时工具的设计和原理，并以精美图片展示了其艺术价值。
谷歌或展示了运行 ChromeOS 的 Pixel 8 (9to5google.com)
谷歌在最近的一次私密活动中展示了 Pixel 8 手机在外接显示器上运行 ChromeOS 的能力。该项目被称为“ferrochrome”，使用了 Android 13 中引入的 Android 虚拟化框架（AVF）。尽管该功能目前仅限于内部展示，但这表明谷歌正在探索将 Android 和 ChromeOS 整合的可能性。
Unriddle招聘创始工程师 (www.workatastartup.com)
Unriddle，一个帮助学者快速找到科学文献中的见解，从而更快地撰写论文的研究助手，正在招聘创始工程师。该公司使用语言模型来减轻重复性研究任务，加速研究过程，并释放更多的人力来进行更高层次的推理和洞察。自一年前推出以来，该公司已发展到超过 80 万用户。Unriddle寻找一位欣赏优秀产品设计的创始工程师，该职位需要与用户交流、快速发布功能、构建内部工具、创建原型并运行实验。
VCMI 1.5.0 发布 (vcmi.eu)
VCMI 1.5.0 版本发布，主要更新包括在线大厅功能，允许玩家建立多人游戏、与其他玩家互动。此外，还优化了随机地图的生物群落系统，使其更自然，并改进了AI性能。其他更新包括游戏控制器支持、简化gog.com游戏文件安装流程、神器功能改进、可配置快捷键以及全新的主页设计等。
为什么谷歌和脸书是免费的？答案可能比你想象的更糟 (tuta.com)
谷歌和脸书的免费服务建立在广告收益之上，这些公司通过收集用户数据、投放精准广告来获取巨大利润。这种模式导致用户隐私被侵犯、购买决策被操纵，并加剧了社会极端化。作者呼吁用户安装广告拦截器，并推荐了一些隐私友好的替代服务，例如Tuta，以保护个人隐私和数据安全。
绘图仪编程基础 (medium.com)
本文介绍了如何高效地编程控制绘图仪进行绘图。文章详细讲解了如何优化绘图路径、连接路径、简化路径等技巧，并介绍了使用Python库xy和axi控制Makeblock XY和AxiDraw绘图仪的方法。
迪士尼机器人利用火箭实现完美着陆 (spectrum.ieee.org)
迪士尼研究团队利用水火箭和涵道风机技术，使机器人能够从高空坠落并平稳着陆。研究人员首先利用小型机器人测试了涵道风机在空中姿态控制和着陆稳定性方面的作用，然后通过大型机器人验证了水火箭在高速下降过程中快速减速的能力。实验结果表明，该技术能够有效控制机器人在空中的姿态，并在着陆时吸收冲击力，为未来实现更复杂、更逼真的机器人表演奠定了基础。
如何将Android平板电脑变成IDE (www.50-nuances-octets.fr)
本文介绍了如何使用VSCode和Nix将Android平板电脑转变为IDE。作者首先安装了termux，然后使用nix-on-droids安装了Nix包管理器。最后，作者配置了Nix包，安装了VSCode和其他开发工具，成功在Android平板电脑上运行了VSCode。
Commodore 64 计算机也能运行人工智能生成图像 (www.tomshardware.com)
Commodore 64 计算机，这款古老的个人电脑，也能运行 AI 生成图像。开发者 Nick Bild 成功构建了一个生成式 AI 工具，可以在 Commodore 64 上创建 8x8 的精灵图，并以 64x64 的分辨率显示。生成一张图片需要 20 分钟运行 90 次迭代，但考虑到硬件年代久远，这已经很不错了。
LineageOS：非技术人员的完美极简智能手机 (blog.decryption.net.au)
文章介绍了LineageOS系统，这是一个适用于旧手机的精简版安卓系统，没有谷歌服务和各种预装软件，可以根据用户需求进行定制。作者认为LineageOS非常适合不熟悉科技产品的用户，因为它界面简洁，功能简单，可以避免用户被各种复杂功能和推送通知困扰。作者还以自己的家人为例，介绍了如何用LineageOS系统为他们打造了一款简单易用的手机。
适用于使用 Postgres 应用程序的通知程序模式 (brandur.org)
本文介绍了 Postgres 中 listen/notify 的强大功能，并提出了一种名为“notifier pattern”的优化方案。该方案使用单一连接处理所有通知，减少连接资源浪费，并通过缓冲通道和可中断接收循环确保系统稳定性。文章还探讨了处理连接异常的策略，建议采用“let it crash”的思想，即在连接异常时重启程序，以确保系统恢复到健康状态。
Verilator: 开源 SystemVerilog 模拟器和代码检查工具 (github.com)
Verilator 是一款开源的 Verilog/SystemVerilog 模拟器和代码检查工具，它速度快，支持多线程输出，被广泛应用于工业界和学术界。Verilator 接受 Verilog 或 SystemVerilog 代码，执行代码质量检查，并将其编译成多线程的 C++ 或 SystemC 代码。Verilator 的性能优于许多商业模拟器，并且是开源的，因此您可以节省许可证费用。
Claude现已在欧盟上线 (www.anthropic.com)
Anthropic公司宣布其人工智能助手Claude现已面向欧洲用户和企业开放，提供Claude.ai网页版、Claude iOS应用程序以及Claude团队计划，以提高生产力和创造力。Claude支持法语、德语、西班牙语、意大利语等多种欧洲语言，并提供免费和付费订阅选项，包括Claude Pro和团队计划。
Dockerfile中使用ARG的注意事项 (qmacro.org)
这篇文章探讨了Dockerfile中ARG指令的微妙之处，特别是ARG指令与FROM指令之间的关系，以及ARG指令如何受FROM指令影响。作者解释了在FROM指令之前声明的ARG变量不能在FROM指令之后的任何指令中使用，并提供了解决方法：将需要在FROM指令之后使用的ARG指令移动到FROM指令之后，并在FROM指令之后再次引用需要使用的ARG变量。
YouTube的秘密武器：顶级创作者 (www.hollywoodreporter.com)
本文探讨了YouTube如何凭借其顶级创作者，成为收视率最高的流媒体平台。文章重点介绍了创作者如Michelle Khare、Rhett & Link以及Mr. Beast，他们制作高质量的内容，吸引了大量观众，并为YouTube带来了可观的广告收入。文章还探讨了YouTube创作者对内容创作的独特见解，以及他们与观众的紧密联系。
GitHub - containers/podman-desktop-extension-ai-lab: 在本地环境中使用容器处理大型语言模型 (github.com)
Podman AI Lab 是 Podman Desktop 的开源扩展，用于在本地环境中使用大型语言模型 (LLM)。 它提供了一个包含常见 AI 用例的配方目录、一组精选的开源模型，以及一个用于学习、原型设计和实验的游乐场。 Podman AI Lab 帮助您快速轻松地将 AI 引入您的应用程序，而无需依赖笔记本电脑以外的基础架构，从而确保数据隐私和安全。
Cruise无人驾驶汽车在行人拖拽事件后首次恢复自动驾驶 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25445870/1238159620.jpg)
自去年发生一起行人被无人驾驶车辆拖拽的事件以来，通用汽车支持的Cruise公司首次恢复了自动驾驶汽车的道路测试。该公司目前在亚利桑那州凤凰城部署了两辆配备安全驾驶员的自动驾驶汽车，并计划逐步扩大服务范围。Cruise此次谨慎回归道路测试，旨在向监管机构展示其对安全和信任的重视。
MSX Elite：怀旧太空游戏 (thefoggiest.dev)
这篇文章怀旧地回顾了MSX Elite这款经典太空游戏。作者详细介绍了游戏的玩法，包括贸易、战斗、任务等方面，并分享了个人体验和对游戏设定的见解。文章还探讨了游戏中的程序生成机制，以及不同版本之间的差异。作者认为，尽管画面简陋，但MSX Elite营造了一种独特的太空氛围，并为玩家提供了极具挑战性的游戏体验。
学习 CSS 布局 (learnlayout.com)
该网站教授用于任何网站布局的 CSS 基础知识。它假定读者已经了解选择器、属性和值，并且对布局有所了解，尽管这可能仍然是一项令人愤怒的活动。对于想要从头学习 HTML 和 CSS 的读者，建议查看该网站提供的另一个教程。
NANO 核能公司：美国首家上市的便携式核微反应堆公司 (nanonuclearenergy.com)
NANO核能公司（NASDAQ: NNE）是一家新兴的先进技术驱动型核能公司，致力于成为一家商业化、多元化和垂直整合的公司，涵盖四个业务领域：便携式微反应堆技术、核燃料制造、核燃料运输和核工业咨询服务。NANO Nuclear认为它是美国第一家公开上市的便携式核微反应堆公司，其技术开发的产品包括固体核心电池反应堆“ZEUS”和低压冷却剂反应堆“ODIN”，它们代表了清洁能源解决方案的先进发展，是便携式、按需 capable 的先进核微反应堆。
抗议者呼吁暂停人工智能开发，但对实现目标的方式存在分歧 (www.wired.com)
PauseAI抗议活动在伦敦、纽约、旧金山和全球范围内展开，抗议者要求暂停比GPT-4更强大的人工智能系统的训练，并呼吁所有联合国成员国签署条约，成立一个负责批准新的AI系统部署和大型模型训练的国际人工智能安全机构。然而，这个组织松散的抗议团体本身仍在摸索传达其信息的最佳方式，一些成员讨论了在人工智能开发商总部举行静坐的想法，而另一些成员则主张采取更温和的方式。
内存一致性模型教程 (www.cs.utexas.edu)
本文介绍了内存一致性模型，它定义了并行线程如何观察其共享内存状态。文章首先解释了顺序一致性模型，该模型要求所有线程以相同的顺序看到内存操作，但由于效率低下，现代架构采用了放松的内存模型，例如总存储排序（TSO）。TSO允许使用存储缓冲区来隐藏写延迟，但这会导致程序员意想不到的行为。文章还讨论了语言级内存模型，以及编译器优化如何影响程序行为。最后强调了数据竞争和同步的重要性，并建议使用同步库来处理内存排序问题。
GitHub - ankurv2k6/daksh-toolchanger-v2: DAKSH 工具更换器 V2 (github.com)
DAKSH 工具更换器 V2 是一款完全 3D 打印的机械工具更换器，与 Voron Trident、1.8、2.4 和 RatRig VCore 3 等不同的 CoreXY 平台兼容。 该项目完全开源，可免费用于非商业目的。DAKSH V2 工具更换器具有机械工具更换器，超快工具更换时间低于 4 秒，完全 3D 打印等特点。
蛋白质语言模型综述 (www.apoorva-srinivasan.com)
这篇文章回顾了蛋白质语言模型的最新进展。作者将蛋白质序列比作人类语言，并解释了如何利用Transformer模型来理解和生成蛋白质序列。文章重点介绍了编码器模型、解码器模型以及条件Transformer模型，并详细阐述了这些模型在蛋白质工程中的应用，例如蛋白质结构预测、功能预测和蛋白质设计。此外，文章还讨论了蛋白质语言模型的规模效应，指出随着模型规模和数据集的增大，模型的性能会显著提升。文章最后总结了该领域的挑战和未来方向，强调了模型可解释性和生物学知识整合的重要性。
哪些认知心理学发现是可靠的，可以用来帮助我的学生？ (matheducators.stackexchange.com)
这篇文章讨论了哪些认知心理学发现是可靠的，可以用于帮助学生学习。文章指出，主动学习比被动学习更有效，间隔重复和测试效应是提高记忆力的有效方法。文章还指出了将这些发现应用于教育实践的挑战，例如教师需要付出额外的努力，以及大多数教育科技系统没有有效地利用这些发现。
Truffle ISLISP (arvyy.github.io)
Truffle ISLISP是基于GraalVM的Truffle框架实现的ISLISP2007标准。ISLISP是一种类似于CommonLisp-lite的语言：通过泛型方法实现特设多态；动态和词法作用域；过程宏。通过Truffle框架实现的优势包括：快速的性能；C FFI；工具支持，例如通过DAP或Chrome工具进行调试；与其他Truffle实现（如Java、Python、JavaScript、LLVM等）的互操作性。
