Hayden Leung

@hayden1126Member #341DeveloperL2

Software Engineer, Independent

CS @ Columbia '28 · Building deterministic verification for AI-assisted research

New York / Hong Kong Independent GitHub

projects

upvotes

masterminds

points

Achievements · 3 of 18

Plugged In×2Featured

Shipper×2

Founding Member

No posts yet

Hayden Leung hasn't posted yet.

lounge.ai/r/@hayden1126

Know an AI founder who should be here? Send them Hayden's link and they join with Hayden's invite.

Hayden is on Lounge

Embed on your site or README; links back here.

Queryable encryption - data stays encrypted in use, and only an identity-bound policy can decrypt a val · Sydney

Orchestrate AI agents to build my desired product or project · New York

Building Polyglot AI, a multi-provider AI coding assistant for Linux, and leading the unofficial Claude Desktop for Linux project. · Sydney