Idris Developer Meeting, August 2023 - idris-lang/Idris2 GitHub Wiki

Date

Monday the 28th of August - Friday the 1st of September 2023

Aim

Spend some time hacking together and have a good time!

Location

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 (BST) to reflect the Scottish timezone.

Format

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.

If you want to organise a talk, use the bot in the #events channel. Ensure that a moderator has assigned you the proper role to give the talk. If you don't have a @speaker role, contact the moderator team @moderator.

Programme

  • Monday 28/08/2023 10:00 UTC+1: Introduction
  • Monday 28/08/2023 10:30 UTC+1: Purely functional Cheminformatics in Idris by @stefan-hoeck
  • Thursday 31/08/2023 08:30 UTC-4: Why P=NP & Why you should Care by @[email protected]
  • Friday 01/09/2023 15:00 UTC+1: Show & Tell + Conclusion

Project ideas

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
  • Idris protocols (IDE client/server, Jupyter Kernel/highlighting)
    • @ohad
  • Add lots of example usage snippets for prelude and base packages
  • Transfer of idris-mode to idris-community; deprecation of idris2-mode
  • Deprecation of idris-hackers, and transfer of active projects to idris-community
  • Write an automatic issue-tracking & fixes system
  • Low level odbc database bindings, and a higher level wrapper with dependent types to prove a query matches the schema.
  • haskell WAI port, and servant-like dependently typed REST API library.

Show and Tell (Friday 15:00 UTC +1)

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.

Participants/Registration

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)

Ohad Kammar @ohad (UTC+1, Edinburgh)

Thomas E. Hansen @CodingCellist (UTC+2, Zurich)

Ruslan F. @russoul (UTC+4, Tbilisi)

Jan de Muijnck-Hughes @jfdm (UTC+1, Edinburgh)

Denis Buzdalov @buzden (UTC+3)

Diego Antonio Rosario Palomino @GunpowderGuy ( UTC-5, discord )

Donovan Crichton @donovancrichton (UTC+10, Brisbane)

Alex Marquez (AKA Mallow or Gaspar) @[email protected] (UTC-4, Atlanta/Discord)