Hacker News (AI)·anteayerShow HN: TheoremSmith: Mass-Producing Hard Proof Problems to Train LLMs↗en▲ 5
Hacker News (AI)·anteayerShow HN: Get your coding agent off ~2019 JavaScript, onto modern web primitives↗en▲ 5
Hacker News (AI)·anteayerShow HN: Aircad – Professional drafting and 3D modeling in the browser↗en▲ 6
Hacker News (AI)·anteayerGarbage Man: Bill Gates Earned Billions Investing in Climate-Polluting Landfills↗en▲ 5
Hacker News (AI)·anteayerShow HN: A 15 MB self-hosted Netflix and Spotify for your media server↗en▲ 6
