Lynis 是一款开源安全审计工具，用于Linux、macOS、BSD等UNIX类系统，可进行深度安全扫描、合规性测试（如ISO27001、PCI DSS、HIPAA）、漏洞检测和系统加固。它以软件包、Git克隆或企业版三种方式安装，提供详细的文档和自定义选项，并获得了多个奖项。Lynis适合系统管理员、审计员、安全人员和渗透测试人员使用。
阅读更多
本文介绍了如何使用GitLab Pages托管静态网站。文章详细列出了创建存储库、配置CI流程、添加内容到public目录等步骤。作者还分享了个人博客使用Simplified Saaze生成静态页面的方法以及相关命令。
阅读更多
A2FPGA 是一款为 Apple II 系列计算机设计的扩展卡，提供高清视频输出和 Mockingboard 兼容的声音功能。它支持多种显示模式，并兼容 Synetix SuperSprite 和 Ciarcia EZ-Color TMS9918a 等外设。A2FPGA 还提供易于更新的开源固件，允许用户根据需要添加功能和修复错误。
阅读更多
本文批评了进步人士在言论自由问题上的双重标准。作者指出，进步人士过去支持限制保守派言论，但现在同样的理由却被用来压制他们自己，尤其是在巴以问题上。作者呼吁进步人士重申对学术自由的承诺，并以哈佛大学和哥伦比亚大学的案例说明了压制言论的危害。
阅读更多
孩子吃了糖果后会变得兴奋，这是一种常见的认知，但研究表明，糖对孩子的行为和认知没有影响。孩子在聚会或节日中兴奋，可能是因为环境和期待，而不是糖本身。这种选择性地关注证据的行为被称为选择性偏差。
阅读更多
本文介绍了混沌工程如何应用于前端开发以增强应用程序的弹性。文章详细解释了混沌工程的定义、原则、起源和演变，以及它在前端开发中的重要性。文章进一步阐述了如何在前端开发中实施混沌工程，包括网络混沌、API 混沌、状态混沌、渲染混沌和用户交互混沌等方面，并介绍了一些常用的工具和最佳实践。此外，文章还讨论了案例研究、未来趋势以及相关的学习资源。
阅读更多
芬兰南部今年夏天出现大量松树死亡，引发研究人员关注。自四月以来，芬兰西南部已报告超过1350处松树死亡。研究人员认为，极端高温和干旱导致树木易受病虫害侵袭，气候变化可能是造成这一现象的原因。芬兰今年夏季异常炎热，对树木造成压力，土壤水分少导致树木更难抵御高温和干旱。
阅读更多
pg-nano/pg-parser 是 libpg-query 的一个分支，它提供了最佳的类型定义和 AST 实用程序。该解析器可以将 Postgres 查询解析为 100% 类型安全的 AST，并提供了一组 API 用于解析 SQL 字符串、生成指纹、遍历 AST 以及进行类型安全的字段访问。
阅读更多
在 CrowdStrike 系统更新错误导致美国几乎所有航班停飞的情况下，西南航空公司却能独善其身，这归功于其仍在使用已有 32 年历史的 Windows 3.1 操作系统。尽管此前西南航空因使用老旧系统备受诟病，但在这次事件中，Windows 3.1 却成为其避免全面瘫痪的关键。
阅读更多
英特尔宣布终止其名为SVT-HEVC的开源H.265/HEVC视频编码器项目。该项目旨在为其Xeon可扩展处理器和Xeon D处理器提供高性能编码。尽管SVT-HEVC在英特尔至强服务器以及AMD EPYC和其他x86_64硬件上表现出色，但英特尔决定停止维护该项目，并将GitHub代码库设置为只读状态。英特尔表示，市面上已经存在其他优秀的开源H.265编码器，例如x265和Kvazaar。
阅读更多
Telegraph-Image 是一款免费开源的图片托管解决方案，可以替代 Flickr 和 Imgur 等平台。它基于 Cloudflare Pages 和 Telegraph 构建，提供无限图片存储空间、自定义域名绑定、图片审查 API、后台图片管理等功能。用户只需 Fork 项目并部署到 Cloudflare Pages，即可轻松拥有自己的图床。
阅读更多
本文作者回顾了FreeDOS项目30年来的发展历程，并分享了维护开源社区的一些经验，包括重视社区、保持用户参与、维护网站、分享新闻、保持沟通畅通、尊重他人以及选择合适的开源许可证等。
阅读更多
本文节选自游戏设计师Adrian Hon的著作《You've Been Played》。作者以其开发的热门跑步游戏《Zombies, Run!》为例，探讨了游戏化设计的成功之道。Hon认为，有效的跑步游戏设计需要充分考虑跑步活动的特性，例如单人参与、固定路线、避免频繁看屏幕等。与之相反，许多游戏化设计追求普适性和可扩展性，最终沦为千篇一律的积分、徽章和排行榜，缺乏对特定活动的深入理解，难以取得成功。
阅读更多
Vista Equity Partners 在以 35 亿美元的价格将科技学习平台 Pluralsight 私有化三年后，将其投资的全部股权价值核销。这家总部位于犹他州的公司的财务状况有所改善，2023 年的 EBITDA 利润率约为 26%，但不足以支付利率较低时发行的近 13 亿美元的债务。由于其教授的一些开发人员技能正在实现自动化，因此该公司的未来可能会因人工智能的进步而黯然失色。
阅读更多
Savvy CLI 是一款使用 AI 或用户提供的命令，在终端创建、共享和运行运行手册的工具。它可以根据自然语言提示生成完整的运行手册或单个命令，并允许用户使用 savvy record 或 savvy record history 从 shell 历史记录创建运行手册。此外，Savvy CLI 还支持运行手册的共享、运行和解释，并提供了一些有用的功能，例如自动填充命令和解释错误消息。
阅读更多
该文章讨论了在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 倍。
阅读更多
Maestro 是 Netflix 开发的一款通用工作流编排器，为数据平台用户提供完全托管的工作流即服务 (WAAS)。它每天为数据科学家、数据工程师、机器学习工程师等数千名用户提供服务，处理数十万个工作流和数百万个作业。Maestro 具有高度可扩展性和可扩展性，支持现有和新的用例，并为最终用户提供增强的可用性。
阅读更多
Ladybird 是一款开源浏览器，致力于构建独立于 Chrome 的浏览器引擎。开发者 Andreas Kling 最初将其作为 SerenityOS 项目的一部分，但最近将其分离出来，以便完全专注于浏览器的开发。Ladybird 目前处于 pre-alpha 阶段，可在 Linux、macOS 和其他类 UNIX 系统上运行。尽管功能有限且稳定性有待提高，但 Ladybird 已经展现出一定的潜力，并以惊人的速度持续迭代。
阅读更多
北美汽车经销商软件供应商CDK Global遭受网络攻击，导致系统瘫痪，经销商无法使用软件进行销售、融资和保险等日常运营。CDK Global表示正在努力恢复系统，预计需要几天时间。受此影响，许多经销商被迫使用手动流程，包括手写订单，这可能导致销售延误。
阅读更多
本文介绍了导演弗朗西斯·福特·科波拉在创作电影《教父》时所做的笔记。科波拉将他对马里奥·普佐原著小说的笔记与他对基调、人物和历史背景的思考结合起来，制作了一个笔记本。这些笔记记录了他的创作思路，包括对场景的梗概、时代背景、图像和基调、质感、核心和陷阱的详细分析。文章还展示了科波拉如何通过他的笔记将小说转化为电影场景的具体例子。
阅读更多
Wasmer，一家致力于构建下一代云计算平台的初创公司，正在招聘高级前端开发人员。应聘者需具备扎实的 JavaScript、TypeScript、React 等前端技术，并有大型代码库工作经验。该职位负责开发高效、可复用的 UI 组件，并参与技术讨论以提升代码质量和团队效率。
阅读更多
欧洲航天局2024年空间环境报告指出，低地球轨道卫星数量激增，导致空间碎片数量达到不可持续水平。报告警告，如果不采取措施减少碎片，未来太空旅行将面临风险。为解决这一问题，欧洲航天局制定了零碎片宪章，鼓励各方在2030年前实现碎片中和，并采取了其他措施，例如投资碎片清除任务。
阅读更多
PaliGemma 是一款轻量级开源视觉语言模型，它可以理解图像和文本，并回答有关图像的详细问题。PaliGemma 可以用于图像字幕、物体检测和阅读图像中的嵌入文本等任务。文章介绍了 PaliGemma 的两种模型：通用预训练模型和面向研究的微调模型。此外，文章还强调了 PaliGemma 的主要优势，包括多模态理解、多功能基础模型和开箱即用的探索能力。
阅读更多
3D 打印巨头 Stratasys 对新兴厂商 Bambu Lab 提起专利诉讼，称其侵犯了 Stratasys 持有的 10 项专利，其中包括加热平台和清除塔等被广泛应用于消费级 3D 打印机的技术。Stratasys 于 1988 年开始涉足 3D 打印领域，而 Bambu Lab 于 2022 年才进入市场。此次诉讼可能对 3D 打印行业产生重大影响。
阅读更多
人工智能的快速发展对计算能力提出了巨大需求，传统的电子芯片功耗高，效率低，难以满足需求。光基芯片以光子代替电子进行信息处理，具有带宽高、速度快、效率高等优势，在矩阵乘法等人工智能计算任务中表现出潜力。尽管光学计算仍处于发展初期，但其在特定应用领域的优势以及未来超越电子系统的可能性，使其成为人工智能领域备受关注的研究方向。
阅读更多
