PythonHub

Family Orienting Python Frozenset Dependent Type Theory The post models dependent type theory in plain Python by treating types as finite “families,” or dictionaries from contexts to sets, rather than as standalone bare values. The key idea is that full judgments like Γ |- A should be interpreted as mappings, which makes contexts, weakening, terms, Sigma/Pi types, and identity types easier to represent uniformly. https://www.philipzucker.com/dtt_python_family/

Create a 90s GeoCities style website in seconds (Python) https://pypi.org/project/create-geocities-app/

ProgramBench Can Language Models Rebuild Programs From Scratch? Given only a compiled binary and its documentation, AI agents must architect and implement a complete codebase that reproduces the original program's behavior. https://programbench.com/

ShadowBroker Shadowbroker is a decentralized OSINT platform aggregating real-time data from 60+ feeds like private jets, spy satellites, and seismic events into a unified dashboard. https://github.com/BigBodyCobain/Shadowbroker

How we accelerated transpilation by compiling SQLGlot with mypyc Fivetran accelerated SQLGlot, a pure Python SQL parser/transpiler, by 5x through compiling 100+ modules into C extensions with mypyc, without rewriting it in Rust. Key optimizations included sentinel tokens, native i64 integers, dispatch tables, and upstream mypyc primitives for string operations, resulting in 3.9 to 5x speedups across the tokenizer, parser, and generator. https://www.fivetran.com/blog/how-we-accelerated-transpilation-by-compiling-sqlglot-with-mypyc

I've been teaching intro Python for 3 years i notice the same weaknesses in almost every student. Am i missing something in how I'm explaining it? https://www.reddit.com/r/learnpython/comments/1tbtrtv/ive_been_teaching_intro_python_for_3_years_i/

Mirage A Unified Virtual Filesystem For AI Agents. https://github.com/strukto-ai/mirage

Mastering Python Logging Format: A Complete Guide for Developers Set up Python logging format strings, custom formatters, and structured JSON output with copy-paste code examples for every major use case. https://middleware.io/blog/python-logging-format/

Wrap Go binaries in Python wheels https://github.com/simonw/go-to-wheel

Python Hub Weekly Digest for 2026-05-17 https://pythonhub.dev/digest/2026-05-17/

Pymetrica, a codebase analysis tool Pymetrica is a static analysis tool that parses Python source code using the AST and evaluates metrics used to assess complexity, maintainability, and architectural stability. https://github.com/JuanJFarina/pymetrica

auto-round A SOTA quantization algorithm for high-accuracy low-bit LLM inference, seamlessly optimized for CPU/XPU/CUDA, with multi-datatype support and full compatibility with vLLM, SGLang, and Transformers. https://github.com/intel/auto-round

anthropics / financial-services https://github.com/anthropics/financial-services

Boosting multimodal inference performance by >10% with a single Python dictionary Multimodal models are promising, but inference engines haven't been optimized for them yet. We profiled SGLang’s scheduler on a multimodal workload and identified an opportunity to replace expensive book-keeping around shared GPU memory with a simple cache lookup. Throughput and latency both improved over 10% on our target workload. https://modal.com/blog/boosting-multimodal-inference-performance-by-greater-than-10-with-a-single-python-dictionary

Fast Mesh Booleans in Python Learn how to perform fast mesh boolean operations in Python. Union, intersection, and difference at interactive speed on million-polygon meshes. One pip install, NumPy arrays in and out. https://polydera.com/tutorials/fast-mesh-booleans-in-python

bluerock Runtime visibility for Python MCP servers. Captures tool calls, session lifecycle, module imports (SHA-256), and subprocess execution as structured NDJSON. No code changes. Apache 2.0 https://github.com/bluerock-io/bluerock

Using Bag-of-Words With PyCharm Let's unpack how the bag-of-words model works, explore the techniques it uses to convert text into numerical representations, and look at where it fits relative to more modern NLP approaches. https://blog.jetbrains.com/pycharm/2026/04/using-bag-of-words-with-pycharm/

z-lab / dflash DFlash: Block Diffusion for Flash Speculative Decoding https://github.com/z-lab/dflash

foundry Ship full-stack agentic systems the way they're meant to be built - production-ready, secure by default, with the developer experience modern Python deserves. https://github.com/promptise-com/foundry

token-optimizer Find the ghost tokens. Fix them. Survive compaction. Avoid context quality decay. https://github.com/alexgreensh/token-optimizer