HN AlonKejzman 3/16/2026

Reducing TTFT by CPUMaxxing Tokenization

Open-source Rust BPE tokenizer delivering 9.1x speedup over HuggingFace. Reduces TTFT by up to 40% on long-context agentic workloads.

HN Poudlardo 3/16/2026

Mistral Releases Leanstral

Leanstral: first open-source code agent for Lean 4 theorem prover. Addresses verification bottleneck in formal mathematics.

HN pember 3/16/2026

Mistral Small 4

Mistral Small 4 unified model combining reasoning, multimodal, and agentic coding capabilities in single architecture.

HN JohnWeston 3/16/2026

Polaris – A fact-checking API for AI agents

Polaris API: fact-checking service for AI agents with 18 verticals, real-time updates, structured JSON output with confidence scores and source provenance.

HN gandalfgeek 3/16/2026

Agent Kitchen

Agent Kitchen project or resource. Title only, insufficient content to determine scope and quality.

HN jjgravelle 3/16/2026

Until They Make an MCP-Arena

Discussion about MCP (Model Context Protocol) arena. Title only, no substantive content.