Gitpod Amsterdam - March 2023
Hosted by
Gitpod Amsterdam
In-Person
Address available to attendees
We missed you this time around!
Join us for a local Gitpod meet-up in Amsterdam! šš«¶š³š±
Expect an evening of networking with users, some talks from Gitpodders and the community and pizza and drinks sponsored by us šš»
ā
Agenda :
6:00 / 6:30PM - Welcome guests, say hi to everyone
6:30 - 7:15PM - Rapid Prototyping of Language Servers with Rascal, VScode, and Gitpod
7:15 - 8:00PM - FOOD!
8:00 - 8:30PM - Five ways to customize a Gitpod workspace
8:30 - 9:00PM - Chat and Goodbye!
ā
More about the speakers :
Thilo is a developer and creator based in Rotterdam. He worked for more than 15 years as a Software Engineer for the United Nations in Bangkok, Geneva, and New York to fix the world's pressing problems one commit at a time. He builds web apps with SvelteKit and Svelte and keeps improving his developer happiness.
Jurgen is a senior researcher at Centrum Wiskunde & Informatica (CWI) in Amsterdam, part-time full professor at TU Eindhoven,and co-owner of Swat.engineering BV. Said company produces designs and implementations for programming languages and domain-specificĀ languages in the international market, all based on Rascal. He is the leader of the open-source community around Rascal, andĀ one of its maintainers.
ā
Gitpod Community meet-ups are organized by passionate community members in their local area.
They are an opportunity to connect with others in the community and learn and share the best Gitpod practices and knowledge.
ā
Gitpod is an open-source developer platform automating the provisioning of ready-to-code developer environments.
Designed for applications running in the cloud, Gitpod frees engineering teams from the friction of manually setting-up local dev environments, saving dozens of hours and enabling a new level of collaboration to create applications much more quickly than ever before.
Natively integrated with GitLab, GitHub, and Bitbucket, Gitpod automatically and continuously prebuilds dev environments for all your branches. As a result team members can instantly start coding with fresh dev environments for each new task - no matter if you are building a new feature, want to fix a bug, or work on a code review.
Presentations
Jurgen Vinju
Rapid Prototyping of Language Servers with Rascal, VScode, and Gitpod.
The "Language Server Protocol" (LSP) is a "don't call us, we'll call you" plugin mechanism for arbitrary programming language support forĀ IDEs such as VScode. The protocol clearly separates the "what"Ā (syntax, static semantics, dynamic semantics, refactorings) from the "how" (scheduling asynchronous jobs, interprocess communication,Ā caching, (de)serialization, visualization, UI interactions, editors) in IDE construction.
In this talk, we demonstrate how to construct an LSP server for your own language, be it a programming language or a domain-specificĀ language. We use the Rascal meta-programming language, which allows us to express programming language syntax and semanticson the abstraction level of the language, without even thinking about lower-level implementation details. Such a language prototype canbe wired directly into a "parametric" LSP (one that works for all languages made in Rascal). In other words, only the "what" is left,and the "how" has been completely automated.
Rascal, LSP, and VScode are a potent combination for designing and deploying your own languages, but when we add Gitpod to the mix,the languages really comeĀ alive immediately. We demonstrate a Logo-like programming language designed for high school students,Ā one they can extend and adapt themselves, to run directly in the browser with some nice visual effects.
Thilo Maier
Five ways to customize a Gitpod workspace
In this talk you will learn how to customize a Gitpod workspace. I will cover VS Code settings sync with Gitpod as sync provider, what Open VSX is, how to tweak .gitpod.yml, official workspace images, and how to customize an official workspcace image. This talk is for beginners and I hope advanced Gitpod users will also learn a thing or two.
julien Lengrand-Lambert
Welcome to Gitpod Amsterdam!
We missed you this time around!
Gitpod Amsterdam - March 2023
Hosted by
Gitpod Amsterdam
In-Person
Address available to attendees
Join us for a local Gitpod meet-up in Amsterdam! šš«¶š³š±
Expect an evening of networking with users, some talks from Gitpodders and the community and pizza and drinks sponsored by us šš»
ā
Agenda :
6:00 / 6:30PM - Welcome guests, say hi to everyone
6:30 - 7:15PM - Rapid Prototyping of Language Servers with Rascal, VScode, and Gitpod
7:15 - 8:00PM - FOOD!
8:00 - 8:30PM - Five ways to customize a Gitpod workspace
8:30 - 9:00PM - Chat and Goodbye!
ā
More about the speakers :
Thilo is a developer and creator based in Rotterdam. He worked for more than 15 years as a Software Engineer for the United Nations in Bangkok, Geneva, and New York to fix the world's pressing problems one commit at a time. He builds web apps with SvelteKit and Svelte and keeps improving his developer happiness.
Jurgen is a senior researcher at Centrum Wiskunde & Informatica (CWI) in Amsterdam, part-time full professor at TU Eindhoven,and co-owner of Swat.engineering BV. Said company produces designs and implementations for programming languages and domain-specificĀ languages in the international market, all based on Rascal. He is the leader of the open-source community around Rascal, andĀ one of its maintainers.
ā
Gitpod Community meet-ups are organized by passionate community members in their local area.
They are an opportunity to connect with others in the community and learn and share the best Gitpod practices and knowledge.
ā
Gitpod is an open-source developer platform automating the provisioning of ready-to-code developer environments.
Designed for applications running in the cloud, Gitpod frees engineering teams from the friction of manually setting-up local dev environments, saving dozens of hours and enabling a new level of collaboration to create applications much more quickly than ever before.
Natively integrated with GitLab, GitHub, and Bitbucket, Gitpod automatically and continuously prebuilds dev environments for all your branches. As a result team members can instantly start coding with fresh dev environments for each new task - no matter if you are building a new feature, want to fix a bug, or work on a code review.
Presentations
Jurgen Vinju
Rapid Prototyping of Language Servers with Rascal, VScode, and Gitpod.
The "Language Server Protocol" (LSP) is a "don't call us, we'll call you" plugin mechanism for arbitrary programming language support forĀ IDEs such as VScode. The protocol clearly separates the "what"Ā (syntax, static semantics, dynamic semantics, refactorings) from the "how" (scheduling asynchronous jobs, interprocess communication,Ā caching, (de)serialization, visualization, UI interactions, editors) in IDE construction.
In this talk, we demonstrate how to construct an LSP server for your own language, be it a programming language or a domain-specificĀ language. We use the Rascal meta-programming language, which allows us to express programming language syntax and semanticson the abstraction level of the language, without even thinking about lower-level implementation details. Such a language prototype canbe wired directly into a "parametric" LSP (one that works for all languages made in Rascal). In other words, only the "what" is left,and the "how" has been completely automated.
Rascal, LSP, and VScode are a potent combination for designing and deploying your own languages, but when we add Gitpod to the mix,the languages really comeĀ alive immediately. We demonstrate a Logo-like programming language designed for high school students,Ā one they can extend and adapt themselves, to run directly in the browser with some nice visual effects.
Thilo Maier
Five ways to customize a Gitpod workspace
In this talk you will learn how to customize a Gitpod workspace. I will cover VS Code settings sync with Gitpod as sync provider, what Open VSX is, how to tweak .gitpod.yml, official workspace images, and how to customize an official workspcace image. This talk is for beginners and I hope advanced Gitpod users will also learn a thing or two.
julien Lengrand-Lambert
Welcome to Gitpod Amsterdam!
Get in touch!
hi@guild.host