LLM驱动FFmpeg命令生成器：llmpeg
2025-01-18
llmpeg项目利用大型语言模型(LLM)简化FFmpeg命令的使用。只需简单的描述，llmpeg就能生成相应的FFmpeg命令，例如去除视频音频。该项目需要FFmpeg和OpenAI API密钥，为视频处理提供了便捷的AI辅助工具。
开发
分类: 开发
VS Code 萌宠插件：提升你的编程乐趣
2025-01-18
厌倦了枯燥的编程？这款名为`vscode-pets`的VS Code插件，为你带来猫咪、狗狗、蛇等各种萌宠，陪伴你一起coding！插件安装简单，功能丰富，可自定义宠物类型和主题。更有来自全球贡献者的翻译支持，让你的编程之旅充满乐趣！
开发
萌宠
亚马逊AI爬虫导致Git服务器崩溃
2025-01-18
博主Xe Iaso的Git服务器（gitea.xeserv.us）被亚马逊的AI爬虫攻击，导致服务器不稳定。尽管博主尝试了添加robots.txt、nginx配置阻止特定User-Agent等方法，但爬虫仍然通过不断变化的IP地址和伪造的User-Agent进行攻击。无奈之下，博主只能将服务器移至VPN之后，并计划开发一个基于工作量证明的代理来防御未来的攻击。这篇文章表达了博主对亚马逊AI爬虫过度消耗资源的无奈和愤怒，并呼吁亚马逊停止攻击或进行协商解决。
Shapecatcher：用绘画寻找Unicode字符
2025-01-18
Shapecatcher是一个创新的工具，允许用户通过绘制字符的形状来查找对应的Unicode字符。目前数据库包含11817个字符，但不支持日韩中文字符。用户只需在画布上绘制字符，点击“识别”即可获得匹配结果。该项目仍在测试阶段，未来计划扩展数据库，并支持更多字符，包括使用高质量的Noto字体添加中日韩字符。
开发
字符识别
Dusa编程语言：图探索与逻辑编程的完美结合
2025-01-18
Dusa是一种由Rob Simmons和Chris Martens设计的逻辑编程语言，是有限选择逻辑编程的首次实现。它结合了Datalog和Answer Set Programming的特性，并可作为图探索语言使用。Dusa提供网页编辑器、命令行工具和JavaScript API，方便用户使用。对于熟悉Datalog或Answer Set Programming的用户，Dusa提供了熟悉易用的特性；对于不熟悉这两者的用户，Dusa则提供友好的图探索功能入门。
Hilbert曲线：一种优美的空间填充曲线及其可视化
2025-01-18
本文深入探讨了Hilbert曲线，一种具有良好聚类属性的空间填充曲线。作者通过将三维RGB颜色空间的Hilbert曲线投影到二维平面上，创造性地将其可视化。该可视化效果呈现出独特的艺术美感，同时直观地展现了Hilbert曲线的聚类特性。文章还介绍了Hilbert曲线的算法实现，并提供了一个Python项目，用于生成和可视化各种空间填充曲线。
(corte.si)
开发
isd：提升systemd管理效率的TUI工具
2025-01-18
isd是一个命令行工具，旨在简化systemd单元的管理。它提供模糊搜索、自动刷新预览、智能sudo处理以及完全可定制的界面。isd 不仅适用于systemd高级用户，也降低了与systemd单元交互的门槛。它提供统一界面，仅显示相关信息和命令，即使只使用 `systemctl status` 命令的用户也能从中受益，因为它会自动刷新输出。isd 支持多种安装方式，包括AppImage、Nix和uv。
开发
禁用互联网SSH密码认证：安全增强还是过度谨慎？
2025-01-18
本文探讨了禁用互联网SSH密码认证的利弊。作者认为，虽然强密码可以有效抵御暴力破解，但禁用密码认证可以额外防止密码被窃取、SSH服务器漏洞利用以及预设账户被入侵等风险。然而，禁用密码认证也存在不便之处，例如在无法使用密钥对的情况下无法登录。作者建议根据自身情况权衡利弊，选择合适的安全策略。
并发程序的非直觉行为：一个简单的例子
2025-01-18
作者在使用模型检查器检查一个简单的并发程序时，发现了令人惊讶的结果。程序包含两个并发进程P和Q，它们分别对变量n进行10次加1操作。直觉上，n的最终值应该在10到20之间。然而，模型检查器却发现了一种极端的交错执行，导致n的值最终为2。作者尝试用Go语言编写程序来重现这种行为，但未能成功，这表明这种极端交错在实际应用中极少出现。这个例子展示了并发程序中隐藏的复杂性，以及直觉在理解并发行为时的局限性。
开发
非直觉行为
用有限域汇编在CPU上模拟GPU
2025-01-17
本文介绍了使用名为Finite Field Assembly (FF-asm) 的新型编程语言在CPU上模拟GPU的方法。FF-asm 采用递归计算范式，无需SIMD向量化或OpenMP并行化，通过自定义数学系统（基于有限域理论和同余）实现CPU上的大量并行计算。文章通过逐步的代码示例演示了如何在FF-asm中进行加法和乘法运算，展示了其在模拟GPU方面的潜力。
PHP处理PowerPoint的利器：开源库大盘点
2025-01-17
还在为在PHP项目中处理PowerPoint文件而烦恼吗？现在有了多种开源PHP库，可以轻松创建、编辑、转换PPT和PPTX文件。这些库不仅简化了开发流程，还提供了丰富的功能，例如格式化、合并和保护文件等。无论你是需要生成炫酷的演示文稿，还是需要处理大量的PPT文件，这些库都能满足你的需求，并节省大量时间和精力。
开发
PowerPoint
无X11的动手图形编程：NetBSD的wscons框架
2025-01-17
本文介绍了如何在NetBSD系统上，无需X11或Wayland，直接使用wscons框架进行底层图形编程。作者通过编写程序，访问和操作帧缓冲区，实现了在终端上绘制图形，并结合键盘输入，演示了如何绕过传统图形系统，直接与硬件交互。这对于嵌入式系统等资源受限的环境尤其有用，能够实现更快的启动速度和更低的资源消耗。
开发
wscons
逆向渲染框架Dr.TVAM：开启体绘制增材制造新纪元
2025-01-17
Dr.TVAM是一个基于Mitsuba渲染器的逆向渲染框架，用于体绘制增材制造(TVAM)。它利用基于物理的微分渲染技术，优化TVAM的图案生成。支持散射打印介质、任意瓶形和投影仪运动，并改进目标形状的离散化方案。该项目提供命令行工具和详细文档，方便用户进行自定义设置和优化。
C 语言编译到 FlipJump：一个极简 RISC-V 虚拟机
2025-01-17
c2fj 项目是一个将 C 语言代码编译到 FlipJump（一种极简指令集虚拟机）的编译器。它先将 C 代码编译成 RISC-V ELF 文件，再将 RISC-V 指令翻译成 FlipJump 指令，最后运行生成的 FlipJump 程序。这个过程巧妙地利用了 FlipJump 的空间优化特性，使得即使是大型 C 代码也能高效编译。c2fj 支持多种编译选项，并提供 Makefile 支持复杂项目。它还包含一个精简的 C 库，实现了必要的系统调用，例如 `exit`, `getc`, `putc` 和 `sbrk`。
开发
FlipJump
无分支UTF-8编码：一个优雅的挑战
2025-01-17
本文探讨了如何在不使用分支语句的情况下进行UTF-8编码。作者从一个问题出发：如何高效地计算UTF-8编码的字节数？最初的方案使用了if-else语句，但作者最终通过巧妙地利用位运算和查找表，并结合Rust语言的特性，成功地实现了无分支的UTF-8编码，并消除了运行时数组边界检查。虽然性能方面没有深入探讨，但这篇文章展示了在追求代码优雅性方面的创造性解决方案，为高效的UTF-8编码提供了一种新的视角。
开发
Skyvern 浏览器代理 2.0：达到最先进的评估水平
2025-01-17
Skyvern 团队发布了开源无代码浏览器代理构建器 Skyvern 2.0。通过引入规划器-执行器-验证器代理循环架构，Skyvern 2.0 在 WebVoyager 评估中取得了 85.85% 的最先进结果。该架构将复杂的指令分解成更小的目标，并通过验证阶段确保成功执行。Skyvern 2.0 能够处理诸如“访问 Amazon 并将 iPhone 16、手机壳和屏幕保护膜添加到购物车”之类的复杂指令，展现了其强大的自动化能力。团队还公开了完整的评估结果，体现了其对开源的承诺。
开发
hyveOS：无需服务器的机器人和无人机编组系统
2025-01-17
hyveOS是一个去中心化的系统，用于协调机器人和无人机群，无需互联网连接或中央服务器。它允许开发者在各种设备（如树莓派）上安装hyved，并使用多种SDK（包括Python、Rust、JavaScript等）开发应用程序。hyveOS的核心在于其去中心化架构，使得编组控制更加灵活可靠，并能适应各种复杂的应用场景。该系统提供示例应用程序，方便开发者快速上手。
开发
速食软件 vs. 家常软件：一场关于软件开发哲学的辩论
2025-01-17
本文探讨了两种截然不同的软件开发方式：速食软件和家常软件。速食软件采用敏捷开发，快速迭代，以牺牲长期可维护性为代价换取快速上线。家常软件则注重前期设计，代码精简，更注重长期稳定性，但开发周期较长。作者以辛辣的笔触批判了当今盛行的速食软件开发模式，认为其导致了大量技术债务和糟糕的用户体验，并呼吁业界回归更注重质量和可维护性的家常软件开发模式。
开发
Mermaid图表可视化编辑器更新：轻松编辑类图
2025-01-17
Mermaid图表近期更新了其可视化编辑器，使其能够更轻松地创建和编辑类图。新功能包括更改渲染方向、添加类和关系、添加标题和注释、更新图表配置以及更改主题和布局等。用户可以通过拖放操作轻松创建和更新类图，而无需手动编写Mermaid语法。可视化编辑器还提供了一个强大的对话框界面，用于修改类属性，例如添加属性和方法，设置可见性修饰符和数据类型等。这些改进使创建和维护复杂的类图更加高效和便捷，尤其适合不熟悉Mermaid语法的团队成员。
开发
类图
Go 1.24 新特性速览：弱指针、改进的终结器和更快的 map
2025-01-17
Go 1.24 于二月发布，带来了诸多令人兴奋的改进。本文以交互式教程的形式，重点介绍了弱指针、改进的终结器、基于 SwissTable 的更高效 map 实现、并发 hash-trie map、目录作用域文件系统访问等特性，并通过示例代码演示了其使用方法和性能提升。此外，Go 1.24 还改进了测试框架，引入了合成时间用于测试，简化了日志处理，并增加了新的字符串和字节迭代器。这些改进显著提升了 Go 语言的开发效率和性能。
Rust快速原型开发：打破刻板印象
2025-01-17
本文挑战了Rust不适合快速原型开发的传统观念。作者指出，Rust强大的类型系统和工具链，反而能帮助开发者尽早发现设计缺陷，减少后期返工。文章介绍了多种Rust原型开发技巧，例如使用简单类型、利用类型推断、合理使用`unwrap`、充分利用IDE等，并以实际案例说明如何利用Rust的类型系统进行设计，最终构建出健壮的生产级代码。作者还强调避免过早优化，并推荐使用`dbg!`宏进行调试。总而言之，本文为Rust快速原型开发提供了实用指南，帮助开发者高效地将想法转化为可运行的代码。
开发
原型开发
Zig 0.14.0 版本发布临近：改进的 x86 后端和增量编译
2025-01-17
Zig 软件基金会在经历了一段时间的沉寂后，即将发布 0.14.0 版本。该版本重点改进 x86 后端（可能成为调试版本的默认后端）和增量编译（默认禁用，但可通过编译器标志启用）。其他改进包括标记的 switch continue 和对几乎所有目标平台的支持提升。团队鼓励用户升级到最新的主分支，并会在发布月期间全力确保平滑升级。虽然 1.0 版本仍需时日，但团队致力于提供稳定、渐进的版本迭代。
开发
YC孵化器公司Fern招聘AI工程师，年薪高达19.2万美元
2025-01-17
Y Combinator孵化的初创公司Fern正在招聘AI工程师，年薪高达19.2万美元，另有1.8万美元的居住补贴。Fern致力于简化API的使用，为企业提供高质量的SDK和文档。该职位需要4年以上后端或全栈开发经验，精通TypeScript和至少一门其他编程语言，并有AI产品开发和部署经验。这是一个快速发展的SaaS公司，你将有机会参与从零到一的AI功能开发，并对项目拥有完全的自主权。
开发
Lua编程精粹(第一版)在线版
2025-01-17
Lua首席架构师Roberto Ierusalimschy编著的《Lua编程精粹》(第一版)在线版现已开放。本书深入浅出地介绍了Lua编程的方方面面，涵盖语言基础、数据结构、标准库以及C API等内容。虽然针对Lua 5.0编写，但仍适用于后续版本。该在线版本已包含所有勘误修正，适合个人学习使用。
开发
PostgreSQL 匿名化扩展：数据库数据脱敏利器
2025-01-17
PostgreSQL Anonymizer 是一款强大的数据库扩展，允许你声明式地定义数据脱敏规则，直接在数据库模式中实现匿名化。它支持多种脱敏方法，包括静态屏蔽、动态屏蔽、匿名转储等，并提供多种屏蔽函数，例如随机化、伪造、部分混淆等，甚至支持自定义函数。该扩展旨在通过设计实现匿名化，帮助开发者在开发阶段保护敏感数据，例如个人身份信息（PII）或商业敏感数据。它还提供了一些检测函数，可以帮助你猜测哪些列需要匿名化。通过Docker镜像快速启动，并提供了详细的教程和成功案例，例如在法国公共财政总局和bioMérieux的应用。
开发
数据脱敏
麦当劳App安全漏洞：过度信任客户端引发的灾难
2025-01-17
一篇博客文章揭露了麦当劳App中一个严重的安全性漏洞。该漏洞源于App对客户端的过度信任，导致黑客可以通过各种手段绕过安全检查，获取免费巨无霸等优惠。文章详细描述了攻击者如何利用Root权限、自定义恢复系统等手段绕过麦当劳App的安全机制，并指出简单地检查客户端的可靠性并不能有效阻止此类攻击。作者呼吁开发者摒弃对客户端的盲目信任，采用更有效的安全措施，避免类似事件再次发生。
开发
CIELab颜色空间与感知亮度问题：红色亮度误差
2025-01-17
本文探讨了CIELab颜色空间及其改进版本（CIECAM02和Oklab）在预测感知亮度方面的局限性。虽然这些颜色空间旨在感知一致，但它们无法完全准确地预测人类对颜色的感知，尤其是在高饱和度颜色（如红色）上。这种偏差被称为Helmholtz-Kohlrausch效应，导致红色在CIELab中看起来比实际暗。作者提出了一种基于“预测等效消色差亮度”（L_EAL）的新方法来解决这个问题，并指出在图像去饱和等应用中，L_EAL能提供更准确的结果。
AI软件工程师Devin：潜力巨大，但现实骨感
2025-01-17
Answer.AI团队对号称全自动软件工程师的AI工具Devin进行了为期一个月的测试。初期，Devin在处理简单任务（如Notion数据迁移到Google Sheets）时表现惊艳，但随着任务复杂度的增加，问题逐渐暴露。Devin在创建新项目、执行研究和修改现有代码方面都表现不佳，经常陷入技术死胡同或生成过于复杂的解决方案，甚至在面对不可能完成的任务时仍然执迷不悟。最终，20个测试任务中只有3个成功，14个失败，3个结果不确定。团队总结认为，Devin的自主性在实际应用中反而成为累赘，目前更可靠的方案是开发者主导开发流程，辅以AI辅助工具。
目标与关键成果（OKR）的级联：我们能做得更好
2025-01-17
传统的OKR级联模式，将公司目标逐层分解到部门和团队，这种“加法”模式忽略了部门间的相互依赖性。文章作者认为，更有效的OKR设定方法应该是“赋能”模式，团队应关注自身如何支持公司战略目标的实现，而非简单地将目标分解。这种模式下，即使团队的OKR看似与公司目标没有直接关联，但其提供的支持性工作对于最终目标的达成至关重要。文章强调，OKR应服务于公司战略，而非仅仅关注季度目标，团队应思考自身在实现公司长期战略中的角色和贡献。
开发
战略目标
SLUM：影子库运行时间监控器——JavaScript 依赖警告
2025-01-17
网站SLUM（影子库运行时间监控器）需要启用JavaScript才能正常运行。如果没有启用JavaScript或浏览器不支持JavaScript，网站将无法访问。
开发
运行时间监控