General
AI-powered mathematics research is advanced with Aletheia, an autonomous agent that generates, verifies, and revises solutions end-to-end using tool-assisted reasoning. The paper demonstrates AI-assisted math from Olympiad problems to PhD-level topics and discusses transparency and human-AI collaboration in research prompts and outputs.
Continuous batching from first principles explains how to maximize throughput in large language model serving by combining KV caching, chunked prefill, and ragged batching with dyn…
Simon Willison introduces Deep Blue, a term describing the sense of existential ennui software developers feel as AI-assisted programming becomes mainstream. The piece blends anecd…
D4Vinci/Scrapling presents an adaptive web scraping framework that learns element locations as sites change, with multi-session fetchers, dynamic browser automation, and an MCP ser…
Gwtar is introduced as a static, self-contained HTML archive format that uses a header and HTTP range requests to lazily fetch content from an appended tarball. The piece analyzes …