Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
exi2
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
1.
▲
by
exi2
4mo ago
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.
2.
▲
by
exi2
10y ago
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 c