This event has ended.It ran Monday, October 5. See what's on this week →
Technology & Startups
SF Lean Meetup
Free
When
Monday, October 5
7:00 PM – 9:00 PM PT
About
The SF Lean meetup: Weekly presentation and discussion about Lean, the programming language and theorem prover. Math, CS, AI and their mix all welcome.
This event has ended
Source & freshness
Listed via Luma Tech (Bay Area), Luma SF, Simon's Luma registrations (3 source records merged). Original listing ↗
Last verified: Fri, Oct 9, 11:37 PM PT
You might also like
- On now
Amplitude AI Growth Lab
Location not listedFree
- On now
Camp Navarro C9
192 Museum WayFreeApproval required
- On now
The Wanderment Creative Jam
Dr. Martin Luther King, Jr. Library, San JoseFree
- On now
VibeCon SF 2026: Vibecode Your Way to a YC Interview
Y CombinatorFree
This isn't your regular hackathon. On Oct 24–25, 175 hand-picked builders get together at Y Combinator's SF office to turn ambitious ideas into working products in one weekend. You don't need to be an engineer.