A talk on implementing LLM architectures from scratch in Python and PyTorch, covering workflow for analyzing new models.
A talk on implementing LLM architectures from scratch in Python and PyTorch, focusing on tracing design changes in open-weight models.
A guide on using AI to rewrite Python code to Rust, covering testing, contract tests, Rust implementation, and property-based testing.
Using property-based testing with Hypothesis to ensure Python and Rust LogParser implementations produce identical outputs.
Explores the Euler function and its connection to the probability of random matrices being invertible over finite fields.
Explores dependent type theory semantics using Python frozensets, emphasizing the concept of 'family' as set-valued functions and judgements as mappings.
Analyzing 12,217 JPEGs from NASA's Artemis II mission using Python, DuckDB, and metadata tools on a high-end workstation.
Learn how to use SQLAlchemy 2 with asynchronous programming using asyncio for modern web applications like FastAPI.
Building a Rust implementation of a log parser using PyO3 and maturin for Python integration, part 3 of an AI-powered rewrite series.
A Python word counter that strips Markdown syntax using regular expressions, built with Typer and Rich.
A developer struggles to cancel a free GitHub Copilot subscription, receiving monthly renewal emails despite not using it.
Python library wigglystuff widgets graduate to marimo core, with deprecation warnings shown as styled callouts only in marimo.
Guide to using Apache Iceberg with Python libraries (PyIceberg, DuckDB, Polars) and MPP query engines like Dremio, Spark, and Trino.
Building a reverse geocoder using Overture Maps datasets to fetch country codes, addresses, and polygon data without API fees.
Using contract tests to run the same test suite against Python and Rust implementations for a confident rewrite.
A personal series of real-time Mastodon posts capturing the experience of attending and speaking at DjangoCon Europe 2026.
Explains how Bitwarden and Vaultwarden encrypt and decrypt secrets using a master key and user passphrase, with Python code examples.
Explores the exact closed-form solution to the nonlinear pendulum equation using Jacobi elliptic functions, comparing it with numerical and linearized solutions.
Summary of the Antithesis BugBash Conference 2026, covering software verification, distributed systems, formal verification, and test coverage talks.
How to use Deno via uvx without installing Node.js, enabling JavaScript/TypeScript execution for Python users.
