Author | Lightnews

Ivan “CLOVIS” Canet

@ivcanet.bsky.social

320 followers 230 following 810 posts

Kotlin developer & teacher @ 4SH, learn more about me: ivan.canet.dev Open source at https://opensavvy.dev • @opensavvy.techhub.social.ap.brid.gy Organizing the Kotlin Bordeaux User Group at https://bordeauxkt.io

opensavvy.dev

Posts Media Videos Starter Packs

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 1d

Do you think there's a max inline depth in Kotlin?

1 1

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 1d

I'm cooking 👀

FailureSpec.Or<FailureSpec.Or<FailureSpec.Never, FailureSpec<NotFound>>, FailureSpec<AlreadyExists>>

1 2

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 5d

“My happy marriage”

> 2 seasons
> not married

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 6d

Bluesky compression was not nice with this one :/

You can find high-resolution Mokodee here: gitlab.com/opensavvy/kt...

gitlab.com

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 7d

I love Java dates

This code fails with
```
UNEXPECTED SERVER ERROR:
Invalid value for MonthOfYear (valid values 1 - 12): 0
```

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 11d

idk, the scene with dead frogs falling from the sky is forever burned in my memories

1 1

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 11d

That was such a weird movie. I've seen it so many times as a child, it's a very strange memory

1 1

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 12d

That much??? What's in it?

1 1

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 12d

ssg.dev/from-passwor...

From passwords to passkeys

A partially accurate historical account on how we finally arrived at passkeys as the ultimate solution to accessible and secure authentication from simple passwords.

ssg.dev

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 12d

Ah, I didn't know its name

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 13d

Don't hesitate to fork mine, it's in Kotlin itself 👀

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 13d

What's Rouge?

1 1

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 13d

Yeah I understand why old people are always complaining about computers not working right

It's actually impressive how bad we are at everything

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 13d

IntelliJ you're tired, go to sleep

1 1

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 13d

👀

1 2

Reposted by Ivan “CLOVIS” Canet

Katie Tightpussy, Editor-In-Chief @katie.bzky.team · 15d

anyways as always tapping the "learned helplessness is a disease" sign. you must never resign yourself to stagnation and rot of mind, body, or soul

Katie Tightpussy, Editor-In-Chief @katie.bzky.team · 26d

i was talking about it with a friend earlier trying to clarify my thoughts because i often say learned helplessness is a disease which i feel like is a core part of my politics in that to me the human condition is action, growth, and change, so stagnation is self-dehumanization, which is very bad!

4 18 210

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 14d

SEO work is starting to pay off somewhat

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 14d

Thanks for the links! I updated my article to link to yours too.

Reposted by Ivan “CLOVIS” Canet

Alejandro Serrano Mena @serranofp.com · 14d

I've written a small blog post about how context parameters change API design in Kotlin serranofp.com/blog/context...

Feedback and discussion is more than welcome!

Context parameters and API design

serranofp.com

1 4 9

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 14d

Updated to use the receiver dance thing in more places, it does look much better: gitlab.com/opensavvy/kt...

Draft: Simplification of the BsonWriter DSL (!145) · Merge requests · OpenSavvy / KtMongo • Alpha · GitLab

This MR takes inspiration from https://ivan.canet.dev/blog/2025/10/13/kotlin-context-parameters.html and https://serranofp.com/blog/context-params.html.

gitlab.com

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 14d

No, because the receiver of 'write' is the writer, so using xxx.write() is forbidden, xxx has to be added to the scope

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 14d

Looking at it even more, it's very easy to me to provide a convenience function for 'writeTo' that does the receiver dance, and I think it leads to a better API overall, so 'writeTo' should say as it is

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 14d

Here's the MR: gitlab.com/opensavvy/kt...

Most notable are:
• BsonWriter.kt: the receiver dance you mentioned
• BsonNode.kt: the place where the receiver is introduced
• SortOption.kt: the receiver conversion isn't possible due to 'super'

Draft: Simplification of the BsonWriter DSL (!145) · Merge requests · OpenSavvy / KtMongo • Alpha · GitLab

This MR takes inspiration from https://ivan.canet.dev/blog/2025/10/13/kotlin-context-parameters.html and https://serranofp.com/blog/context-params.html.

gitlab.com

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 14d

Hm actually, looking at usages, it would be convenient if 'writeTo' was a receiver too…

…but then that becomes an overload issue, since they'd both have the same signature 😮

Ivan “CLOVIS” Canet @ivcanet.bsky.social · 14d

'write' is more convenient if receiver-based because it is implemented in many places

'writeTo' is only ever called externally, so I think it makes more sense to keep the explicit parameter