LoungeLounge
/
HomeDirectoryMastermindsMeetupsToolsSkillsLearnInvestors
Log inSign up free
The AI Founders Lounge253 members·1 online now·$1.06B combined ARR·$1.51B raised·$2.17B in exits+221 joined this weekInvite an AI Founder
Home⋮⋮
Directory⋮⋮
Map⋮⋮
Masterminds⋮⋮
Meetups⋮⋮
Chat⋮⋮
Leaderboard⋮⋮
Member Raises⋮⋮
Hall of Fame⋮⋮
Perks⋮⋮
Videos⋮⋮
Shorts⋮⋮
News⋮⋮
Research⋮⋮
Podcasts⋮⋮
Newsletters⋮⋮
Skills⋮⋮
Tools⋮⋮
Agents⋮⋮
Benchmarks⋮⋮
Saved⋮⋮
Deals⋮⋮
Companies⋮⋮
Investors⋮⋮
Investor Contacts⋮⋮
Stocks⋮⋮
Revenue Leaderboard⋮⋮
Accelerators⋮⋮
Ask AI⋮⋮
IntroductionsQuestionsAdviceAgentsModelsInfraVibe-codingGTMFundraising & ExitsAudio & videoDataUpdates
Unclaimed profileBuilt from public GitHub and Hugging Face activity. Hideaki has not joined Lounge yet.Claim it
Not on Lounge yet

Hideaki Takahashi

@koukyosyumeideveloper
Ph.D. student @columbia working on Security, Crypto, and AI/ML
📍 Tokyo → New York🏢 Columbia University🔗 koukyosyumei.github.iox.com/Koukyosyumei
6
projects
465
stars
138
followers

Public projects

AIJack★ 429
Security and Privacy Risk Simulator for Machine Learning (arXiv:2312.17667)
C++adversarial-attacksadversarial-examplesadversarial-machine-learning
h5i-db★ 34
An agent-native workspace for quantitative research: an in-terminal notebook, a high-performance time-series database, and a high-throughput backtesting engine. Written in Rust.
Rustai-agentsbacktestingdatabase
h5i-ctx2img★ 2
Render agent context as images. Same text, ~60–75% fewer tokens.
Rustagent-skillsagent-toolsai-agent-tools
transformer-from-scratch★ 0
—
PiFormer★ 0
Succinct ZK Proofs of Transformer Inference via Structured Lookup Attention
Rust
WeirdChain★ 0
Analyze MCP agents for unexpected tool chains and emergent attack paths.
Rust

Likely stack

ClaudeMCP
Inferred from repo topics and descriptions; the owner can edit after claiming.
© 2026 LoungeAboutSuggest a featureSponsor the LoungePricingTermsPrivacy
HomeDirectoryMastermindsNewsChat

Is this you?

Claim it to take control of what it shows, get your handle, and import 6 projects with points.
Claim this profileNot you, or want it removed?

Where this came from

GitHub · @KoukyosyumeiPublic activity only. Nothing here is editable until claimed. Removed automatically on Apr 11, 2027 if unclaimed.

Languages

● Rust 46%● Lean 17%● HTML 8%● Python 8%

Is this you?

Claim it to take control of what it shows, get your handle, and import 6 projects with points.
Claim this profileNot you, or want it removed?

Where this came from

GitHub · @KoukyosyumeiPublic activity only. Nothing here is editable until claimed. Removed automatically on Apr 11, 2027 if unclaimed.

Languages

● Rust 46%● Lean 17%● HTML 8%● Python 8%
Venture Rounds
Open →
Infinigence AI (无问芯穹) logoInfinigence AI (无问芯穹)Series C · Oct 12$324MKonst logoKonstSeries B · Oct 12$30MMistlabs (Ambi) logoMistlabs (Ambi)Venture rounds (incl. Pre-A) · Oct 12$26MBaiqu Biology logoBaiqu BiologySeries B · Oct 11$14M
Revenue Leaderboard
Open →
1Anthropic logoAnthropic$75B2OpenAI logoOpenAI$70B3Stripe logoStripe$19.4B revenue4Carahsoft Technology logoCarahsoft Technology$15.5B revenue5Sutherland logoSutherland$8B revenue
Top AI Shorts
Open →
The Best AI Gets Out of the WayLenny's PodcastDeepSeek Painted My PortraitMatthew BermanAI ISN'T KILLING JOBS20VCMeta's Cute New A.I. Agent Is Taking Over My BrainHard ForkChamath: 3 Things Every Company Needs in the Age of SuperintelligenceAll-In Podcast
Exits
Open →
Loops logoLoopsAcquired · Oct 12$30MDecart logoDecartAcquired · Oct 11$7BReflection AI logoReflection AIAcquired · Oct 10—Augment Code (select assets) logoAugment Code (select assets)Acquired · Oct 9—
Venture Rounds
Open →
Infinigence AI (无问芯穹) logoInfinigence AI (无问芯穹)Series C · Oct 12$324MKonst logoKonstSeries B · Oct 12$30MMistlabs (Ambi) logoMistlabs (Ambi)Venture rounds (incl. Pre-A) · Oct 12$26MBaiqu Biology logoBaiqu BiologySeries B · Oct 11$14M
Revenue Leaderboard
Open →
1Anthropic logoAnthropic$75B2OpenAI logoOpenAI$70B3Stripe logoStripe$19.4B revenue4Carahsoft Technology logoCarahsoft Technology$15.5B revenue5Sutherland logoSutherland$8B revenue
Top AI Shorts
Open →
The Best AI Gets Out of the WayLenny's PodcastDeepSeek Painted My PortraitMatthew BermanAI ISN'T KILLING JOBS20VCMeta's Cute New A.I. Agent Is Taking Over My BrainHard ForkChamath: 3 Things Every Company Needs in the Age of SuperintelligenceAll-In Podcast
Exits
Open →
Loops logoLoopsAcquired · Oct 12$30MDecart logoDecartAcquired · Oct 11$7BReflection AI logoReflection AIAcquired · Oct 10—Augment Code (select assets) logoAugment Code (select assets)Acquired · Oct 9—