clx 是一个原生 Lua 5.5 编译器，将 Lua 源码翻译为由 Clang、GCC 或 MSVC 编译的 C++，生成不依赖 Lua VM（lua55.dll/liblua55.so）的独立可执行文件。与打包解释器的工具不同，clx 将程序编译为原生代码，同时保留专用的 clx 运行时以支持 Lua 语义——表、字符串、垃圾回收、协程和标准库。它支持多文件模块、通过 clx API 的原生 C++ 模块、目标文件/静态库输出，以及可选的 --dynamic 模式，该模式嵌入 Lua 5.5 VM 以支持运行时代码加载。原生编译支持优化、死代码消除和小体积二进制文件（一个 Pong 游戏可以只有几百 KB）。主要挑战包括表、多返回值、协程、垃圾回收和保留 Lua 语义。面向 C++20 可利用成熟的编译器后端并简化原生集成。clx 仍在发展中，但已能将真实的多文件项目编译为无需单独 Lua 安装的原生可执行文件。
每日HackerNews RSS
对不起。
0 创立规则 所有代码由 AI 编写 Rust、SQL、HTML、CSS、TypeScript 和每个 Dockerfile 的每一行都由代理编写。人类编写意图：product/ 中的规格、访谈中的回答、对话中的反馈。绝不写代码。这是其他规则所依赖的规则：样板代码是免费的，约定由代理强制执行，规格保持唯一真相来源。阅读 §0。# Markdown 是框架 在框架会发布库的地方，Off Rails 发布精确规格。任务队列、会话和 Inertia 适配器被渲染成你拥有的应用代码。! 强烈意见，面向代理 crate 选择、文件布局、命名、错误、测试：一次决定。代理从不争论 ORM。敌人是不一致，不是不完美。+ 开箱即用 认证、任务、邮件、缓存、上传、实时、部署：每一层都有指南和配方，因此代理从不从空白页开始。浏览指南。
对不起。
Trail of Bits 和 OpenAI 发布了两个 Codex 插件，patching-bugs 和 regression-hunt，用于标准化 AI 辅助修补和回归检查。patching-bugs 通过三臂证明、不变量引导修复和集成回归分析来复现 bug、开发修复并测试。regression-hunt 将变更代码追踪到真实接口，在真实部署中复现候选问题，回放证明并判定回归；初步测试中，其误报比基线代理减少 25%，但某些已知回归仍处于边界情况。这些插件基于 Patch the Planet 经验和四项原则构建：简洁且有明确立场的指导、模块化技能、严格输入/输出模式，以及每个声明对应的实时 PoC。它们最适合配合项目特定的 THREAT_MODEL.md 和 PATCHING_GUIDELINES.md 文件使用，这些文件定义漏洞、回归、构建/测试期望和修补标准。目标是在 AI 加速漏洞发现的同时，更快、更安全地修复 bug。
Hacker News 上关于 AI 代理修复 bug 的讨论引发了对意外修改的担忧。一位评论者描述了一种新系统，利用算法检查和代码指纹识别，确保 AI 编辑仅影响预期区域，从而增加对完全由 AI 生成代码的信心。其他人要求提供细节或代码仓库。另一位来自 Trail of Bits 的评论者认为，漏洞的快速发现意味着团队必须更快地修补，利用他们的技能/工具。而一条回复指出，仅修复已发现的漏洞无法使软件安全，但快速响应仍然重要。
启用 JavaScript 和 Cookie 以继续
对不起。
你的微控制器可能逃过了 eMudhra 中间证书颁发机构的安全事件 Your MCU likely escaped the eMudhra intermediate CA compromise
2 天前
eMudhra 中间 CA 被入侵暴露了弱中间私钥，使不强制执行证书透明度的客户端可能接受伪造的可信证书。浏览器和许多系统正在更新以移除受影响的中间证书或拒绝根证书。MCU 类物联网设备通常受影响较小，因为存储限制导致它们只包含服务所需的特定根 CA 证书，而不是广泛的 CA 证书包。除非 MCU 固件包含 eMudhra 或交叉签名的 Sectigo 根证书，并连接到链式使用它的服务器，否则它很可能不受此漏洞影响。剩余工作是修补开发者工具、CI、云服务和生产力软件。
对不起。
作者是一位有 FP&A 经验的金融学毕业生，在发现 n8n 后转向自动化。最初，空白画布和技术概念让他感到不知所措，觉得自己很蠢，几乎放弃，但他选择坚持。他警告“教程陷阱”：消费过多内容并拿自己与专家比较会瘫痪进步。相反，他倡导从小处开始，经常失败，并通过直接实践学习。他早期简单的 Gmail 到 Slack 工作流，后来发展为更高级的自动化：求职探索、eBay 倒卖、竞争对手库存监控和交易信号。过程中，他学习了 API、JSON、webhooks、网页抓取、AI 代理、MCP 和自托管。接受不适感帮助激发了新项目和商业机会，包括被芝加哥顶级科技孵化器早期录取。他的主要建议是：开始就做，忽略无帮助的噪音，并把感到愚蠢视为学习新事物的一部分。
抱歉。
这篇文章解释了日出与日落是由地球自转和阳光在大气中的过滤作用引起的。黎明与黄昏时，光线穿过更多的空气，短波长光被散射，留下更多红色、橙色和黄色。日落后，东地平线上升起的蓝色带是地球的阴影。就在它上方，由向后散射的红光与蓝天混合而成的紫罗兰色“金星带”出现。山辉是一种相关的、由背散射光引起的远方山脉玫瑰色光辉。这些彩色带每天提醒我们身处一颗旋转的星球上。
对不起。
世界各地城市因地下水枯竭而下沉：可以逆转 Cities Across the World Sinking from Groundwater Depletion: It Can Be Reversed
2 天前
许多沿海城市因抽取地下水枯竭含水层而下沉，叠加了海平面上升的影响。研究显示这一过程可以逆转：当含水层恢复时，城市可以抬升。日本大阪便是例证——在严格地下水管控之后，水位上升（每年最多1米）产生了快速抬升（每年最多12毫米），但并不均匀。这些不均匀的抬升带与构造断层线相吻合。断层像地下坝一样，阻挡地下水侧向流动，使水在“上游”侧更快积聚，从而加速那里的恢复与抬升。这揭示了一个适应机会：减少地下水开采并让含水层恢复，可以减缓或逆转沿海城市的土地沉降。
对不起。
两种被认为已灭绝6000年的有袋动物在西巴布亚偏远雨林中重新被发现：侏儒长指负鼠和环尾滑翔兽。这种有条纹、重200克的负鼠拥有伸长的第四指，用于取出钻木昆虫幼虫；滑翔兽则栖息于高树树洞中。研究人员包括蒂姆·弗拉纳里和克里斯·赫尔根，通过结合化石、照片、标本和实地走访，并在本地 Tambrauw 和 Maybrat 长老帮助下识别了它们。滑翔兽被一些当地居民视为神圣之物，他们既不狩猎也不为其命名。科学家称此类重新发现为“拉撒路类群”；发现两个非常罕见。滑翔兽的栖息地面临伐木威胁，促使人们努力争取需要本地同意的原住民土地权保护。
Hacker News 上的一个帖子链接了 BBC 关于在偏远的西巴布亚发现一种被认为已灭绝 6000 年的小型负鼠和滑翔兽的报道。讨论范围从保护希望与对伐木/棕榈油的担忧延伸到西巴布亚的政治局势：评论者描述了印尼占领、军事暴力、资源开采以及格拉斯伯格矿附近的外国介入。其他人分享了关于西巴布亚历史以及可能的袋狼考察的视频。一些用户纠正地理（巴布亚与婆罗洲）并讨论标题语法。总体而言，该帖将对重新发现的兴奋与对西巴布亚环境和人道威胁的担忧结合在一起。