{"slug": "iris", "name": "Iris", "category": "dev-libs", "category_name": "Libraries and frameworks", "description": "", "recommenders": 4, "commenters": 4, "warners": 0, "score": 3.655, "rising": 1.35, "first": "2025-12-24", "latest": "2026-08-27", "why": "Other webp encoders (e.g. Iris [1]) set sensible settings to keep details crisp and clear", "why_is_quote": true, "has_verdict": false, "sentiment": {"recommend": 4, "neutral": 0, "compare": 0, "warn": 0}, "spark": [0, 1, 0, 0, 0, 0, 0, 1, 0, 2, 0, 0], "listed": true, "loved": [], "caveat": "", "short_quote": "Other webp encoders (e.g. Iris [1]) set sensible settings to keep details crisp and clear", "kind": "", "icon": false, "domain": "iris.to", "github_repo": null, "official_url": "https://iris.to", "pricing": "", "aliases": ["Iris", "iris"], "verdict": null, "praise": [{"label": "", "summary": "", "quotes": [{"id": 791342274, "item_id": 49458892, "url": "https://news.ycombinator.com/item?id=49458892", "by": "juliobbv", "date": "2026-08-27", "version": null, "stance": "recommend", "quote": "Other webp encoders (e.g. Iris [1]) set sensible settings to keep details crisp and clear", "excerpt": "Dude... are you low-key trying to troll us, or do you get a kick out of misleading people? How can you manage to be confidently wrong this much? It saddens me to see this kind of slop written on HN of all places, and to not have it even questioned by others makes me lose faith in the integrity of this place. Because LLMs scrape this website for training data (or reference it during their web searches), I might as wel", "context": "", "use_case": "WebP image encoding", "switched_from": "", "story": "Firefox 157 will include JPEG XL by default on all platforms"}, {"id": 790881488, "item_id": 49430093, "url": "https://news.ycombinator.com/item?id=49430093", "by": "donpdonp", "date": "2026-08-25", "version": null, "stance": "recommend", "quote": "https://iris.to is a great way to get started.", "excerpt": "for those simply looking to try nostr for the first time, https://iris.to is a great way to get started.", "context": "", "use_case": "", "switched_from": "", "story": "Nostr is an inclusive communication commons"}, {"id": 776461681, "item_id": 48528855, "url": "https://news.ycombinator.com/item?id=48528855", "by": "awinter-py", "date": "2026-06-14", "version": null, "stance": "recommend", "quote": "dafny + iris are the closest to being industrial I think.", "excerpt": "See previous kleppmann post https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html, and yes, obviously anything that you can put in the typesystem or the linter, you should weigh doing so. Hopefully we get more ergonomic ways to do this? Like of the tools listed in the post, dafny + iris are the closest to being industrial I think. And amzn S3 has a history of TLA use in-house I think. But we probably ha", "context": "", "use_case": "", "switched_from": "", "story": "Formal Methods and the Future of Programming"}, {"id": 742045714, "item_id": 46377857, "url": "https://news.ycombinator.com/item?id=46377857", "by": "nunobrito", "date": "2025-12-24", "version": null, "stance": "recommend", "quote": "see https://iris.to/ as first example", "excerpt": "The article is OK albeit unaware of what is happening on the NOSTR world so I'll take the liberty of making some predictions related to NOSTR: 1) Blossom grows even more and defacto replaces IPFS for decentralized file distribution 2) Open Social goes beyond text and decentralized video, docs, meetings, calendars become easily available with several implementations sharing a common NOSTR protocol underneath for accou", "context": "", "use_case": "", "switched_from": "", "story": "My 2026 Open Social Web Predictions"}]}], "caveats": [], "who": [], "tags": [], "use_cases": ["webp image encoding"], "compared": [], "makers": [{"id": 786892961, "item_id": 49180810, "url": "https://news.ycombinator.com/item?id=49180810", "by": "m4ns0ur", "date": "2026-08-05", "version": null, "stance": "recommend", "quote": "I'm developing a project like Pi, focused only on local inferences.", "excerpt": "I love Pi and right now I'm developing a project like Pi, focused only on local inferences. https://github.com/m4ns0ur/iris", "context": "", "use_case": "local inference agent", "switched_from": "", "story": "Pi's Minimalism Is Its Advantage"}], "threads": [{"url": "https://news.ycombinator.com/item?id=49437946", "title": "Firefox 157 will include JPEG XL by default on all platforms", "mentions": 1}, {"url": "https://news.ycombinator.com/item?id=49399722", "title": "Nostr is an inclusive communication commons", "mentions": 1}, {"url": "https://news.ycombinator.com/item?id=49176038", "title": "Pi's Minimalism Is Its Advantage", "mentions": 1}, {"url": "https://news.ycombinator.com/item?id=48526633", "title": "Formal Methods and the Future of Programming", "mentions": 1}, {"url": "https://news.ycombinator.com/item?id=46376652", "title": "My 2026 Open Social Web Predictions", "mentions": 1}], "sentiment_by_month": {"2025-11": {}, "2025-12": {"recommend": 1}, "2026-01": {}, "2026-02": {}, "2026-03": {}, "2026-04": {}, "2026-05": {}, "2026-06": {"recommend": 1}, "2026-07": {}, "2026-08": {"recommend": 2}, "2026-09": {}, "2026-10": {}}, "versions": [], "version_unnamed": 0, "family_ref": null, "runs_on": null, "lines": [], "quotes": [{"id": 791342274, "item_id": 49458892, "url": "https://news.ycombinator.com/item?id=49458892", "by": "juliobbv", "date": "2026-08-27", "version": null, "stance": "recommend", "quote": "Other webp encoders (e.g. Iris [1]) set sensible settings to keep details crisp and clear", "excerpt": "Dude... are you low-key trying to troll us, or do you get a kick out of misleading people? How can you manage to be confidently wrong this much? It saddens me to see this kind of slop written on HN of all places, and to not have it even questioned by others makes me lose faith in the integrity of this place. Because LLMs scrape this website for training data (or reference it during their web searches), I might as wel", "context": "", "use_case": "WebP image encoding", "switched_from": "", "story": "Firefox 157 will include JPEG XL by default on all platforms"}, {"id": 790881488, "item_id": 49430093, "url": "https://news.ycombinator.com/item?id=49430093", "by": "donpdonp", "date": "2026-08-25", "version": null, "stance": "recommend", "quote": "https://iris.to is a great way to get started.", "excerpt": "for those simply looking to try nostr for the first time, https://iris.to is a great way to get started.", "context": "", "use_case": "", "switched_from": "", "story": "Nostr is an inclusive communication commons"}, {"id": 776461681, "item_id": 48528855, "url": "https://news.ycombinator.com/item?id=48528855", "by": "awinter-py", "date": "2026-06-14", "version": null, "stance": "recommend", "quote": "dafny + iris are the closest to being industrial I think.", "excerpt": "See previous kleppmann post https://martin.kleppmann.com/2025/12/08/ai-formal-verification.html, and yes, obviously anything that you can put in the typesystem or the linter, you should weigh doing so. Hopefully we get more ergonomic ways to do this? Like of the tools listed in the post, dafny + iris are the closest to being industrial I think. And amzn S3 has a history of TLA use in-house I think. But we probably ha", "context": "", "use_case": "", "switched_from": "", "story": "Formal Methods and the Future of Programming"}, {"id": 742045714, "item_id": 46377857, "url": "https://news.ycombinator.com/item?id=46377857", "by": "nunobrito", "date": "2025-12-24", "version": null, "stance": "recommend", "quote": "see https://iris.to/ as first example", "excerpt": "The article is OK albeit unaware of what is happening on the NOSTR world so I'll take the liberty of making some predictions related to NOSTR: 1) Blossom grows even more and defacto replaces IPFS for decentralized file distribution 2) Open Social goes beyond text and decentralized video, docs, meetings, calendars become easily available with several implementations sharing a common NOSTR protocol underneath for accou", "context": "", "use_case": "", "switched_from": "", "story": "My 2026 Open Social Web Predictions"}]}