Technology & Startups
SF Lean Meetup
When
Monday, November 16
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.
Source & freshness
Listed via Luma Tech (Bay Area), Simon's Luma registrations, Luma SF, Luma keyword search (Bay Area) (4 source records merged). Original listing ↗
Last verified: Mon, Nov 2, 10:36 AM PT
You might also like
- On now
ODSC AI x NEBIUS | Hackathon
Hyatt Regency San Francisco Airport, BurlingameFree
- On now
AI for Greater Good | RSI | AI Safety | Physical AI | Climate Change
AWS Builder Loft, Financial DistrictFreeApproval required
Artificial intelligence is advancing rapidly, creating extraordinary opportunities to transform how we live, work, and interact with the world. But beyond what AI can do, an equally important question is what AI should do and how we can ensure its progress benefits society.
- On now
Mitsubishi Electric Innovation Day
Plug and Play Tech Center, SunnyvaleFreeApproval required
Join us on November 2, 2026, at Plug and Play HQ for Mitsubishi Electric Innovation Day, an event exploring the future of mobility, Physical AI, and open innovation. Hear from industry leaders, discover cutting-edge startup collaborations, and connect with innovators shaping the…
- On now
Fireworks: Hacks with Microsoft & NVIDIA
Location not listedFreeApproval required
Make your own frontier November 2 | San Francisco Fireworks, Microsoft, and NVIDIA are handing you one challenge: take open models and make your own frontier, on a task you define.