Rebuf 是一个用 Go 语言实现的 WAL（预写式日志）库，可用于在服务故障期间记录数据字节，并在需要时重放。它具有轻量级、易于使用、高效存储和检索日志数据等特点。
阅读更多
本文介绍了作者如何使用 Zenstack 为其 SaaS 产品构建多租户授权系统。作者最初使用 Supabase RLS 管理授权策略，但发现难以管理和调试。为了更紧密地耦合应用程序代码并加快迭代速度，作者选择了 Zenstack。Zenstack 扩展了 Prisma ORM，添加了授权层和代码生成。作者详细介绍了如何定义访问控制策略、将用户会话与授权策略绑定、使用 Zenstack 生成代码以及从 Supabase RLS 迁移到 Zenstack 的过程。
阅读更多
文章讲述了在当今航天领域，软件工程师和计算机科学家如何取代宇航员成为幕后英雄。 软件技术的革新使得航天器更加小巧、智能，能够自动飞行、着陆，并通过软件更新进行远程维护。 文中列举了多个案例，例如软件工程师通过代码修复了航天器故障、调整了传感器设置，甚至帮助航天器在月球表面成功着陆。 这些案例都证明了软件工程师在现代航天任务中扮演着至关重要的角色。
阅读更多
本文主要探讨了桥梁如何通过深基础设计来承受巨大重量而不下沉。文章首先介绍了桥梁结构的特点和其对地基的特殊要求，然后详细解释了两种主要的深基础形式：桩基础和钻孔桩。桩基础利用锤击将桩体打入地下，通过端承力和摩擦力来抵抗荷载；而钻孔桩则是通过在地面钻孔并浇筑混凝土而成，可以根据需要设置扩底和斜桩来增强承载能力。文章还介绍了其他类型的深基础，并通过案例分析强调了地质工程在深基础设计中的重要性。
阅读更多
2023年，法国版权方针对网络用户发起了260万份盗版投诉，最终只有234人受到了经济处罚。尽管法国采取了逐步警告制度，但盗版投诉数量逐年下降，这可能是由于流媒体和文件托管服务的兴起，以及用户使用VPN等规避措施导致的。
阅读更多
CHERI项目致力于解决内存安全漏洞问题，通过扩展传统硬件指令集架构，实现细粒度内存保护和高度可扩展的软件隔离。CHERI架构已在CHERI-MIPS、CHERI-RISC-V和Morello等原型中实现，并进行了广泛的软件移植。为了确保CHERI架构的安全性，研究人员使用了严格的工程方法，包括基于模型的测试生成和机器检验的数学证明，以验证其关键安全属性，例如可达能力单调性，确保软件无法伪造能力或提升权限。
阅读更多
Prelude 是一款简单易用的工具，可以帮助用户从代码库构建大型语言模型（LLM）提示。它可以生成包含指定目录下文件树和文件内容的提示，并将其复制到剪贴板或保存到文件中。Prelude 支持使用相对路径、文件名匹配模式和忽略文件来定制提示生成过程。
阅读更多
本文讲述了开源屏幕录制软件 Captura 的开发者 Mathew Sachin 停止更新软件的原因。Mathew 从高中时期开始开发 Captura，但随着软件规模的扩大，维护和开发压力也越来越大，同时他还面临着软件被盗卖、收到威胁邮件等问题，最终导致他选择停止更新。Mathew 在文中也分享了他从 Captura 项目中吸取的经验教训，以及他对未来开源项目和软件开发的一些想法。
阅读更多
云资产管理初创公司Firefly获得2300万美元A轮融资，尽管其首席技术官Joseph “Sefi” Genis于2023年10月在Nova音乐节上遭哈马斯杀害。Firefly利用“基础设施即代码”解决方案，帮助企业管理复杂的云资产，并提供自动化的修复建议。公司在经历悲剧后仍保持增长，2023年收入翻了两番，并获得了财富500强企业的青睐。
阅读更多
本文讲述了作者如何通过使用sqlite构建自建分析API，以节省Vercel分析服务的费用。作者详细描述了选择技术栈、搭建服务、性能测试、部署到DigitalOcean VPS、解决部署过程中遇到的问题、构建简单仪表盘以及与Vercel分析服务进行比较的过程。最终，作者成功地将分析服务成本降低了13.27美元，并计划进一步迭代和探索自建服务的可能性。
阅读更多
亚马逊旗下游戏直播平台 Twitch 解散了其安全咨询委员会的所有九名成员，并表示将由 Twitch 大使接任。该公司称，新的委员会成员将提供“新鲜、多元的视角”。但有报道指出，此举可能是为了削减成本，因为即将离任的成员每年可获得 1 万至 2 万美元的报酬。今年 1 月，Twitch 裁员 35%，并降低了主播的收入分成。
阅读更多
龙与地下城发行商威世智宣布，其2024年版规则将采用 Creative Commons 许可证发布。新的系统参考文件（SRD 5.2）将包含2024年版玩家手册、地下城主指南和怪物图鉴中的所有核心内容，包括职业特性、怪物、规则表述等，但不包括被视为知识产权的内容，例如 beholder 或 Baldur's Gate 的设定。SRD 5.2 将在2025年2月发布的2025年版怪物图鉴出版后的几周内发布，并将提供所有龙与地下城书籍语言的版本。
阅读更多
Front Porch Forum是一个发源于佛蒙特州的社交网站，以其友善和谐的社区氛围著称。与充斥着算法推荐和刺激性内容的商业社交平台不同，Front Porch Forum注重真实邻里互动和文明理性讨论。该网站严格的内容审核制度有效过滤了人身攻击、虚假信息和垃圾邮件，为用户提供了一个安全友好的交流平台。研究表明，Front Porch Forum的用户参与度和社区归属感远高于Facebook和Nextdoor等平台。
阅读更多
经过20多年的研究，一种从金鱼草中提取颜色基因并注入番茄的转基因紫色番茄终于面世。这种名为“紫色番茄”的果实颜色类似康科德葡萄，果肉呈李子色，富含花青素，具有抗癌和抗炎的作用。这是第一种直接面向家庭园丁销售的转基因食品作物，旨在改变美国人对转基因食品的负面看法。
阅读更多
Micro Agent是一款人工智能代码编写工具，通过迭代代码直至所有测试用例通过来确保生成代码的可用性。它支持单元测试匹配和视觉匹配两种模式，并可与OpenAI、Claude、Ollama等平台以及Figma集成。用户可以通过命令行界面或配置文件设置API密钥、模型、运行次数等参数。
阅读更多
本文介绍了QEMU如何通过模拟硬件内存映射来虚拟化操作系统，并解释了虚拟化技术的基本原理。文章详细阐述了QEMU如何模拟IDE磁盘、网络适配器等硬件设备，以及virtio技术如何通过优化硬件设计来提高虚拟化性能。
阅读更多
为保障游客安全，纽约市在海滩部署无人机巡逻，以搜寻鲨鱼和遇险游泳者。然而，此举引发了当地鸟类的强烈不满。据报道，自5月无人机投入使用以来，经常有鸟群对其进行俯冲攻击，迫使警方和其他机构调整飞行计划。野生动物专家对此表示担忧，认为无人机可能会对海岸线筑巢的濒危鸟类造成负面影响。
阅读更多
ChatTTS 是一款专为对话场景设计的文本转语音模型，支持英语和中文。该模型经过超过 100,000 小时的中英文组合训练，能够生成自然且富有表现力的语音，并支持多说话者和精细的韵律控制。
阅读更多
本文节选自艾德·西蒙的新书《魔鬼的契约：浮士德式交易的历史》，探讨了从文艺复兴时期至今，关于浮士德与魔鬼交易的文学作品，以及这种交易如何反映了人类在现代社会中对权力、贪婪和虚荣的追求，最终导致我们可能面临自身毁灭的结局。
阅读更多
SAMA（简单而先进的消息传递替代方案）是一个开源聊天服务器，旨在跨移动和Web应用程序进行安全、高效的实时通信。它支持实时消息传递、群组聊天、用户管理、多设备支持、推送通知、集群和广泛的API，以增强通信需求。
阅读更多
这篇技术文章介绍了一个名为 nvidia_fan_control_linux 的 Python 脚本，该脚本可以在 Linux 系统下控制 Nvidia GPU 的风扇速度。文章详细介绍了脚本的设置步骤、使用方法、示例代码以及输出结果，还提供了风扇曲线参数设置和绘制风扇速度曲线的代码示例。
阅读更多
Netris 是一个开源的云游戏平台，允许用户与朋友一起玩游戏。它可以被看作是 GeForce NOW 的替代品，并且可以自托管。该平台目前处于实验阶段，具有 Proton-GE 兼容性、QUIC 协议支持、游戏进度自动同步、合作游戏、跨平台游戏和带宽优化等功能。用户可以选择自托管 Netris 或使用其网站 netris.me，无需安装或设置。
阅读更多
CheerpX是一种x86虚拟化技术，可以在浏览器端运行可执行文件和操作系统。它是一个始终可用、零成本的虚拟机，具有保证的数据隐私性，由WebAssembly JIT引擎提供支持。CheerpX非常适合基于Web的IDE、编程教程、虚拟机和交互式演示。它还可以用于为不受信任的代码提供安全的沙箱。
阅读更多
AMD首席执行官苏姿丰在近期接受采访时，回忆起她在IBM工作期间参与设计PS3的Cell处理器。尽管Cell处理器在当时被认为极具野心，但由于其架构复杂，导致PS3成为索尼最不受欢迎的游戏机之一。苏姿丰认为，游戏机行业已经经历了多个阶段，开发者最终希望在通用的平台上开发游戏，而不是专门为Cell处理器进行优化。
阅读更多
本文是作者Rasheed Starlet分享了自己学习和构建编程语言Llama的经历和感悟。作者从最初的好奇，到被TopRank项目激励，再到选择Rust语言进行开发，详细描述了学习编译原理的乐趣和挑战。作者认为，学习编译原理不仅可以满足好奇心，提升工程技能，还能学习到其他编程领域通用的知识和技能。
阅读更多
声致发光是指液体中的气泡在受到声音激发时，因快速压缩而发光。该现象最早发现于1934年的科隆大学。其发生机制尚不清楚，但普遍认为与气泡内部高温等离子体有关。声致发光存在两种形式: 多气泡声致发光（MBSL) 和单气泡声致发光（SBSL)。该现象在自然界中也有发现，例如手枪虾可以通过快速闭合钳子产生声致发光。
阅读更多
游戏工作室Embark开源了其基于Rust语言开发的渲染器Kajiya，该渲染器支持光线追踪和实时全局照明等特性。Embark认为Rust非常适合图形编程，并希望通过开源Kajiya推动Rust在游戏开发领域的应用。
阅读更多
比尔·盖茨投资了一家名为Savor的加州初创公司，该公司致力于利用二氧化碳和氢气制造类似黄油的富含脂肪的涂抹酱。该公司采用热化学工艺，以环保的方式生产动物脂肪替代品，并声称其产品尝起来像真正的黄油。该公司还计划开发牛奶、冰淇淋、奶酪、肉类和热带油脂等产品。
阅读更多
苹果公司宣布暂停其位于北卡罗来纳州的新园区建设项目，该项目原计划投资超过10亿美元。苹果公司表示将与北卡罗来纳州州长罗伊·库珀和北卡罗来纳州商务部合作，将项目时间线延长四年。尽管推迟了项目，但苹果公司强调其对北卡罗来纳州的承诺依然不变。
阅读更多
微软声称，欧盟法规导致其无法进行安全更改，从而阻止了 CrowdStrike 更新，进而引发了全球最大的 IT 故障。CrowdStrike 的 Falcon 系统故障导致数百万台 Windows 计算机和服务器无法加载，导致航班取消、非接触式支付无法使用以及医疗服务中断。微软在 2009 年与欧盟委员会达成协议，允许多个安全提供商在内核级别安装软件，这导致其无法像苹果那样阻止对内核的访问。
阅读更多