86Box是一款功能强大的x86架构虚拟机，能够运行从1981年到PCI总线时代各种基于IBM PC的系统和软件。它拥有易于使用的界面，支持多种处理器，并具有高度的可定制性，允许用户运行MS-DOS、老版本的Windows、OS/2以及其他复古系统和应用程序。 86Box 还支持广泛的周边设备，例如显卡、声卡、网卡等，并提供多种管理工具，方便用户管理虚拟机。无论是怀旧的用户还是对复古计算感兴趣的开发者，86Box都是一个理想的选择。
阅读更多
MiceWine项目致力于让安卓智能手机运行Windows应用程序和游戏。它使用为Android编译的Wine定制版本和Box64，以最佳方式运行。目前仍在持续开发中，基于Termux-X11的XServer。支持安卓10及以上系统，Adreno 7xx和6xx显卡已支持Turnip/Zink，其他显卡部分支持原生/Zink（实验性）。非Adreno GPU上的原生Vulkan是实验性的，需要一些测试。
阅读更多
PolyDye项目是一个将喷墨打印技术集成到Marlin固件3D打印机中的开源项目，实现3D模型的全彩打印。它通过在白色耗材层之间喷涂墨水层来实现色彩，并利用ESP32-S3进行精确的色彩控制。目前该项目仍处于测试阶段，但已具备基本功能，并计划在未来完善。
阅读更多
KAG是一个基于OpenSPG引擎和大型语言模型的逻辑推理和问答框架，用于构建专业领域知识库的逻辑推理和事实问答解决方案。它克服了传统RAG向量相似度计算模型的缺点，支持逻辑推理和多跳事实问答，性能优于当前最先进的方法。KAG的核心功能包括知识与文本块互索引结构、基于概念语义推理的知识对齐、模式约束的知识构建以及逻辑形式引导的混合推理和检索。
阅读更多
这是一个用C语言从零开始构建计算机模拟器的项目。项目遵循NandToTetris课程的思路，逐步构建从逻辑门到最终运行Tetris游戏的完整计算机系统。不同于其他直接从CPU级别开始的模拟器项目，该项目从单个NAND门开始，逐步构建更复杂的芯片，例如多路器和解多路器，最终实现整个计算机系统。目前项目处于早期阶段，作者计划完成所有硬件部分后，再着手编写汇编器。
阅读更多
这个Racket库允许开发者将图像直接嵌入到源代码文件中，无需外部文件引用。它利用µ reader扩展和uuencode编码将图像数据转换为文本形式，解决了传统方法下图像嵌入导致文件格式变为二进制，难以使用git等工具的问题。该库提供打包和解包函数，方便开发者将图像转换为可嵌入的文本形式，并在需要时进行解码显示。虽然目前错误处理和文本格式还有待改进，但它为创建自包含的Racket项目提供了便利。
阅读更多
libsearch是一个GitHub上的开源JavaScript全文搜索库，无需预先建立索引，即可快速搜索文本。它利用JavaScript引擎高度优化的正则表达式引擎，将查询字符串转换为正则表达式过滤器进行搜索，并通过近似的TF-IDF算法进行排名。该库适用于不需要复杂索引的简单应用场景，尤其适合快速原型开发和小型Web应用。
阅读更多
resizer2是一款Windows窗口管理工具，让你像在KDE或i3桌面环境一样，使用Win键+鼠标来调整和移动窗口大小。它支持窗口移动、大小调整、透明度调节、最小化和最大化等功能，甚至能跨越多个显示器操作。虽然需要管理员权限才能移动系统窗口，并且存在一些已知问题（如与某些全屏应用不兼容），但总体来说，resizer2为Windows用户提供了更便捷高效的窗口管理体验。
阅读更多
AnkiAIUtils是一个利用AI增强Anki记忆卡片的工具套件。它通过结合ChatGPT、DALL-E和Stable Diffusion等AI模型，自动为学习者提供解释、记忆技巧、插图和自适应学习功能。该工具能够根据学习者的学习情况，动态匹配最相关的例子，并生成个性化的记忆技巧，支持多种LLM提供商和模型。目前该项目尚处于早期阶段，但已展现出巨大的潜力，有望彻底改变医学学习和其他领域的学习方式。
阅读更多
Mixin是一个基于ASM的Java特性/混入和字节码编织框架，通过可插拔的服务机制，在运行时连接类加载过程。它支持Mojang的LegacyLauncher系统（已弃用，推荐使用更具扩展性的ModLauncher），并兼容Java 8及以上版本。Mixin提供丰富的文档、Maven仓库和工具，包括用于处理混淆任务的Annotation Processor，以及与Eclipse和IntelliJ IDEA的集成方案。其版本历史记录了各个版本的功能更新和bug修复，方便开发者选择合适的版本。
阅读更多
Caravan是一个灵活的、基于传输的JavaScript/TypeScript日志系统，它支持多种传输方式（例如控制台、文件、Datadog和BetterStack），允许按日志级别进行过滤，并支持通过派生日志器绑定上下文和数据脱敏。开发者可以使用它轻松记录各种信息，包括基本日志、元数据日志以及上下文相关的日志，提高调试和监控效率。其TypeScript优先的设计也方便了开发者使用。
阅读更多
SBCL编译器进行了一次重要优化，大幅提升了`(lambda () nil)`这类空函数的编译速度。之前的编译过程会生成许多冗余函数，而此次优化通过识别并处理这类特殊情况，直接返回一个预定义的空函数，从而避免了不必要的计算，显著提高了编译效率。这项改进对于处理大量包含空函数的代码尤其有效，减少了编译时间，提升了开发效率。
阅读更多
这款名为exerciseminimilism的健身追踪器，仅需一个HTML文件和浏览器本地存储，就能帮你记录每周七组固定的日常锻炼。它摒弃了复杂的界面和功能，只显示今天的锻炼项目和前一天的重量，旨在降低门槛，让你坚持锻炼。你可以编辑HTML文件自定义锻炼内容，内置简单的计时器用于休息。数据存储在浏览器本地，无需注册账号，简单易用，兼容主流浏览器。
阅读更多
NeatShift是一款适用于Windows系统的现代化文件组织工具，它利用符号链接技术，帮助用户安全高效地整理文件和文件夹，无需担心文件访问问题。软件拥有简洁的界面、拖放功能、链接管理以及错误预防机制，并支持深浅模式切换。安装方便，无需额外依赖，只需下载运行即可。虽然目前仍处于测试阶段，但开发团队已采取了自动创建系统还原点的安全措施，并强烈建议用户备份数据。
阅读更多
特斯拉发布了自定义灯光秀功能，用户可以通过xLights软件创作并通过U盘在2021款及以后的Model S、Model 3、Model X、Model Y和Cybertruck车型上播放个性化灯光秀。该指南详细介绍了创建和运行自定义灯光秀的步骤，包括软件安装、文件格式要求、灯光效果控制以及常见问题解答，并提供了一个验证脚本帮助用户检查灯光秀文件是否符合特斯拉的要求。
阅读更多
这个GitHub项目自动化发送每日邮件，包含三个C1级别荷兰语单词、英文翻译和例句。作者因找不到合适的学习工具而创建该项目，利用ChatGPT生成词汇，并通过AWS服务（包括Lambda、DynamoDB、SES等）实现自动化。项目架构简洁，但具备一定的可扩展性，例如可以改进Python代码以提升性能。
阅读更多
这个GitHub项目展示了一个基于Tree-sitter和Cranelift JIT的简单实时计算器。核心代码高度集成，方便学习和理解。项目包含语法定义、REPL交互界面以及压力测试和基准测试代码。修改语法后，主程序会自动更新。项目还利用语法高亮展示了Tree-sitter的应用。
阅读更多
Quiver是一款现代化的网页版交换图编辑器，它能让你快速创建复杂的交换图，并以高质量的格式呈现，甚至能导出LaTeX代码。无论是拉回、推前、伴随还是高阶单元，Quiver都能轻松应对。其直观的界面和丰富的功能，例如多选、历史记录、自定义宏等，都大幅提高了绘图效率。Quiver支持多种输入方式，可通过鼠标或键盘操作，并提供HTML嵌入式图表导出功能，方便分享和协作。
阅读更多
SkunkHTML是一个基于GitHub Actions的静态网站生成器，它允许用户使用Markdown文件快速搭建个人博客或网站，并自动部署到GitHub Pages。只需将Markdown文件上传到`/markdown-blog/`文件夹，GitHub Actions将自动触发构建流程，将Markdown转换为HTML，并更新GitHub Pages。SkunkHTML支持Giscus评论系统，并提供详细的文档和示例。项目完全开源，用户可直接在GitHub上fork使用，无需本地下载。
阅读更多
在Rust生态系统中，库的升级常常引发级联反应，造成巨大困扰。文章介绍了一种名为“semver trick”的技巧，通过让一个库依赖于自身未来的版本，巧妙地解决了在不改变常用API的情况下，升级较少使用的API而避免大规模协调升级的问题。这种方法尤其适用于避免因单个库的破坏性变更而导致整个依赖链都需要升级的场景，从而大大简化了升级过程。
阅读更多
一个名为webgpu-raytracer的开源项目利用WebGPU API开发了一个软件光线追踪引擎。它支持glTF格式的场景文件，并能渲染具有漫反射、法线贴图和材质贴图的材质。该引擎使用BVH加速光线场景相交，并采用多重重要性采样技术提高渲染效率。目前该项目已支持环境贴图，并能通过简单的键盘鼠标操作控制摄像机视角，但暂不支持折射效果。
阅读更多
Thruster是一个用于简化Rails应用生产环境部署的HTTP/2代理，它与Puma web服务器协同工作，提供HTTP/2支持、Let's Encrypt自动TLS证书管理、基本HTTP缓存以及X-Sendfile支持和压缩等功能，旨在实现零配置。只需设置TLS_DOMAIN环境变量即可启用TLS，否则将以HTTP模式运行。Thruster还能包装Puma进程，方便容器化环境下的部署。该项目最初为ONCE项目创建，现已广泛用于其他Rails应用的简单部署。
阅读更多
DeepSeek-V3是一个拥有6710亿参数的强大多专家混合(MoE)语言模型，每次token激活370亿参数。它采用多头潜在注意力(MLA)和DeepSeekMoE架构，并创新性地使用了无辅助损失的负载平衡策略和多token预测训练目标，在14.8万亿高质量token上进行预训练，随后进行监督微调和强化学习。评测结果显示，DeepSeek-V3超越其他开源模型，性能与领先的闭源模型相当，且训练效率极高，仅需2.788M H800 GPU小时。
阅读更多
Node.js 的一个重要更新默认启用了 `--experimental-strip-types` 标志。这意味着开发者现在可以直接运行 TypeScript 文件，无需额外配置。此举旨在提升 TypeScript 的支持，并捕捉更多 bug。虽然此功能仍处于实验阶段，但它标志着 Node.js 在简化 TypeScript 开发方面迈出了重要一步，为开发者带来了更便捷的开发体验。
阅读更多
一个名为CobolCraft的项目，大胆地使用过时的COBOL语言编写了一个Minecraft服务器。该项目支持无限地形生成、动态区块加载以及多人游戏等功能，甚至能够读取并解析Minecraft的官方数据文件。开发者克服了COBOL语言在处理低级数据操作方面的不足，成功构建了一个可运行的服务器，挑战了人们对COBOL的传统认知，也为学习和探索这门语言提供了新的思路。
阅读更多
SiYuan是一款注重隐私、自托管、完全开源的个人知识管理软件，使用TypeScript和Go语言编写。它支持细粒度的块级引用和Markdown所见即所得编辑，拥有强大的功能，例如块级引用、自定义属性、SQL查询嵌入、Web剪辑、PDF批注链接导出等。SiYuan还提供App Store、Google Play、F-Droid等多种安装方式，并支持Docker部署。无论是个人用户还是商业用户，大部分功能都是免费的。
阅读更多
黑糖是一个自托管的音乐流媒体服务器，你可以把它想象成你个人的音乐中心。它支持Docker一键安装，方便快捷。你可以通过Docker命令轻松部署，并使用初始管理员账户登录。黑糖默认使用SQLite数据库，但也可以配置为使用PostgreSQL。为了持久化数据，你需要挂载/app/storage目录。此外，黑糖还支持Nginx代理以提高音频文件传输效率，并提供移动端应用。
阅读更多
Portspoof是一个开源的端口伪装工具，旨在增强操作系统安全性。它通过始终保持所有65535个TCP端口处于打开状态，并为每个连接尝试返回SYN+ACK应答，来迷惑端口扫描器。此外，Portspoof拥有庞大的动态服务签名数据库，能够模拟各种服务的Banner信息，进一步阻碍攻击者识别真实服务。这项技术显著增加了攻击者进行端口扫描和服务识别的时间和难度，有效提升了系统的安全性，无需root权限即可运行。
阅读更多
SiaPy是一个用Python高效处理光谱图像的工具。它提供了一套完整的工具，用于加载、处理和分析光谱图像数据。SiaPy支持多种文件格式，并具有易于使用的API。该项目遵循MIT许可证，并欢迎社区贡献。
阅读更多
一位开发者创建了一款名为pISSStream的macOS菜单栏应用，实时显示国际空间站尿液罐的满载程度。该应用虽然代码风格并非完美，但其创意独特，以轻松幽默的方式呈现了太空生活中的一个细节。开发者表示，未来不会添加其他数据，只专注于尿液罐的填充情况。
阅读更多