← All creators
K

Karina Hong

1 recommendations

Recommendations extracted from 0 episodes using AI. Only showing products Karina personally uses, recommends, or created.

Top picks

Lean Lean
1x

"We use this language Lean which is program for proofs"

All products

Software & tools

Lean uses
Show: All 1 | uses recommends mentions

All recommendations

Lean uses software
"We use this language Lean which is program for proofs"
From: AI vs Dog Cancer, Zito From Apollo Tells All, Tyler Cowen WANTS YOU to Lock In, SF Housing Market • ▶ 2:48:54 • Mar 2026