Submissions by markhkim

Open Logic Project: An Open-Source, Collaborative Logic Text

Fundamentals of Fully Homomorphic Encryption – A Survey

One-Way Salesman Finds Fast Path Home

How Not to Lie with Statistics: Averages

Program that repairs programs: how to achieve 78.3% precision

Learning Cross-Modal Embeddings for Cooking Recipes and Food Images

A Coq-based synthesis of Scala programs which are correct-by-construction

Why Quantum Computers Might Not Break Cryptography

Split-second data mapping

Butter doesn’t increase risk of heart disease after all

Mining of Massive Datasets

24/7 Stream: Earth from Space

SQL, NoSQL, Spark How to Choose Your Tech-Stack

Subhash Khot wins the MacArthur fellowship

Reporting on the libreboot controversy, in tweets

A Cow with No Name: Google Blurs Bovine Face for Privacy

Tray Tables Stowed, Seat Backs Upright – And Galaxy Note 7s Off, Please