hacker-news feeds.twtxt.net Thu, Nov 6 7:49PM 2025 (1y ago) Erlang Meets Idris: Cure Programming Language Comments ⌘ Read more ⤋ Read More