New comment by exi2 in "From Supabase to Clerk to Better Auth"

exi2 — Thu, 07 May 2026 11:08:17 +0000

Google has not been scanning gmail mails for ad targeting since 2017. I think after 9 years we can finally let that one go.

Ad display I'll still grant you of course.

New comment by exi2 in "How many lines of code is Candy Japan?"

exi2 — Fri, 30 Sep 2016 16:28:10 +0000

I highly doubt that you can prove correctness with types alone.

How would you verify the correctness of this function with types alone:

Integer add(Integer a, Integer b) { return a + b; }

How would types verify for me that the result is correct and not a+b+1?

Formal proofs work for this but to make them work you need more than just types.