Show HN: Tool shows UK properties matching group commute/time preferences August 20, 2025 by kamal Comments
Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover August 20, 2025 by kamal Comments
Show HN: Nestable.dev – local whiteboard app with nestable canvases, deep links August 20, 2025 by kamal Comments
14.ai (YC W24) is hiring engineers in SF to build an AI-native Zendesk August 20, 2025 by kamal Comments
Show HN: Anchor Relay – A faster, easier way to get Let’s Encrypt certificates August 20, 2025 by kamal Comments
Launch HN: Channel3 (YC S25) – A database of every product on the internet August 20, 2025 by kamal Comments