How to use BAML—A language for agents to write in. One line to install, 4 basic commands, and steps to call from Python

Have you ever thought this while having an AI agent write code?"It works, but I don't know why it's working."There are casts ...

A story about taking a detour from TLA+ to B/Event-B, and arriving at ProB and B2Program

For a while now, I have been thinking about whether it is possible to define specifications more mechanically before handing ...
InfoQ

Google Agent Development Kit for Kotlin Reaches Feature Parity with Python, Supports On-Device AI

Google has released the Agent Development Kit (ADK) for Kotlin 1.0, a production-ready framework for building AI agents ...
xenospectrum

Jev, the AI That Never Writes a Sentence: Cheaper and Faster Than Claude, But Accuracy Swings With How You Ask

TypeSafe AI's judgment-only model Jev lost to Claude Haiku 4.5 on a single phishing-detection question in a third-party ...