Verification, Type-level Programming, Safety Proofs, Linear Types
I'm a real estate agent who thought I was too smart to fall for a scam. Then I almost sold a $200,000 lot to a fraudster.
businessinsider.com·11h
A conversation with Max Tegmark inspired AI co-founder Igor Babuschkin shift to safer AI
the-decoder.com·5h
August 11, 2025: Intermediate Scraping Webinar (4 hour) [Americas / Europe-friendly time]
bellingcat.com·3d
Multi-Hop Privacy Propagation for Differentially Private Federated Learning in Social Networks
arxiv.org·2d
Loading...Loading more...