Privacy tools, developer utilities, and open-source alternatives caught my attention today.
GPT-5.2 solves another Erdos problem, Anthropic blocks xAI from Claude, and DeepSeek V4 is coming.
Update: Following yesterday's Erdos #728, the same team used GPT-5.2 to solve Erdos Problem #729. Full proof formalized in Lean using 5.2 Thinking, 5.2 Pro, and Harmonic's Aristotle.
Literature review ongoing to confirm novelty. Two back-to-back AI-assisted proofs of long-standing open problems in mathematics.
Quick hits from the AI world.
LTX-2 workflows continue to evolve. Practical tips for better video generation.
Self-hosted music player for Jellyfin, macOS utilities, and offline-first tools.
Just open-sourced. Cross-platform music player with Lidarr integration. Available on iOS, Android, and web.
Works with self-hosted music libraries. A solid addition to the *arr ecosystem for music streaming.
Quick hits — smaller apps and utilities.