HN allybahaei 27d ago

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 28d ago

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 28d ago

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 28d ago

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.

HN emirb 28d ago

AI inference is obviously profitable

Analysis argues AI inference is profitable without subsidy, contradicting claims that LLM serving requires external funding.