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

Rust programming talk on formal verification and SAT solvers.

check it out →

you might also like

📚 NYC Hack Fair - The Spark Hack Series

Sun, Apr 12 at 6pm

Manhattan, Manhattan

Hackathon competition from the Spark Hack Series for creative problem-solving.

📚 BUILDING A CAREER THAT SURVIVES AI

Thu, Apr 23 at 5:30pm

16 W 61st St, Manhattan, NY 10023

Workshop on building design and product careers resilient to AI.

📚 NYC AI Users - AI Talks: AI in Robotics and Agentic Event Driven AI

Wed, Apr 22 at 6:30pm

Monthly AI tech talk on robotics and agentic systems with networking.

📚 NYC B2B: AI Engineers x Devs Meetup

Wed, Apr 22 at 9:30pm

Financial District, FiDi

Networking meetup for AI engineers and software developers.

📚 LangChain Presents: AI Agents Workshop with Harrison Chase

Thu, Apr 16 at 12:30pm

Midtown East, Midtown East

AI agents technical workshop led by LangChain creator Harrison Chase.

📚 Context Engineering Guild: April Edition

Fri, Apr 17 at 11pm

Williamsburg, Williamsburg

Monthly engineering guild gathering for context-focused professionals