HN vinhnx 3/22/2026

Achieving Zero Bugs: Rust, Specs, and AI Coding

Developer created substantial Rust program with specs and AI coding achieving near-zero bugs, version 1.0.4 running production across 2 servers with single known defect.

HN remywang 3/22/2026

Proof Theory and Logic Programming

Academic textbook on proof theory and logic programming by Dale Miller, published by Cambridge University Press in 2025.

HN swolpers 3/22/2026

A Reason to Ditch Jira: AI Agents

Analysis arguing AI agents require different tooling than traditional bug-tracking systems like Jira for autonomous reasoning and forecasting.

HN eftalyurtseven 3/22/2026

Show HN: Generative Media Skills

Collection of 562 generative media skills for AI agents, integrating 431 models through unified API with Claude Code plugin support.

HN run2arun 3/22/2026

Developer's Guide to AI Agent Protocols

Technical guide explaining agent communication protocols (MCP, A2A, UCP, AP2, A2UI, AG-UI) and their purposes for tool/API integration.

HN quantbagel 3/22/2026

Show HN: Robot Astral Projection

Service for deploying ML policies and models to robotics with 1-click deployment; minimal technical detail provided.