Rust NYC: Formally Verified Rust & SAT Solvers — what's on nyc

← back

📚

Rust NYC: Formally Verified Rust & SAT Solvers

Tue, Apr 21 at 6:30pm

Datadog

FREE learning

Two talks on formal verification in Rust and SAT solvers

check it out →

you might also like

📚 biology on tap

Sun, Apr 12 at 7pm

Monthly biology speaker series with science talks, trivia, and prizes at a bar

📚 April 13th, 2026 NYC Quantum Computing In Person Meetup (w/hybrid option)

Mon, Apr 13 at 6pm

Talk on building the software protocol stack for quantum networking

📚 Practical Ethics: ‘Which Child is Better: The Natural or The Fabricated One?’

Mon, Apr 13 at 2pm

NY Society for Ethical Culture, UWS

Moderated ethics discussion on natural vs. genetically fabricated children

📚 亦师亦友项目纽约线下职业发展工作坊

Sun, Apr 12 at 2pm

Manhattan, Manhattan

Chinese-language in-person career development and mentorship workshop in NYC

Sun, Apr 12 at 9:45am

NY Society for Ethical Culture, UWS

Facilitated reflection group using parables, quotes, and poems as prompts