Show HN: Brygga – A modern, fast, feature-rich IRC client for macOS Brygga is in early development. The core client works end-to-end (connec...

Show HN: How context engineering works, a runnable reference I've been presenting at local meetups about Context Engineering, RAG, Skill...

Show HN: Coelanox – auditable inference runtime in Rust (BERT runs today) PyTorch and ONNX Runtime tell you what came out. They can't te...

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean Current support for nonlinear inequalities in Lean is quite limit...

Show HN: Irl.rent – What renters pay, not what's listed in SF April 18, 2026 at 01:40AM

Show HN: Mind-OS – First free online AI dependency self‑assessment https://iamalex-afk.github.io/human-os-patch-33-protocols/ April 17, 2026...

Show HN: Ask your AI to start a business for you, resolved.sh Start with a FREE instant website for your AI on the open internet, then work ...