Tag: open-source

All the articles with the tag "open-source".

• The Gap Is Widening: What DeepSeek-V3.2 Tells Us About Two AI Futures

  4 Dec, 2025

  DeepSeek's latest paper admits the gap with closed-source models is growing. But the real story is how chip export controls forced two diverging AI paradigms—and what that means for the endgame.

• DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

  30 Nov, 2025

  DeepSeekMath-V2 scored 118/120 on Putnam 2024—surpassing the human record of 90—and achieved IMO gold level. The key innovation: a self-verification architecture where models learn to identify and fix their own proof errors.

• pdf-ops: A Rust Tool to Merge and Split PDFs (CLI + TUI)

  8 Nov, 2025

  Built for my own workflow, pdf-ops merges and splits PDFs from a fast CLI and a keyboard‑only TUI powered by Ratatui. Core features work on macOS; MIT‑licensed and still evolving.