Gitpod Amsterdam - March 2023

Gitpod Amsterdam

Mar

23

Thursday, March 23rd

from 5:00PM to 8:00PM UTC

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!

Gitpod Amsterdam - March 2023

Gitpod Amsterdam

Mar

23

Thursday, March 23rd

from 5:00PM to 8:00PM UTC

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!

Guild

Get in touch!

hi@guild.host