15:I[981,["658","static/chunks/658-a698693f56d0116a.js","183","static/chunks/183-6beeeb801c274aaa.js","474","static/chunks/app/%5Btype%5D/layout-631c4730b83c8223.js"],"Posts"] 16:T556,I’ve been working on a Rust macro called Banish for defining rule-based state machines declaratively.

Instead of manually writing transition loops, Banish evaluates rules within a state until no rule fires (a fixed-point model), then transitions. The macro expands into regular Rust, which allows for seamless integration.

The goal is to make complex rule logic and state machines easier to express while keeping runtime costs identical to handwritten code.

The project was featured as Crate of the Week in the Rust newsletter this week. I'd love to hear your feedback.

Example: use banish::banish;

fn main() { let buffer = ["No".to_string(), "hey".to_string()]; let target = "hey".to_string(); let idx = find_index(&buffer, &target); print!("{:?}", idx) }

fn find_index(buffer: &[String], target: &str) -> Option<usize> { let mut idx = 0; banish! { @search // This must be first to prevent out-of-bounds panic below. not_found ? idx >= buffer.len() { return None; }

            found ? buffer[idx] != target {
                idx += 1;
            } !? { return Some(idx); }
            // Rule triggered so we re-evalutate rules in search.
    }
}

17:T65e,Hey HN. I built this because I've been in therapy for years and noticed that a big part of what therapists do is ask the right questions at the right time. I wanted to see if an AI could serve as a daily self-reflection tool — not replacing therapy, but as a complement to it. Some design decisions and why:

Desktop-only, intentionally. I think therapy should feel like sitting down with your thoughts, not scrolling on your phone. The desktop constraint is a feature. BYOK (Bring

Uber Putting $100M into EV Charging for Robotaxis

Ask HN: Play your favorite DOS retro games on mac

Agent Orchestrators Are Bad

Show HN: Offerlog – buy or sell anything on your own terms

A hidden prompt can steal your SSH keys

Twilio WhatsApp Is Useless (and the 30 minute guide to saving $5k/month)

Trump's Order Aims to Boost Ingredient Used in Roundup

Chris Lattner on what the Claude C compiler reveals about the future of software

Show HN: Free, open-source, and cross-platform alternative to WisprFlow

Graham's Number

The 30-year fight over how many numbers we need to describe reality

BrowserClaw – Accessibility snapshot and ref targeting for AI browser agents

Sam Altman (OpenAI) and Dario Amodei (Anthropic) Refuse to Hold Hands

Show HN: Portabase: A self-hosted tool for database backup and restore

Best Practices for Production AI Agents: Observability and Tracing

Top worldwide with social-engineering and a cheat that's still undetected

Debian, Rust, and the Unix Spirit

The Empire Always Falls

Show HN: Mogamp – Winamp for macOS

Show HN: Localizeflow – I automated localization for 14 Microsoft OSS repos

The Developer Identity Crisis – When AI Split Programmers into Two Tribes

Show HN: GhostInk – Hide secret text inside emojis using Unicode tag characters

Show HN: Local AI app that remembers what your screenshots were for:)

America vs. Singapore: You Can't Save Your Way Out of Economic Shocks

Seal pup communication is more similar to that of humans than previously thought

Show HN: Banish – A declarative DSL for rule-based state machines in Rust

Show HN: OpenGnothia – Open-source AI therapy companion (BYOK)

Watching LLMs Think

Platforms hide ads and manipulation in their DOM – FB was the toughest

Honey bees navigate more precisely than previously thought

Show HN: Top Down Sprite Maker – The ultimate pixel art character creator