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