Home/Blog/IceWMGeneralIceWMHacker News New2026-11-13 12:540 viewsArticle URL: https://ice-wm.org/ Comments URL: https://news.ycombinator.com/item?id=50478515 Points: 2 # Comments: 0Source:https://ice-wm.org/My favoritesPreviousMichelangelo AINextAgent SkillsRelated postsProof Assistant as Platform: Building the Next Generation of Verifiers [pdf]Article URL: https://pirlea.net/papers/thesis-draft.pdf Comments URL: https://news.ycombinator.com/item?id=50478440 Poin0Hacker News NewFake ShempArticle URL: https://en.wikipedia.org/wiki/Fake_Shemp Comments URL: https://news.ycombinator.com/item?id=50478450 Points0Hacker News NewHacker New Link ExtractorArticle URL: https://hn-links.netlify.app/ Comments URL: https://news.ycombinator.com/item?id=50478460 Points: 1 # Comme0Hacker News NewUS Justice Department has not concluded Alice Huang was Chinese spyArticle URL: https://www.reuters.com/world/china/us-justice-department-has-not-concluded-alice-huang-was-chinese-spy-bla0Hacker News NewWhy Does Pitching Integrators Feel Like a One-Way Street?Article URL: https://deploy95.substack.com/p/why-does-pitching-integrators-feel Comments URL: https://news.ycombinator.c0Hacker News NewAgent SkillsArticle URL: https://vercel.com/docs/agent-resources/skills Comments URL: https://news.ycombinator.com/item?id=50478512 0Hacker News New