Mathematicians use Lean to verify proofs, whats the equivalent for patent claimsfearn.ai·7 pts·marclave·1
Show HN: Turn your OpenAPI document to an MCP server in ~1000 tokens and 3 toolsscalar.com·1 pts·marclave·0
A radically new digital design tool built for cross-functional product teamsmeetalva.io·1 pts·marclave·0
Sleeping Beauty – How on of the oldest bugs in eve got hunted down and resolvedcommunity.eveonline.com·2 pts·marclave·0