View this email in your browser

Python Weekly

Welcome to issue 662 of Python Weekly. Let's get straight to the links this week.

Articles, Tutorials and Talks

FINALLY Python is Getting Rid of the GIL!

This video discusses how Python 3.13 is revolutionizing performance by making the Global Interpreter Lock (GIL) optional! Learn what the GIL is, why it exists, and the potential impacts of its removal on your Python projects.

State of Knuckledragger, a Semi-Automated Python Proof Assistant
The article introduces "Knuckledragger," a semi-automated Python proof assistant based on Z3, detailing its design, core principles, and various theoretical applications such as intervals, complex numbers, set theory, and linear algebra. It emphasizes leveraging Z3's existing API to minimize custom code, while adding features like tactics and systematic induction principles to enhance usability and efficiency.

A Knownbits Abstract Domain for the Toy Optimizer, Correctly
The article discusses the implementation of a "Knownbits" abstract domain for the Toy optimizer, which tracks individual bits of a variable as "known zero," "known one," or "unknown" to optimize integer operations. It details the construction of the domain, transfer functions, and correctness proofs using property-based testing and automated proofs, with plans to apply a more complex version to the PyPy JIT compiler.

The trouble with __all__
This article discusses the limitations and pitfalls of using the __all__ attribute in Python for defining public APIs, emphasizing how it fails to enforce module boundaries and can lead to tightly coupled codebases. The author proposes an alternative solution involving a custom import hook to ensure stricter module interface enforcement.

Talk to Django with natural language. Text to SQL and more.

The video demonstrates using Djeno database for natural language to SQL queries via embeddings, emphasizing semantic search, and integration with Django. It covers setting up PostgreSQL, creating Django models, embedding for efficient search, and caching for performance, while addressing bugs and customizing prompts in the SQL engine.

Log context propagation in Python ASGI apps
The article explains how to implement log context propagation in Python ASGI applications using middleware to automatically tag log messages with contextual information like user ID and platform. This approach simplifies logging by eliminating the need for manual context passing across different layers of an application, ensuring all logs within a request-response cycle are consistently tagged.

RAG Fundamentals and Advanced Techniques

This course will guide you through the basics of Retrieval-Augmented Generation (RAG), starting with its fundamental concepts and components. You'll learn how to build a RAG system for chatting with documents, explore advanced techniques, and understand the pitfalls of naive RAG.

Interesting Projects, Tools and Libraries

MindSearch
An LLM-based Multi-agent Framework of Web Search Engine (like Perplexity.ai Pro and SearchGPT)

sqlite-vec
A vector search SQLite extension that runs anywhere!

dir-assistant
Chat with your current directory's files using a local or API LLM.

PyAwaitable
CPython API for asynchronous functions.

nano-llama31
nanoGPT style version of Llama 3.1

DCPerf
DCPerf benchmark suite for hyperscale cloud applications,

AudioSample
AudioSample is an optimized numpy-like audio manipulation library, created for researchers, used by developers.

Formy
Generate dynamic UI forms from text using OpenAI's structured output API.

OpenAdapt
AI-First Process Automation with Large Multimodal Models (LMMs).

New Releases

Django 5.1 released
Django 5.1 introduces LoginRequiredMiddleware for easier authentication enforcement, accessibility enhancements like improved screen reader support and better HTML semantics, and a new querystring template tag for simpler URL handling in templates.

Python 3.13.0 release candidate 1

Django security releases issued: 5.0.8 and 4.2.15

Upcoming Events and Webinars

San Francisco Python Meetup August 2024
There will be following talks

Measuring garbage collection latency impact
GitHub Copilot - Research, Roadmap, and Studies

PyData NYC Meetup August 2024
There will be following talks

LLM Based Applications - Building Agentic RAG Workshop
Scaling Vector Search in Production Without Breaking the Bank: Quantization and Adaptive Retrieval

Cleveland Python Meetup August 2024
There will be a talk, Packing rust code using pyo3 and maturin.

Virtual: PyLadies Berlin Meetup August 2024
There will be following talks

Foundation models for complete beginners
Retrieval-Augmented Generation

PuPPy Meetup August 2024
There will be following talks

To AI or Not to AI: Is It the Right Solution for Your Problem?
Patching and Splitting Python Wheels
Formalizing a Language

PyData Manchester Meetup August 2024
There will be following talks

Creating a Raspberry Pi Cluster for Parallel Python Application Testing
Agile and Data Product Teams - Surely that doesn't work?

PyData Berlin Meetup August 2024
There will be following talks

Building an LLM Agent to talk to the Berlin Parliament with Ollama
Bayes by Hand

Our Other Newsletters

Programmer Weekly - A free weekly newsletter for programmers.

Founder Weekly - A free weekly newsletter for entrepreneurs featuring best curated content, must read articles, how to guides, tips and tricks, resources, events and more.

Python Weekly

Brooklyn

Brooklyn, NY 11209

Add us to your address book

Want to change how you receive these emails?
You can update your preferences or unsubscribe from this list.

Python Weekly - Python Weekly - Issue 662

Python Weekly

Older messages

Python Weekly - Issue 661

Python Weekly - Issue 660

Python Weekly - Issue 659

Python Weekly - Issue 658

Python Weekly - Issue 657

You Might Also Like

Weekend Reading — More time to write

🕹️ Retro Consoles Worth Collecting While You Still Can — Is Last Year's Flagship Phone Worth Your Money?

JSK Daily for Nov 23, 2024

Not Ready For The Camera 📸

Daily Coding Problem: Problem #1617 [Easy]

Ranked | The Tallest and Shortest Countries, by Average Height 📏

⚙️ Your own Personal AI Agent, for Everything

Educational Byte: Are Privacy Coins Like Monero and Zcash Legal?

🐍 New Python tutorials on Real Python

Re: Hackers may have stolen everyone's SSN!