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 ver...

https://pypy.org/posts/2024/08/toy-knownbits.html

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.

https://www.djangoproject.com/weblog/2024/aug/07/django-51-released/

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.

https://www.youtube.com/watch?v=ea2W8IogX80

dir-assistant

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

https://github.com/curvedinf/dir-assistant/

OpenAdapt

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

https://github.com/OpenAdaptAI/OpenAdapt

alexta69 / metube

Self-hosted YouTube downloader (web UI for youtube-dl / yt-dlp)

https://github.com/alexta69/metube

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 ...

https://rednafi.com/python/log_context_propagation/

Crawling Pages with Infinite Scroll using Scrapy and Playwright

This post provides a detailed guide on how to scrape infinite scroll websites using Scrapy and Playwright in Python. It covers the setup process, explains how to implement a custom downloader middleware to handle JavaScript rendering, and demonstrates how to extract data from dynamically loaded content, offering a practical solution for web scraping challenges posed by modern web applica...

https://www.xiegerts.com/post/infinite-scroll-scrapy-playwright/

AgentK

An autoagentic AGI that is self-evolving and modular.

https://github.com/mikekelly/AgentK

Unstract

No-code LLM Platform to launch APIs and ETL Pipelines to structure unstructured documents.

https://github.com/Zipstack/unstract

pgai

Bring AI models closer to your PostgreSQL data.

https://github.com/timescale/pgai

emval

emval is a blazingly fast Python email validator written in Rust.

https://github.com/bnkc/emval

Some more batteries to do stuff with Mapping related data structures

This library provides utility functions for manipulating and transforming data structures which have or include Mapping-like characteristics.

https://github.com/erivlis/mappingtools

CSVs Are Kinda Bad. DSVs Are Kinda Good.

The article argues that CSVs (Comma-Separated Values) are problematic due to various edge cases involving delimiters, quotes, and newlines, and proposes using Delimiter-Separated Values (DSV) with ASCII control characters as a more robust alternative. It demonstrates how DSVs can handle complex data without escaping or quoting issues, but acknowledges that the lack of widespread tool sup...

https://matthodges.com/posts/2024-08-12-csv-bad-dsv-good/

goauthentik / authentik

The authentication glue you need.

https://github.com/goauthentik/authentik

Deep-Live-Cam

Real time face swap and one-click video deepfake with only a single image.

https://github.com/hacksider/Deep-Live-Cam