-
Notifications
You must be signed in to change notification settings - Fork 58
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add Gophercon 2024 post #446
Conversation
This pull request is automatically being deployed by Amplify Hosting (learn more). |
8315d81
to
8efd0ec
Compare
…plete documentation talk part
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
👏
### Highlights | ||
|
||
- **Key Concepts**: Efficient database schema, pgbouncer. | ||
- **Project**: Mattermost's Perseus project was discontinued due to security concerns. | ||
- **Resource**: [Mattermost Perseus Project](https://github.com/mattermost/perseus) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This section feels a bit "raw" and "apart from the rest of the text".
mostly because the "Perseus" project has not been introduced before... so the first time that we're talking about this project here, is to say that it was discontinued 🤔
### Capabilities | ||
|
||
- Structured Output | ||
- Tool Calling |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
what does it mean?
⚙️ 📞
- Core Simplification | ||
- Documentation | ||
- Advanced Agent Support | ||
- Deeper Integration |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
with what?
|
||
Raghav Roy introduced the `TLA+` specification language, a formal method for verifying distributed and concurrent systems. | ||
|
||
He demonstrated how TLA+ can be used to model and verify concurrent Go programs, ensuring that they are free from unexpected behaviors. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
this could have been nice to add a link to some resources, so that we can more easily learn more about that
![Your code is now no more self documented](/images/posts/2024-07-18-gophercon-eu-berlin-2024/18-documentation-01.png) | ||
|
||
Her tips aim to have a well-documented code and not a self-documented one. She recommends that we should not feel forced | ||
to write everything but at least documente whatever we can and keep it simple. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
documente
document
|
||
These two days were a great chance to meet people involved in the language's development and learn more about a wide | ||
range of topics related to the Go language. Because the event was so well-organized, we were able to exchange in general | ||
benevolence with a large number of GO users. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
of GO users
of Go users
Todo:
alt
textstodo
)