Python HubHuman-curated Python news, articles, projects and tools worth your time.
— x.com/PythonHub
— telegram.me/PythonHub
— mastodon.social/@pythonhub
— bluesky/@pythonhub.dev
— On Patreon, just $1 per month
Share a news, article or interesting project. Link will be published after manual review.
Subscribe to Python Hub Weekly Digest
A Lean Proof Printing Python Union Find
Philip Zucker shows how a Python union-find data structure can generate Lean proof certificates, turning union and path-compression operations into machine-checkable equality proofs. He uses the experiment to explore the broader idea of treating proofs as traces of search, with applications to e-graphs and theorem-proving systems.
Python Algorithmic Trading Course β Massive, SnapTrade & Alpaca Integrations
This course demonstrates how to build an algorithmic paper trading system using Python and Django to calculate momentum scores and execute trades. The project integrates Massive for market data, SnapTrade for portfolio management, and Alpaca for risk-free brokerage simulation
livenerf
A long-running, deterministic-as-possible benchmark for detecting whether a frontier model gets quietly worse after launch.
Ciaren: open-source visual ETL exporting pandas and Polars code (alpha)
Build data pipelines visually, run locally, preview intermediate data, and export standalone Python scripts. Open-source alpha, AGPL-3.0.
asgeirtj / system_prompts_leaks
Documented system prompts from Anthropic - Claude Fable 5.1, Opus 5.5, Claude Design, Claude Code. OpenAI - ChatGPT GPT-6-Astra, Codex. Google - Gemini 3.8 Flash, 3.1 Pro, Antigravity. xAI - Grok, Grok Bot, Cursor, Kimi and more! Updated regularly.
Hyperresearch
Agent-driven research knowledge base. Agents collect, search, and synthesize web research into a persistent, searchable wiki.
Python 3.15 Is About to Change Python
Python 3.15 is almost here! This video breaks down 10 of the most interesting new features and changes coming to Python 3.15, using real Python code and visual explanations.
jev-ultrafast
A browser agent with a dynamic, indexed action space.
engrim
Engrim is a local-first Python memory layer for coding agents that preserves project context and decisions across tools like Claude Code, Cursor, Codex, Windsurf, and OpenCode.
apowerb
The open-source agentic framework to build, orchestrate, and operate production AI agents.
2026-10-04 · 2026-09-27 · 2026-09-20 · 2026-09-13 · 2026-09-06 · 2026-08-30 · 2026-08-23 · 2026-08-16 · 2026-08-09 · 2026-08-02 · 2026-07-26 · 2026-07-19 · 2026-07-12 · 2026-07-05 · 2026-06-28 · 2026-06-21 · 2026-06-14 · 2026-06-07 · 2026-05-31 · 2026-05-24 · 2026-05-17 · 2026-05-10 · 2026-05-03 · 2026-04-26 · 2026-04-19 · 2026-04-12 · 2026-04-05 · 2026-03-29 · 2026-03-22 · 2026-03-15 · 2026-03-08 · 2026-03-01 · 2026-02-22 · 2026-02-15 · 2026-02-08 · 2026-02-01 · 2026-01-25 · 2026-01-18 · 2026-01-11 · 2026-01-04 · 2025-12-28 · 2025-12-21 · 2025-12-14 · 2025-12-07 · 2025-11-30 · 2025-11-23 · 2025-11-16 · 2025-11-09 · 2025-11-02 · 2025-10-26 · 2025-10-19 · 2025-10-12 · 2025-10-05 · 2025-09-28 · 2025-09-21 · 2025-09-14 · 2025-09-07 · 2025-08-31 · 2025-08-24 · 2025-08-17
Project by Ruslan Keba. Since 2012. Powered by Python. Made in πΊπ¦Ukraine.