2025
- January 1 - Can We Trust Code We Can't Read? Testing QWED on Machine-Optimized Code
- December 21 - Introducing QWED: The Deterministic Verification Protocol for AI
- December 22 - How QWED Verifies Math: SymPy Under the Hood
- December 23 - SQL Injection Prevention with AST Parsing
- December 24 - Building Secure Code Execution with Docker Sandboxing
- December 25 - Why Fine-Tuning Can't Fix AI Hallucinations
- December 26 - The $1 Trillion Risk of Unverified AI
- December 27 - LLMs as Translators, Not Calculators: QWED's Core Thesis
- December 28 - Integrating QWED with LangChain: A Step-by-Step Guide
- December 29 - Building Verified AI Agents with CrewAI
- December 30 - Adding QWED to Your CI/CD Pipeline
- December 31 - Formal Verification of Chain-of-Thought Reasoning