⌘ Tech

The SF Lean Meetup

When: Monday, August 10 · 7:00 PM – 8:30 PM
Where: Mox, 1680 Mission Street, San Francisco — SoMa
Listed by: STDISF — Luma

Mox Event Space (Mission 13th St) Event source calendar Event Link: see venue calendar above ^^ The SF Lean meetup: Weekly presentation and discussion about Lean, the programming language and theorem prover. Math, CS, AI and their mix all welcome. Beginners welcome! Join the discord - discord.com/invite/bXNPhQyjfe for more info. Host: Radoslav Kirov More info: docs.google.com/document/d/1bCJ9Y_Y13A65kJUHgvzI8_3GMCVL5Ys55m4Qoz0G8CA/edit?tab=t.0#heading=h.2ds6n3ym2aob ―――――――――― SF Stuff To Do Do not edit this event! changes will be overwritten

More tech soon

9:00 AM

Agent & Token Economy Hackathon

A Gary's Guide hackathon focused on building AI agent and token economy projects.

⌘ TechGary's GuideDetails · garysguide.com

10:00 AM

Indie Dev Showcase

The MADE — Downtown Oakland

Play locally developed games, catch talks, and try linocut printing.

⌘ TechMatoDetails · ma.to

10:00 AM

AI Founder × VC Breakfast

Join founders, investors, and AI builders for a morning of networking and conversations on what it takes to build and fund AI startups today.

⌘ TechLu.ma — Founders BayRSVP · Luma

11:00 AM

FounderLabs: Office Hours with Ram Kedlaya

Venture Dock, 555 University Ave, Palo Alto — Downtown North

1-1 Sessions with Ram Kedlaya Members Book through this link Venture Dock — Palo Alto Friday, August 14 10:00 AM – 12:00 PM About the Event Join us for Venture Dock’s…

⌘ TechLu.ma — Venture DockRSVP · Luma