Show HN: The Kio Programming Language
Kio is a statically typed, hosted language that is designed to be ultra-portable. Kio 0.1 supports eight host languages and more will be added in the coming weeks.<p>Kio is based on polymorphic lambda calculus with higher-kinded types. Kio has type-driven macros (elaborators) and it can statically check asserted equivalences using a normalizer.<p>Kio is a minimalistic language. It doesn't have built-in effectful functions and it doesn't even have built-in string or numeric types. Instead programs declare the capabilities they need and the host supplies them.<p>The language is designed with AI, which is bound to raise some eyebrows, so I blogged about that here: <a href="https://jdevuyst.github.io/kio/blog/2026-10-01-introducing-kio.html" rel="nofollow">https://jdevuyst.github.io/kio/blog/2026-10-01-introducing-k...</a>
競合・代替製品
Show HN: Kiosk, a first-class AI assistants' intefrace to online services
Hey, hackers!<p>After failing to effectively order groceries at a local store with my Hermes assistant, I got an idea o…
Show HN: Vim-like, hyper-efficient, LLM power tool – 20-80k tokens not 350k+
I built a focused TUI tool for efficient parallelized tasks, early independent testers expressed 90%+ API savings and m…
Show HN: Kyno – Direction as a first-class primitive for AI agents
Hi folks,<p>I've been lurking here for a while, and after almost two months of building, I finally dared to share what…
Show HN: Confetti – Start designing hardware with plain English prompts
Hey HN! We're Tianyi and Lucas from Confetti (YC F26) (<a href="https://confetti.build/">https://confetti.build/</a>).…
Show HN: Tinbo – yet another (modern) link shortener
Hi folks<p>I've started this project years ago as an "exercise" and it stalled completely very soon, for years due to v…