Dec 6: Hackathon and Unconference
The unconference schedule will be on a whiteboard in the venue, which begins blank. You can begin populating it with sessions during day one.
Venue opens whenever, lunch served at noon ish, dinner served at 6p, venue closes whenever.
Project ideas
To add a project idea, send a PR to this markdown file
Solve fvapps
https://huggingface.co/datasets/quinn-dougherty/fvapps
Transpile Flocq to Lean
We'd like to do numerical analysis in lean4. Use victor taelin-style loops to convert flocq to lean4