About us
Empowered -- Connected -- Productive
Do you work from home or cafes sometimes? So do we!
This meetup is designed to help remote workers, telecommuters, freelancers, digital nomads, small business owners and anyone who just doesn't work from an office - share what works for them!
Join the association for free at www.TheMWA.ca
Working together is always better. Sometimes mobile work can be isolating and lonely. We want to solve that problem. The purpose of the MWA is to build an empowered and inclusive community of mobile workers. A community that leverages social cohesion to improve the business climate for all mobile workers.
Mobile worker membership will give you access to:
1. A Local Coworking Community (The CoCo)
Find Coworkers here: https://fb.me/g/1lSWeuvoU/nchSmyRG
2. MWA Work Field Trips
3. Training & Resources
4. Monthly Social Events
Empowered -- Connected -- Productive
Upcoming events
3
SUNDAY BADMINTON & PICKLE BALL @ John W. Lindsay YMCA
John W. Lindsay YMCA, 5640 Sackville St, Halifax, NS B3J 3Y3, Second floor, Halifax, NS, CAIMPORTANT: Please see updated link to RSVP POLICY & CODE OF CONDUCT
Join us for an exciting Pickleball & Badminton event at the John Lindsay YMCA! Whether you're a seasoned player or just looking to have some fun on the court, this event is perfect for enthusiasts of all skill levels.
Don't miss out on the opportunity to socialize, improve your game, and stay active in a vibrant community setting. Come solo or bring your friends – all are welcome to participate!
* Kindly request to all participates to arrive between 13:00 to 13:10 in order to start game on time.
* Please ensure you have a pair of indoor shoes suitable for badminton.
* Equipment will be provided.
DISCLAIMER
Social Conversation Meetup groups or the organizers assume ABSOLUTELY NO responsibility, including but not limited to injury or loss of any kind/form due to the use of information, or participating in activities found on this group/site. As a member/participant of SCM Events, you acknowledge and agree to the terms outlined in Participant Waiver in link below.
Link to PARTICIPANT WAIVER4 attendees
Formally Verified AI: What Machine-Checked Proofs Reveal About LLM Compression
Volta, 1800 Argyle Street, 8th Floor, Halifax, NS, CAFounder & CEO, Manazo Labs (HarmonicQ Inc.) — Halifax, Nova Scotia
Most AI research is tested by running experiments and comparing results on standard tests. But what happens if you check a published AI method using strict, formal math instead of just experiments? This talk walks through a real example: we used the Lean 4 proof system to mathematically verify Google Research’s TurboQuant method. The full proof includes 8 files and 58 machine‑checked results, with no gaps or assumptions. While doing this, we also fixed three issues in the original paper: we improved one of the constants by 43%, we put a clear limit on an assumption that was previously left open‑ended, and we proved that one of the design choices in the method is actually the best possible. The talk ends with a live demo showing how these verified results can be used in real AI systems.CODE OF CONDUCT
Agenda:
6:00PM – 6:15PM: Welcome & Registration
6:15PM – 6:20PM: Opening Remarks
6:20PM – 7:00PM: Speaker Presentation / Panel
7:00PM – 8:00PM: Networking
Follow us:
Website: https://techtalkatlantic.com
Linkedin: https://www.linkedin.com/company/techtalk-atlantic3 attendees
Past events
133
Group links
Organizers
Dylan Powell George S. and 1 other are Super Organizers
Members
2,572
