This week in Python, Voxtral, an open-source AI audio model, and BrowserOS, an open-source agentic web browser, gained popularity. The article "Python Gotcha: Logging an uncaught exception" provides insights into troubleshooting application crashes. The aiosqlitepool project, a resilient connection pool layer for SQLite, was also highlighted. Interesting reads include "Escaping Contravariance Hell" and "Building Autonomous Systems: A Guide to Agentic AI Workflows". Lastly, the project "html-to-markdown", a Python library for converting HTML to Markdown, was introduced. Wishing you a great week and happy coding!
Voxtral
Voxtral is an open-source AI audio model developed by Mistral, designed for automatic speech recognition and understanding. It offers features like transcription, summarization, and multilingual support at a lower cost compared to proprietary models.
fstrings.wtf
How good is your knowledge of Python f-strings?
BrowserOS
BrowserOS is an open-source agentic web browser.
Python Gotcha: Logging an uncaught exception
Uncaught exceptions will crash an application. If you don't know how to log these, it can be difficult to troubleshoot such a crash. Let's walk through this gotcha and see how to fix it.
aiosqlitepool
A resilient, high-performance asynchronous connection pool layer for SQLite, designed for efficient and scalable database operations.
Escaping Contravariance Hell
The post explains how Python's type checkers reject certain Callable and Protocol overrides due to contravariant parameter rules, using a vegetable-peeler analogy to clarify the concept. It then shows how to resolve these issues safely with generics like TypeVar or PEP 695 patterns, avoiding the need to fall back on Any.
Building Autonomous Systems: A Guide to Agentic AI Workflows
A complete guide to building autonomous systems with agentic AI workflows—covering core concepts, tools, and real-world applications.
Operating Inside the Interpreted: Offensive Python
The post discusses how Python on Windows (often preinstalled via the Microsoft Store) can be used as a surprisingly effective tool for offensive security and malware operations, thanks to its rich standard library, isolated package management, and low-profile presence in corporate environments. It outlines methods such as malware delivery, offline package installation, and leveraging cty...
How to Get Foreign Keys Horribly Wrong
Common Pitfalls and Potential Optimizations in Django.
Using Lean like an External SMT Solver from Python
The author demonstrates using Lean as an external SMT solver by translating proof goals into SMT queries and reconstructing the results back into valid Lean proofs. He builds a lightweight Python workflow that integrates Lean and SMT solvers seamlessly, enabling automated, proof-generating tactics within Lean.
Inheritance over composition, sometimes
Last time, we built a hybrid concurrent.futures executor using inheritance. Today, we're building it again (twice!) using composition and functions only, to figure out which way is better and why.
langchain-ai / open_deep_research
Python Hub Weekly Digest for 2025-07-20
The Step-by-Step Guide to Python Packaging Tools 2025
A future-ready guide comparing Python packaging tools like uv, Poetry, Hatch, and PDM—perfect for modern developers and teams.
Checking Out CPython 3.14's remote debugging protocol
html-to-markdown
A modern, fully typed Python library for converting HTML to Markdown.
TorchLeet
Leetcode for PyTorch.
Biomni
A general-purpose biomedical AI agent.
TextGAN-Researcher
Open Deep Research Agent: Automated Knowledge Discovery with TextGAN.
pictex
A powerful Python library to create beautifully styled text images with a simple, fluent API.
KubeDiagrams
Generate Kubernetes architecture diagrams from Kubernetes manifest files, kustomization files, Helm charts, helmfiles, and actual cluster state
PEP 798 – Unpacking in Comprehensions
Project by Ruslan Keba. Since 2012. Powered by Python. Made in 🇺🇦Ukraine.