-
Notifications
You must be signed in to change notification settings - Fork 375
Idris Developer Meeting, August 2023
Monday the 28th of August - Friday the 1st of September 2023
Spend some time hacking together and have a good time!
The event will take place in three locations:
- The idris2 discord where you will find talks, online discussions and channels to coordinate your projects
- St-Andrews University (UTC+1), where you will be able to meet in person
- Zurich (UTC+2) , where you will be able to meet in person as well
All the information about the event is coordinated on discord. You can register by selecting the appropriate role in the #🪄│roles channel.
Be aware of the timezone, all events will be communicated in UTC+1 to reflect the Scottish timezone.
During the week, there will be talks, discussions, coding sessions and time for socialising. The programme is community driven, and will evolve during the week. All updates will be posted here. If you have a suggestion for a talk you want to give, or have a discussion topic to propose, please add those below. Usually, most talks happen on Wednesday but there is no strong rule if you cannot make it on Wednesday.
- Monday 28/08/2022 10:00 UTC+1: Introduction
- Friday 01/09/2022 15:00 UTC+1: Show & Tell + Conclusion
Some things you might choose to work on during the week (please add any you can think of):
- A runtime debugger
- A cool REPL
- Help on the new core? (TBD by edwin)
- A tool to profile and track the compiler's performance.
- create a collection of test cases for existing issues
Tell us what you did during the week! Add your name here if you have something you want to show or contact one of the other moderators on discord, any time before the start.
If you plan to attend and wish to advertise it, please record your name in the list below. You might want to add the location from which you plan to attend (St-Andrews, Zurich or Discord).
Please also consider adding your timezone, so that we can avoid scheduling too many things when people are asleep. In discord you can add it to your description. Participants are reminded that we expect the Idris Community Standards to be upheld throughout.
Andre Videla @andrevidela (UTC+2, Zurich)
Stefan Höck @stefan-hoeck (UTC+2, Zurich)
Markus Pfeiffer @markuspf (UTC+1, St Andrews)