News for hackers. Stuff that matters.

eouzoe

Ask HN: Seeking a Lobste.rs Invitation

I build systems from the ground up — deterministic execution fabrics, MCP-native search, declarative environments. The repositories speak more clearly than I do.https://github.com/eouzoeIf someone might spare an invitation, I would be grateful.

( Read More... | no comments | on HN )
Re:Ask HN: Who wants to be hired? (March 2026) on Saturday March 07, 2026 @07:34AM (#47287101)
Location: Taiwan (UTC+8) Remote: Yes Willing to relocate: No Technologies: Rust · Nix · Firecracker · WASM · WebGPU · MCP · TLA+ · Kani · Aeneas · Tantivy · eBPF · io_uring

I tend to work at the layer most people would rather not think about.

bose-search — a meta-search MCP server for AI agents. 247 engines via SearXNG, local Tantivy index, RRF fusion, PID backpressure, and a scavenger algorithm built on information-theoretic surprise scoring. Single Rust binary. Integrates today with Claude Code, Cursor, and Windsurf.

Forge — a deterministic execution fabric on Firecracker microVMs and Nix derivations, with SHA-256 output verification and a trust scoring system. The roadmap includes Kani proof harnesses and FoundationDB-style simulation testing. The ambition is formal verification end-to-end.

I work with Claude Code. Given API access and a reasonable environment, delivery tends to accelerate rather than stall.

Available for contract. I require Anthropic API access provided by the client — I do not front infrastructure costs.

GitHub: github.com/eouzoe Email: [email protected]