Skip to content
ProgrammingOpen Source

New Language Tackles Distributed Safety, Also the Irresistible Urge to Make New Languages

hackernews / top 1d ago 4

Wyzer is a statically typed, compiled, resource-oriented programming language built in OCaml with an LLVM backend. Its headline feature is choreographic programming, which aims to guarantee distributed safety — addressing protocol mismatches, cross-service correctness, and distributed deadlocks that Rust's in-process safety model doesn't cover. The project also features a perceus memory model, hand-written parser, f-string interpolation, comptime metaprogramming, and explicit extern C ABI support. It's Apache 2.0 licensed and actively seeking contributors on GitHub and Discord.

Read full article →

More Programming

Big Tech agrees on a JSON file, AI agents everywhere breathe sigh of relief

tldr / ai 1d ago 8

Vercel, OpenAI, Microsoft, AWS, and GitHub agreed on a shared JSON manifest for AI agent plugins so you package once and run anywhere; world peace still pending, NBD.

AI looks at blurry 28km pixels, somehow predicts hurricanes better than physics models that needed 100x the resolution

tldr / ai 1d ago 8

Google's WeatherNext AI gives forecasters an extra day of cyclone warning — roughly a decade of meteorological progress, on a single TPU in under a minute. Anyway.

Big Tech agrees on one plugin format for AI agents, stunning literally everyone including themselves

tldr / tech 1d ago 8

Amazon, Microsoft, OpenAI, Cursor, and Vercel agreed on a shared plugin format for AI agents, presumably because arguing forever seemed slightly less productive, NBD.