TypeSafe AI and Treg release open-source people search tool powered by Jev
TypeSafe AI and Treg released an open-source people search tool that uses Jev to filter candidates and connects with agents including Claude Code and Codex. Treg says email discovery starts at $0.0089, with no charge for unsuccessful searches; verification and enrichment cost extra. In Treg’s comparison using 292 people, it reported 264 exact email matches for $1.49 versus Clay’s 262 for $10.34. The article also cites a user who struggled to find meaningful information about themselves or teammates.
Model releases and updates
Pika releases H3 Flex for joint audio and video generation in six steps
Pika released Pika H3 Flex, a MiniMax H3 derivative, with adapter weights and inference code for joint audio and video generation using six denoising steps. It supports text, first and last frames, and multimodal references, generating approximately 5 to 15 seconds of video at 480P or 768P with synchronized stereo audio. ComfyUI workflows and Hugging Face Diffusers integration support local use, while Pika’s API provides 1080P, 2K, and 4K enhancement and separation into five audio stems.
Product releases and updates
Aravind Srinivas · XComputer, visualize earth across 400M years https://twitter.com/askperplexity/status/2116968632890839141
Aravind Srinivas shares @AskPerplexity’s demonstration of an interactive globe that Computer built covering Earth’s 4.5 billion years using 14 open datasets, with its own engine moving 258 plates across 109 paleo-elevation maps. Users can drag the timeline or type a city to see where it sat 400 million years ago. https://deeptime.pplx.app/
Research
Tsinghua Researchers Introduce Algebraic World Model for Exploration and Formal Proof
A Tsinghua research team led by Andrew Yao and Yang Yuan introduced Algebraic World Model (AWM), which turns observations into executable Python hypotheses, refines abstract rules, and formalizes claims in Lean 4. The article reports that AWM completed all 183 ARC-AGI-3 levels with a 99.9% score, using 43% of the human baseline’s average action count, and proved an altered level impossible within its step budget. Its proofs depend on whether exploration captures the relevant rules.
Tips and perspectives
Andrej Karpathy · X
Andrej Karpathy introduces HackerTube, built from recurring HN video recommendations
Weekend hack: HackerTube. Annoyed with YouTube's recommendations, Andrej Karpathy had Claude filter 43M comments over 20 years of HN down to 6,454 videos that keep being recommended. He calls it a significantly better viewing experience, built in ~2 hours with Opus 5.5: https://t.co/xULTGY6VhH - Excellent https://t.co/QRq80bJo4o
Tomorrow at 08:00, a briefing like this arrives in your inbox.
The same kind of briefing as the one above: a few stories worth reading. Free. Mail starts after you confirm, and every letter has a one-click unsubscribe. Read a past issue · 2026-11-01