A new tool, GovAuctions.app, maps homes available for purchase from the US government for under $100,000. The tool appears on Hacker News with 23 points.