TypeScript Berlin Meetup #8 - an onsite event + quiz 😎

We are very happy to announce the 8th edition of TypeScript Berlin Meetup - once more we are able to meet onsite! 🎉😎🤗

Come join us for a cozy evening of quality talks, networking, and yummy snacks and drinks - veggie and vegan options provided. 🍹🌭

During this meetup, we will run an interactive quiz. Listen to the talks closely and answer the questions for a chance to win a copy of the "Effective TypeScript: 62 Specific Ways to Improve Your TypeScript" book by Dan Vanderkam and some Prisma swag! 🎁

Please follow the 2G rule and be ready to show proof of vaccination or recovery at the door.

____________________________________________________________________________________________

Schedule for this event:

◭ 6:30 - Doors open, time for snacks 🌮
◭ 7:00 - Welcome and announcements 🤝
◭ 7:05 - Talk 1: Iván Ovejero (https://github.com/ivov) - "Distributive conditional types" 🎙
◭ 7:20 - Q&A
◭ 7:30 - Talk 2: Magnus Kulke (https://github.com/mkulke) - "Type Level Programming (with Dependent Types)" 🎙
◭ 7:50 - Q&A
◭ 8:00 - Break - snacks 🌭
◭ 8:15 - Talk 3: Robert Wolff (https://github.com/rowolff) - "Dealing with untyped runtime libraries in TypeScript" 🎙
◭ 8:30 - Q&A
◭ 8:40 - Announcements
◭ 8:45 - Hang out and chat about types 🤗
◭ 9:00 - Doors close 👋

____________________________________________________________________________________________

🎙 Talk 1: Iván Ovejero (https://github.com/ivov) - "Distributive conditional types"

In this talk, Iván will delve into distributive conditional types and what they are good for, as an example of how thinking of types in terms of sets can help us gain fluency in manipulating everyday types.

Iván is a Full-Stack Developer at n8n.io, a workflow automation startup in Berlin, formerly a fellow at Major League Hacking. He enjoys exploring all kinds of TS projects and has built many of his own, including a linter with the TS compiler API and a code generator with TypeScript AST transformers.

🎙 Talk 2: Magnus Kulke (github.com/mkulke) - "Type Level Programming (with Dependent Types)"

The presentation wants to dip toes into the weird twilight zone between Types and Values in Typescript. We'll briefly look at the core concept of Dependent Types in Idris and attempt to carry it over to Typescript. We probably won't end up with production-ready code, but maybe we learn something about programming at the type level.

Magnus is working at Mobimeo (Berlin) as an Engineering Manager in the Search domain, helping folks move around sustainably. He enjoys Mobility, Geospatial data, and wrestling with Rust's borrow checker.

🎙 Talk 3: Robert Wolff (https://github.com/rowolff) - "Dealing with untyped runtime libraries in TypeScript"

Runtime libs are sometimes required in projects. But runtime means: the TypeScript compiler cannot protect us from fat-fingering bugs into the codebase. In this talk, Robert will present ways to still have a great developer experience and type safety.

Robert is a Software Engineer at idealo. He’s working with the payment team and is a member of idealo’s design system community of practice where he contributes to awesome (and type-safe) libraries.

____________________________________________________________________________________________

We will be giving out colored stickers to help you indicate how comfortable you are with in-person contact:

🟢 choose the green sticker if you are happy to connect and chat with the other attendees,
🟡 choose the yellow sticker if you're open to joining the conversation but cautious,
🔴 choose the red sticker if you'd rather enjoy the meetup alone.

The talks will be recorded and there will be a photographer onsite. Please let us know in advance if you do not want to appear in the photos.