CodeTracer:一款革命性的时间旅行调试器
CodeTracer是一款用户友好的时间旅行调试器,支持多种编程语言。它将程序执行记录到可共享的自包含跟踪文件中,允许用户在GUI环境中向前和向后移动,检查所有内存位置的历史记录。与传统调试器相比,CodeTracer具有两大优势:轻松重现和调试难以重现的bug;通过追踪程序中任何值的来源,快速定位bug的根源。目前支持Noir语言,未来将支持更多Web3开发语言,并集成到VS Code等IDE中。
阅读更多
CodeTracer是一款用户友好的时间旅行调试器,支持多种编程语言。它将程序执行记录到可共享的自包含跟踪文件中,允许用户在GUI环境中向前和向后移动,检查所有内存位置的历史记录。与传统调试器相比,CodeTracer具有两大优势:轻松重现和调试难以重现的bug;通过追踪程序中任何值的来源,快速定位bug的根源。目前支持Noir语言,未来将支持更多Web3开发语言,并集成到VS Code等IDE中。
阅读更多
许多人认为流处理难以学习和使用,成本高昂且缺乏实际应用场景。但事实并非如此!本项目提供一系列可执行的演示,展示如何使用SQL作为编程语言,利用现代流处理技术解决现实世界中的问题。通过Kafka、PostgreSQL和RisingWave,你可以在本地运行简单的示例,学习数据摄取、处理、转换和卸载的基础知识,并探索与其他数据平台的集成。无需集群,只需一台笔记本电脑即可开始你的流处理之旅!
阅读更多
xdg-ninja是一个强大的Shell脚本,它可以检查你的$HOME目录中是否存在不属于那里的文件和目录。它基于XDG规范,并利用来自Arch Wiki、antidot以及社区贡献的配置,帮助你将这些文件移动到正确的位置。通过简单的命令即可运行,并提供详细的移动指导。同时支持多种安装方式,包括直接从GitHub克隆、使用Nix、或通过Homebrew安装。此外,还提供了一个名为xdgnj的工具,用于自动生成和管理配置文件,极大地方便了用户的使用。
阅读更多
VisualCrypto是一个基于Python的开源工具包,它提供了一个基于Web的界面,用于实现视觉秘密共享(VSS)。VSS是一种密码技术,它将秘密图像分割成多个份额,每个份额看起来像随机噪声,单独无法揭示任何信息,但组合在一起就能重构原始图像。该工具包主要关注(2,2)-VSS方案,即秘密图像被分成两份,都需要才能恢复隐藏内容。它支持视觉密码术(VC)和随机网格(RG)技术,并提供基于Web和脚本的两种执行方式,易于扩展和使用。
阅读更多
本文介绍了如何使用llama.cpp便携包在英特尔GPU上结合IPEX-LLM库高效运行大型语言模型,无需繁琐的安装步骤。该方法已在英特尔酷睿Ultra处理器、第11-14代酷睿处理器和英特尔锐炫A/B系列GPU上验证。文章详细讲解了下载、解压、环境变量配置以及运行示例,并针对多GPU场景和不同操作系统提供了相应的设置指导,最终实现了在英特尔硬件平台上流畅运行大型语言模型。
阅读更多
ZenTool是一个用于分析、操作和生成AMD Zen处理器微代码补丁的工具套件。它包含一个前端命令行工具`zentool`,以及一个简单的汇编器`mcas`和反汇编器`mcop`。你可以用它检查、修改微代码文件的各个部分,例如修改版本号、匹配寄存器和指令,甚至创建自定义微代码补丁。需要注意的是,加载微代码需要root权限,并且修改后需要重新签名以确保其有效性。该工具基于Google硬件安全团队成员的研究成果,并受到相关书籍和论文的启发。
阅读更多
Arch Gateway是一个由Envoy Proxy贡献者构建的强大工具,旨在简化和优化生成式AI应用的开发。它利用专用LLM处理提示,提供意图驱动的路由、安全防护(防止越狱攻击)、API调用以及全面的可观测性。Arch Gateway支持多种LLM,并通过Envoy实现高性能和可扩展性。 该项目提供易于使用的CLI和详尽的文档,并通过一个快速入门指南演示如何构建简单的AI代理,例如一个货币兑换代理。
阅读更多
Scholium是一个AI驱动的论文研究助手,它能帮你快速找到并引用相关的学术论文。只需一个查询,Scholium就能从arXiv数据库(未来计划扩展到PubMed和学术期刊)中检索出相关论文,并提供摘要和多种参考文献格式(目前支持5种)。此外,Scholium还提供论文评分、讨论和分享等社区功能,旨在帮助研究人员更高效地进行文献研究。
阅读更多
Onyx(前身为Danswer)是一个开源的AI平台,能够连接你的公司文档、应用程序和员工。它提供了一个功能丰富的聊天界面,并支持多种大型语言模型(LLM)。Onyx可以通过40多个连接器(如Google Drive、Slack、Confluence等)同步知识和访问控制。你可以创建自定义AI代理,赋予其独特的提示、知识和操作能力。Onyx支持多种部署方式,包括本地部署、私有云部署和公有云部署,并提供社区版和企业版。企业版包含更多功能,例如高级安全特性、知识管理功能和可扩展的部署选项,适合大型组织使用。
阅读更多
俄亥俄州立大学交互式数据系统实验室研发了Vidformer,这是一个用于视频原生界面的基础设施项目,旨在加速计算机视觉可视化。Vidformer 通过声明式规范格式高效转换视频,无需关注性能即可实现更快的视频数据标注、编辑和处理。它支持OpenCV、Supervision、FFmpeg、Jupyter和Apache OpenDAL等开放技术,并提供cv2前端,方便Python用户使用。Vidformer并非传统的视频编辑器或数据库,但它与计算机视觉库和AI模型高度互补,适用于处理视频相关任务。
阅读更多
anon-kode是一个基于终端的AI代码修复工具,支持任何兼容OpenAI API的模型。它可以修复混乱的代码,解释函数的功能,运行测试等等,功能类似于Claude-code。安装后,只需设置配置文件,然后开始输入代码即可。该项目使用GitHub Actions实现自动化版本控制、构建和发布,用户可手动触发工作流程并选择版本类型(patch、minor或major)进行发布。
阅读更多
一个令人难以置信的项目正在将Windows NT 3.51和更高版本移植到GameCube和Wii上!这需要大量的黑客技术,包括定制的ARC固件、驱动程序和工具链。该项目支持GameCube、Wii和Wii U(仅限vWii),并详细描述了安装过程,包括分区、驱动程序安装和潜在问题。虽然这是一个极具挑战性的项目,但它展示了游戏机硬件的潜力和开发者的创造力。
阅读更多
FoleyCrafter是一个先进的视频到音频生成框架,能够根据视频内容生成逼真且同步的音效。它利用人工智能技术,将无声视频转化为具有丰富声音细节的影像,极大地提升了观影体验。用户可以通过简单的命令行操作,轻松生成各种音效,甚至可以利用文本提示语来控制生成的音频内容,例如添加“嘈杂的人群”或“海鸥的叫声”等。该框架基于Auffusion等模型构建,并提供了详细的安装和使用指南。
阅读更多
大型语言模型(LLM)代理在处理复杂任务方面展现出惊人能力,但高效利用历史经验需要先进的记忆系统。A-MEM项目提出了一种创新的代理记忆系统,它基于Zettelkasten原理动态组织记忆,通过智能索引和链接、结构化属性的全面笔记生成以及持续的记忆演化和改进,实现了LLM代理的自主记忆管理和适应性。该系统在六个基础模型上的实验证明了其优于现有技术的性能。
阅读更多
Chirp 是一款通过声音传输数据的应用。它使用简单的编码方案将文本转换为音频频率,这些频率可以通过扬声器播放,并由麦克风拾取。该应用具有实时频率可视化、文本到声音的发送和声音到文本的接收功能,并使用独特的起始和结束签名标记传输。基于 Node.js、React、TypeScript 和 Vite 开发,依赖 Web Audio API 实现音频处理。
阅读更多
一个名为Smartest Kid的Windows桌面AI助手诞生了!它使用Python编写,代码简洁,界面友好,灵感源于SmarterChild。通过Windows COM自动化,它能与Microsoft Office(Word、Excel)、图片和文件系统交互。对于想探索AI驱动桌面自动化的Windows用户来说,它是一个完美的工具。该项目开源,并欢迎贡献者加入,扩展其功能和个性化体验。
阅读更多
Takara.ai团队发布了首个纯Go语言实现的注意力机制和Transformer层,旨在提供高性能和易用性。该库包含点积注意力、多头注意力和完整的Transformer层实现,支持批量处理以提高吞吐量,并针对CPU进行了矩阵运算优化。它适用于边缘计算、实时处理、云原生应用、嵌入式系统和生产系统等场景,未来还将支持位置编码、Dropout和CUDA加速等功能。
阅读更多
Wildcard AI 推出了 agents.json 规范,旨在简化 AI 代理与 API 的交互。该规范基于 OpenAPI 标准,通过添加流程和链接等功能,解决了 AI 代理难以执行多步 API 调用序列的问题。agents.json 文件描述了 API 端点及其交互方式,从而使 AI 代理能够可靠地执行一系列 API 调用。Wildcard Bridge Python 包提供了加载、解析和运行 agents.json 文件的功能,开发者只需添加 agents.json 文件,即可实现 AI 代理与 API 的无缝集成。
阅读更多
FlakeUI 是一款革命性的图形用户界面,它采用分形结构、父子轨道和缩放元素,为内容导航带来全新的体验。想象一下,你的网页内容不再是简单的列表,而是如同宇宙般充满探索乐趣的动态分形结构。用户可以通过拖拽、旋转、缩放等五种手势在内容之间自由穿梭,如同在星系中遨游。FlakeUI 基于 Javascript,适合用于需要用户反复访问的网页,例如精选网页链接库或可搜索的层级目录。其内容编辑通过 XHTML 页面和 XML 文件实现,支持超链接跳转。快来体验这前所未有的内容浏览方式吧!
阅读更多
Ninjavis 是一款解析 Ninja 构建日志的工具,它可以提取每个构建项的目标、开始和结束时间,并生成一个包含简单时间线的可视化图表。该工具受 buildbloat 启发,使用 vis.js 进行可视化。使用前需运行 `ninja -t recompact` 清除构建日志中的重复条目。Ninjavis 提供了简洁的命令行界面,方便用户快速生成构建过程的性能分析报告。
阅读更多
Chrome 127 将开始警告使用 Manifest V2 的 uBlock Origin (uBO) 扩展程序。由于 Manifest V2 已被弃用,uBO 将面临兼容性问题。官方推出了精简版的 uBO Lite (uBOL),但为了适应 Manifest V3,牺牲了部分功能。用户需要自行选择是否替换为 uBOL,或者继续在其他浏览器(如 Firefox)上使用 uBO。Chrome 也存在通过 ExtensionManifestV2Availability 策略延长 Manifest V2 支持的讨论。
阅读更多
SmallPond是一个基于DuckDB和3FS构建的轻量级高性能数据处理框架,能够轻松处理PB级数据集,无需长时间运行的服务。它支持Python 3.8到3.12版本。通过简单的API,用户可以加载、处理和保存数据。GraySort基准测试显示,SmallPond在由50个计算节点和25个存储节点组成的集群上,在30分钟14秒内对110.5TiB的数据进行排序,平均吞吐量达3.66TiB/min。
阅读更多
针对生物医学领域数据造假频发的问题,研究人员开发了一种可验证的PCR机器。通过在PCR机器中集成加密签名技术和安全硬件,确保实验结果在生成后无法被篡改。该系统利用虚拟机和安全执行环境,隔离PCR软件,防止恶意修改。即使是老旧的设备,也能通过这种方法增强数据可靠性,为构建可验证的科学研究体系迈出了重要一步。
阅读更多
Recommendarr 是一款基于 AI 的网页应用,它能根据你 Sonarr、Radarr 和 Plex 库里的内容,为你生成个性化的电影和电视剧推荐。它整合了 Sonarr 和 Radarr,直接分析你的媒体库;可选的 Plex 整合则会分析你的观看历史,提供更精准的推荐。你可以选择使用 OpenAI、本地模型 (Ollama/LM Studio) 或任何兼容 OpenAI 的 API。支持自定义推荐数量、模型参数等,并提供深浅模式和海报图片显示。安装方便,支持 Docker 和手动安装。你的数据始终在你的掌控之中,不会被上传到任何第三方服务器。
阅读更多
这是一款命令行驱动的VPN工具,允许用户指定私有网络目标地址(-d)、全局路由(-g)、本地地址(-l)、远程服务器地址(-s)、服务器模式(-srv)、客户端和服务器端TUN设备IP地址(-tc, -ts)以及TUN设备名称(-tname)。需要注意的是,服务器必须能够访问私有网络,否则数据包会在服务器端丢失。
阅读更多
还在为不同系统配置不同的点文件而烦恼吗?punktf 应运而生!它是一个跨平台的点文件管理器,支持 Windows、Linux 和 macOS,使用简洁的命令即可在多个目标系统上编译和部署点文件。它支持Handlebar-like指令,允许条件编译和变量插入,并提供预/后钩子自定义行为。你只需要一份配置,就能让你的所有设备拥有相同的开发环境!
阅读更多
AlgoMIDI是一款基于细胞自动机和图遍历算法创作音乐的虚拟音乐工作室,它可以被视为Cellular Minimata的精神续作。不同于前者仅仅可视化细胞自动机,AlgoMIDI中的每个“活细胞”都会触发一个音符。它使用Vue 3, Vite, TypeScript, Web Audio API (via Tone.js), p5.js和Cytoscape.js等技术构建,并包含康威生命游戏、图遍历算法(BFS/DFS)等功能,用户可以通过点击单元格创建初始图案,并调整播放速度(60-240 BPM)。虚拟钢琴呈现由细胞自动机和图遍历算法生成的音符,并提供多种布局选项。
阅读更多
《索尼克:释放》的非官方PC移植版“Unleashed Recompiled”横空出世!它通过静态重编译技术将Xbox 360版本移植到Windows和Linux平台,并加入了高分辨率、超宽屏支持、高帧率、性能提升和MOD支持等诸多增强功能。你需要提供自己合法获取的游戏文件才能安装或构建该移植版。该项目使用了XenonRecomp和XenosRecomp重编译器,将游戏原始的PowerPC代码和Xenos着色器分别转换为兼容的C++和HLSL代码。游戏保留了原版的多语言支持,并新增了自定义菜单、成就系统等,显著提升了游戏体验。
阅读更多
Servo是一个由Rust编写的高性能网页渲染引擎,支持WebGL和WebGPU,可用于桌面、移动和嵌入式应用。由Mozilla Research于2012年创建,它致力于成为轻量级Web技术的替代方案,并推动Web标准发展。2020年,Mozilla将Servo的管理权移交给Linux基金会,2023年,Igalia加入并将其迁移至Linux基金会欧洲分会。该项目将利用资金维护基础设施,确保引擎版本可用并与Web平台测试集成,未来还将用于改进和开发工作。
阅读更多
Maestro是一款简单高效的移动端和Web UI测试框架,它吸取了Appium、Espresso、UIAutomator和XCTest等前辈的经验。它内置容错机制,能够应对UI元素位置不稳定和屏幕点击失败等问题;内置延迟容忍机制,无需手动添加等待时间;采用解释执行,迭代速度快,无需编译;使用YAML文件定义测试,语法简洁强大;只需单个二进制文件即可运行。
阅读更多