Dave Leeds's Avatar

Dave Leeds

@typealias.com.bsky.social

I write and draw cartoons about #Kotlin at http://typealias.com

140 Followers  |  152 Following  |  27 Posts  |  Joined: 06.01.2025  |  1.9529

Latest posts by typealias.com on Bluesky

Hey, Valรจre! Thanks for asking! My video editing is done in Davinci Resolve. Some of the annotations (basic lines and circles) are just my own hand-drawn annotations, but the ones that zoom in like that are plugins from MotionVFX. I believe the one in your screen grab is from mHowTo.

04.08.2025 15:21 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Registration | KotlinConf 2026, May 20โ€“22, Munich KotlinConf is the official Kotlin conference by JetBrains. It is a place for the community to gather and discuss all things Kotlin.

๐ŸŽŸ๏ธ Super Early Bird tickets for KotlinConf 2026 are live!

๐Ÿ—บ๏ธ Weโ€™re heading to Munich, Germany โ€“ a brand-new venue in the heart of Europe.

Secure your spot now ๐Ÿ‘‰ kotl.in/conf26-tickets

22.07.2025 10:52 โ€” ๐Ÿ‘ 17    ๐Ÿ” 4    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

๐Ÿ“จ Want exclusive KotlinConf news before everyone else?

Newsletter subscribers get early access to the Super Early Bird and Early Bird ticket launches, key dates, and more.

Subscribe to the KotlinConf newsletter ๐Ÿ‘‰ kotlinconf.com/subscription/

14.07.2025 17:03 โ€” ๐Ÿ‘ 8    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Yeah!! We got to be partners for #KotlinConf this year! ๐ŸŽ‰

25.05.2025 16:29 โ€” ๐Ÿ‘ 3    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Yeah! I thought it was funny that this photo made a brief appearance in your presentation when you clicked over to the notifications page. ๐Ÿ˜…

23.05.2025 17:16 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Post image

Building a Bluesky Bot powered by AI at #KotlinConf, by @raphaeldelio.dev

23.05.2025 14:20 โ€” ๐Ÿ‘ 3    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Ah, there ya go, that would do it! ๐Ÿ˜„

18.05.2025 15:15 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I'm not on my usual Windows machine here, but on Mac I get the println() output regardless of the dispatcher I choose.

17.05.2025 20:48 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Thanks for looking into it! For what it's worth, I'm using Windows here, and Ctrl+C copies just the selection for me.

14.05.2025 17:50 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Preview
What can we do with Kotlin Notebooks? - TypeAlias Show #7 Google I/O and KotlinConf are just around the corner! Let's get one more livestream in before then! - We'll check out the latest news happening in the Kotlin and Android worlds. - We'll look over som...

You can add it to your calendar here:

Google Calendar - typea.li/as/by6y4dm
Outlook Web - typea.li/as/9zckxmx
Download Invite - typea.li/as/9m7snbs

12.05.2025 16:41 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
What can we do with Kotlin Notebooks? - TypeAlias Show #7 Google I/O and KotlinConf are just around the corner! Let's get one more livestream in before then! - We'll check out the latest news happening in the Kotlin and Android worlds. - We'll look over som...

So many exciting announcements in the #Kotlin and #AndroidDev worlds, even ahead of KotlinConf and Google I/O! Let's dig into them during this week's livestream. Plus, we'll check out lots of cool things we can do with Kotlin Notebooks. Wednesday 10 AM CDT. typea.li/as/live07

12.05.2025 16:41 โ€” ๐Ÿ‘ 5    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Double Dispatch: Prelude to the Visitor Pattern
YouTube video by Dave Leeds Double Dispatch: Prelude to the Visitor Pattern

Double dispatch - let's see what it is, how it's traditionally handled in single-dispatch languages, and how we can get a similar effect in #Kotlin. www.youtube.com/watch?v=4cUQ...

23.04.2025 15:01 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Post image

This Wednesday's #Kotlin video is about Double Dispatch - gotta understand it before we get to the Visitor Pattern!

Premieres this Wednesday:
typea.li/as/x9lrbng

Add it to your calendar here:
Google - typea.li/as/gy9sbvv
Outlook Web - typea.li/as/njypjzr
Download Invite - typea.li/as/gl5l7c8

21.04.2025 14:34 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

#Kotlin Notebooks - Now included in IntelliJ IDEA Community Edition! ๐ŸŽ‰https://blog.jetbrains.com/idea/2025/04/kotlin-notebook-arrives-in-intellij-idea/

18.04.2025 16:46 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Junie, the coding agent by JetBrains Delegate your tasks, focus on the results

JetBrains' Junie AI coding agent has been promoted to general availability. No need to hang out on a waitlist any more! www.jetbrains.com/junie/

16.04.2025 20:03 โ€” ๐Ÿ‘ 7    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

Thanks so much, Maxime! I hope you enjoy it!

11.04.2025 02:59 โ€” ๐Ÿ‘ 0    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Kotlin: An Illustrated Guide Kotlin: An Illustrated Guide [Leeds, Dave] on Amazon.com. *FREE* shipping on qualifying offers. Kotlin: An Illustrated Guide

Hey, it's a big day! After over 5 years of writing, illustrating, and updating, Kotlin: An Illustrated Guide is finally available in paperback!

amazon.com/Kotlin-Illus...

Thanks so much to all of you in the #Kotlin community for all the encouragement every step along the way! ๐ŸŽ‰

08.04.2025 14:48 โ€” ๐Ÿ‘ 13    ๐Ÿ” 2    ๐Ÿ’ฌ 2    ๐Ÿ“Œ 0
Kotlin 2.1.20 - Atomics, UUIDs, and more! - TypeAlias Show #6
YouTube video by Dave Leeds Kotlin 2.1.20 - Atomics, UUIDs, and more! - TypeAlias Show #6

What's new in Kotlin 2.1.20? During this Wednesday's livestream, we'll take a look at the new atomic types, some UUID updates, datetime changes, and lots more!

typea.li/as/live06

Google Calendar - typea.li/as/4xrb3gm
Outlook Web - typea.li/as/zjdkbjs
Download Invite - typea.li/as/chnz9lp

07.04.2025 15:16 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Of Variables, Expressions, and the Nature of Types So thou seekest to be a Kotlin craftsman? Thou hast come unto the right place! Thy journey beginneth here in Chapter the First, wherein thou shalt learn of variables, expressions, and types.

For those who grew up in Jacobean England, reading modern English can be confusing with its shorter sentences and less eloquent phrasing. So today I'm releasing the first chapter of #Kotlin: An Illustrated Guide in Shakespearean English!

typealias.com/fun/illustra...

01.04.2025 19:04 โ€” ๐Ÿ‘ 4    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 1

Applying the Observer Pattern in Kotlin - premieres Wednesday at 10 AM CDT. See you there!

Add it to your calendar here:

Google: typea.li/as/ymrwvyl
Outlook: typea.li/as/wyj55gw
Download Invite: typea.li/as/spxr9mc

Or just hit the "Notify Me" button on YouTube:
typea.li/as/wt5rcg9

24.03.2025 14:26 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Me, holding the first paperback proof of my book, Kotlin: An Illustrated Guide.

Me, holding the first paperback proof of my book, Kotlin: An Illustrated Guide.

Hey! The first proof of the paperback edition of Kotlin: An Illustrated Guide is in hand! After about 5 years of working on this book online and in PDF, it's an amazing feeling to finally experience it in print.

17.03.2025 15:12 โ€” ๐Ÿ‘ 30    ๐Ÿ” 1    ๐Ÿ’ฌ 4    ๐Ÿ“Œ 0
Can Junie generate Kotlin code from UML?
YouTube video by Dave Leeds Can Junie generate Kotlin code from UML?

Can Junie generate Kotlin code from UML better than traditional UML code generators? Let's see if it can implement functions and properties based on context, notes, and other clues!

www.youtube.com/watch?v=J_DF...

12.03.2025 14:58 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

They seem to be adding new participants all the time, so if you're interested, definitely hop on that waitlist!

28.02.2025 16:23 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Junie - The New AI Coding Agent from JetBrains - Can it build a Compose Desktop app?
YouTube video by Dave Leeds Junie - The New AI Coding Agent from JetBrains - Can it build a Compose Desktop app?

In this Wednesday's video, we'll look at JetBrains' new AI coding agent, Junie! We'll put it to work creating a Compose Desktop app that can browse a YouTube channel.

Premieres Wednesday at 10 AM US/Central.
www.youtube.com/watch?v=XZuw...

Use the "Notify me" button in YouTube to get a reminder!

25.02.2025 15:11 โ€” ๐Ÿ‘ 6    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

"How do you make those changes to multiple lines at one time?" - One of the most common questions I get on my videos!

In just 5 minutes, I walk you through how to use the multi-caret features in IntelliJ and Android Studio. Let me know if you have any questions!

youtube.com/watch?v=f89E...

12.02.2025 16:46 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

I'm good `Either` way, but I expect our special guest might `Raise` the topic. ๐Ÿ˜‰

27.01.2025 17:49 โ€” ๐Ÿ‘ 2    ๐Ÿ” 0    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0
Livestream thumbnail - The TypeAlias Show livestream - Arrow for everyone!

Livestream thumbnail - The TypeAlias Show livestream - Arrow for everyone!

Arrow isn't just for FP developers - in this week's livestream, join me and a special guest as we demonstrate some of its fantastic features that everyone can benefit from - no FP experience required! typea.li/as/live05

#Kotlin #AndroidDev

27.01.2025 17:35 โ€” ๐Ÿ‘ 7    ๐Ÿ” 1    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

Hey, thanks so much, James! I'm glad you enjoyed it!

24.01.2025 19:05 โ€” ๐Ÿ‘ 1    ๐Ÿ” 0    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
What are all of those Kotlin function types for?
YouTube video by Dave Leeds What are all of those Kotlin function types for?

Function types, KFunction, Function, KCallable, and more... why does #Kotlin have so many different function types? In this 11-minute video, we'll see why they all exist and when you might want to use each one.

www.youtube.com/watch?v=-M5c...
#AndroidDev

15.01.2025 16:08 โ€” ๐Ÿ‘ 10    ๐Ÿ” 3    ๐Ÿ’ฌ 1    ๐Ÿ“Œ 0

@typealias.com is following 19 prominent accounts