Stories by max-lee-dev

Show HN: Edgepad – tool for configuring edge touchpad gestures on Linux laptops

I started the same side project three times in two years

We Lost Reading

Agentty ADE: preview of agentic orchestrator is out in v0.14.0

Show HN: An interactive in-browser tutorial for MarkoJS V6 with solvable lessons

Digital Independence Day: Switch to the good side every first Sunday

Show HN: ActionRail, verify agent actions using live system of records

Building a Deterministic Language Server: Speed vs. Truth

The 2026-07-28 MCP Specification Release Candidate

Show HN: Kiln – a fast, native batch image processor

An interactive in-browser tutorial for MarkoJS V6 with solvable lessons

Show HN: ActionRail, Runtime value/action grounding framework for AI agents

An introduction to formal proof verification and the Curry-Howard Correspondence

Postgres Backups Under the Hood

A value-poisoning benchmark for consequential agent actions

Testty: E2E Testing for TUI Apps

Zenzic VS Code – Deterministic Markdown Analysis via LSP

Agentty ADE: reliable L2 multi-agent orchestrator

Curry-Howard Correspondence – How proof assistants work [pdf]

AI products generate more signal than teams know how to use

1 2 3 4 5 6 7 8 9 10