MMLU-Pro、GPQA、AIME和LiveCodeBench四大基准测试的详细介绍。

大模型基准测试的详细介绍

DeepSeek-V3-0324 是 deepseek-chat 模型的最新升级版本，发布于2025年3月24日。这次更新涵盖了多个方面的重要提升。

DeepSeek-V3-0324更新了什么？

还在为 Gemma 3 官方函数调用模板的缺失而烦恼？本指南提供了一种通过自定义 Modelfile 实现函数调用的解决方案，让你可以根据自身需求灵活配置，解决 Gemma 3 在特定任务中的应用难题。

自定义 Modelfile 方案实现 Ollama Gemma 3 函数调用指南

本文提供 Gemma 3 模型函数调用的最简方案，解决 Ollama 官方版本不支持的问题，并提供多种模型规格选择及使用示例。

Ollama 版本 Gemma 3 缺少函数调用的解决方案

本文档提供了详细的解决方案，帮助您解决 OpenAI 客户端初始化时遇到的 'proxies' 参数错误，包括降级 httpx 版本、自定义 HTTP 客户端等多种方法，确保您的代码能够顺利运行。

解决 OpenAI sdk 报错：Client.init() 出现意外的关键字参数 'proxies'

本文将教你如何快速排查和应对cluade的capacity constraints问题，助您快速恢复正常使用。

Due to unexpected capacity constraints, Claude is unable to respond to your message. Please try again soon. 解决方案

尽管 Google 宣称 Gemma 3 支持 Function Calling，但在 Ollama 平台上却无法使用。本文档整理了关于此问题的讨论和可能的解决方案。

Ollama 中 Gemma3 的 Function Calling 无法使用的问题

GitHub Copilot 是开发者提升编码效率的利器，但其免费版与付费版（Pro 版）在功能和价格上差异明显。免费版每月限制 2,000 次代码补全，而 Pro 版无限制并提供高级功能，如 Claude 3.7 Sonnet 模型支持和 CopilotWorkspace 访问。本文将详细对比两者的权益与定价，并以表格形式汇总，助你选择适合的版本。

GitHub Copilot 付费版与免费版对比

在Linux上部署koishi最简单的方式是使用appimage安装包

koishi部署教程[Linux]

在 GitHub 仓库页面添加跳转到 Gitingest 的按钮

GitHub to Gitingest 按钮

OmniParser 2 Windows安装中文指南。实测微软的OmniParser 2安装过程极其复杂冗余。本教程移除了冗余的clean命令（实测安装过程无需清理）

OmniParser 2 Windows安装中文指南（AMD/Nvidia平台）

This message is used to verify that this feed (feedId:84432744666882048) belongs to me (userId:70845941250533376). Join me in enjoying the next generation information browser https://follow.is.

Follow认证

在使用 CosyVoice-ComfyUI 进行语音合成时，可能会遇到以下错误：
1. expected scalar type Float but found Half（期望浮点类型但收到半精度类型）
2. torch.cat(): expected a non-empty list of Tensors（张量列表为空）
这个问题的核心在于数据类型不匹配。

CosyVoice-ComfyUI 中的张量类型错误问题解决指南

今天看到微软发布的 LazyGraphRAG 论文。这让我想起之前捣鼓过的 GraphRAG，两相对比之下发现了一些有趣的差异，在这里和大家分享一下。

GraphRAG 和 LazyGraphRAG 的区别

微软研究院推出突破性 RAG 技术 LazyGraphRAG，实现了质量和成本的新标准。该技术无需昂贵的前期数据处理，就能同时处理局部和全局查询，索引成本仅为传统方法的 0.1%。通过"懒惰"方式延迟使用大语言模型，在保持答案质量的同时大幅降低计算成本，使 AI 问答系统更经济实用。

LazyGraphRAG介绍 | LazyGraphRAG:为质量和成本设立新标准 |中文翻译

《大灾变: 黑暗之日》(Cataclysm: Dark Days Ahead) 0.H "Herbert" 版本终于发布了! 

Cataclysm: Dark Days Ahead 0.H "Herbert" 版本发布公告

作为一个电子书重度用户，今天就来聊聊几种常见电子书格式的优缺点，希望能帮你选到最适合的格式！

电子书格式哪个最好用？EPUB、PDF、MOBI全面对比

最近遇到一个很烦人的问题 - 电脑重启后完全连不上网。检查了网线、WiFi信号都没问题,但浏览器就是打不开任何网页。经过一番排查,发现原来是因为昨晚使用Clash等代理软件后直接关机导致的。

电脑开机没网?90%是代理软件惹的祸

索尔特方格(Solitaire grid)，也被称为数独方格(Number Place)，是一种广受欢迎的单人纸笔游戏。这款游戏最早由瑞士数学家莱昂哈德·欧拉发明，因其简单易懂yet富有挑战性的特点，在全球范围内获得了广泛认可。

索尔特方格(Solitaire grid)：最受欢迎的逻辑思维训练游戏

在玩全屏游戏时切换回桌面出现黑屏，是许多PC游戏玩家经常遇到的问题。本文将详细解释其原因并提供解决方案。全屏游戏切回桌面黑屏主要涉及三个关键显示信号参数：分辨率（Resolution）、刷新率（Refresh Rate）、HDR设置（HDR Settings）

全屏游戏切回桌面黑屏问题完全指南

睡眠革命中科普的睡眠相关知识

作为一个书圈的技术极客，我发现很多爱读书的朋友都有一个困扰：豆瓣书单太多，想导出来统一管理好麻烦！今天分享一个超级实用的工具Crawlemon，让你轻松搞定书单整理～

使用crawlemon下载自己的豆列

SetRes和SetDPI。它们能帮你轻松调整Windows系统的屏幕分辨率和DPI设置,让你的显示效果瞬间提升！无论你是普通用户、设计师还是开发者,这两个工具都能大大提高你的工作效率。👨‍💻

Windows屏幕分辨率和DPI调整神器：SetRes和SetDPI详细教程

🖥️ 屏幕右上角突然出现FPS、GPU、CPU、延时数据?别慌!

亲测！系统屏幕右上方出现了FPS GPU CPU 延时的解决办法

🖥️ 想买新显示器但被各种技术术语搞晕了?
🤔 IPS、OLED、Mini-LED,到底哪个才是最佳选择?
💡 一篇文章带你全面了解2024年显示器技术,助你做出明智选择!

IPS vs OLED vs Mini-LED: 2024年显示器技术全面对比 🖥️💡

prettygraph是一个基于Python的Web应用，用于演示文本到知识图谱生成的新UI模式。它使用Flask作为后端，LiteLLM生成预测，并通过Cytoscape.js可视化图谱。该项目虽为快速开发的演示，但展示了动态高亮文本输入以生成知识图谱的创新界面概念。

prettygraph

本文详细介绍了Hydra，一个强大的Python配置管理框架。通过一个连贯的机器学习项目示例，展示了Hydra的核心功能，包括基础配置、命令行重写、配置组、多运行模式、动态配置和日志输出管理。文章阐述了Hydra如何简化复杂项目的配置管理，提高代码可维护性和灵活性，特别适用于机器学习等需要频繁实验的领域。

Hydra: 革新Python应用程序配置管理

为什么我们需要通用网页AI助手？如何衡量AI助手的表现？

《Mind2Web》解读：打造通用网页AI助手的新尝试

Aider被赞誉为“最好的免费开源AI编程助手”，有用户表示其极大地提高了编码效率（四倍之多）、改善了用户体验，尤其是对开发者的工作流程进行了优化。例如，它可以作为实时的开发助手，在开发者遇到问题时即时提供代码解决方案或建议，减轻负担并加快项目进度。

Aider：最全功能的开源AI编程助手

《ChatTTS-Enhanced》是一款专为解决Chat-TTS生成噪音问题而设计的软件，具备音质增强功能和多文件批量处理能力。支持长文本处理与自定义切割长度，并提供个性化的调节选项，包括语速、停顿、笑声及口语化程度等。此工具还能导入特定的《ChatTTS Speaker》音色，并通过离线一键整合包的形式支持Windows与Mac系统。

ChatTTS-Enhanced：革新文本转语音与音频处理的强大工具

Overeasy 使得结合预训练的零样本模型来构建强大的自定义计算机视觉解决方案变得简单。

OverEasy：加速零样本视觉模型创建与执行的Python框架

Meta-Llama-3-70B-Instruct-GGUF模型是针对Llama的多精度（multi-precision）量化版本，旨在适应不同环境和资源限制。这一系列提供了从Q1到Q8的不同精度等级、以及I-quant（int8/FP4混合）选项的多种组合配置文件。以下是各版本的基本信息

Meta-Llama-3-70B-Instruct-GGUF模型概述

Character.AI 正在推动通用人工智能（AGI）的发展，专注于优化大型语言模型（LLMs）的推理效率、经济性和可扩展性。通过创新的架构设计、有状态缓存系统和训练及服务的量化，该公司显著提升了处理能力和成本效率，使每秒可处理超过20,000次推理查询。这些进展使得LLMs的大规模部署更加可行，降低了成本，并为未来的AI集成奠定了基础。

Character.AI：引领大型语言模型效率、经济性和可扩展性的创新路径

直接在主机上编辑Docker镜像中的文件有几种方法，但每种方法都有其特定的使用场景和限制。这里介绍一些常用的方法。

有无方法在主机上编辑docker镜像的文件?

学习如何在树莓派上安装Ubuntu 20.04，并通过netplan配置固定IP地址，以便更轻松地管理您的设备。本指南提供了简单的步骤，使您能够在不同网络环境中始终稳定地访问您的树莓派。

在树莓派上安装Ubuntu 20.04并配置固定IP地址的简易指南

在配置 Inno Setup 安装脚本时，可能会遇到 UTF-8 字符无法正确显示的问题。本文将为您提供解决方案，确保您的安装脚本能够正确显示特殊字符。

Inno Setup 中 UTF-8 字符显示问题解决方案

ZeroTier是一种流行的开源网络技术，它使设备能够通过创建虚拟局域网来连接，无论这些设备的物理位置如何。这种技术特别适用于远程工作、多云环境和复杂的网络设置中。而在ZeroTier网络中，Moon节点扮演着至关重要的角色，它们帮助改善网络的性能和稳定性。

ZeroTier和Moon节点：连接与性能优化

探索我们的十天 VSCode 任务自动化十日指南，深入了解如何利用 VSCode 强大的任务管理功能来优化和自动化您的开发工作流，提高生产效率。

VS code Task 十日计划 —— 自动化集成之路

简悦：让你瞬间进入沉浸式阅读的 Chrome 扩展，类似 Safari 的阅读模式。

简悦-Simpread 从页面开始美化阅读

bili2text 是一个用于将 Bilibili 视频转换为文本的工具🛠️。

Bili2text 📺 \ 将 Bilibili 视频转换为文本

机械键盘以其独特的手感和定制性受到广泛欢迎。主要术语包括四大轴体（黑、红、青、茶），键程、压力克数和触发点，以及段落感。键帽方面有正刻、侧刻、同刻、无刻等风格，材质包括PBT和ABS。其他关键特性包括键线分离、多种配列、无钢设计、热插拔功能和全键无冲。

机械键盘圈黑话术语 | 机械键盘入坑指南

免费的Kimi API 支持高速流式输出、支持多轮对话、支持联网搜索、支持长文档解读、支持图像解析，零配置部署，多路token支持，自动清理会话痕迹。

KIMI AI Free 服务 \ 教你免费白嫖 Kimi API

FreeGPT35是一个基于无需登录的ChatGPT Web提供的无限免费GPT-3.5-Turbo API服务。用户可以通过多种部署方式，如Node.js、Docker和Docker Compose，来启动和使用这项服务。此外，还可以通过Nginx配置文件设置反向代理和负载均衡器，以提高服务的可用性和性能。FreeGPT35支持多种应用程序，如OpenCat、Next-Chat、Lobe-Chat和Bob等，用户可以随意填写API密钥进行交互。项目采用MIT许可证，鼓励开源和自由使用。

FreeGPT35 \ 教你免费白嫖ChatGPT 3.5 API

Search4All 是一个开源的 AI 搜索平台，结合了语言模型和搜索引擎的优势，提供了一个高效、可定制的搜索解决方案。它支持多种语言模型和搜索引擎，具有可定制的 UI 界面，并支持分享和缓存搜索结果。支持多种部署方式，包括 Docker、Docker-Compose 和手动部署，还可以通过 Zeabur 平台一键部署。未来，Search4All 计划支持更多语言和功能，以满足更广泛的用户需求。

Search4All | 开源的 AI 搜索平台

PdfToy（PT）是一款功能强大的 PDF 处理软件，拥有独特的功能如将 PDF 转换回 PDG、使用正则表达式进行内容替换等。此外，它还具备无损导出图像、批量检查 PDF 文件损坏、统一页面宽度和解密口令保护的 PDF 等特色功能。这些功能使得 PT 成为处理 PDF 文件的理想选择。

PdfToy（PT） \ PDF 处理软件

pytest 是一个非常流行的 Python 测试框架，它支持简单的单元测试和复杂的功能测试。pytest 通过简洁的语法和强大的功能，使编写、组织和运行测试变得更加容易和高效。

Pytest 测试你的代码 | 非常流行的 Python 测试框架

十日计划因其紧凑的时间框架和高效的学习节奏，特别适合于那些寻求快速技能提升的学习者。它通过集中的学习目标和紧密的实践联系，能够在较短时间内实现知识和技能的快速提升。

十日计划 | 十日相比于二十一日计划的好处

GPT Pilot是一个VS Code扩展程序和AI开发者伙伴，通过提供建议、编写代码、调试、讨论问题等协助开发人员完成开发任务。它支持Python，具有自动完成功能，并可以帮助进行代码审查、调试、估算故事点、规划开发进度、管理依赖关系和部署应用程序。GPT Pilot是开发人员快速高效地创建生产就绪应用程序的有价值工具。

GPT PILOT | 你的AI开发伙伴

Open Interpreter 让LLM能够在本地运行代码（Python、Javascript、Shell等）。安装后，您可以通过在终端中运行 $ interpreter 与Open Interpreter进行ChatGPT风格的界面聊天。

Open Interpreter | 开源解释器 | 自然语言控制你的电脑系统

哔哩下载姬跨平台版是一款基于AvaloniaUI框架开发的跨平台视频下载工具，支持Windows、Linux和macOS系统。它自带.NET6、ffmpeg和aria2运行环境，简化了用户的安装和使用过程。用户可以通过该工具方便地下载B站视频。

哔哩下载姬(跨平台版) / Bilibili 视频下载

pdfcrop 是一款命令行工具，用于裁剪 PDF 文件中的页面。它能自动去除页面周围的空白边缘，或者按照用户定义的边界裁剪页面。这个工具特别适用于调整文档的可视区域，使得内容显示得更为集中和清晰。

PDF Crop | PDF裁减的瑞士军刀

01项目是一个用于AI设备的开源生态系统，旨在为会话设备提供动力。项目包括旗舰操作系统、01 Light语音接口和01 Server。项目支持多种硬件，具有开放、模块化和免费的特点。01项目在localhost:10001上提供语音到语音的websocket服务，并引入了LMC消息和动态系统消息等技术。项目鼓励社区参与和贡献，共同推动AI设备的发展。

01项目 \ OpenInterpreter/01 \ The 01 Project

将PDZ文件转换为PDF的最佳解决方案涉及两个步骤：首先使用老马的Pdg2Pic将PDZ转换为图片，确保内容在各种设备上可用。接着，利用FreePic2Pdf或PDF补丁丁将这些图片转换成PDF，保证图像质量不受损失，同时提供自定义页面大小、书签生成和OCR文字识别功能。这个过程不仅优化了文件格式的兼容性和阅读体验，还最大限度地减小了文件大小。

pdz2pdf 最佳解决方案 | pdz转pdf

FreePic2Pdf是一款多功能图像转PDF工具，支持TIFF、JPG、PNG、GIF、BMP等格式。它将原始数据流嵌入PDF，避免重新压缩导致的质量损失。软件能处理多页TIFF和动画GIF，提供PDF页面大小和边距自定义。其高级功能包括自动生成书签、OCR文字识别和批量处理。FreePic2Pdf以保持高图像质量和最小化PDF文件大小著称，适合高效创建专业级PDF文档。

FreePic2Pdf / 免费图片转PDF

PDF补丁丁是一个功能全面的工具，专门用于编辑和修改PDF文件。它允许用户更改PDF文档的信息，如文档属性、页码编号、页面链接和页面尺寸。该工具还能删除一些自动动作，去除复制和打印限制，并设置阅读器的初始模式。除此之外，它包括一个书签编辑器，可以批量修改书签属性，并自动生成文档书签。用户还可以合并、拆分PDF文件，保留或添加新书签，高速导出图片，提取或删除页面，以及调整页面顺序。PDF补丁丁还支持对PDF中的图片进行文字识别，并能替换或嵌入字体库以消除乱码问题。最后，它提供了一个分析工具，用于查看和编辑PDF文档结构。这款软件是永久免费的，无广告和无弹窗。

PDF补丁丁 / PDFPatcher PDF处理全面工具

Testify是一个功能强大的Go语言测试框架，提供了断言、模拟、测试套件等工具，帮助开发者编写高质量的测试代码。通过使用Testify，可以简化测试过程，提高代码的可靠性和可维护性。项目目前支持最新的Go版本，并鼓励社区贡献和讨论。

Testify - 你应当编写测试

XHS-Downloader是一个开源的项目，旨在帮助用户从小红书平台上提取和下载作品。它具备多种功能，包括但不限于采集作品信息、提取作品下载地址、下载无水印的作品文件等。该项目提供了程序和脚本两种使用方式，用户可以根据自己的需求选择适合的方式来使用。

小红书下载器 | 备份文章、下载图片

🐚 OpenDevin：少写代码，多做事
OpenDevin是一个开源项目，旨在模拟并超越自主AI软件工程师Devin的能力。通过社区合作，该项目致力于提升代码生成技术，增强核心组件功能，并开发用户友好的界面。它使用LiteLLM支持多种模型，并注重安全执行代码。

OpenDevin：少编码，多创造 自主 AI 软件工程师

MyIP是一个多功能的IP工具箱，提供查看本地IP、IP详细信息查询、网站可用性检查、WebRTC和DNS泄露测试等功能。支持多种操作系统和环境变量配置，可通过Vercel或Docker快速部署。界面支持深色模式和极简模式，还有PWA和键盘快捷键支持，适用于多语言用户。

MyIP - 更好的IP工具箱

Detect It Easy（简称“DIE”）是用于确定 Windows、Linux 和 MacOS 的文件类型的程序。

Detect It Easy 文件识别助手 *确定你的文件类型

1. 应用识别能力： 版本335和336能够完美识别应用，但其他版本在一些系统上可能会显示为未知应用，即使手机已经获取了Root权限也无法解决此问题。
2. 数据类型显示： 版本335和336在右侧可以显示数据类型，包括HTTP（H，表示文本）、二进制（B）和JSON（J），并且支持图片预览。
3. 功能特点： 这些版本支持根据封包内容、地址、Cookies、JSON等进行查找或过滤。

小黄鸟解锁版多版本说明及兼容性建议

Xposed框架停更，EdXposed为其继任者，支持Android 8至11，而lsposed为可能的EdXposed替代品，提供更好的Android 10和11支持，未来或许支持Android 12。

Xposed、EdXposed 和 lsposed的区别

当在 Windows 上同时使用夜神模拟器和虚拟机（如 Docker）时，可能会遇到兼容性问题，特别是涉及到 Hyper-V 的情况。以下是一些详细的解决方法。

在Windows上同时使用夜神模拟器和虚拟机的兼容性解决方案 | 开关 Hyper -V 的

通过仔细分析日志，发现 Docker 虚拟机端口与青龙面板默认端口不一致导致的问题。通过修改代码中的端口设置，成功解决了502错误。

BiliBiliToolPro 在 Dockercompose 中无法运行的解决办法

我们需要选择一种能够处理任意两点间最短路径问题的算法，尤其是在一个加权图中。弗洛伊德-华尔什算法（Floyd-Warshall算法）正适合此类问题，因为它能够计算出图中所有顶点对的最短路径。

使用弗洛伊德-华尔什算法找出矩阵中所有点对的最短路径

PDF（Portable Document Format）文件格式是一种广泛使用的文件格式，它具有多种特性和标准。

PDF揭秘

CDDA 游戏启动器 汉化版 国内直连加速 

当初学者在React中嵌入JavaScript代码时，通常需要将代码用大括号 {} 包裹起来，以告诉React将其解析为JavaScript表达式。

在React中嵌入JavaScript代码：以clarity为例

WordDumb是一个支持KFX、AZW3、AZW、MOBI和EPUB电子书格式的Calibre插件，它可以生成Kindle Word Wise和X-Ray文件以及EPUB的脚注，然后将它们发送到电子阅读器上。

利用calibre插件给本地英文书创建生词提示

使用 InstantID 在几秒钟内生成的漫威超级英雄

InstantID演示

XGO-Rider轮足机器人

OpenGFW 是一个 Linux 上灵活、易用、开源的 GFW 实现，并且在许多方面比真正的 GFW 更强大。可以部署在家用路由器上的网络主权。

OpenGFW 可以部署在家用路由器上的网络主权

由 Doiiars 维护的 Cataclysmdda漫游指南 镜像站。

Cataclysmdda漫游指南 - 国内直连镜像站 by Doiiars | CDDA导航

如果你想要在 Cron 中使用 UTC+8 上海时区，以下是设置的步骤。

如何在 Cron 中使用 UTC+8 上海时区

解锁 The Sims 4 全部DLC 教程

Ebook Translator 是一款由专注电子书的网站书伴开发的 Calibre 插件，它能以原文译文对照的方式，直接翻译整本电子书，支持 Google、ChatGPT、DeepL、有道、百度翻译引擎。

Ebook Translator – 用 Google、ChatGPT 和 DeepL 翻译整本电子书

Figen 是一款免费的封面图、背景图制作工具，通过简单的图形叠加，配合渐变色、直接添加文字，可以直接生成完整的封面图、背景图，下载为 .png 格式，无需进行二次处理，非常方便。

Figen – 免费的封面图、背景图制作工具，支持添加文字

如果你使用Calibre来管理你的电子书库，你可能会注意到它有一个让人困扰的问题：它会将中文文件路径翻译成拼音或其他拉丁字母音译。这可能会导致混乱和不便。本插件的目的是解决这个问题，让你的Calibre不再自动将中文路径翻译成拼音。

Calibre不要翻译我的路径插件

在 Next.js 中集成 Google Analytics 时，推荐使用 next/script 组件而不是传统的内联脚本。这样做不仅能提高网页性能，还能简化集成过程。

在 Next.js 中使用 Google Analytics

GPT4free 是一个热门的 GitHub 仓库，集合了多种强大的语言模型，包括 GPT-4 和 GPT-3.5。该项目通过汇集不同网站的 API，为用户提供了一种无需直接支付费用就可以访问这些高级语言模型的方法。

GPT4free

在Python中，async 和 await 关键字是异步编程的核心部分。异步编程允许程序在等待操作完成（如网络请求或文件I/O）时执行其他任务，这通常用于提高应用程序的性能和响应性。

Python中async和await的用法

利用pdz-助手，您可以轻松地将PDZ文件格式转换为PDF格式。

pdz-助手

实现Docker Compose项目的开机启动

Docker的清理命令

在 Ubuntu 中设置时区是一个简单的过程，可以通过命令行或图形用户界面（GUI）来完成。

ubuntu设置时区

该项目是一个由Doiiars创建的用于 Calibre 电子书管理软件的元数据源插件，旨在从中国国家图书馆获取图书信息，特别是基于ISBN。此插件允许用户轻松地将图书信息添加到其Calibre库中，包括书名、作者、出版日期、中图分类号等重要信息。

中国国家图书馆ISBN Calibre Metadata 源插件

本项目利用FastAPI搭建了一个阅读APP可以使用的用于TTS合成API。

Paimon语音合成API

🔥 SingleFile是一个非常实用的网页保存浏览器插件，它能够帮助你一键保存整个网页为单一的HTML文件。是的，你没听错，整个网页，包括图片、样式、甚至是JavaScript脚本，都可以完整无缺地保存下来！📂

🚀 SingleFile插件使用全攻略：网页存档从未如此简单！🌟| 网页保存插件

使用 "Duplicate Same Files Searcher" 优化电子书空间占用

优化Calibre电子书库空间占用的解决方案

Duplicate Same Files Searcher 是一款简单易用的重复文件查找工具，软件用于查找重复项（重复文件）和硬链接的应用程序，以及指向硬盘驱动器上同一文件的NTFS软链接，不仅可以删除重复文件或将其移动到其他位置还可以用硬链接或软链接替换重复文件NTFS到磁盘上的同一文件。

🗒️OmniParser 2 Windows安装中文指南（AMD/Nvidia平台）

🗒️OverEasy：加速零样本视觉模型创建与执行的Python框架