这篇文章探讨了如何使用TypeScript类型系统精确定义数独类型，目标是在TypeScript中玩数独时，如果出现错误，类型检查器会报错。文章首先定义了数独的基本类型，然后逐步介绍了如何使用泛型、条件类型、联合类型、交叉类型等特性来表达数独的规则，例如每个数字在行、列和九宫格内必须唯一。作者最终提供了一个完整的类型定义，可以用来验证数独的完整性和正确性。
阅读更多
Ruroco 是一款使用 UDP 协议在远程服务器上运行预定义命令的工具，通过对攻击者隐藏服务的存在性，使得服务器上的服务“不可见”。它可以用于在需要时打开和关闭 SSH 端口，以及执行其他自定义命令，提高服务器安全性。
阅读更多
FOSD 是一个用于操作系统开发的创新且灵活的框架，提供工具和资源，帮助开发者高效设计、开发和部署操作系统。其模块化结构和用户友好的界面为各个级别的开发者提供了一个合适的环境。FOSD 的主要特点包括：模块化设计支持各种操作系统架构，基于组件的结构易于扩展，最大化代码可重用性以减少开发时间，提供优化的构建系统和调试工具。
阅读更多
EPUBCheck 是 EPUB 出版物的官方一致性检查器，可以作为独立的命令行工具运行，也可以用作 Java 库。EPUBCheck 是由 DAISY Consortium 代表 W3C 维护的开源软件。它提供最新版本、构建指南、文档和参与项目的方式。
阅读更多
这是一篇介绍Ghidra Delinker扩展的文章，该扩展可以将程序导出为可重定位的目标文件。这些目标文件包含有效的元数据，可以被工具链直接用于进一步处理，用途包括高级二进制补丁、软件移植、文件格式转换、创建库和反编译项目等。该扩展支持x86和MIPS指令集架构，以及COFF和ELF目标文件格式。
阅读更多
InstantDB 是一款客户端数据库，旨在简化实时协作应用程序（如 Notion 或 Figma）的构建。它允许开发者使用类似 GraphQL 的 InstaQL 编写关系查询，自动处理数据获取、权限检查和离线缓存。InstantDB 还支持多人协作、乐观更新和回滚，并提供 JavaScript、React 和 React Native SDK。
阅读更多
Surfer 是一款开源的个人数据抓取工具，旨在帮助用户从数百个平台收集个人数据，并将这些分散的数据集中存储到本地。用户只需点击“导出”按钮，Surfer 就会自动访问目标网站，模拟用户登录并抓取数据。该项目使用 TypeScript 和 JavaScript 编写，并使用 Supabase 进行匿名数据分析。
阅读更多
Sonarr 是一款面向新闻组和 BT 用户的 PVR，它可以监控多个 RSS 源，查找您喜爱的节目的新剧集，并抓取、分类和重命名它们。它还可以配置为在有更好质量的格式可用时自动升级已下载文件的质量。
阅读更多
Isaiah 是一款可自托管的服务，允许用户在远程服务器上管理所有 Docker 资源。它是对 lazydocker 命令行应用程序的重新构建，以 Web 应用程序的形式提供，同时保留了其功能。Isaiah 提供了对堆栈、容器、镜像、卷和网络的管理功能，并支持多节点和多主机部署。它还提供了内置的身份验证、终端仿真、自定义主题和键盘导航等功能。
阅读更多
handwriter.ttf 项目利用 Harfbuzz WASM 实现了一种手写体合成器。该项目使用一个轻量级 RNN 模型，根据输入文本生成一系列笔画，并通过 Bresenham 算法将笔画光栅化成像素，最终生成手写风格的字体。该项目在速度和效率上进行了优化，在英特尔 Ultra 125H 上实现了每字符 0.08 秒的速度。
阅读更多
这是一篇关于transformers-ruby的GitHub项目介绍。transformers-ruby是一个Ruby语言的机器学习库，提供了最先进的transformers模型，用于自然语言处理任务，例如文本分类、问答和命名实体识别。该库还提供了一些示例，展示如何使用transformers模型执行不同的任务。
阅读更多
Plasmo 是一款功能强大的浏览器扩展程序 SDK，专为开发者打造，基于 React 和 TypeScript，提供一流的支持。该框架简化了扩展程序开发，让开发者无需再为配置文件和构建过程中的特殊问题而烦恼。Plasmo 提供声明式开发、内容脚本、UI 选项卡页面、实时重新加载、HMR、.env* 文件支持、存储 API、消息传递 API、远程代码捆绑、多浏览器和清单目标定位、自动部署以及对 Svelte 和 Vue 的可选支持等功能。
阅读更多
shadPS4 是一款适用于 Windows、Linux 和 macOS 的早期 PlayStation 4 模拟器，用 C++ 编写。该项目目前处于开发阶段，能够运行一些小型游戏，例如《索尼克：狂欢》、《传说之下》和《拆迁》等。开发团队的目标是进行小规模但定期的提交，但由于空闲时间有限，shadPS4 可能需要一段时间才能运行更大型的游戏。
阅读更多
Alpine.js 是一个轻量级的 JavaScript 框架，用于在 HTML 标记中直接组合 JavaScript 行为。该框架提供简洁的语法和易于使用的指令，使开发者能够快速构建动态交互的 Web 界面。Alpine.js 使用 ESBuild 进行打包，并提供多种插件扩展其功能，例如动画、表单处理和状态管理等。
阅读更多
MDRSS 是一个用 GO 编写的 Markdown 到 RSS 转换器。它允许你在本地文件夹中编写文章，并将它们自动格式化为符合 RSS 标准的 XML 文件。 MDRSS 会自动处理发布日期、类别、格式等。你可以在公共网站或任何公开可访问的地方发布生成的 RSS 文件。
阅读更多
HID Remapper 是一款可配置的 USB 软件狗，允许用户重新映射来自鼠标、键盘和其他设备的输入。它完全通过硬件工作，正常使用期间无需在计算机上运行任何软件。它可以重新分配按钮、更改键盘布局、将鼠标按钮映射到键盘输入、将按键映射到鼠标输入、更改鼠标灵敏度、旋转鼠标轴、锁定鼠标按钮、通过移动鼠标滚动等等。它可以通过使用 WebHID 的 Web 浏览器进行配置。
阅读更多
Srcbook 是一款在本地运行的 TypeScript 和 JavaScript 交互式编程环境，它提供了一个 Web 界面，允许用户创建、运行和共享可重现的程序和想法。 该工具支持导出为 Markdown 格式 (.src.md)，并提供 AI 功能来帮助用户探索和迭代想法。Srcbook 基于 Node.js 构建，并在 Apache2 许可下开源。
阅读更多
13 Feet Ladder 是一个类似于 12ft.io 的网站，用于绕过付费墙和广告拦截，可以访问例如Medium、纽约时报等网站的付费文章。它通过模拟 GoogleBot 获取网站的完整内容来实现。用户可以通过 Docker 镜像、Python 脚本或直接在 URL 后面添加目标网站地址来使用 13 Feet Ladder。
阅读更多
Llama Coder是一个开源项目，使用 Meta 的 Llama 3.1 405B 和 Together.ai 构建 Claude 工件，允许用户通过一个提示生成小型应用程序。它还利用了其他技术，如用于代码沙盒的 Sandpack、Next.js 应用程序路由器和用于可观察性的 Helicone。
阅读更多
FindMy Flipper 应用程序将 FlipperZero 变成了一个类似于 AirTag 的追踪设备，兼容苹果的 FindMy 网络、三星 SmartTag 和 Tile 追踪器。它使用蓝牙信标广播，允许用户克隆现有标签、生成 OpenHaystack 密钥对、自定义信标间隔和发射功率。用户可以通过克隆现有 AirTag、SmartTag 或 Tile 的 MAC 地址和 Payload 数据，或生成新的密钥对来模拟这些标签。
阅读更多
Window Switcher 是一款 Windows 工具，允许用户使用 Alt+` 快捷键在同一应用程序的窗口之间快速切换，还可以选择启用 Alt+Tab 在不同应用程序之间切换。该工具提供可自定义的配置文件，用户可以定义快捷键、启用或禁用特定功能，并微调设置。
阅读更多
这篇文章探讨了Rust和Cargo如何处理不兼容的传递依赖问题。与Python+pip不同，Rust+Cargo类似于Node.js+npm，允许在同一个项目中使用同一个库的不同版本，文章通过代码示例和Cargo命令演示了这一行为，并解释了Cargo如何构建和管理不同版本的依赖库。
阅读更多
PgQueuer 是一个 Python 库，它利用 PostgreSQL 的强大功能来实现高效的作业队列。PgQueuer 旨在简化和提高效率，它使用 PostgreSQL 的 LISTEN/NOTIFY 来轻松管理作业队列。文章提供了一个使用示例，演示了如何编写消费者和生产者来处理入队作业。
阅读更多
Dasel 是一款功能强大的命令行工具，支持查询、修改和转换 JSON、YAML、TOML、XML 和 CSV 等多种格式的数据。它使用统一的查询语法，并提供快速的数据处理能力，可以替代 jq、yq 等工具，并可作为 Go 包在项目中使用。
阅读更多
GDash 是一款功能丰富的圆石迷宫游戏克隆版，目标是尽可能接近原版游戏体验。该项目支持洞穴编辑器、音效、游戏手柄和键盘控制，并可使用 GTK+、SDL2 和 OpenGL 进行图形绘制。该版本新增了批量导出、跳过时间倒计时、完整洞穴显示、OpenGL 渲染器、截图功能改进、元素统计显示完整、游戏控制器增强支持等功能，并修复了多个错误。
阅读更多
Magic-Wormhole是一个用于在计算机之间安全传输文件和目录的工具，通过生成简短易记的“虫洞代码”来识别发送和接收端，接收端支持代码自动补全，使用方便快捷。该工具以 MIT 许可证发布，兼容 Python 3.8 及更高版本，并被众多操作系统收录为软件包。
阅读更多
ALIEN 是一款基于 CUDA 的人工生命模拟程序，它采用专门的 2D 粒子引擎来模拟软体和流体。每个模拟体都由一个粒子网络组成，可以通过添加更高级的功能进行升级，例如信息处理能力、物理设备（传感器、肌肉、武器、构造器等），并由神经网络协调执行。ALIEN 的目标是更好地理解（前）生物进化的条件和生物系统日益增长的复杂性。
阅读更多
本文介绍了一个名为“好莱坞影音出租店录像带模板”的Inkscape可编辑模板，该模板用于制作好莱坞影音出租店录像带外壳的插页。模板的设计并非完全还原任何特定的好莱坞影音出租店设计，而是旨在呈现80年代末至90年代的时代风格。
阅读更多
Slackdump 是一个命令行工具，允许用户在没有管理员权限的情况下，将私人和公共 Slack 消息、主题、文件和用户信息保存到本地。它提供多种操作模式，例如列出用户/频道、导出消息和主题、创建 Slack 导出以及下载表情符号。Slackdump 支持两种输入类型：频道或主题的 URL/链接，或频道的 ID。
阅读更多
ThreadPlotter 是一款支持使用 X-Y 绘图仪将图像设计、编辑和打印为针刺绣的工具包。它提供了将 X-Y 绘图仪转换为针刺绣机的步骤，包括：确保绘图仪适合该任务、获取或创建针、织物和框架等物理组件以及设计针刺绣图案。
阅读更多