post on the Lorentz Center meeting #66
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
There are missing projects in the project summary
|
Thanks so much for writing this blog post! It looks good to me, and I think that it can be merged; pending the decision on the list of projects. |
|
I'm sorry for my delay in reviewing this -- I have a few small comments and the list of projects to add, and will get to it later today. |
eric-wieser
reviewed
Aug 21, 2023
eric-wieser
reviewed
Aug 21, 2023
Co-authored-by: Rob Lewis <[email protected]>
Co-authored-by: Rob Lewis <[email protected]>
Co-authored-by: Eric Wieser <[email protected]>
Co-authored-by: Eric Wieser <[email protected]>
|
Thanks a lot for all the suggestions! Also thank you @robertylewis for the PDF document. I have commited the changes. |
|
Thanks again, Jana, it looks great! |
alreadydone
reviewed
Aug 27, 2023
|
|
||
| The highlight of the workshop was undoubtedly the group projects. On the initial day of the workshop, everyone convened to brainstorm project concepts—ideas that had not yet been formalized in Lean but showcased promise for a week-long development journey. Subsequently, participants formed project groups, ensuring a mix of experienced Lean users and newcomers within each group. Engaging in a hands-on Lean project was both enjoyable and enlightening, with daily progress adding to the experience. In this way, a range of captivating and ambitious projects were undertaken by all workshop attendees: | ||
|
|
||
| * **Recurrence and Minimality on Metric Spaces** by Guillaume Dubach, Sébastien Goüezel, Marco Lenci, and Marcello Seri |
| * **Skew Polynomial rings and Drinfeld modules** by María Inés de Frutos Fernández, Carlos Caralps, Xavier Généreux, Benoît Guillemet, and Nandagopal Ramachandran | ||
| * **Properties of scheme morphisms** by Amelia Livingston, Wim Nijgh, Torger Olson, and Jonas van der Schaaf | ||
| * **Goppa codes** by D. J. Bernstein | ||
| * **Moebius sum, Brouckner-Wallis algorithm** by Sam van Gool, and Harald Helfgott |
|
@robertylewis No problem! Thanks for the opportunity! @alreadydone Thanks for the comments. I committed the changes. Since the branch was already merged, do I have to do a new pull request to apply the changes? |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I am done with the workshop report. There is one comment left in the text at the end of the projects section. The only thing left is to check if it is okay to list all the names for the projects and I noticed that in the project summary there are two missing projects I think. If there is something else to add or to change, I am of course happy to do that.