Vaccari's Code

Blog

▶ Start hereWelcome to Vaccari's Code PodcastIn this first episode, Tiago Vaccari introduces Vaccari’s Code Podcast and explains the idea behind the project: filtering the most important softwar…

2026 - August

  • AI outperforms mathematicians in counterexamples

    8/4/2026

    In recent times, the world of mathematical formalization has given us some surprises and, in particular, raised many questions about the role of artificial intelligence in theorem discovery and verifi…

2026 - July

  • Progress of the Rust to Zig rewrite

    7/29/2026

    Rewriting a 300,000-line compiler is a Herculean task. Doing it in a year and a half, swapping Rust for Zig, and still achieving feature parity with the original version? That's the recent story behin…

  • Regressive JPEGs

    7/28/2026

    Have you ever found yourself looking at an image that loaded slowly, first revealing a blur, then more details, until it became sharp? That's the magic of progressive JPEG, a feature designed to impro…

  • Control the Ideas, Not the Code

    7/21/2026

    In the maelstrom of the AI era, where each day brings a new tool or technique, it's easy to feel like we're losing our footing. For many developers, the idea that code, their very creation and domain,…

  • Microsoft Comic Chat is now open source

    7/20/2026

    Remember that golden age of the internet, when everything seemed possible and the rules were still being written? Before emojis, GIFs, and 3D avatars, online communication was, for the most part, a se…

  • The Tower Keeps Rising

    7/18/2026

    The story of the Tower of Babel is often told as a parable about pride and the origin of different languages. But, as Armin Ronacher invites us to reflect, there is a deeper and more surprising lesson…

  • Jurassic Park: the computers in every detail

    7/16/2026

    Recently, while revisiting Jurassic Park — a movie I've watched dozens of times — my attention, this time, wasn't on the dinosaurs, but on the computers. It's fascinating to observe 1993 technology an…

  • Raw Product

    7/15/2026

    It's fascinating how, in the world of software and hardware development, the journey from a brilliant idea to a successful product is rarely a straight line. Often, the path is winding, full of unexpe…

  • Without LLM code in the dependencies

    7/15/2026

    Generative artificial intelligence, especially LLMs, has been the buzzword of the moment, promising to revolutionize everything from interface design to code writing. It's tempting to use these tools …

  • Best Models: Worst Tools

    7/13/2026

    It's a strange paradox, but anyone working with the latest language models knows that "better" doesn't always mean "perfect at everything." Sometimes, cutting-edge capabilities come with regressions i…

  • Programming with AI on a short leash to beat Fable

    7/10/2026

    The promise of Artificial Intelligence in software development is tempting: autonomous agents generating high-quality code while we, developers, dedicate ourselves to more strategic tasks or, who know…

  • Zero-Knowledge Proof promotes privacy in age verification

    7/9/2026

    In today's digital world, the line between convenience and privacy is thin. We want fast, personalized services, but not at the cost of exposing every detail of our lives. It's a constant tension, and…

  • GLM 5.2 and the imminent collapse of margins with AI

    7/8/2026

    The artificial intelligence market is experiencing a moment of effervescence, but also of deep economic reevaluation. Not long ago, the "DeepSeek moment" shook the stock markets, with the perception t…

  • Internet 25 Gbit: Switzerland yes, USA no

    7/7/2026

    Have you ever stopped to wonder why Switzerland has symmetrical and dedicated 25 Gbit/s internet at reasonable prices, while countries like the United States — which boasts about its "free market" — o…

  • crustc: complete `rustc` in C

    7/6/2026

    In the world of software development, portability and support for different architectures are topics that frequently generate heated debates. Rust, with its promise of safety and performance, has been…

  • P = NP: The only condition for competitive markets

    7/5/2026

    Have you ever stopped to think that market competition, that invisible force that (in theory) benefits us with fair prices and innovation, might be intrinsically linked to one of the biggest unsolved …

  • The machine writes. I sign off!

    7/3/2026

    If you work in software, you know the feeling: it is impossible to keep up. Every day there is a new AI model, a new tool, a new framework that promises to “change everything,” or a trend that sudd…