HN FrancescoMassa 8d 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 8d 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 xerrs 8d ago

Show HN: Pulse v0.2.0

Lightweight C system monitor with terminal and web dashboard, tracking CPU, memory, disk, network.

HN klausschaefers 8d ago

RememberLI

Note-taking app with simple UI and powerful search engine for finding important information.

HN birdculture 8d ago

Jj v0.43.0 Released

Git-compatible version control system with removed deprecated functions in v0.43.0 release.

HN nnehdi 8d ago

Pet projects are getting too big to pet

Essay about how personal projects scale unexpectedly over time, changing from low-stakes weekend learning to unmaintainable commitments.

HN handfuloflight 8d ago

Oak: Git for Agents

Oak is version control optimized for human-AI software development, reducing latency and token usage compared to Git for agent workflows.