This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Josh Segall
causality.blog
did:plc:aa633sqirq2xlky4ki543b5n
This is great: arxiv.org/abs/2510.23517
A formalization of how linear types and effects (exceptions) can work together using destructors and move semantics. Not concurrency related, but sets the stage for resource safety in that context. Validates many pragmatic choices made by other languages.
https://arxiv.org/abs/2510.23517
2026-04-26T01:42:29.251Z