Skip to main content

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