现代Linux系统的资源监控工具往往功能复杂且难以上手,而below提供了一款简洁高效的解决方案。

below 是一个开源的时间旅行资源监控工具,支持实时查看和录制历史系统数据,包括硬件资源利用率、cgroup层级和进程信息、压力停滞指标(PSI)等。 | #工具

它不仅支持实时模式监控系统状态,还能录制数据以便回放分析,方便排查历史性能问题。通过dump命令还能导出JSON、CSV、OpenMetrics格式数据,方便与Prometheus和Grafana等监控系统集成。

主要功能包括:

- 实时监控系统资源使用情况;
- 支持cgroup和进程信息展示;
- 压力停滞信息(PSI)监控;
- 录制和回放系统历史数据;
- 脚本友好的数据导出接口;
- 支持与Prometheus/Grafana集成。

支持Fedora、Alpine、Gentoo等多种Linux发行版,安装简单,且提供Docker镜像方便快速部署。适合系统管理员和运维工程师使用。
绘制AWS架构图通常需要借助图形界面工具,但维护和版本管理却很麻烦。Diagram-as-code 是一个命令行工具,允许你用易读的 YAML 代码描述AWS基础设施,自动生成符合AWS架构规范的架构图。

它支持直接从CloudFormation模板生成图示(目前处于测试阶段),还能灵活调整图中元素位置大小,轻量且适合CI/CD流水线自动化。通过代码管理架构图,方便版本控制和协作,避免手工绘图的重复劳动。

主要功能:

- 用YAML定义AWS资源,生成标准架构图;
- 支持CloudFormation模板转换为图示(Beta);
- 自动布局和分组,图形美观易懂;
- 轻量级,无需图形界面,适合自动化流程;
- 可作为Golang库集成到其他工具或AI应用;
- 支持扩展定义文件,绘制非AWS图形;
- 提供MCP服务器,实现AI助手和开发工具的无缝集成。

支持macOS和Go环境,安装简单,命令行操作快速生成PNG格式架构图,适合开发者和运维工程师使用。| #命令行 #工具
数据恢复和数字取证往往需要用到复杂且分散的工具,操作起来既费时又容易出错。

Digler 是一款开源的取证级磁盘分析和文件恢复工具,集深度磁盘扫描、文件碎片重组与灵活插件扩展于一体,支持多种磁盘镜像和物理设备,能够恢复各种文件系统中的丢失数据。| #工具

它不仅提供了命令行界面满足专业脚本化需求,还有现代化的桌面应用适合日常操作,兼顾易用性和强大功能。

主要特点:

- 支持多种磁盘镜像格式及原始设备读取;
- 文件系统无关的深度扫描,支持NTFS、FAT32、ext4等;
- 插件架构支持自定义文件扫描器,方便扩展新格式;
- 生成符合数字取证XML标准的详细报告;
- 通过扫描报告精准恢复指定文件;
- 提供命令行和桌面双接口,灵活适配不同用户习惯。

适合数字取证专家、数据恢复工程师及技术爱好者使用。
rscope:专为Mujoco Playground与Brax训练环境设计的轻量级RL训练轨迹可视化工具。| #可视化 #工具

• 支持本地与远程(无头)训练运行轨迹交互式展示,远程需基于SSH无密码密钥登录,极大方便分布式训练监控。
• 兼容Python 3.10+,Mac用户需使用mjpython启动,安装简便:`pip install rscope`。
• 功能丰富:轨迹浏览(方向键切换环境与时间)、实时奖励及state.metrics(最多11项)绘图(Shift+M),支持像素观察叠加(Shift+O,需符合特定数据格式)。
• 设计上通过CPU并行展开多条轨迹,比起GPU追踪更轻量,适合快速调试和训练进度评估。
• 注意事项:推荐基于确定性策略进行评估,当前仅支持PPO训练,不支持域随机训练渲染正确显示,且对指标和像素观察展示数量有限制。
• 无法捕获基于state.info的课程进度,适合单阶段评估,贡献者需遵守预提交检查流程确保代码质量。

rscope在训练可视化上的简洁与实用,适合研究者和工程师实时掌握训练动态,避免繁重配置,助力高效调试与分析。
面向生成设计的开源计算机辅助设计工具,助力设计师和工程师高效创建复杂几何结构与创新产品。

• 基于 Python,支持参数化建模与算法驱动设计,灵活构建多样化设计方案。
• 集成多种几何操作,支持布尔运算、网格生成与优化,满足复杂工程需求。
• 轻量化架构,易于扩展与自定义,兼容主流 CAD 格式,方便与现有设计流程衔接。
• 开源免费,活跃社区支持,提供丰富示例与文档,促进设计创新与协作。
• 适用领域涵盖机械设计、建筑建模、三维打印预处理等多场景应用。

精准、高效、可定制,GenCAD为数字设计注入强大算力。

GenCAD | #工具
一套能让你的复习事半功倍的AI工具集。

它最懂你的痛点:每当你在Anki中遇到难啃的知识点,它就会自动上阵,为你配上ChatGPT专属解释、Dall-E图解、记忆法口诀等。关键是,它还能学习并融入你自己习惯的记忆方式。

核心优势:
- 智能匹配学习:运用语义相似度,精准调用最贴合你卡片内容的例子。数据库越丰富,匹配越准确。
- 个性化记忆体系:收集并重复使用你的专属记忆法,打造独一无二的记忆系统。还配备了专门的助手来管理你的记忆法库。
- 自动化加持:支持程序化运行。比如设置定时任务,自动优化你昨天没记住的卡片,用图像、记忆法和解释让它们更容易记住。
- 全平台通用:直接修改Anki笔记,完美兼容所有客户端(Windows/Mac/Linux/Android/iOS)。详尽的日志记录让你随时可以追踪或撤销修改。
- 模型自由选择:通过LiteLLM支持各类语言模型,你可以用最适合自己的那个。
- 无限扩展性:训练数据集可以无限添加,语义过滤确保只挑选最相关的用于每张卡片。

两大核心工具:

智能插画师:
分析卡片内容捕捉关键概念
生成创意十足的视觉记忆点
保存所有生成图片的历史
支持DALL-E2/3和Stable Diffusion
自动优化图片布局(居中、尺寸适配)
处理多图排版保持统一风格
特别适合视觉学习者和需要图像辅助的复杂主题。

内容重构师:当你遇到这些情况时特别有用:
卡片表述不够清晰
想变换表达方式加深记忆
需要让内容更简洁自然
个人偏好的卡片格式已经改变
它用AI重构内容的同时,会小心保留填空题和媒体元素。对长期使用Anki的用户来说特别有价值 - 就像在医学院学习时,随着几个学期过去,你对“完美卡片”的理解往往会发生变化。重构师让你能轻松将所有旧卡片更新至你当前喜欢的格式和风格。

Anki AI Utils Anki | #工具
一个开源版的Figma,用于设计和代码协作。设计师可以创建精美的设计、互动原型和大规模的设计系统,而开发者则能享受即用型代码,使他们的工作流程变得轻松快捷,且无需为交接烦恼。

Penpot | #工具
GitHub_penpot_penpot_Penpot_The_open_source_design_tool_for_design.webm
2.2 MB
音频、音乐和语音生成的工具包,旨在支持可复现的研究,帮助初级研究人员和工程师入门音频、音乐和语音生成领域的研究和开发,提供经典模型或架构的可视化特性,有助于初级研究人员和工程师更好地理解模型。

Amphion | #工具
Media is too big
VIEW IN TELEGRAM
小说生成工具Midreal AI,能够生成真正有逻辑和情节的小说,同时还具有互动能力。用户在关键节点可以选择剧情走向,并且还会生成一张配图。是为休闲游戏玩家、小说爱好者、电视剧和电影爱好者以及同人小说爱好者打造的终极游乐场。它能够创建任何你能想到的故事情节,继续塑造叙事的发展,并站在任何角色的立场上。

MidReal AI由麻省理工学院、纽约大学、剑桥大学和普林斯顿大学的工程师开发。以下是MidReal的两项创新技术:

1、内存跨越技术:这项创新允许近乎无限的内存保留,确保无缝的长期游戏体验,不同于市场上的其他产品。

2、长篇写作能力:无论你是开始短暂的冒险还是潜入史诗般的传奇,MidReal平台的长篇写作能力都能让你的叙述从头到尾保持连贯性和引人入胜。

MidReal提供每天10粒药丸(生成故事所需的积分)的免费计划。支持英文和中文,包括日语在内的更多语言正在开发中。

Midreal AI | #工具
一款开源的二进制文件比较工具,可以帮助漏洞研究人员和工程师快速找到反汇编代码中的差异和相似之处。

借助 BinDiff,研究人员可以识别并隔离供应商提供的补丁中漏洞的修复。它还可用于在同一二进制文件的多个版本的反汇编之间移植符号和注释。这使得跟踪随时间的变化变得更加容易,并允许组织保留分析结果并实现二进制分析师之间的知识转移。

BinDiff | #工具
一款由 Anaconda 开发的免费可视化编程工具,通过拖动模块即可实现编程,同时它也可以生成 Python等编码。Anaconda 是全球最流行、最值得信赖的数据科学、机器学习和人工智能 Python/R 平台。


EduBlocks像Scratch一样,是一个基于块的编程工具,让初学者可以通过拖放代码块的方式来编程,而不需要书写代码。同时它支持多种编程语言,包括Python,HTML等,你可在侧面编辑代码并运行(不影响托块)

它可以帮助任何人使用类似于 Python 或 HTML 的基于文本的语言进行编程,同时使用了大家熟悉的拖放式块系统。

每个块代表一行代码,这使得连接块和代码变得比以往任何时候都更容易。每拖入一个块到工作区,文本编辑器也会实时更新。

EduBlocks 还内置了“课堂”功能,老师可以轻松跟踪和评估学生的工作。可以为学生创建作业,跟踪他们的进度,并使用内置于 EduBlocks 编辑器的课堂功能对他们的工作进行评分。

除了 Python,EduBlocks 还支持 HTML,micro:bit,CircuitPython 和 Raspberry Pi,这些都能使学生保持参与度并继续学习。还有一系列完全免费的课程,包含使用 EduBlocks 教授六节课所需的一切,帮助学生以有趣且引人入胜的方式从 Scratch 过渡到 Python。

新版本的EduBlocks优化了移动版本的首页、项目页面和编辑器,使用户在移动设备上也能获得无缝的体验。

EduBlocks | #可视化 #工具
Sketch.systems:交互逻辑可视化 | #工具

在该工具中可以用类似 Markdown 的语法来描述控件的状态和操作,随之自动生成对应的交互逻辑可视化图表和可交互原型。算是一种伪代码编译工具,有利于设计师或程序员梳理交互的逻辑。
Media is too big
VIEW IN TELEGRAM
用SQL语言构建网站和应用的Web应用构建工具,旨在帮助数据科学家、分析师和业务智能团队快速构建功能强大的数据中心应用程序,无需关心传统的Web编程语言和概念,通过编写简单的.sql文件来查询数据库中的数据,然后将数据以文本、列表、网格、图表和表单等形式显示在整洁漂亮的网页上,支持多种数据库,如SQLite、PostgreSQL、MySQL等

SQLpage | #工具
一个开源的文档内容高效检索 AI 工具:Semantra,与传统的文本匹配方式不同,它能够直接使用语义查询,提升检索效率。可选择多种语言模型,支持在本地离线部署运行,注重隐私安全。

使用命令行即可快速处理本地的文本和 PDF 文件。在任务完成后,它会在本地搭建一个 Web 搜索页面,让你能在界面上对直接查询文档。

Semantra 的设计目的是方便易用,可定制。适合需要在大量文档中进行精确搜索的个人或团体,例如新闻从业者、研究员、学生或教师等。主要作用是对存储在本地计算机上的文档(文本或 PDF 文件)进行操作,你可以选择处理单个或多个文档。

该项目对文档的处理有两种方式:「内嵌模型」和调用「OpenAI API」。默认是用的 MPNet 语言模型。

如果你电脑配置还过得去,或者想离线处理文档,可以优先选择下载大语言模型,这种方式可以最大程度保证你的隐私安全。

如果想用 OpenAI API,项目也提供了相对应的方案,不过所产生的 Token 消耗,你需要自行承担。

针对这两种方案,作者都在 GitHub 中给出了详细文档。

Semantra | #工具
libpag:腾讯开源的一款设计工具:PAG 动效组件,提供了一套完善的动效设计工作流,可广泛应用于UI 动画、贴纸动画、视频编辑、模板设计等场景。

目前已覆盖几乎所有的主流平台,包括:iOS, Android, macOS, Windows, Linux, 以及 Web 端。

该工具支持从 AE(Adobe After Effects)导出插件,到桌面预览工具 PAGViewer,再到各端的跨平台渲染 SDK。

目标是降低或消除动效研发相关的成本,打通设计师创作到素材交付上线的极简流程,不断输出运行时可编辑的高质量动效内容。

PAG 方案目前已经接入了腾讯系 600 余款应用,包括微信,王者荣耀,腾讯视频,QQ音乐等产品,稳定性经过了海量用户的持续验证。

Home | github | #工具 #设计
工程师工具箱「IT Tools」, 提供加解密、常用转换、Web处理工具、图片、开发、数学等常用随手的处理,使用效率上做的不错。| #工具
网络抓包神器Tcpdump使用指南

tcpdump是一款强大的网络抓包工具,它使用libpcap库来抓取网络数据包,这个库在几乎在所有的Linux/Unix中都有。熟悉tcpdump的使用能够帮助你分析调试网络数据,本文将通过一个个具体的示例来介绍它在不同场景下的使用方法。不管你是系统管理员,程序员,云原生工程师还是yaml工程师,掌握tcpdump的使用都能让你如虎添翼,升职加薪。

Tcpdump使用指南 | 原文 | #指南 #工具
Webflow 网页设计和网站建设工具,不会编程的设计师,靠拖放内容块就能自己创建网站。而且 Webflow 的网站内容管理也比较简单,很多客户自己就能修改网页内容

因此 Webflow 制作了大量设计、创业相关内容,都不太深,适合入门

webflow | #工具
手动把视频转成文章

简单说,它会把字幕每一句都显示出来,可以编辑文字、添加句号逗号,添加换行、播放单句对应的视频,按 i 还能把视频截图给插入到文章里边。最后cmd+s,就能一键生成markdown。

作者用 electron 打包了个内测版,本来是写给自己用的。此版本不支持自动提取字幕,可以用剪映专业版免费生成

剪映专业版 | Bilibili视频教程 | #工具
网课笔记大师.zip
130.4 MB
All-Defense-Tool,本项目由渊龙Sec安全团队开发,集成了全网优秀的攻防工具项目,包含自动化利用,子域名、敏感目录、端口等扫描,各大中间件,cms漏洞利用工具以及应急响应等资料。

渊龙Sec安全团队是一个由来自五湖四海的网络安全爱好者、各大安全厂商工程师自发组织成立的非营利性的研究机构。以“为国之安全而奋斗,为信息安全而发声”为宗旨。

团队官网 | All-Defense-Tool | 团队更多项目 | #工具
 
 
Back to Top