Lightnews — Scholar-powered news

Ivan “CLOVIS” Canet

@ivcanet.bsky.social

310 followers 230 following 760 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 · 3d

Great read (but also frightening)

Danny Page @danny.page · 4d

Reminds me a lot of this! qntm.org/mmacevedo

Lena

A note from the author You can now buy this story as part of my collection, Valuable Humans in Transit and Other Stories. This collection also includes a sequel story, titled "Driver". This articl...

qntm.org

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

meanwhile, governments making national IDs into websites

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

Congrats @mbonnin.net!

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

Reminds me of ivan.canet.dev/blog/2024/09...

The vulnerability is by design - Ivan “CLOVIS” Canet

Software engineering, open source and computer security

ivan.canet.dev

1 2

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

I hope it is, but for all the wrong reasons

1 2

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

We now have a dedicated Bluesky account!

In the coming weeks we'll be automating release announcements there.

OpenSavvy @opensavvy.dev · 6d

Hey everyone!

This is the new account for OpenSavvy news.

Learn more about us at opensavvy.dev

2 2

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

hm road gone

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

I really like the size

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

Can you do it? It would help a lot to use it

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

Today I'm teaching a Kotlin course, I'm wearing it eheh

1 1

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

Bordeaux ♥️

1 7

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

No, printed. Maybe next time

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

Oh I need to do it too

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

Hey @lilywhiteout.bsky.social, guess what

3 1 5

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

that's not a partnership, that's open data

We and our 937 partners store and access personal data, like browsing data or unique identifiers,

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

Hi everyone 👋

I'm the human

Junie (AI assistant) saying: "The build was not launched because it was rejected by the human."

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

I like it too!

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

Do you think you could make them a bit bigger in frame? e.g. that outline? I'm worried it may be hard to recognize when it's small

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

I don't think I can DM you here, can you?

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

@lilywhiteout.bsky.social can we DM somewhere? Either here, Telegram, Discord, LinkedIn, whatever

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

Deep down it's the same idea as ‘making a todo-list of all the steps’ but also the computer checks you didn't forget anything.

We tend to think of tests as ‘ways to verify some code’, but if you think of them as an auto-verified todo-list they become much more powerful.

2 5

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

It's not that surprising in hindsight. If you are careful about making the computer able to verify the code, then it's a lot easier to write correct code, because the computer will just tell you when it's not.

1 3

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

depending on the year??

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

For a while, I focused on writing high quality tests while I was fresh, then the production code when I was tired

Worked way better than the opposite

2 1 3

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

You have no idea, it's been an hour that I've been looking at it, I love it

1 1