1140
News & links about Python programming. https://pythonhub.dev/ Administrator: @rukeba
LLM-as-a-Verifier: A General-Purpose Verification Framework
The paper introduces LLM-as-a-Verifier, a training-free framework that improves agentic task evaluation by using continuous scores from scoring-token logits instead of discrete judge ratings. It shows that scaling verification through finer score granularity, repeated evaluation, and criteria decomposition improves accuracy across coding, robotics, and medical benchmarks, while also prov...
https://arxiv.org/pdf/2607.05391
neuro-san-studio
A playground for neuro-san.
https://github.com/cognizant-ai-lab/neuro-san-studio
Mellea
Mellea is a library for writing generative programs.
https://github.com/generative-computing/mellea
E-- – A language you dial between English and Python
https://github.com/frmoded/e--
Unpopular opinion: I find it counterproductive to shorten function and variable names
https://www.reddit.com/r/Python/comments/1v1102x/unpopular_opinion_i_find_it_counterproductive_to/
TabFM
TabFM (Tabular Foundation Model) is a scikit-learn compatible tabular foundation model. It allows you to perform zero-shot classification and regression on tabular datasets with mixed column types out-of-the-box.
https://github.com/google-research/tabfm
Automate Excel with Python: From manual grind to one-click workflow
https://nostarch.com/automate-excel-with-python
Sandboxing an AI Agent
The post explains why autonomous AI agents should run in isolated sandboxes instead of directly on a developer’s laptop, especially as agents gain auto-approval, long-running tasks, file access, and network access. It compares sandbox architectures, from tool-backend setups to agents living fully inside the sandbox, and explains the tradeoffs across security, secrets, streaming, performa...
https://sajalsharma.com/posts/sandboxing-an-ai-agent/
PEP 814: Add frozendict built-in type
The post explains the path from rejected PEP 416 and stalled PEP 603 to accepted PEP 814, which adds a built-in frozendict type to Python 3.15. It covers how frozendict works, why it is hashable only when values are hashable, where the standard library now supports it, and what C/Python code may need to update.
https://vstinner.github.io/pep-814-add-frozendict-builtin-type.html
Pure-Python symbolic regression that rediscovered Kepler's law from 8 data point
https://github.com/ariel95500-create/gp-elite
Hamiltonian Neural Networks from a Differential Geometry Perspective
The post explains Hamiltonian Neural Networks through differential geometry, showing why a normal MLP can fit motion data but still invent or lose energy over long rollouts. It shows that by learning a scalar Hamiltonian and deriving motion through the symplectic gradient, HNNs make energy conservation structurally unavoidable instead of hoping the network learns it from data.
https://abscondita.com/blog/symplectic-sledgehammer-for-a-spring
ProtoMotions3
A GPU-Accelerated Framework for Simulated Humanoids.
https://github.com/NVlabs/ProtoMotions
Write a coding agent from first principles: better tools
This tutorial builds on the coding agent you implemented in the tutorial “Write a coding agent from first principles”. In this tutorial, you'll take your agent and improve its capabilities by implementing the text edit and bash command tools that Anthropic provides.
https://mathspp.com/blog/write-a-coding-agent-from-first-principles-better-tools
Runloom – Go-style coroutines for Python free-threaded
https://github.com/robertsdotpm/runloom
bradautomates / claude-video
Give Claude the ability to watch any video. /watch downloads, extracts frames, transcribes, hands it all to Claude.
https://github.com/bradautomates/claude-video
6× faster binary search: from compiled code to mechanical sympathy
The post shows how a compiled binary-search bucketization routine used from Python can get much faster by aligning the algorithm with how modern CPUs actually execute code. It walks through branchless execution, removing bounds-check overhead, and enabling SIMD-friendly auto-vectorization to make the final version about 6x faster than the original.
https://pythonspeed.com/articles/branchless-binary-search/
An Intro to Spiel – Creating Presentations in Your Terminal with Python
The post introduces Spiel, an archived Python package that uses Rich to create and run slide presentations directly inside the terminal. It walks through installing Spiel, running the demo, and building simple terminal-based slides with Deck, Slide, decorators, and keyboard navigation.
https://blog.pythonlibrary.org/2026/07/10/an-intro-to-spiel-creating-presentations-in-your-terminal-with-python/
magic-extractor
Universal Windows extraction tool that detects unknown files and routes them to the right bundled extractor.
https://github.com/xchwarze/magic-extractor
Needle
26m function call model that runs on incredibly small devices.
https://github.com/cactus-compute/needle
Python Hub Weekly Digest for 2026-07-19
https://pythonhub.dev/digest/2026-07-19/
Celery on AWS ECS - Complete Guide
The post explains why running Celery on AWS ECS can cause lost, delayed, duplicated, or never-completed tasks due to ECS shutdown behavior, Celery defaults, prefetching, and timeout edge cases. It recommends safer production settings, shorter/idempotent task design, fan-out or batching, RabbitMQ on Amazon MQ, and Redis-based locking to make Celery workers more reliable on ECS.
https://jangiacomelli.com/blog/celery-on-aws-ecs/
A peek into Reddit's anti-spam internals
How Reddit accidentally leaked its spamurai system.
https://lyra.horse/blog/2026/06/reddit-spam-internals/
antigravity-sdk-python
A Python library for building AI agents that leverage the full power of Google Antigravity.
https://github.com/google-antigravity/antigravity-sdk-python
Miles: A PyTorch-Native Stack for Large-Scale LLM RL Post-Training
Miles is an open source PyTorch-native framework for large-scale LLM reinforcement-learning post-training, combining SGLang for rollouts, Megatron-LM for training, Ray for orchestration, and PyTorch for extensibility. The post explains how Miles handles the hard systems problems behind frontier RL, including async rollout/training, fast weight sync, MoE alignment, low-precision recipes, ...
https://pytorch.org/blog/miles-a-pytorch-native-stack-for-large-scale-llm-rl-post-training/
harvard-edge / cs249r_book
Machine Learning Systems
https://github.com/harvard-edge/cs249r_book
Protobuf-py: Protobuf for Python, without compromises
https://buf.build/blog/protobuf-py
ipblocklist
IP lists full of bad IPs - Updated every 2H.
https://github.com/bitwire-it/ipblocklist
You shouldn't trust Trusted Publishing
The post explains that PyPI Trusted Publishing is an authentication mechanism for machine-to-machine trust between CI/CD workflows and package registries, not a signal that a package is safe or high quality. It shows how Trusted Publishing reduces long-lived credential risk, while warning that users should not treat it like a “green checkmark” because malicious or low-quality packages ca...
https://blog.yossarian.net/2026/07/07/You-shouldnt-trust-trusted-publishing
Otary – Image and Geometry Python Library Now Has Tutorials
https://alexandrepoupeau.com/otary/learn/
fortress
Stealth Chromium engine that stops scrapers and browser agents from getting blocked, with one line of code change.
https://github.com/tiliondev/fortress