Viewing profile — exi2
exi2
HN member- Joined
- Fri, Sep 30, 2016, 4:22 PM UTC
- HN karma
- 9
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About exi2
No profile information was provided.
Recent public activity
-
comment
Comment #48047967
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.
-
comment
Comment #12613461
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…