Hasty Briefsbeta

全部标签

#python

共 387 篇

双语

PYX: The next step in Python packaging
9 months ago
- PYX是由uv开发者创建的Python原生包注册中心
- 它通过优化的构件和uv原生元数据API，提供从PyPI、PyTorch及私有源的极速包安装，速度显著超越其他私有注册中心
- 支持按流行度、版本新旧、漏洞及合规规则进行安全包过滤，确保可复现的构建
- 专注现代Python标准，提供顶级支持、零配置，并通过uv集成实现无缝认证
- GPU感知功能为PyTorch、vLLM、FlashAttention、DeepSpeed等提供适配硬件的预构建优化版本
- 诚邀用户率先体验Python包管理的未来
Show HN: langdiff – Stream valid JSON from LLMs with type-safe callbacks
9 months ago
- LangDiff 是一个 Python 库，用于将结构化的 LLM 输出流式传输到前端，并支持智能部分解析。
- 它提供类型安全的回调函数（on_append、on_update、on_complete），在令牌流式传入时触发。
- 支持 Pydantic 风格的模型定义模式，并能与 OpenAI SDK 等现有库无缝协作。
- 自动生成 JSON Patch 差异以实现高效的前端同步。
- 支持构建响应式 AI 应用，同时允许后端和前端独立演进。
- 包含无需更改代码模式即可跟踪变更、处理不完整 JSON 令牌等特性。
- 示例用例：流式传输多章节文章并支持渐进式更新。
- 采用 Apache-2.0 许可证，提供可运行的示例文件 example.py。
Functional Programming How To
9 months ago
- Python中的函数式编程专注于将问题分解为一组函数，理想情况下这些函数只接收输入并产生输出，而不受内部状态影响输出结果。
- Python支持多种编程范式，包括过程式、面向对象和函数式编程，允许在同一程序中使用不同方法。
- 函数式编程避免副作用，这意味着函数不应修改内部状态或产生不体现在函数返回值中的变更。
- 函数式编程的主要优势包括形式可证明性、模块化、可组合性以及便于调试和测试。
- 迭代器是Python中函数式风格编程的基础特性，代表逐个返回元素的流式数据结构。
- 生成器通过`yield`关键字简化迭代器创建，生成值流并使函数能从暂停处恢复执行。
- Python内置函数如`map()`、`filter()`和`reduce()`常用于函数式编程，无需显式循环即可处理可迭代对象。
- `itertools`模块提供多种工具用于创建和组合迭代器，包括无限序列、组合数学及分组元素等功能。
- `functools`模块提供高阶函数，其中`partial()`能通过固定部分参数实现函数的部分应用。
- Lambda表达式可用于创建小型匿名函数，但仅限于单个表达式，复杂操作可能降低代码可读性。
The State of Python 2025
9 months ago
- 86%的Python开发者将Python作为主要开发语言
- 50%的受访者拥有不足两年的专业编程经验
- 51%的Python开发者从事数据科学领域，pandas和NumPy是最常用工具
- 83%的开发者仍在使用旧版Python，未能享受性能优化红利
- Python网页开发正迎来复兴，FastAPI使用量增长30%
- Rust正被越来越多用于加速Python，33%的二进制扩展采用Rust编写
- 类型化Python获得更好工具支持，涌现出'ty'和'Pyrefly'等新型检查器
- PostgreSQL成为Python开发者最受欢迎数据库，使用率增长14%
- 智能体AI正成为重要开发工具，49%的开发者计划尝试
- Python 3.14将引入无GIL的自由线程模式以提升性能
- Python图形界面和移动端开发成为新趋势，正逐步支持iOS与Android平台
Show HN: Python file streaming 237MB/s on $8/M droplet in 507 lines of stdlib
9 months ago
- Axon是一个用于动态批量请求的开源WSGI核心。
- 仅用507行Python代码实现，无任何依赖。
- 专为快速原型设计，提供细粒度请求生命周期控制。
- 性能随计算资源（而非I/O）线性扩展。
- 包含部署工具，支持快速搭建和压力测试。
- 在单核硬件上，CPU饱和先于网络带宽达到极限。
- 通过为节点分配特定文件类型/大小的处理策略来支持分布式部署。
An Update on Pytype
9 months ago
- Pytype最后支持的Python版本将是3.12。
- 该项目始于2012年，旨在满足谷歌对编译时类型检查的需求。
- 最初采用类型推断和接口文件，在PEP 484发布后转向内联注解。
- 曾与Guido及mypy团队合作创建typeshed类型存根仓库。
- 基于字节码的设计因字节码不稳定导致新功能开发困难。
- 未来将转向更适合谷歌Python用户的新类型方案。
- 建议用户探索其他Python类型检查工具。
- 特别感谢贡献者Rebecca Chen、Martin DeMello、Teddy Sudol和Matthias Kramm。
- 强调Rebecca Chen十年来对Python类型系统的持续贡献。
Rust: Python's New Performance Engine
9 months ago
- Rust在Python中的使用率正快速增长，一年内用于Python二进制扩展的使用量增长了22%
- 相比C语言，Rust能提供C级别的性能、内存安全性以及更优的开发体验
- Polars、Pydantic V2和FastAPI等知名Python项目正利用Rust实现显著的性能提升
- Rust正在影响Python核心生态，采用Rust编写的ASGI服务器和新型类型检查器日益流行
- 企业通过Rust增强的Python实现成本节约、性能提升和能源效率优化
- 建议Python开发者学习基础Rust知识，以更好地理解和使用Rust增强的库与扩展
- Python与Rust的未来在于混合开发，将Python的表达力与Rust的高性能结合处理密集型任务
Crimes with Python's Pattern Matching (2022)
9 months ago
- Python的`__subclasshook__`方法在抽象基类(ABC)中允许自定义子类检查，可实现非常规的类型匹配
- Python 3.10的模式匹配通过与`isinstance()`的交互，使得抽象基类能基于动态条件影响匹配逻辑
- 示例：`NotIterable`抽象基类通过检查缺少`__iter__`方法来劫持模式匹配，展示了非预期行为
- 模式匹配可解构对象字段，抽象基类能动态匹配具有特定属性的对象（如`DistanceMetric`）
- 可在运行时创建`Not`和`And`等组合器来实现复杂匹配逻辑，但存在语法限制
- 在`__subclasshook__`中使用副作用（如缓存、用户提示）是可行的，但会引发不可预测行为故不推荐
- 警告：滥用`__subclasshook__`实现模式匹配被视为黑魔法，不建议在生产代码中使用
Uv format: Code Formatting Comes to uv (experimentally)
9 months ago
- 最新发布的uv 0.8.13版本引入了一个实验性新命令：uv format
- uv format通过调用Ruff格式化器实现了Python代码格式化功能
- 基础用法包括：格式化所有Python文件、检查格式规范、预览变更而不实际应用
- 可通过在--后传递额外Ruff参数进行自定义设置
- 请注意这是实验性功能，后续版本可能会有改进和变更
Show HN: OctaneDB – Fast, Open-Source Vector Database for Python
9 months ago
- OctaneDB 是一个高性能 Python 向量数据库库，性能比 Pinecone、ChromaDB 和 Qdrant 等竞争对手快 10 倍。
- 特性包括亚毫秒级查询响应时间、每秒 3,000+ 向量的插入速率，以及通过 HDF5 压缩优化的内存使用。
- 支持多种索引方法：用于超快速近似搜索的 HNSW 和用于精确相似性搜索的 FlatIndex。
- 提供与 ChromaDB 兼容的 API 便于迁移，并使用 sentence-transformers 自动进行文本到向量的转换。
- 支持 GPU 加速（CUDA）、批处理以及多种距离度量（余弦、欧几里得、点积等）。
- 包含带逻辑运算符的高级元数据过滤和批量搜索操作。
- 提供内存和基于文件的持久化存储选项，采用 HDF5 格式实现高效压缩。
- 通过 pip 简单安装，API 直观且类似 ChromaDB，易于集成到现有项目中。
- 基准测试显示，在插入速率、搜索时间和内存使用方面，性能优于 ChromaDB、Pinecone 和 Qdrant。
- 适用于 AI/ML 应用、文档搜索、推荐系统、图像搜索、NLP 应用和研究。
Manim: Animation engine for explanatory math videos
9 months ago
- Manim是一个用于创建精确程序化动画的Python引擎，特别适合制作数学教学视频。
- Manim有两个版本：3Blue1Brown开发的原始版和更稳定、社区友好的社区版。
- 安装需要Python 3.7+、FFmpeg、OpenGL，可选LaTeX。Linux系统还需安装Pango及其开发头文件。
- 安装ManimGL使用命令`pip install manimgl`。开发版本需克隆仓库并运行`pip install -e .`。
- 系统配置包括安装FFmpeg、LaTeX（推荐MiKTeX）等依赖项，macOS用户可通过Homebrew安装。
- 示例用法：运行`manimgl example_scenes.py OpeningManimExample`可演示示例场景。
- 常用命令行参数：`-w`输出到文件，`-s`跳转至最终帧，`-f`全屏播放。
- 可通过`custom_config.yml`自定义配置输出目录、样式和画质参数。
- 项目提供中英文文档，欢迎社区贡献资源和改进建议。
- 项目采用MIT许可证，鼓励提交有明确动机和示例的代码贡献。
Static Sites with Python, uv, Caddy, and Docker
9 months ago
- 作者已改用'uv'进行Python开发，称赞其速度和提升的工作流效率。
- 他们采用多阶段Docker构建配合Caddy服务器部署静态站点，包括一个名为'sus'的短链接服务。
- Dockerfile以包含'uv'的Debian镜像为基础，设置工作目录并复制项目文件。
- 通过'uv'安装Python，使用'uv run'执行构建流程并跳过开发依赖项。
- 静态站点构建于'/src/output'目录，随后在基于Alpine的镜像中使用Caddy提供服务。
- Caddy配置包含域名设置、文件服务指令以及为Plausible Analytics设置的反向代理。
- 其他项目中使用自定义错误页面和内容类型头，展示了该方案的灵活性。
- 作者计划标准化项目，在Dockerfile中使用'just build'命令以保持一致性。
Line scan camera image processing for train photography
9 months ago
- 使用Alkeria Necta N4K2-7C线扫描相机，配备4096×2拜耳传感器。
- 通过计算能量函数区分垂直结构与水平背景条纹，实现运动物体检测。
- 通过比较拜耳阵列中的绿色通道并拟合稳健样条曲线，实现自动化速度估计。
- 采用汉宁窗对图像进行重采样以避免混叠，必要时进行图像翻转。
- 使用双线性插值进行去马赛克处理，减少拜耳阵列产生的边缘伪影。
- 结合线性回归和迭代重加权最小二乘法，消除时钟抖动和暗物体导致的垂直条纹。
- 基于图像块的去噪方法处理列车图像中的重复纹理，但处理速度较慢。
- 计划在速度估计后使用霍夫变换进行倾斜校正。
- 通过目测进行色彩校准，效果尚可。
- 使用Python和numpy实现，分块处理大数据，AI辅助处理结果参差不齐。
ThinkMesh: A Python lib for parallel thinking in LLMs
9 months ago
- ThinkMesh 是一个用于并行推理的 Python 库，支持置信度门控和预算重分配功能。
- 支持离线 Hugging Face Transformers 和 vLLM/TGI，以及托管 API（如 OpenAI 和 Anthropic）。
- 功能包括异步执行、归约器（多数表决/裁判机制）、可插拔验证器、缓存和 JSON 追踪。
- 当前处于早期开发阶段，可能存在破坏性变更。
- 通过 `pip install -e ".[dev,transformers]"` 安装，并克隆 GitHub 仓库。
- 可通过 `ThinkConfig` 配置模型、策略、归约器和预算参数。
- 支持 DeepConf、自洽性校验、辩论式和树状推理等策略。
- 可输出 JSON 追踪日志、Prometheus 指标和 OpenTelemetry 跨度数据。
- 采用 MIT 许可证，鼓励在学术研究中引用本项目。
Dynamically patch a Python function's source code at runtime
9 months ago
- 使用compile和exec函数在运行时动态修改函数源代码的Python技巧
- 该技术使得构建灵活AI机器人(如ToolBot)成为可能，它们能生成并执行可访问当前环境的代码
- 由于潜在的恶意代码执行风险，引发了严重的安全担忧
- 函数具有可被操作的.__code__属性
- 三步流程：编译新代码→在命名空间中执行→替换原函数
- ToolBot将工具选择与执行分离，提高了模块化程度
- write_and_execute_code工具允许LLM生成并运行可访问全局变量的Python代码
- 强调了安全风险；建议未来使用Restricted Python保障安全性
- 大语言模型是宝贵的学习工具，但需要谨慎使用和深入理解
Show HN: A lightweight ML model to predict music emotion - energy, valence, etc.
9 months ago
- VibeNet 是一个Python软件包、Beets插件及命令行工具，用于从原始音频预测音乐情感与属性。
- 它能预测7种属性：原声感(acousticness)、可舞性(danceability)、能量感(energy)、器乐度(instrumentalness)、现场感(liveness)、口语度(speechiness)和情绪价(valence)。
- 这些属性分为概率型（如原声感）和描述型（如能量感）两类。
- VibeNet可用作：Beets插件（标记音乐库）、Python包（自定义项目）或命令行工具（一次性任务）。
- Beets插件支持导入时自动标记，并能通过查询（如「查找高情绪价歌曲」）检索音乐。
- Python软件包支持单文件/批量音频推理，为定制项目提供灵活接口。
- 命令行工具支持快速预测，并可输出CSV格式便于批量处理。
- VibeNet基于FMA数据集训练，采用师生蒸馏框架，学生模型采用EfficientNet架构。
Do I not like Ruby anymore? (2024)
9 months ago
- 作者最初不喜欢Python，认为它不如Ruby和Scheme优雅
- Ruby曾是作者的最爱，因其优雅、表达力强，并受到Smalltalk和Lisp的启发
- Python的设计选择（如将'if'作为语句、lambda功能受限）曾让作者感到沮丧
- TypeScript改变了作者的看法，展示了静态分析如何弥补语言缺陷
- Python不断发展，新增了类型提示、match语句和改进的lambda等功能
- 作者称赞Python的类型提示与语言无缝集成、实用性强，且对Pydantic等库大有裨益
- Python的关键字参数、命名空间和推导式被强调为显著优势
- 相比Python的演进，Ruby发展较为缓慢，这促使作者转变了偏好
- 尽管曾严厉批评Python，作者现在更欣赏它，并正在逐渐放弃Ruby
Show HN: Framework to create linters for Python, YAML, TOML, JSON
9 months ago
- lintkit 是一个用于构建代码检查器/代码检查规则的框架。
- 支持多种格式：优先支持 Python，同时兼容 YAML、JSON 和 TOML。
- 功能包括 noqa 注释、文件跳过和标准化输出。
- 只需少量代码即可快速创建和运行自定义规则。
- 提供对文件及其子元素的灵活规则控制。
- 极简设计，代码量少于 1000 行，包含教程和 API 参考文档。
- 提供创建包含两个规则的自定义检查器的示例。
- 默认支持通过 noqa 注释禁用检查器。
- 可通过 pip 安装，并提供额外功能选项。
- 采用 Apache 2.0 许可证，版权归 open-nudge 所有。
You're probably using uv wrong
9 months ago
- uv 是一个基于 Rust 的快速 Python 包管理器，可替代 pip、pyenv 和虚拟环境。
- 正确使用 uv 需要工作在「项目」上下文中，避免直接使用 pip、pyenv 或 venv。
- uv 项目由 pyproject.toml 文件定义，该文件指定项目元数据和依赖项。
- uv init 会创建一个集成 Git 的新项目，包括 .gitignore、.python-version 和骨架 main.py 文件。
- 使用 uv run 运行代码可确保与项目的 Python 版本和依赖项保持一致。
- 通过 uv add 添加依赖项，该命令会自动更新 pyproject.toml 并处理安装。
- uv.lock 文件通过锁定精确的包版本和依赖关系，确保环境可重现性。
Marisa Trie – Static memory-efficient Trie-like structure
9 months ago
- 基于marisa-trie C++库的Python（3.8+）静态内存高效类Trie结构
- MARISA-trie中的字符串数据占用的内存可能比标准Python字典少50-100倍
- 原始查找速度相当；trie还提供前缀搜索等快速高级方法
- 提供可pip安装的基于Cython的替代Python绑定方案
- 安装方式：python -m pip install -U marisa-trie
- 限制包括：未测试mingw32编译器、.prefixes()方法较慢、缺少.values()方法
- 封装代码采用MIT许可证；捆绑的marisa-trie C++库采用LGPL或BSD 2-clause双重许可

About|Login

#python

PYX: The next step in Python packaging

Show HN: langdiff – Stream valid JSON from LLMs with type-safe callbacks

Functional Programming How To

The State of Python 2025

Show HN: Python file streaming 237MB/s on $8/M droplet in 507 lines of stdlib

An Update on Pytype

Rust: Python's New Performance Engine

Crimes with Python's Pattern Matching (2022)

Uv format: Code Formatting Comes to uv (experimentally)

Show HN: OctaneDB – Fast, Open-Source Vector Database for Python

Manim: Animation engine for explanatory math videos

Static Sites with Python, uv, Caddy, and Docker

Line scan camera image processing for train photography

ThinkMesh: A Python lib for parallel thinking in LLMs

Dynamically patch a Python function's source code at runtime

Show HN: A lightweight ML model to predict music emotion - energy, valence, etc.

Do I not like Ruby anymore? (2024)

Show HN: Framework to create linters for Python, YAML, TOML, JSON

You're probably using uv wrong

Marisa Trie – Static memory-efficient Trie-like structure