Uniker.nl presents a new OCaml-5-centred unikernel ecosystem that emphasizes both development and deployment. The workflow introduces two core tools: unic, which infers an OCaml project's dependencies and computes which C stubs need cross-compilation (allowing reuse of pure OCaml libraries compiled with the host compiler and avoiding a dune-only constraint), and mfetch, which vendors sources from tarballs, git or local paths, generates locked manifests, and aids reproducible builds. A short example shows unic selecting digestif and mkernel for cross-compilation while leaving fmt untouched. The stack targets Solo5-based unikernels and supports static executables; ancillary tools include artefact analysers and integration with orb for reproducibility.
The ecosystem provides OCaml-5 libraries built for an effects-driven, direct-style approach: Miou (scheduler), mkernel (Solo5 I/O), mnet (TCP/IP), mhttp, msendmail, mfat, vifu and others, refactored for memory efficiency and CVE avoidance. On deployment, Albatross (service launcher) and Aussi (OCI runtime for Solo5) integrate with builds.robur.coop for supply-chain tracing and monitoring via InfluxDB/Telegraf/Grafana. Deployed services already include websites, DNS, VPN, time servers, CalDAV, mailing lists and TLS proxies. The project is cooperative-funded (NLnet, Ahrefs, Tarides, OCamlPro, OCaml Foundation) and diverges from MirageOS design choices - most notably replacing cstruct/bigarray buffers with bytes/string plus bstr/slice to improve throughput.
Summary generated by AI from the linked article. hn.today is not affiliated with Hacker News or Y Combinator.
Google's Rust Style Guide provides comprehensive rules for code organization, formatting, ownership, and API design to ensure consistency and best practices in Rust projects. It emphasizes small crates, clear naming, proper use of traits, and cautious handling of concurrency and unsafe code. (google.github.io)
Rust off Rails is a web framework that uses Markdown files to guide AI agents in building full-stack Rust web applications without human coding. It emphasizes decision-making through conventions and specifications, with all code generated by AI based on predefined rules. (rustoffrails.org)
PHP version 8.2.35 has been released and is available on GitHub. The update includes security fixes and improvements to the PHP source code. (github.com)
Nexus-CLI is a command-line interface built in Go that connects to DeepSeek R1/V3, supporting Claude Code and Ollama. It enables users to interact with these AI models through a streamlined CLI tool. (github.com)
A new tool demonstrates that C# code can produce smaller WebAssembly binaries than Rust in certain benchmarks. However, critics argue that the comparison is unfair due to differences in runtime and code optimization methods. (github.com)
Anthropic developed Scion, a custom version control system, to handle the rapid growth of their codebase and AI-driven development. This new system supports merging over 30,000 code changes daily, enabling faster research and deployment of AI systems like Claude. (anthropic.com)
Today's best Hacker News stories, summarized and screenshotted, one email a day.