Hacker News: zaievhttps://news.ycombinator.com/user?id=zaievHacker News RSShttps://hnrss.org/hnrss v2.1.1Sun, 08 Nov 2026 17:26:54 +0000<![CDATA[Show HN: Spindle – a full-featured, type-safe web framework for OCaml 5]]>Spindle is a multicore-by-design, eio-native web framework for modern OCaml.

Its central idea is to provide an expressive, type-driven API and derive the rest: codecs, request validation, OpenAPI spec and frontend schemas (Zod and Melange). This keeps contracts in sync between server and client without maintaining separate definitions.

The framework includes an RFC-strict HTTP server, composable dependencies, WebSockets, SSE and high-level primitives for building MCP servers. It also provides production-ready essentials like distributed tracing, OT-compatible metrics, logging and other features you would expect. Speed was never the goal but the benchmarks show it running x2 faster than NestJS and x5 faster than FastAPI on a single core.

Give it a try.

Documentation: https://hyphatech.github.io/spindle/

Comments URL: https://news.ycombinator.com/item?id=50377613

Points: 61

# Comments: 8

]]>Thu, 05 Nov 2026 10:45:28 +0000https://github.com/hyphatech/spindlezaievhttps://news.ycombinator.com/item?id=50377613https://news.ycombinator.com/item?id=50377613<![CDATA[The language that says no: from Milner's LCF to agents writing OCaml]]>Article URL: https://hypha.pub/the-language-that-says-no

Comments URL: https://news.ycombinator.com/item?id=50209358

Points: 1

# Comments: 0

]]>Fri, 23 Oct 2026 14:11:47 +0000https://hypha.pub/the-language-that-says-nozaievhttps://news.ycombinator.com/item?id=50209358https://news.ycombinator.com/item?id=50209358<![CDATA[The language that says no]]>Article URL: https://hypha.pub/the-language-that-says-no

Comments URL: https://news.ycombinator.com/item?id=50194633

Points: 1

# Comments: 0

]]>Thu, 22 Oct 2026 12:49:33 +0000https://hypha.pub/the-language-that-says-nozaievhttps://news.ycombinator.com/item?id=50194633https://news.ycombinator.com/item?id=50194633<![CDATA[Jailrun: Orchestration for isolated environments, powered by FreeBSD]]>Article URL: https://jail.run/

Comments URL: https://news.ycombinator.com/item?id=47424976

Points: 3

# Comments: 0

]]>Wed, 18 Mar 2026 12:36:21 +0000https://jail.run/zaievhttps://news.ycombinator.com/item?id=47424976https://news.ycombinator.com/item?id=47424976<![CDATA[Jrun: Isolated dev environments on macOS/Linux, powered by FreeBSD]]>Article URL: https://github.com/hyphatech/jailrun/

Comments URL: https://news.ycombinator.com/item?id=47261748

Points: 3

# Comments: 0

]]>Thu, 05 Mar 2026 14:14:00 +0000https://github.com/hyphatech/jailrun/zaievhttps://news.ycombinator.com/item?id=47261748https://news.ycombinator.com/item?id=47261748