SShortSingh.
TopTechnologyAI & MLStartupsProgrammingScienceBusinessFinanceCrypto & Web3World
Back to feed
Programming

LOOM language enforces honest effect declarations from source code to WebAssembly

0
·1 views

A developer has built LOOM, a programming language designed to enforce strict honesty about what code actually does at every level, down to WebAssembly output. LOOM's effect-checking system categorises function behaviour into classes such as Pure, IO, Network, and Allocation, then verifies that each function's declared effects match what it truly performs. The checker traces effects transitively through calls, closures, recursion, and higher-order functions, preventing any hidden side effects from being smuggled through helper code. Capability seams allow developers to explicitly control what foreign or AI-generated code can access, blocking unauthorised network or output operations at runtime. The language also supports affine and linear resource tracking, ensuring critical resources like sockets or one-time keys are used correctly and never duplicated or lost.

Read the full story at DEV Community

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

Log in to join the discussion and vote.

Log in

Related stories

0
ProgrammingDEV Community ·

Developer Releases Open-Source Real-Time Analytics Pipeline Built with FastAPI and TimescaleDB

A developer has launched v1.0.0 of an open-source, production-ready real-time analytics pipeline built with Python, targeting SaaS teams that want an alternative to paid tools like Segment or RudderStack. The system uses FastAPI for the API layer, Redis Streams or Apache Kafka for event queuing, and TimescaleDB for time-series data storage. Key features include JWT-based authentication, role-based access control, adaptive sampling, WebSocket-powered live dashboards, and observability via Prometheus and OpenTelemetry. The project supports deployment through Docker Compose and Kubernetes, and passes 150 of 152 unit tests, with the two skipped cases attributed to pre-existing async timing issues. The source code is publicly available on GitHub, with contributions and community feedback welcomed by the author.

0 comments Read more at DEV Community
0
ProgrammingDEV Community ·

Open Knowledge Format Offers a Markdown-Based Standard for Feeding AI Agents Org Context

Published on June 12, 2026, the Open Knowledge Format (OKF) is a vendor-neutral, open specification designed to give AI agents structured access to organizational knowledge. It packages information as plain markdown files with YAML frontmatter, stored in a simple directory structure that requires no proprietary SDKs or custom integrations. Each file represents a single concept — such as a database table, metric, runbook, or API — identified by its file path and linked to related concepts via standard markdown links. The format's only required field is a type declaration, with optional metadata like title, description, tags, and timestamps, keeping adoption deliberately low-friction. OKF aims to replace the fragmented, team-by-team approach of pulling context from sources like Confluence, Notion, and data catalogs into a single, universally readable knowledge bundle.

0 comments Read more at DEV Community
0
ProgrammingDEV Community ·

Non-Technical Managers Can Monitor Outsourced App Development With the Right Structure

A guide published on DEV Community outlines how non-technical product managers can effectively oversee outsourced app development without needing coding knowledge. The core argument is that the real barrier is not a lack of technical expertise but the absence of a structured collaboration framework between clients and developers. The recommended approach centers on a weekly feedback loop covering three questions: what was completed, what comes next, and what is currently blocked. Progress should be made visible through tools like Kanban boards on Notion, Trello, or Jira, updated weekly so stakeholders can track feature status at a glance. The guide also advises clients to ask prospective development firms specific questions about communication practices before signing any contract, treating clear answers as a key indicator of a team's reliability.

0 comments Read more at DEV Community
0
ProgrammingDEV Community ·

OpenAI Agents SDK 0.13 to 0.17 introduces three breaking changes developers must address

OpenAI released 19 updates to its Agents SDK between April 9 and May 19, 2026, moving from version 0.13 to 0.17 and introducing three breaking changes. The first change makes model refusals raise an explicit ModelRefusalError exception instead of returning an empty string, meaning agents without a dedicated error handler will crash. The second is a silent default model switch from gpt-4.1 to gpt-5.4-mini in version 0.16.0, which can alter agent output quality and behavior without triggering any error. The third affects developers who adopted Sandbox Agents in version 0.14.x, as file paths must now resolve within the designated base directory unless explicitly granted via a manifest. Developers are advised to pin model names explicitly, register refusal error handlers, and audit sandbox file paths before upgrading.

0 comments Read more at DEV Community
LOOM language enforces honest effect declarations from source code to WebAssembly · ShortSingh