HN allybahaei 7/4/2026

Show HN: Visual Knowledge Canvas for Learners

LLM-powered visual knowledge management tool for learning. Aggregates sources, answers questions with context, branches conversations, analyzes videos and research papers.

HN urvader 7/4/2026

How AI models would vote in Sweden

Analysis of how major AI chatbots voted in Swedish election test, noting system prompts and safety layers affect outputs beyond base model.

HN FrancescoMassa 7/3/2026

Save Claude Code Tokens with Smart Routing

Brick is a mixture-of-models routing gateway that optimizes LLM costs by routing prompts to appropriate models, supporting Claude and other backends.

HN programLyrique 7/3/2026

Leanstral 1.5: Proof Abundance for All

Leanstral 1.5 is a 6B-parameter open-source model achieving state-of-the-art formal verification through reinforcement learning, designed for agentic proof engineering.