⌘ Tech

The SF Lean Meetup

Name: The SF Lean Meetup
Start: 2026-07-14T02:00:00.000Z
Location: San Francisco

When: Monday, July 13 · 7:00 PM
Where: San Francisco
Listed by: Mox

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.

More tech soon

11:30 AM

Founders Club: Sunday Coffee Chat

Mission, SF — Mission District

"Our Founders Club Sunday Coffee Meetup is focussed on accountability and sharing challenges!

⌘ TechGroundfloorDetails · groundfloorclub.com

9:00 AM

Advanced Java & Web Security: 3-Day Intensive Workshop in San Francisco, CA

regus CA, San Francisco - Mid-Market — Civic Center

Master Java and Web security, identify vulnerabilities, and implement secure coding practices to protect modern web applications.

⌘ TechEventbrite SFDetails · eventbrite.sg

10:00 AM

Sports World Cup Hackathon

🏆 Sports World Cup Hackathon Build the future of sports with AI, data, and technology.

⌘ TechLu.ma — Gen AI SFRSVP · Luma

10:00 AM

Sports World Cup Hackathon

🏆 Sports World Cup Hackathon Build the future of sports with AI, data, and technology.

⌘ TechLu.ma — Founders Social ClubRSVP · Luma