Agent-written code still needs something humans can inspect.
This is a dev post classified by AGK Intelligence as Languages & runtimes (a tool drop), kept by the Dev Radar because it carries real work, not commentary.
Agent-written code still needs something humans can inspect. Revia is a graph-first language implementation for builders exploring agent-authored programs and human review of program semantics. It helps you inspect what an agent-built program means by turning checked program structure into deterministic machine contracts and human-readable projections. Key features: • Explicit program semantics – capabilities, effects, errors, and resources are represented in a checked semantic graph • Deterministic graph identity – canonical serialization gives the graph a consistent representation • Two
Posted by Dan Kornas (100.9k followers) 37 min ago · 5 likes · 511 views · view the original post on X. Kept by the Dev Radar as Languages & runtimes.
More dev work like this
- J for C Programmers by Henry Rich is now in @ChapterPal's collection of books whose… — @burkov
- Functional Programming in Scala! #BigData #Analytics #DataScience #IoT #IIoT #PyTorch… — @gp_pulipaka
- Top 7 Python Libraries for Time Series Analysis and Modeling! @kdnuggets #BigData… — @gp_pulipaka
- Introducing hd-lang: Rustic Effects on Pythonic Goland — @hd_nvim
- J Primer by Eric Iverson is now in @ChapterPal's collection of open textbooks. — @burkov
- ¿Quieres aprender Rust? He creado un curso en Español, gratuito y con certificado. — @midudev
- 🤯我靠！非学生身份也能薅羊毛了！SheerID学生认证流程被做成开源工作台了！本地一键跑通验证流水线！ — @NFT_Chen
- we filmed the bun v1.5 video today — @jarredsumner
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.8k posts from 5k X accounts over the last 21 days, 9.6k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-07 16:57 UTC. Full method.